diff options
Diffstat (limited to 'examples/cond_return.gsa')
| -rw-r--r-- | examples/cond_return.gsa | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/examples/cond_return.gsa b/examples/cond_return.gsa new file mode 100644 index 0000000..4b789b8 --- /dev/null +++ b/examples/cond_return.gsa @@ -0,0 +1,14 @@ +f(x8) { + 10: nop + 9: nop + 8: x20 = 5 + 7: if (x8 ==s 21) goto 5 else goto 6 + 6: goto 3 + 5: x22 = 20 + 4: nop + 3: x18 = γ((¬(x8 ==s 21),x20),((x8 ==s 21),x22)) + nop + 2: x28 = x18 + 1: return x28 +} + |