mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Reword TO application comments.

Browse source
This commit is contained in:
Camille GILLOT 2023-10-19 16:21:42 +00:00
parent 66ec098ea7
commit 54b61d6e1a
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_mir_transform/src/jump_threading.rs
View file

@ -639,7 +639,7 @@ impl OpportunitySet {
let Some((current, chain)) = op_chain.split_first() else { return }; let Some((current, chain)) = op_chain.split_first() else { return };
let basic_blocks = body.basic_blocks.as_mut(); let basic_blocks = body.basic_blocks.as_mut();
// Invariant: we never change the meaning of the program. // Invariant: the control-flow is well-formed at the end of each iteration.
let mut current = *current; let mut current = *current;
for &succ in chain { for &succ in chain {
debug!(?current, ?succ); debug!(?current, ?succ);
@ -697,8 +697,9 @@ impl OpportunitySet {
new_involved.push((to_index, in_to_index + 1)); new_involved.push((to_index, in_to_index + 1));
} }
} }
// Following TOs new reference `new_succ`, so we will need to update them if we
// duplicate `new_succ` later. // The TOs that we just updated now reference `new_succ`. Update `involving_tos`
// in case we need to duplicate an edge starting at `new_succ` later.
let _new_succ = self.involving_tos.push(new_involved); let _new_succ = self.involving_tos.push(new_involved);
debug_assert_eq!(new_succ, _new_succ); debug_assert_eq!(new_succ, _new_succ);