Skip to content

Commit 0e56765

Browse files
committed
Fix comment.
1 parent abffdc9 commit 0e56765

File tree

1 file changed

+5
-10
lines changed

1 file changed

+5
-10
lines changed

compiler/rustc_mir_dataflow/src/points.rs

+5-10
Original file line numberDiff line numberDiff line change
@@ -32,8 +32,6 @@ impl DenseLocationMap {
3232
v
3333
})
3434
.collect();
35-
debug!("DenseLocationMap: statements_before_block={:#?}", statements_before_block);
36-
debug!("DenseLocationMap: num_points={:#?}", num_points);
3735

3836
let mut basic_blocks = IndexVec::with_capacity(num_points);
3937
for (bb, bb_data) in body.basic_blocks.iter_enumerated() {
@@ -57,7 +55,7 @@ impl DenseLocationMap {
5755
PointIndex::new(start_index + statement_index)
5856
}
5957

60-
/// Converts a `Location` into a `PointIndex`. O(1).
58+
/// Returns the `PointIndex` for the first statement in the giben `BasicBlock`. O(1).
6159
#[inline]
6260
pub fn entry_point(&self, block: BasicBlock) -> PointIndex {
6361
let start_index = self.statements_before_block[block];
@@ -106,8 +104,7 @@ pub struct LivenessValues<N: Idx> {
106104

107105
impl<N: Idx> LivenessValues<N> {
108106
/// Creates a new set of "region values" that tracks causal information.
109-
/// Each of the regions in num_region_variables will be initialized with an
110-
/// empty set of points and no causal information.
107+
/// Each of the regions is initialized with an empty set of points.
111108
pub fn new(elements: Rc<DenseLocationMap>) -> Self {
112109
Self { points: SparseIntervalMatrix::new(elements.num_points), elements }
113110
}
@@ -120,30 +117,28 @@ impl<N: Idx> LivenessValues<N> {
120117
/// Adds the given element to the value for the given region. Returns whether
121118
/// the element is newly added (i.e., was not already present).
122119
pub fn add_element(&mut self, row: N, location: Location) -> bool {
123-
debug!("LivenessValues::add(r={:?}, location={:?})", row, location);
124120
let index = self.elements.point_from_location(location);
125121
self.points.insert(row, index)
126122
}
127123

128124
/// Adds all the elements in the given bit array into the given
129125
/// region. Returns whether any of them are newly added.
130126
pub fn add_elements(&mut self, row: N, locations: &IntervalSet<PointIndex>) -> bool {
131-
debug!("LivenessValues::add_elements(row={:?}, locations={:?})", row, locations);
132127
self.points.union_row(row, locations)
133128
}
134129

135-
/// Adds all the control-flow points to the values for `r`.
130+
/// Adds all the control-flow points to the values for `row`.
136131
pub fn add_all_points(&mut self, row: N) {
137132
self.points.insert_all_into_row(row);
138133
}
139134

140-
/// Returns `true` if the region `r` contains the given element.
135+
/// Returns `true` if the region `row` contains the given element.
141136
pub fn contains(&self, row: N, location: Location) -> bool {
142137
let index = self.elements.point_from_location(location);
143138
self.points.row(row).is_some_and(|r| r.contains(index))
144139
}
145140

146-
/// Returns an iterator of all the elements contained by the region `r`
141+
/// Returns an iterator of all the elements contained by the region `row`
147142
pub fn get_elements(&self, row: N) -> impl Iterator<Item = Location> + '_ {
148143
self.points
149144
.row(row)

0 commit comments

Comments
 (0)