diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-02-02 12:24:21 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-02-02 12:24:21 -0800 |
| commit | 73313a7ef6ab384a3130e50f4904b8ae232cf4a5 (patch) | |
| tree | 03c12a015074df956b930ea38e9b7e9919b042c2 /src/relooper/test2.txt | |
| parent | 0b2a80ba3907b7e61b0877e2a1ec2a7454770d47 (diff) | |
always use labels in multiple blocks; emit no more one-time loops but rather labeled ifs1.2.4
Diffstat (limited to 'src/relooper/test2.txt')
| -rw-r--r-- | src/relooper/test2.txt | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/relooper/test2.txt b/src/relooper/test2.txt index c77ce491..a847e806 100644 --- a/src/relooper/test2.txt +++ b/src/relooper/test2.txt @@ -1,12 +1,11 @@ ep -do { - if (ep -> LBB1) { - LBB1 - if (!(LBB1 -> LBB2)) { - break; - } - LBB2 +L1: +if (ep -> LBB1) { + LBB1 + if (!(LBB1 -> LBB2)) { + break L1; } -} while(0); + LBB2 +} LBB3 |