diff options
Diffstat (limited to 'src/relooper/test3.txt')
-rw-r--r-- | src/relooper/test3.txt | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/relooper/test3.txt b/src/relooper/test3.txt new file mode 100644 index 00000000..696542ef --- /dev/null +++ b/src/relooper/test3.txt @@ -0,0 +1,27 @@ +ep +do { + if (ep -> LBB1) { + LBB1 + if (!(LBB1 -> LBB2)) { + break; + } + LBB2 + } +} while(0); +LBB3 +L5: do { + if (LBB3 -> LBB4) { + LBB4 + if (!(LBB4 -> LBB5)) { + break; + } + while(1) { + LBB5 + if (LBB5 -> LBB6) { + break L5; + } + } + } +} while(0); +LBB6 + |