snapshot

egraphs-good · Feb 10, 2025 · dd17c46 · dd17c46
1 parent 8719c4f
commit dd17c46
Showing 1 changed file with 16 additions and 16 deletions.
diff --git a/tests/snapshots/files__block-diamond-optimize-sequential.snap b/tests/snapshots/files__block-diamond-optimize-sequential.snap
@@ -4,30 +4,30 @@ expression: visualization.result
 ---
 # ARGS: 1
 @main(v0: int) {
-  c1_: int = const 2;
-  v2_: bool = lt v0 c1_;
-  c3_: int = const 1;
-  v4_: int = id c3_;
-  v5_: int = id c3_;
-  v6_: int = id c1_;
-  br v2_ .b7_ .b8_;
+  c1_: int = const 1;
+  c2_: int = const 2;
+  v3_: bool = lt v0 c2_;
+  v4_: int = id c1_;
+  v5_: int = id c1_;
+  v6_: int = id c2_;
+  br v3_ .b7_ .b8_;
 .b7_:
   c9_: bool = const true;
   c10_: int = const 4;
-  v11_: int = select c9_ c10_ c1_;
+  v11_: int = select c9_ c10_ c2_;
   v4_: int = id v11_;
-  v5_: int = id c3_;
-  v6_: int = id c1_;
-  v12_: int = add c1_ v4_;
-  v13_: int = select v2_ v4_ v12_;
-  v14_: int = add c3_ v13_;
+  v5_: int = id c1_;
+  v6_: int = id c2_;
+  v12_: int = add c2_ v4_;
+  v13_: int = select v3_ v4_ v12_;
+  v14_: int = add c1_ v13_;
   print v14_;
   ret;
   jmp .b15_;
 .b8_:
-  v12_: int = add c1_ v4_;
-  v13_: int = select v2_ v4_ v12_;
-  v14_: int = add c3_ v13_;
+  v12_: int = add c2_ v4_;
+  v13_: int = select v3_ v4_ v12_;
+  v14_: int = add c1_ v13_;
   print v14_;
   ret;
 .b15_: