deterministic egglog and snapshots

egraphs-good · Oct 25, 2024 · c60308d · c60308d
1 parent 632a356
commit c60308d
Show file tree

Hide file tree

Showing 7 changed files with 27 additions and 13 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,7 +9,7 @@ name = "files"
 
 
 [dependencies]
-egglog = { git = "https://github.com/egraphs-good/egglog", rev = " 334f9115589cd231227863657e493fcd8304d2f0" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "c9727fc816cf81b9974ac5128983abaf05f7611b" }
 egraph-serialize = "0.2.0"
 log = "0.4.19"
 thiserror = "1"

diff --git a/dag_in_context/Cargo.lock b/dag_in_context/Cargo.lock
diff --git a/dag_in_context/Cargo.toml b/dag_in_context/Cargo.toml
@@ -6,7 +6,7 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-egglog = { git = "https://github.com/egraphs-good/egglog", rev = " 334f9115589cd231227863657e493fcd8304d2f0" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "c9727fc816cf81b9974ac5128983abaf05f7611b" }
 strum = "0.25"
 strum_macros = "0.25"
 main_error = "0.1.2"

diff --git a/tests/snapshots/files__collatz_redundant_computation-optimize.snap b/tests/snapshots/files__collatz_redundant_computation-optimize.snap
@@ -17,8 +17,8 @@ expression: visualization.result
 .b12_:
   v13_: bool = eq v7_ v8_;
   v14_: int = id v6_;
-  v15_: int = id v8_;
-  v16_: int = id v8_;
+  v15_: int = id v7_;
+  v16_: int = id v7_;
   v17_: int = id v9_;
   v18_: int = id v10_;
   v19_: int = id v11_;

diff --git a/tests/snapshots/files__fib_recursive-optimize.snap b/tests/snapshots/files__fib_recursive-optimize.snap
@@ -60,7 +60,7 @@ expression: visualization.result
   br v44_ .b45_ .b46_;
 .b45_:
   v47_: int = call @fac c2_;
-  v48_: int = id c39_;
+  v48_: int = id v0;
 .b49_:
   v41_: int = id v48_;
 .b42_:
@@ -71,7 +71,7 @@ expression: visualization.result
   br v53_ .b54_ .b55_;
 .b54_:
   v56_: int = call @fac c2_;
-  v57_: int = id v0;
+  v57_: int = id c37_;
 .b58_:
   v50_: int = id v57_;
 .b51_:
@@ -113,7 +113,7 @@ expression: visualization.result
   br v84_ .b85_ .b86_;
 .b85_:
   v87_: int = call @fac c2_;
-  v88_: int = id c2_;
+  v88_: int = id v70_;
 .b89_:
   v81_: int = id v88_;
 .b82_:
@@ -177,7 +177,7 @@ expression: visualization.result
   br v132_ .b133_ .b134_;
 .b133_:
   v135_: int = call @fac c2_;
-  v136_: int = id c4_;
+  v136_: int = id v117_;
 .b137_:
   v129_: int = id v136_;
 .b130_:
@@ -231,7 +231,7 @@ expression: visualization.result
   br v170_ .b171_ .b172_;
 .b171_:
   v173_: int = call @fac c2_;
-  v174_: int = id c4_;
+  v174_: int = id v155_;
 .b175_:
   v167_: int = id v174_;
 .b168_:
@@ -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__if_dead_code_nested-optimize.snap b/tests/snapshots/files__if_dead_code_nested-optimize.snap
@@ -30,7 +30,7 @@ expression: visualization.result
   print v17_;
   ret;
 .b7_:
-  v19_: bool = gt v0 c5_;
+  v19_: bool = lt c5_ v0;
   c20_: bool = const false;
   c21_: int = const 2;
   v22_: int = id c21_;