Skip to content
Snippets Groups Projects

Loop canon bound fix

Merged Xavier Routh requested to merge loop-canon-bound-fix into main
2 files
+ 7
1
Compare changes
  • Side-by-side
  • Inline
Files
2
@@ -25,6 +25,12 @@ gvn(*);
@@ -25,6 +25,12 @@ gvn(*);
phi-elim(*);
phi-elim(*);
dce(*);
dce(*);
 
xdot[true](auto.test2);
 
lift-dc-math(auto.test2);
 
xdot[true](auto.test2);
 
loop-bound-canon(auto.test2);
 
xdot[true](auto.test2);
 
fixpoint panic after 20 {
fixpoint panic after 20 {
forkify(*);
forkify(*);
fork-guard-elim(*);
fork-guard-elim(*);
Loading