Fix directionality of phi nodes

hj424 · Sep 21, 2020 · 6f98fa5 · 6f98fa5
1 parent f1c723b
commit 6f98fa5
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 1 deletion.
diff --git a/bril-ts/brili.ts b/bril-ts/brili.ts
@@ -675,6 +675,7 @@ function evalFunc(func: bril.Function, state: State): ReturnValue {
         for (i = 0; i < func.instrs.length; ++i) {
           let sLine = func.instrs[i];
           if ('label' in sLine && sLine.label === action.label) {
+            --i;  // Execute the label next.
             break;
           }
         }

diff --git a/test/interp/ssa-simple-inv.bril b/test/interp/ssa-simple-inv.bril
@@ -0,0 +1,11 @@
+# ARGS: true
+@main(cond: bool) {
+.top:
+  a: int = const 5;
+  br cond .here .there;
+.here:
+  b: int = const 7;
+.there:
+  c: int = phi a .top b .here;
+  print c;
+}
diff --git a/test/interp/ssa-simple-inv.out b/test/interp/ssa-simple-inv.out
@@ -0,0 +1 @@
+7
diff --git a/test/interp/ssa-simple.out b/test/interp/ssa-simple.out
@@ -1 +1 @@
-5
+7