add bug repro

egraphs-good · Jan 31, 2024 · a86aef9 · a86aef9
1 parent cfa2608
commit a86aef9
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/src/rvsdg/tests.rs b/src/rvsdg/tests.rs
@@ -241,6 +241,15 @@ fn rvsdg_state_gamma() {
     assert!(deep_equal(&expected, &rvsdg.functions[0]));
 }
 
+#[test]
+fn harder_unstructured() {
+    const PROGRAM: &str = include_str!("../../tests/small/harder_unstructured.bril");
+    let prog = parse_from_string(PROGRAM);
+    let cfg = program_to_cfg(&prog);
+    let rvsdg = &cfg_to_rvsdg(&cfg).unwrap().functions[0];
+    eprintln!("{}", rvsdg.to_svg());
+}
+
 #[test]
 fn rvsdg_unstructured() {
     const PROGRAM: &str = r#"@main(): int {

diff --git a/tests/small/harder_unstructured.bril b/tests/small/harder_unstructured.bril
@@ -0,0 +1,13 @@
+@main(): int {
+    x: int = const 4;
+    a_cond: bool = lt x x;
+    br a_cond .B .C;
+.B:
+    br a_cond .C .D;
+.C:
+    br a_cond .D .End;
+.D:
+    jmp .End;
+.End:
+    ret x;
+}