aboutsummaryrefslogtreecommitdiff
path: root/src/relooper/test3.txt
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-08-16 17:02:43 -0700
committerAlon Zakai <alonzakai@gmail.com>2013-08-21 17:09:16 -0700
commitd705c37e34ad11b01ad33e7c985818a14623dff7 (patch)
treebb1a48ff1208f5a4efda08d6f2a5c1827e55a0b3 /src/relooper/test3.txt
parentab506b38dbb9acb2db4f1a1b8c1608cc57409a6b (diff)
emit switches in relooper1.5.6
Diffstat (limited to 'src/relooper/test3.txt')
-rw-r--r--src/relooper/test3.txt43
1 files changed, 36 insertions, 7 deletions
diff --git a/src/relooper/test3.txt b/src/relooper/test3.txt
index 51199f72..f77e2618 100644
--- a/src/relooper/test3.txt
+++ b/src/relooper/test3.txt
@@ -1,26 +1,55 @@
ep
-do {
- if (ep -> LBB1) {
+L1: do {
+ switch (the_var) {
+ ep -> LBB1 {
LBB1
- if (!(LBB1 -> LBB2)) {
+ switch (the_var) {
+ LBB1 -> LBB2 {
break;
}
+ default: {
+ break L1;
+ }
+ }
LBB2
+ switch (the_var) {
+ default: {
+ }
+ }
+ break;
+ }
+ default: {
+ }
}
} while(0);
LBB3
-do {
- if (LBB3 -> LBB4) {
+L5: do {
+ switch (the_var) {
+ LBB3 -> LBB4 {
LBB4
- if (!(LBB4 -> LBB5)) {
+ switch (the_var) {
+ LBB4 -> LBB5 {
break;
}
+ default: {
+ break L5;
+ }
+ }
while(1) {
LBB5
- if (LBB5 -> LBB6) {
+ switch (the_var) {
+ LBB5 -> LBB6 {
+ break L5;
break;
}
+ default: {
+ }
+ }
}
+ break;
+ }
+ default: {
+ }
}
} while(0);
LBB6