Move peggy comparison into passing tests

egraphs-good · Jun 5, 2024 · 405995f · 405995f
1 parent 9759bb7
commit 405995f
Show file tree

Hide file tree

Showing 12 changed files with 9 additions and 5 deletions.
diff --git a/tests/peggy_comparison/branch_hoisting.bril → ...ing/peggy_comparison/branch_hoisting.bril b/tests/peggy_comparison/branch_hoisting.bril → ...ing/peggy_comparison/branch_hoisting.bril
@@ -1,3 +1,4 @@
+# ARGS: 0
 @main(n: int): int {
     zero: int = const 0;
     x: int = id zero;

diff --git a/...parison/conditional_constant_folding.bril → ...parison/conditional_constant_folding.bril b/...parison/conditional_constant_folding.bril → ...parison/conditional_constant_folding.bril
@@ -1,3 +1,4 @@
+# ARGS: 4
 @main(x: int): int {
     five: int = const 5;
     four: int = const 4;

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
@@ -1,15 +1,16 @@
-@main: int {
+@main(): int {
     j: int = const 3;
-    i: int = const 5;
-    four: int = const 4;
+    i: int = const 0;
+    forty: int = const 40;
     one: int = const 1;
 
 .loop_test:
-    cond: bool = lt i four;
+    cond: bool = lt i forty;
     br cond .loop_body .loop_end;
 
 .loop_body:
     j: int = add j one;
+    i: int = add i one;
     jmp .loop_test;
 
 .loop_end:

diff --git a/tests/peggy_comparison/if_true.bril → tests/passing/peggy_comparison/if_true.bril b/tests/peggy_comparison/if_true.bril → tests/passing/peggy_comparison/if_true.bril
diff --git a/tests/peggy_comparison/infinite_loop.bril → ...ssing/peggy_comparison/infinite_loop.bril b/tests/peggy_comparison/infinite_loop.bril → ...ssing/peggy_comparison/infinite_loop.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/tests/peggy_comparison/loop_peeling.bril → ...assing/peggy_comparison/loop_peeling.bril b/tests/peggy_comparison/loop_peeling.bril → ...assing/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/tests/peggy_comparison/loop_unroll.bril → ...passing/peggy_comparison/loop_unroll.bril b/tests/peggy_comparison/loop_unroll.bril → ...passing/peggy_comparison/loop_unroll.bril
@@ -1,4 +1,4 @@
-@main(x: int): int {
+@main: int {
     i: int = const 0;
     one: int = const 1;
 

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
@@ -1,3 +1,4 @@
+# ARGS: 40
 @main(n: int): int {
     one: int = const 1;
     zero: int = const 0;