Skip to content
Snippets Groups Projects

loop bound canon lte

Merged Xavier Routh requested to merge loop-bound-lte into main
1 unresolved thread
1 file
+ 0
5
Compare changes
  • Side-by-side
  • Inline
@@ -73,8 +73,6 @@ pub fn canonicalize_single_loop_bounds(
.into_iter()
.partition(|f| loop_bound_iv_phis.contains(&f.phi()));
println!("{:?}", loop_bound_ivs);
// Assume there is only one loop bound iv.
if loop_bound_ivs.len() != 1 {
@@ -248,9 +246,6 @@ pub fn canonicalize_single_loop_bounds(
} else {
None
};
println!("condition node: {:?}", condition_node);
let users = editor.get_users(condition_node).collect_vec();
println!("{:?}", users);
let mut condition_node = condition_node;
Loading