always use labels in multiple blocks; emit no more one-time loops but rather labeled ifs1.2.4

1 files changed, 13 insertions, 14 deletions

diff --git a/src/relooper/test_fuzz5.txt b/src/relooper/test_fuzz5.txt
index 9548205c..7c795d53 100644
--- a/src/relooper/test_fuzz5.txt
+++ b/src/relooper/test_fuzz5.txt
@@ -3,22 +3,21 @@
 print('entry'); var label; var state; var decisions = [133, 98, 134, 143, 162, 187, 130, 87, 91, 49, 102, 47, 9, 132, 179, 176, 157, 25, 64, 161, 57, 107, 16, 167, 185, 45, 191, 180, 23, 131]; var index = 0; function check() { if (index == decisions.length) throw 'HALT'; return decisions[index++] }
 L1: while(1) {
   print(7); state = check();
-  do {
-    if (state % 3 == 1) {
-      label = 3;
-    } else if (state % 3 == 0) {
-      print(8); state = check();
-      if (state % 2 == 0) {
-        label = 5;
-        break;
-      } else {
-        label = 7;
-        break;
-      }
+  L3: 
+  if (state % 3 == 1) {
+    label = 3;
+  } else if (state % 3 == 0) {
+    print(8); state = check();
+    if (state % 2 == 0) {
+      label = 5;
+      break L3;
     } else {
-      break L1;
+      label = 7;
+      break L3;
     }
-  } while(0);
+  } else {
+    break L1;
+  }
   while(1) {
     if (label == 3) {
       label = 0;