snapshots

egraphs-good · May 29, 2024 · 648df41 · 648df41
1 parent 0b53ceb
commit 648df41
Show file tree

Hide file tree

Showing 6 changed files with 50 additions and 48 deletions.
diff --git a/tests/snapshots/files__collatz_redundant_computation-optimize.snap b/tests/snapshots/files__collatz_redundant_computation-optimize.snap
@@ -19,8 +19,8 @@ expression: visualization.result
   c14_: bool = const false;
   v15_: int = id v6_;
   v16_: bool = id c14_;
-  v17_: int = id v7_;
-  v18_: int = id v7_;
+  v17_: int = id v8_;
+  v18_: int = id v8_;
   v19_: int = id v9_;
   v20_: int = id v10_;
   v21_: int = id v11_;

diff --git a/tests/snapshots/files__fib_recursive-optimize.snap b/tests/snapshots/files__fib_recursive-optimize.snap
@@ -14,35 +14,35 @@ expression: visualization.result
   br v8_ .b9_ .b10_;
 .b9_:
   v11_: bool = eq c2_ c2_;
-  v12_: int = id c4_;
+  v12_: int = id v0;
   br v11_ .b13_ .b14_;
 .b14_:
-  v15_: bool = eq c2_ c4_;
+  v15_: bool = eq c2_ v0;
   br v15_ .b16_ .b17_;
 .b16_:
   v18_: bool = eq c2_ c2_;
-  v19_: int = id c4_;
+  v19_: int = id c2_;
   br v18_ .b20_ .b21_;
 .b21_:
-  v22_: bool = eq c2_ c4_;
+  v22_: bool = eq c2_ c2_;
   br v22_ .b23_ .b24_;
 .b23_:
   v25_: int = call @fac c2_;
-  v26_: int = id c4_;
+  v26_: int = id c2_;
 .b27_:
   v19_: int = id v26_;
 .b20_:
-  v28_: int = id c4_;
+  v28_: int = id c2_;
 .b29_:
   v12_: int = id v28_;
 .b13_:
-  v30_: int = id c4_;
+  v30_: int = id v0;
 .b31_:
   v5_: int = id v30_;
   ret v5_;
 .b24_:
   c32_: int = const -1;
-  v33_: int = sub c32_ c4_;
+  v33_: int = sub c32_ c2_;
   v34_: int = call @fac c32_;
   v35_: int = call @fac v33_;
   v36_: int = add v34_ v35_;
@@ -53,25 +53,25 @@ expression: visualization.result
   v38_: bool = eq c2_ c37_;
   c39_: int = const -1;
   v40_: bool = eq c2_ c39_;
-  v41_: int = id c4_;
+  v41_: int = id v0;
   br v40_ .b42_ .b43_;
 .b43_:
-  v44_: bool = eq c39_ c4_;
+  v44_: bool = eq c39_ v0;
   br v44_ .b45_ .b46_;
 .b45_:
   v47_: int = call @fac c2_;
-  v48_: int = id c4_;
+  v48_: int = id c39_;
 .b49_:
   v41_: int = id v48_;
 .b42_:
-  v50_: int = id c4_;
+  v50_: int = id v0;
   br v38_ .b51_ .b52_;
 .b52_:
-  v53_: bool = eq c37_ c4_;
+  v53_: bool = eq c37_ v0;
   br v53_ .b54_ .b55_;
 .b54_:
   v56_: int = call @fac c2_;
-  v57_: int = id c4_;
+  v57_: int = id v0;
 .b58_:
   v50_: int = id v57_;
 .b51_:
@@ -135,7 +135,7 @@ expression: visualization.result
   br v102_ .b103_ .b104_;
 .b103_:
   v105_: int = call @fac c2_;
-  v106_: int = id v71_;
+  v106_: int = id c2_;
 .b107_:
   v99_: int = id v106_;
 .b100_:
@@ -166,7 +166,7 @@ expression: visualization.result
   br v123_ .b124_ .b125_;
 .b124_:
   v126_: int = call @fac c2_;
-  v127_: int = id v116_;
+  v127_: int = id c4_;
 .b128_:
   v120_: int = id v127_;
 .b121_:
@@ -220,7 +220,7 @@ expression: visualization.result
   br v161_ .b162_ .b163_;
 .b162_:
   v164_: int = call @fac c2_;
-  v165_: int = id c4_;
+  v165_: int = id v154_;
 .b166_:
   v158_: int = id v165_;
 .b159_:
