Skip to content

Commit e57957e

Browse files
committed
Fix comment.
1 parent d3f39d7 commit e57957e

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
}
@@ -126,30 +123,28 @@ impl<N: Idx> LivenessValues<N> {
126123
/// Adds the given element to the value for the given region. Returns whether
127124
/// the element is newly added (i.e., was not already present).
128125
pub fn add_element(&mut self, row: N, location: Location) -> bool {
129-
debug!("LivenessValues::add(r={:?}, location={:?})", row, location);
130126
let index = self.elements.point_from_location(location);
131127
self.points.insert(row, index)
132128
}
133129

134130
/// Adds all the elements in the given bit array into the given
135131
/// region. Returns whether any of them are newly added.
136132
pub fn add_elements(&mut self, row: N, locations: &IntervalSet<PointIndex>) -> bool {
137-
debug!("LivenessValues::add_elements(row={:?}, locations={:?})", row, locations);
138133
self.points.union_row(row, locations)
139134
}
140135

141-
/// Adds all the control-flow points to the values for `r`.
136+
/// Adds all the control-flow points to the values for `row`.
142137
pub fn add_all_points(&mut self, row: N) {
143138
self.points.insert_all_into_row(row);
144139
}
145140

146-
/// Returns `true` if the region `r` contains the given element.
141+
/// Returns `true` if the region `row` contains the given element.
147142
pub fn contains(&self, row: N, location: Location) -> bool {
148143
let index = self.elements.point_from_location(location);
149144
self.points.row(row).is_some_and(|r| r.contains(index))
150145
}
151146

152-
/// Returns an iterator of all the elements contained by the region `r`
147+
/// Returns an iterator of all the elements contained by the region `row`
153148
pub fn get_elements(&self, row: N) -> impl Iterator<Item = Location> + '_ {
154149
self.points
155150
.row(row)

0 commit comments

Comments
 (0)