aboutsummaryrefslogtreecommitdiff
path: root/src/relooper/test3.txt
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-12-28 10:39:44 -0800
committerAlon Zakai <alonzakai@gmail.com>2013-12-28 10:39:44 -0800
commit493eed11c24fc51716a08df7b72d5f0021e6535e (patch)
tree47be247a230d7890e8a37788206e0220c87573c8 /src/relooper/test3.txt
parent9e1c9c1577669424a9c7dee86b34f20ad6366c8e (diff)
optimize relooper id counters1.8.0
Diffstat (limited to 'src/relooper/test3.txt')
-rw-r--r--src/relooper/test3.txt82
1 files changed, 41 insertions, 41 deletions
diff --git a/src/relooper/test3.txt b/src/relooper/test3.txt
index f77e2618..33f85a7e 100644
--- a/src/relooper/test3.txt
+++ b/src/relooper/test3.txt
@@ -1,56 +1,56 @@
-ep
-L1: do {
- switch (the_var) {
- ep -> LBB1 {
- LBB1
+ ep
+ L1: do {
switch (the_var) {
- LBB1 -> LBB2 {
+ 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
-L5: do {
- switch (the_var) {
- LBB3 -> LBB4 {
- LBB4
+ } while(0);
+ LBB3
+ L5: do {
switch (the_var) {
- LBB4 -> LBB5 {
- break;
- }
- default: {
- break L5;
- }
- }
- while(1) {
- LBB5
+ LBB3 -> LBB4 {
+ LBB4
switch (the_var) {
- LBB5 -> LBB6 {
- break L5;
+ LBB4 -> LBB5 {
break;
}
default: {
+ break L5;
+ }
}
+ while(1) {
+ LBB5
+ switch (the_var) {
+ LBB5 -> LBB6 {
+ break L5;
+ break;
+ }
+ default: {
+ }
+ }
}
+ break;
+ }
+ default: {
+ }
}
- break;
- }
- default: {
- }
- }
-} while(0);
-LBB6
+ } while(0);
+ LBB6