Add data flow test with argument

hj424 · Sep 21, 2020 · dafc39d · dafc39d
1 parent 9fe23d2
commit dafc39d
Show file tree

Hide file tree

Showing 2 changed files with 30 additions and 0 deletions.
diff --git a/examples/test/df/cond-args.bril b/examples/test/df/cond-args.bril
@@ -0,0 +1,18 @@
+# ARGS: live
+
+@main(cond: bool) {
+  a: int = const 47;
+  b: int = const 42;
+  br cond .left .right;
+.left:
+  b: int = const 1;
+  c: int = const 5;
+  jmp .end;
+.right:
+  a: int = const 2;
+  c: int = const 10;
+  jmp .end;
+.end:
+  d: int = sub a c;
+  print d;
+}
diff --git a/examples/test/df/cond-args.out b/examples/test/df/cond-args.out
@@ -0,0 +1,12 @@
+b1:
+  in:  cond
+  out: a
+left:
+  in:  a
+  out: a, c
+right:
+  in:  ∅
+  out: a, c
+end:
+  in:  a, c
+  out: ∅