@@ -32,8 +32,6 @@ impl DenseLocationMap {
32
32
v
33
33
} )
34
34
. collect ( ) ;
35
- debug ! ( "DenseLocationMap: statements_before_block={:#?}" , statements_before_block) ;
36
- debug ! ( "DenseLocationMap: num_points={:#?}" , num_points) ;
37
35
38
36
let mut basic_blocks = IndexVec :: with_capacity ( num_points) ;
39
37
for ( bb, bb_data) in body. basic_blocks . iter_enumerated ( ) {
@@ -57,7 +55,7 @@ impl DenseLocationMap {
57
55
PointIndex :: new ( start_index + statement_index)
58
56
}
59
57
60
- /// Converts a `Location` into a `PointIndex `. O(1).
58
+ /// Returns the `PointIndex` for the first statement in the giben `BasicBlock `. O(1).
61
59
#[ inline]
62
60
pub fn entry_point ( & self , block : BasicBlock ) -> PointIndex {
63
61
let start_index = self . statements_before_block [ block] ;
@@ -107,8 +105,7 @@ pub struct LivenessValues<N: Idx> {
107
105
108
106
impl < N : Idx > LivenessValues < N > {
109
107
/// Creates a new set of "region values" that tracks causal information.
110
- /// Each of the regions in num_region_variables will be initialized with an
111
- /// empty set of points and no causal information.
108
+ /// Each of the regions is initialized with an empty set of points.
112
109
pub fn new ( elements : Rc < DenseLocationMap > ) -> Self {
113
110
Self { points : SparseIntervalMatrix :: new ( elements. num_points ) , elements }
114
111
}
@@ -127,30 +124,28 @@ impl<N: Idx> LivenessValues<N> {
127
124
/// Adds the given element to the value for the given region. Returns whether
128
125
/// the element is newly added (i.e., was not already present).
129
126
pub fn add_element ( & mut self , row : N , location : Location ) -> bool {
130
- debug ! ( "LivenessValues::add(r={:?}, location={:?})" , row, location) ;
131
127
let index = self . elements . point_from_location ( location) ;
132
128
self . points . insert ( row, index)
133
129
}
134
130
135
131
/// Adds all the elements in the given bit array into the given
136
132
/// region. Returns whether any of them are newly added.
137
133
pub fn add_elements ( & mut self , row : N , locations : & IntervalSet < PointIndex > ) -> bool {
138
- debug ! ( "LivenessValues::add_elements(row={:?}, locations={:?})" , row, locations) ;
139
134
self . points . union_row ( row, locations)
140
135
}
141
136
142
- /// Adds all the control-flow points to the values for `r `.
137
+ /// Adds all the control-flow points to the values for `row `.
143
138
pub fn add_all_points ( & mut self , row : N ) {
144
139
self . points . insert_all_into_row ( row) ;
145
140
}
146
141
147
- /// Returns `true` if the region `r ` contains the given element.
142
+ /// Returns `true` if the region `row ` contains the given element.
148
143
pub fn contains ( & self , row : N , location : Location ) -> bool {
149
144
let index = self . elements . point_from_location ( location) ;
150
145
self . points . row ( row) . is_some_and ( |r| r. contains ( index) )
151
146
}
152
147
153
- /// Returns an iterator of all the elements contained by the region `r `
148
+ /// Returns an iterator of all the elements contained by the region `row `
154
149
pub fn get_elements ( & self , row : N ) -> impl Iterator < Item = Location > + ' _ {
155
150
self . points
156
151
. row ( row)
0 commit comments