@@ -270,25 +270,25 @@ expression: visualization.result
   br v8_ .b9_ .b10_;
 .b9_:
   v11_: bool = eq c2_ c2_;
-  v12_: int = id c4_;
+  v12_: int = id c1_;
   br v11_ .b13_ .b14_;
 .b14_:
-  v15_: bool = eq c2_ c4_;
+  v15_: bool = eq c1_ c2_;
   br v15_ .b16_ .b17_;
 .b16_:
   v18_: int = call @fac c2_;
-  v19_: int = id c4_;
+  v19_: int = id c1_;
 .b20_:
   v12_: int = id v19_;
 .b13_:
-  v21_: int = id c4_;
+  v21_: int = id c1_;
 .b22_:
   v5_: int = id v21_;
   print v5_;
   ret;
 .b17_:
   c23_: int = const -1;
-  v24_: int = sub c23_ c4_;
+  v24_: int = sub c23_ c1_;
   v25_: int = call @fac c23_;
   v26_: int = call @fac v24_;
   v27_: int = add v25_ v26_;
@@ -315,7 +315,7 @@ expression: visualization.result
   br v42_ .b43_ .b44_;
 .b43_:
   v45_: int = call @fac c2_;
-  v46_: int = id c4_;
+  v46_: int = id c2_;
 .b47_:
   v39_: int = id v46_;
 .b40_:

diff --git a/tests/snapshots/files__gamma_condition_and-optimize.snap b/tests/snapshots/files__gamma_condition_and-optimize.snap
@@ -5,8 +5,8 @@ expression: visualization.result
 @main(v0: int) {
 .b1_:
   c2_: int = const 0;
-  v3_: bool = lt c2_ v0;
-  v4_: bool = lt v0 c2_;
+  v3_: bool = lt v0 c2_;
+  v4_: bool = gt v0 c2_;
   c5_: int = const 1;
   c6_: int = const 3;
   v7_: int = id c6_;

diff --git a/tests/snapshots/files__if_context-optimize.snap b/tests/snapshots/files__if_context-optimize.snap
@@ -5,16 +5,17 @@ expression: visualization.result
 @main(v0: int) {
 .b1_:
   c2_: bool = const true;
-  c3_: int = const 0;
-  v4_: bool = le v0 c3_;
-  v5_: int = id v0;
-  v6_: int = id c3_;
-  br v4_ .b7_ .b8_;
+  c3_: int = const 1;
+  v4_: bool = lt v0 c3_;
+  c5_: int = const 0;
+  v6_: int = id v0;
+  v7_: int = id c5_;
+  br v4_ .b8_ .b9_;
+.b9_:
+  c10_: int = const -1;
+  v11_: int = mul c10_ v0;
+  v6_: int = id v11_;
+  v7_: int = id c5_;
 .b8_:
-  c9_: int = const -1;
-  v10_: int = mul c9_ v0;
-  v5_: int = id v10_;
-  v6_: int = id c3_;
-.b7_:
   print c2_;
 }
diff --git a/tests/snapshots/files__if_interval-optimize.snap b/tests/snapshots/files__if_interval-optimize.snap
@@ -5,13 +5,14 @@ expression: visualization.result
 @main(v0: int) {
 .b1_:
   c2_: bool = const true;
-  c3_: int = const 0;
-  v4_: bool = le v0 c3_;
-  c5_: int = const 3;
-  v6_: int = id c5_;
-  br v4_ .b7_ .b8_;
-.b7_:
-  v6_: int = id c3_;
+  c3_: int = const 1;
+  v4_: bool = lt v0 c3_;
+  c5_: int = const 0;
+  c6_: int = const 3;
+  v7_: int = id c6_;
+  br v4_ .b8_ .b9_;
 .b8_:
+  v7_: int = id c5_;
+.b9_:
   print c2_;
 }
diff --git a/tests/snapshots/files__reassoc-optimize.snap b/tests/snapshots/files__reassoc-optimize.snap
@@ -5,10 +5,10 @@ expression: visualization.result
 @main(v0: int, v1: int) {
 .b2_:
   c3_: int = const 1;
-  c4_: int = const 4;
-  v5_: int = add c4_ v1;
-  c6_: int = const 3;
-  v7_: int = add c6_ v0;
+  c4_: int = const 3;
+  v5_: int = add c4_ v0;
+  c6_: int = const 4;
+  v7_: int = add c6_ v1;
   v8_: int = add v5_ v7_;
   v9_: int = add c3_ v8_;
   print v9_;