diff options
author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-11-21 20:58:36 -0500 |
---|---|---|
committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-11-21 20:58:36 -0500 |
commit | 86f520a1f11561d0db5e1c540f3ace2f2bd8c376 (patch) | |
tree | a66fdbbe16858df8e9276bda47d93c6b85525071 /lisc/test/dragon.ssa | |
parent | c5259db2c45e60db6b7468f9d24dd66882da6fd5 (diff) | |
download | roux-86f520a1f11561d0db5e1c540f3ace2f2bd8c376.tar.gz |
add dominators construction test
Diffstat (limited to 'lisc/test/dragon.ssa')
-rw-r--r-- | lisc/test/dragon.ssa | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/lisc/test/dragon.ssa b/lisc/test/dragon.ssa new file mode 100644 index 0000000..b169e1b --- /dev/null +++ b/lisc/test/dragon.ssa @@ -0,0 +1,33 @@ +# a moderately complex test for +# dominators computation from +# the dragon book +# because branching is limited to +# two, I had to split some blocks + +function $dragon() { +@start +@b1 + jnz 0, @b2, @b3 +@b2 + jmp @b3 +@b3 + jmp @b4.1 +@b4.1 + jnz 0, @b3, @b4.2 +@b4.2 + jnz 0, @b5, @b6 +@b5 + jmp @b7 +@b6 + jmp @b7 +@b7 + jnz 0, @b8.1, @b4.1 +@b8.1 + jnz 0, @b3, @b8.2 +@b8.2 + jnz 0, @b9, @b10 +@b9 + jmp @b1 +@b10 + jmp @b7 +} |