snapshot??

egraphs-good · Jun 26, 2024 · bc3febf · bc3febf
1 parent cd08b51
commit bc3febf
Show file tree

Hide file tree

Showing 3 changed files with 30 additions and 30 deletions.
diff --git a/tests/snapshots/files__block-diamond-optimize.snap b/tests/snapshots/files__block-diamond-optimize.snap
@@ -4,30 +4,30 @@ expression: visualization.result
 ---
 @main(v0: int) {
 .b1_:
-  c2_: int = const 1;
-  c3_: int = const 2;
-  v4_: bool = lt v0 c3_;
-  v5_: bool = not v4_;
-  c6_: int = const 0;
+  c2_: int = const 2;
+  v3_: bool = lt v0 c2_;
+  v4_: bool = not v3_;
+  c5_: int = const 0;
+  c6_: int = const 1;
   c7_: int = const 5;
-  v8_: int = id c2_;
-  v9_: int = id c2_;
-  v10_: int = id c3_;
-  br v4_ .b11_ .b12_;
+  v8_: int = id c6_;
+  v9_: int = id c6_;
+  v10_: int = id c2_;
+  br v3_ .b11_ .b12_;
 .b11_:
   c13_: int = const 4;
   v8_: int = id c13_;
-  v9_: int = id c2_;
-  v10_: int = id c3_;
+  v9_: int = id c6_;
+  v10_: int = id c2_;
 .b12_:
   v14_: int = id v8_;
   v15_: int = id v9_;
-  br v5_ .b16_ .b17_;
+  br v4_ .b16_ .b17_;
 .b16_:
   v18_: int = add v10_ v8_;
   v14_: int = id v18_;
   v15_: int = id v9_;
 .b17_:
-  v19_: int = add c2_ v14_;
+  v19_: int = add c6_ v14_;
   print v19_;
 }
diff --git a/tests/snapshots/files__fib_recursive-optimize.snap b/tests/snapshots/files__fib_recursive-optimize.snap
@@ -259,63 +259,63 @@ expression: visualization.result
 }
 @main {
 .b0_:
-  c1_: int = const 0;
-  c2_: int = const 2;
+  c1_: int = const 2;
+  c2_: int = const 0;
   v3_: bool = eq c1_ c2_;
   c4_: int = const 1;
   v5_: int = id c4_;
   br v3_ .b6_ .b7_;
 .b7_:
-  v8_: bool = eq c2_ c4_;
+  v8_: bool = eq c1_ c4_;
   br v8_ .b9_ .b10_;
 .b9_:
-  v11_: bool = eq c1_ c1_;
-  v12_: int = id c2_;
+  v11_: bool = eq c2_ c2_;
+  v12_: int = id c1_;
   br v11_ .b13_ .b14_;
 .b14_:
   v15_: bool = eq c1_ c2_;
   br v15_ .b16_ .b17_;
 .b16_:
-  v18_: int = call @fac c1_;
-  v19_: int = id c2_;
+  v18_: int = call @fac c2_;
+  v19_: int = id c1_;
 .b20_:
   v12_: int = id v19_;
 .b13_:
-  v21_: int = id c2_;
+  v21_: int = id c1_;
 .b22_:
   v5_: int = id v21_;
   print v5_;
   ret;
 .b17_:
   c23_: int = const -1;
-  v24_: int = sub c23_ c2_;
+  v24_: int = sub c23_ c1_;
   v25_: int = call @fac c23_;
   v26_: int = call @fac v24_;
   v27_: int = add v25_ v26_;
   v19_: int = id v27_;
   jmp .b20_;
 .b10_:
-  v28_: bool = eq c1_ c1_;
-  v29_: bool = eq c1_ c4_;
+  v28_: bool = eq c2_ c2_;
+  v29_: bool = eq c2_ c4_;
   v30_: int = id c4_;
   br v29_ .b31_ .b32_;
 .b32_:
   v33_: bool = eq c4_ c4_;
   br v33_ .b34_ .b35_;
 .b34_:
-  v36_: int = call @fac c1_;
+  v36_: int = call @fac c2_;
   v37_: int = id c4_;
 .b38_:
   v30_: int = id v37_;
 .b31_:
   v39_: int = id c4_;
   br v28_ .b40_ .b41_;
 .b41_:
-  v42_: bool = eq c1_ c4_;
+  v42_: bool = eq c2_ c4_;
   br v42_ .b43_ .b44_;
 .b43_:
-  v45_: int = call @fac c1_;
-  v46_: int = id c1_;
+  v45_: int = call @fac c2_;
+  v46_: int = id c2_;
 .b47_:
   v39_: int = id v46_;
 .b40_:
@@ -332,7 +332,7 @@ expression: visualization.result
   jmp .b47_;
 .b35_:
   c54_: int = const -1;
-  v55_: int = call @fac c1_;
+  v55_: int = call @fac c2_;
   v56_: int = call @fac c54_;
   v57_: int = add v55_ v56_;
   v37_: int = id v57_;

diff --git a/tests/snapshots/files__if_dead_code_nested-optimize.snap b/tests/snapshots/files__if_dead_code_nested-optimize.snap
@@ -39,7 +39,7 @@ expression: visualization.result
   v25_: int = id c4_;
   br v20_ .b26_ .b27_;
 .b26_:
-  v28_: bool = lt c5_ v0;
+  v28_: bool = gt v0 c5_;
   c29_: int = const 4;
   v30_: int = id c29_;
   v31_: bool = id c21_;