snapshot???

egraphs-good · Jun 28, 2024 · c657577 · c657577
1 parent cd08b51
commit c657577
Show file tree

Hide file tree

Showing 5 changed files with 23 additions and 23 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
@@ -339,4 +339,4 @@ expression: visualization.result
   jmp .b38_;
 .b6_:
   print v5_;
-}
+}
diff --git a/tests/snapshots/files__gamma_condition_and-optimize.snap b/tests/snapshots/files__gamma_condition_and-optimize.snap
@@ -6,7 +6,7 @@ expression: visualization.result
 .b1_:
   c2_: int = const 0;
   v3_: bool = lt v0 c2_;
-  v4_: bool = gt v0 c2_;
+  v4_: bool = lt c2_ v0;
   c5_: int = const 1;
   c6_: int = const 3;
   v7_: int = id c6_;
@@ -21,4 +21,4 @@ expression: visualization.result
   v7_: int = id v11_;
 .b9_:
   print v7_;
-}
+}
diff --git a/tests/snapshots/files__if_dead_code_nested-optimize.snap b/tests/snapshots/files__if_dead_code_nested-optimize.snap
@@ -31,15 +31,15 @@ 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_;
   v24_: bool = id c21_;
   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_;
@@ -61,4 +61,4 @@ expression: visualization.result
   print v19_;
   print v3_;
   print v18_;
-}
+}
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 = fge v30_ v23_;
-  v32_: bool = fle v30_ v22_;
+  v31_: bool = fle v30_ v22_;
+  v32_: bool = fge v30_ v23_;
   v33_: bool = and v31_ v32_;
   v34_: bool = not v33_;
   v20_: float = id v20_;
@@ -61,4 +61,4 @@ expression: visualization.result
   print v37_;
   jmp .b36_;
 .b38_:
-}
+}