diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-12-28 10:39:44 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-12-28 10:39:44 -0800 |
| commit | 493eed11c24fc51716a08df7b72d5f0021e6535e (patch) | |
| tree | 47be247a230d7890e8a37788206e0220c87573c8 /src/relooper/test2.txt | |
| parent | 9e1c9c1577669424a9c7dee86b34f20ad6366c8e (diff) | |
optimize relooper id counters1.8.0
Diffstat (limited to 'src/relooper/test2.txt')
| -rw-r--r-- | src/relooper/test2.txt | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/src/relooper/test2.txt b/src/relooper/test2.txt index a558a8b7..aba9ec1f 100644 --- a/src/relooper/test2.txt +++ b/src/relooper/test2.txt @@ -1,26 +1,26 @@ -ep -L1: do { - switch (var) { - ep -> LBB1 { - LBB1 - switch (the_var) { - LBB1 -> LBB2 { + ep + L1: do { + switch (var) { + ep -> LBB1 { + LBB1 + switch (the_var) { + LBB1 -> LBB2 { + break; + } + default: { + break L1; + } + } + LBB2 + switch (the_var) { + default: { + } + } break; } default: { - break L1; } } - LBB2 - switch (the_var) { - default: { - } - } - break; - } - default: { - } - } -} while(0); -LBB3 + } while(0); + LBB3 |