Add snapshots

egraphs-good · Oct 31, 2024 · 197f291 · 197f291
1 parent ef8ea4b
commit 197f291
Show file tree

Hide file tree

Showing 33 changed files with 972 additions and 0 deletions.
diff --git a/...ing/peggy_comparison/branch_hoisting.bril → ...all/peggy_comparison/branch_hoisting.bril b/...ing/peggy_comparison/branch_hoisting.bril → ...all/peggy_comparison/branch_hoisting.bril
diff --git a/...parison/conditional_constant_folding.bril → ...parison/conditional_constant_folding.bril b/...parison/conditional_constant_folding.bril → ...parison/conditional_constant_folding.bril
diff --git a/.../peggy_comparison/dead_loop_deletion.bril → .../peggy_comparison/dead_loop_deletion.bril b/.../peggy_comparison/dead_loop_deletion.bril → .../peggy_comparison/dead_loop_deletion.bril
diff --git a/tests/passing/peggy_comparison/if_true.bril → ...ssing/small/peggy_comparison/if_true.bril b/tests/passing/peggy_comparison/if_true.bril → ...ssing/small/peggy_comparison/if_true.bril
diff --git a/...gy_comparison/loop_based_code_motion.bril → ...gy_comparison/loop_based_code_motion.bril b/...gy_comparison/loop_based_code_motion.bril → ...gy_comparison/loop_based_code_motion.bril
diff --git a/...omparison/loop_invariant_code_motion.bril → ...omparison/loop_invariant_code_motion.bril b/...omparison/loop_invariant_code_motion.bril → ...omparison/loop_invariant_code_motion.bril
diff --git a/...assing/peggy_comparison/loop_peeling.bril → .../small/peggy_comparison/loop_peeling.bril b/...assing/peggy_comparison/loop_peeling.bril → .../small/peggy_comparison/loop_peeling.bril
diff --git a/...y_comparison/loop_strength_reduction.bril → ...y_comparison/loop_strength_reduction.bril b/...y_comparison/loop_strength_reduction.bril → ...y_comparison/loop_strength_reduction.bril
diff --git a/...son/loop_strength_reduction_modified.bril → ...son/loop_strength_reduction_modified.bril b/...son/loop_strength_reduction_modified.bril → ...son/loop_strength_reduction_modified.bril
diff --git a/...passing/peggy_comparison/loop_unroll.bril → ...g/small/peggy_comparison/loop_unroll.bril b/...passing/peggy_comparison/loop_unroll.bril → ...g/small/peggy_comparison/loop_unroll.bril
diff --git a/...eggy_comparison/simple_loop_unswitch.bril → ...eggy_comparison/simple_loop_unswitch.bril b/...eggy_comparison/simple_loop_unswitch.bril → ...eggy_comparison/simple_loop_unswitch.bril
diff --git a/tests/snapshots/files__branch_hoisting-optimize-sequential.snap b/tests/snapshots/files__branch_hoisting-optimize-sequential.snap
@@ -0,0 +1,64 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 0
+@main(v0: int) {
+.b1_:
+  c2_: int = const 0;
+  c3_: int = const 500;
+  v4_: int = id c2_;
+  v5_: int = id c2_;
+  v6_: int = id v0;
+  v7_: int = id c2_;
+  v8_: int = id c3_;
+.b9_:
+  v10_: bool = lt v5_ v8_;
+  v11_: int = id v4_;
+  v12_: int = id v5_;
+  v13_: int = id v6_;
+  v14_: int = id v7_;
+  v15_: int = id v8_;
+  br v10_ .b16_ .b17_;
+.b16_:
+  v18_: bool = eq v6_ v7_;
+  c19_: int = const 2;
+  br v18_ .b20_ .b21_;
+.b20_:
+  v22_: int = mul c19_ v5_;
+  v23_: int = id v22_;
+  v24_: int = id v5_;
+  v25_: int = id v6_;
+  v26_: int = id v6_;
+  v27_: int = id v8_;
+.b28_:
+  c29_: int = const 1;
+  v30_: int = add c29_ v5_;
+  v11_: int = id v23_;
+  v12_: int = id v30_;
+  v13_: int = id v6_;
+  v14_: int = id v7_;
+  v15_: int = id v8_;
+  v4_: int = id v11_;
+  v5_: int = id v12_;
+  v6_: int = id v13_;
+  v7_: int = id v14_;
+  v8_: int = id v15_;
+  jmp .b9_;
+.b21_:
+  c31_: int = const 3;
+  v32_: int = mul c31_ v5_;
+  v23_: int = id v32_;
+  v24_: int = id v5_;
+  v25_: int = id v6_;
+  v26_: int = id v7_;
+  v27_: int = id v8_;
+  jmp .b28_;
+.b17_:
+  v4_: int = id v11_;
+  v5_: int = id v12_;
+  v6_: int = id v13_;
+  v7_: int = id v14_;
+  v8_: int = id v15_;
+  print v4_;
+}
diff --git a/tests/snapshots/files__branch_hoisting-optimize.snap b/tests/snapshots/files__branch_hoisting-optimize.snap
@@ -0,0 +1,64 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 0
+@main(v0: int) {
+.b1_:
+  c2_: int = const 0;
+  c3_: int = const 500;
+  v4_: int = id c2_;
+  v5_: int = id c2_;
+  v6_: int = id v0;
+  v7_: int = id c2_;
+  v8_: int = id c3_;
+.b9_:
+  v10_: bool = lt v5_ v8_;
+  v11_: int = id v4_;
+  v12_: int = id v5_;
+  v13_: int = id v6_;
+  v14_: int = id v7_;
+  v15_: int = id v8_;
+  br v10_ .b16_ .b17_;
+.b16_:
+  v18_: bool = eq v6_ v7_;
+  c19_: int = const 2;
+  br v18_ .b20_ .b21_;
+.b20_:
+  v22_: int = mul c19_ v5_;
+  v23_: int = id v22_;
+  v24_: int = id v5_;
+  v25_: int = id v6_;
+  v26_: int = id v6_;
+  v27_: int = id v8_;
+.b28_:
+  c29_: int = const 1;
+  v30_: int = add c29_ v5_;
+  v11_: int = id v23_;
+  v12_: int = id v30_;
+  v13_: int = id v6_;
+  v14_: int = id v7_;
+  v15_: int = id v8_;
+  v4_: int = id v11_;
+  v5_: int = id v12_;
+  v6_: int = id v13_;
+  v7_: int = id v14_;
+  v8_: int = id v15_;
+  jmp .b9_;
+.b21_:
+  c31_: int = const 3;
+  v32_: int = mul c31_ v5_;
+  v23_: int = id v32_;
+  v24_: int = id v5_;
+  v25_: int = id v6_;
+  v26_: int = id v7_;
+  v27_: int = id v8_;
+  jmp .b28_;
+.b17_:
+  v4_: int = id v11_;
+  v5_: int = id v12_;
+  v6_: int = id v13_;
+  v7_: int = id v14_;
+  v8_: int = id v15_;
+  print v4_;
+}
diff --git a/tests/snapshots/files__conditional_constant_folding-optimize-sequential.snap b/tests/snapshots/files__conditional_constant_folding-optimize-sequential.snap
@@ -0,0 +1,10 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 4
+@main(v0: int) {
+.b1_:
+  c2_: int = const 20;
+  print c2_;
+}
diff --git a/tests/snapshots/files__conditional_constant_folding-optimize.snap b/tests/snapshots/files__conditional_constant_folding-optimize.snap
@@ -0,0 +1,10 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 4
+@main(v0: int) {
+.b1_:
+  c2_: int = const 20;
+  print c2_;
+}
diff --git a/tests/snapshots/files__dead_loop_deletion-optimize-sequential.snap b/tests/snapshots/files__dead_loop_deletion-optimize-sequential.snap
@@ -0,0 +1,42 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 
+@main {
+.b0_:
+  c1_: int = const 2;
+  c2_: int = const 3;
+  c3_: int = const 0;
+  c4_: int = const 1;
+  c5_: int = const 40;
+  v6_: int = id c2_;
+  v7_: int = id c3_;
+  v8_: int = id c4_;
+  v9_: int = id c5_;
+.b10_:
+  v11_: bool = lt v7_ v9_;
+  v12_: int = id v6_;
+  v13_: int = id v7_;
+  v14_: int = id v8_;
+  v15_: int = id v9_;
+  br v11_ .b16_ .b17_;
+.b16_:
+  v18_: int = add v6_ v8_;
+  v19_: int = add v7_ v8_;
+  v12_: int = id v18_;
+  v13_: int = id v19_;
+  v14_: int = id v8_;
+  v15_: int = id v9_;
+  v6_: int = id v12_;
+  v7_: int = id v13_;
+  v8_: int = id v14_;
+  v9_: int = id v15_;
+  jmp .b10_;
+.b17_:
+  v6_: int = id v12_;
+  v7_: int = id v13_;
+  v8_: int = id v14_;
+  v9_: int = id v15_;
+  print c1_;
+}
diff --git a/tests/snapshots/files__dead_loop_deletion-optimize.snap b/tests/snapshots/files__dead_loop_deletion-optimize.snap
@@ -0,0 +1,42 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 
+@main {
+.b0_:
+  c1_: int = const 2;
+  c2_: int = const 3;
+  c3_: int = const 0;
+  c4_: int = const 1;
+  c5_: int = const 40;
+  v6_: int = id c2_;
+  v7_: int = id c3_;
+  v8_: int = id c4_;
+  v9_: int = id c5_;
+.b10_:
+  v11_: bool = lt v7_ v9_;
+  v12_: int = id v6_;
+  v13_: int = id v7_;
+  v14_: int = id v8_;
+  v15_: int = id v9_;
+  br v11_ .b16_ .b17_;
+.b16_:
+  v18_: int = add v6_ v8_;
+  v19_: int = add v7_ v8_;
+  v12_: int = id v18_;
+  v13_: int = id v19_;
+  v14_: int = id v8_;
+  v15_: int = id v9_;
+  v6_: int = id v12_;
+  v7_: int = id v13_;
+  v8_: int = id v14_;
+  v9_: int = id v15_;
+  jmp .b10_;
+.b17_:
+  v6_: int = id v12_;
+  v7_: int = id v13_;
+  v8_: int = id v14_;
+  v9_: int = id v15_;
+  print c1_;
+}
diff --git a/tests/snapshots/files__if_true-optimize-sequential.snap b/tests/snapshots/files__if_true-optimize-sequential.snap
@@ -0,0 +1,12 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 20
+@main(v0: int) {
+.b1_:
+  c2_: int = const 1;
+  v3_: int = sub v0 c2_;
+  print v0;
+  print v3_;
+}
diff --git a/tests/snapshots/files__if_true-optimize.snap b/tests/snapshots/files__if_true-optimize.snap
@@ -0,0 +1,12 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 20
+@main(v0: int) {
+.b1_:
+  c2_: int = const 1;
+  v3_: int = sub v0 c2_;
+  print v0;
+  print v3_;
+}
diff --git a/tests/snapshots/files__loop_based_code_motion-optimize-sequential.snap b/tests/snapshots/files__loop_based_code_motion-optimize-sequential.snap
@@ -0,0 +1,31 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 
+@main {
+.b0_:
+  c1_: int = const 0;
+  c2_: int = const 3;
+  v3_: int = id c1_;
+  v4_: int = id c2_;
+.b5_:
+  v6_: bool = lt v3_ v4_;
+  v7_: int = id v3_;
+  v8_: int = id v4_;
+  br v6_ .b9_ .b10_;
+.b9_:
+  c11_: int = const 1;
+  v12_: int = add c11_ v3_;
+  v7_: int = id v12_;
+  v8_: int = id v4_;
+  v3_: int = id v7_;
+  v4_: int = id v8_;
+  jmp .b5_;
+.b10_:
+  v3_: int = id v7_;
+  v4_: int = id v8_;
+  c13_: int = const 5;
+  v14_: int = mul c13_ v3_;
+  print v14_;
+}
diff --git a/tests/snapshots/files__loop_based_code_motion-optimize.snap b/tests/snapshots/files__loop_based_code_motion-optimize.snap
@@ -0,0 +1,31 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 
+@main {
+.b0_:
+  c1_: int = const 0;
+  c2_: int = const 3;
+  v3_: int = id c1_;
+  v4_: int = id c2_;
+.b5_:
+  v6_: bool = lt v3_ v4_;
+  v7_: int = id v3_;
+  v8_: int = id v4_;
+  br v6_ .b9_ .b10_;
+.b9_:
+  c11_: int = const 1;
+  v12_: int = add c11_ v3_;
+  v7_: int = id v12_;
+  v8_: int = id v4_;
+  v3_: int = id v7_;
+  v4_: int = id v8_;
+  jmp .b5_;
+.b10_:
+  v3_: int = id v7_;
+  v4_: int = id v8_;
+  c13_: int = const 5;
+  v14_: int = mul c13_ v3_;
+  print v14_;
+}
diff --git a/tests/snapshots/files__loop_invariant_code_motion-optimize-sequential.snap b/tests/snapshots/files__loop_invariant_code_motion-optimize-sequential.snap
@@ -0,0 +1,63 @@
+---
+source: tests/files.rs
+expression: visualization.result
+---
+# ARGS: 30 10
+@main(v0: int, v1: int) {
+.b2_:
+  c3_: int = const 0;
+  c4_: int = const 1;
+  c5_: int = const 20;
+  v6_: int = id c3_;
+  v7_: int = id c4_;
+  v8_: int = id v1;
+  v9_: int = id v0;
+  v10_: int = id c5_;
+.b11_:
+  v12_: bool = lt v6_ v10_;
+  v13_: int = id v6_;
+  v14_: int = id v7_;
+  v15_: int = id v8_;
+  v16_: int = id v9_;
+  v17_: int = id v10_;
+  br v12_ .b18_ .b19_;
+.b18_:
+  v20_: int = mul v10_ v9_;
+  v21_: bool = lt v20_ v8_;
+  v22_: int = id v6_;
+  v23_: int = id v7_;
+  v24_: int = id v20_;
+  v25_: int = id v8_;
+  v26_: int = id v9_;
+  v27_: int = id v10_;
+  br v21_ .b28_ .b29_;
+.b28_:
+  v30_: int = add v20_ v7_;
+  v22_: int = id v6_;
+  v23_: int = id v7_;
+  v24_: int = id v30_;
+  v25_: int = id v8_;
+  v26_: int = id v9_;
+  v27_: int = id v10_;
+.b29_:
+  v31_: int = mul v24_ v6_;
+  print v31_;
+  v32_: int = add v6_ v7_;
+  v13_: int = id v32_;
+  v14_: int = id v7_;
+  v15_: int = id v8_;
+  v16_: int = id v9_;
+  v17_: int = id v10_;
+  v6_: int = id v13_;
+  v7_: int = id v14_;
+  v8_: int = id v15_;
+  v9_: int = id v16_;
+  v10_: int = id v17_;
+  jmp .b11_;
+.b19_:
+  v6_: int = id v13_;
+  v7_: int = id v14_;
+  v8_: int = id v15_;
+  v9_: int = id v16_;
+  v10_: int = id v17_;
+}