aboutsummaryrefslogtreecommitdiff
path: root/src/relooper/test5.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/test5.txt
parentab506b38dbb9acb2db4f1a1b8c1608cc57409a6b (diff)
emit switches in relooper1.5.6
Diffstat (limited to 'src/relooper/test5.txt')
-rw-r--r--src/relooper/test5.txt44
1 files changed, 34 insertions, 10 deletions
diff --git a/src/relooper/test5.txt b/src/relooper/test5.txt
index 83755289..82ef5edf 100644
--- a/src/relooper/test5.txt
+++ b/src/relooper/test5.txt
@@ -1,32 +1,56 @@
//0
-if (check(0)) {
- while(1) {
+switch (the_var) {
+check(0) {
+ L2: while(1) {
//1
- if (!(check(1))) {
+ switch (the_var) {
+ check(1) {
break;
}
+ default: {
+ break L2;
+ }
+ }
}
- while(1) {
+ L4: while(1) {
//2
- if (!(check(2))) {
+ switch (the_var) {
+ check(2) {
break;
}
+ default: {
+ break L4;
+ }
+ }
}
//3
-} else {
+ break;
+}
+default: {
goingFrom0to4();
- while(1) {
+ L7: while(1) {
//4
- if (!(check(4))) {
+ switch (the_var) {
+ check(4) {
break;
}
+ default: {
+ break L7;
+ }
+ }
}
- while(1) {
+ L9: while(1) {
//5
- if (check(5)) {
+ switch (the_var) {
+ check(5) {
+ break L9;
break;
}
+ default: {
+ }
+ }
}
//3
}
+}