Snapshots once more

egraphs-good · Jun 4, 2024 · 13876d0 · 13876d0
1 parent cc942f0
commit 13876d0
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 16 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 2;
-  v3_: bool = lt v0 c2_;
-  v4_: bool = not v3_;
-  c5_: int = const 0;
-  c6_: int = const 1;
+  c2_: int = const 1;
+  c3_: int = const 2;
+  v4_: bool = lt v0 c3_;
+  v5_: bool = not v4_;
+  c6_: int = const 0;
   c7_: int = const 5;
-  v8_: int = id c6_;
-  v9_: int = id c6_;
-  v10_: int = id c2_;
-  br v3_ .b11_ .b12_;
+  v8_: int = id c2_;
+  v9_: int = id c2_;
+  v10_: int = id c3_;
+  br v4_ .b11_ .b12_;
 .b11_:
   c13_: int = const 4;
   v8_: int = id c13_;
-  v9_: int = id c6_;
-  v10_: int = id c2_;
+  v9_: int = id c2_;
+  v10_: int = id c3_;
 .b12_:
   v14_: int = id v8_;
   v15_: int = id v9_;
-  br v4_ .b16_ .b17_;
+  br v5_ .b16_ .b17_;
 .b16_:
   v18_: int = add v10_ v8_;
   v14_: int = id v18_;
   v15_: int = id v9_;
 .b17_:
-  v19_: int = add c6_ v14_;
+  v19_: int = add c2_ v14_;
   print v19_;
 }
diff --git a/tests/snapshots/files__gamma_condition_and-optimize.snap b/tests/snapshots/files__gamma_condition_and-optimize.snap
@@ -5,6 +5,7 @@ expression: visualization.result
 @main(v0: int) {
 .b1_:
   c2_: int = const 0;
+<<<<<<< HEAD
 <<<<<<< HEAD
   v3_: bool = lt v0 c2_;
   v4_: bool = lt c2_ v0;
@@ -15,6 +16,13 @@ expression: visualization.result
   v3_: bool = gt v0 c2_;
   v4_: bool = lt v0 c2_;
 >>>>>>> 96126495 (Fix loop-peel contexts)
+||||||| parent of 602cb9e5 (Snapshots once more)
+  v3_: bool = gt v0 c2_;
+  v4_: bool = lt v0 c2_;
+=======
+  v3_: bool = lt v0 c2_;
+  v4_: bool = lt c2_ v0;
+>>>>>>> 602cb9e5 (Snapshots once more)
   c5_: int = const 1;
   c6_: int = const 3;
   v7_: int = id c6_;

diff --git a/tests/snapshots/files__if_dead_code_nested-optimize.snap b/tests/snapshots/files__if_dead_code_nested-optimize.snap
@@ -31,7 +31,7 @@ expression: visualization.result
   print v18_;
   ret;
 .b8_:
-  v20_: bool = gt v0 c6_;
+  v20_: bool = lt c6_ v0;
   c21_: bool = const false;
   c22_: int = const 2;
   v23_: int = id c22_;

diff --git a/tests/snapshots/files__sqrt-optimize.snap b/tests/snapshots/files__sqrt-optimize.snap
@@ -36,8 +36,8 @@ expression: visualization.result
   v28_: float = fadd v21_ v27_;
   v29_: float = fdiv v28_ v24_;
   v30_: float = fdiv v29_ v21_;
-  v31_: bool = fle v30_ v22_;
-  v32_: bool = fge v30_ v23_;
+  v31_: bool = fge v30_ v23_;
+  v32_: bool = fle v30_ v22_;
   v33_: bool = and v31_ v32_;
   v34_: bool = not v33_;
   v20_: float = id v20_;