optimize unbalanced 2-multiple shapes in relooper, prevent unnecessary nesting when the smaller is a dead end

1 files changed, 25 insertions, 26 deletions

diff --git a/src/relooper/test_inf.txt b/src/relooper/test_inf.txt
index 2edfc760..379d2083 100644
--- a/src/relooper/test_inf.txt
+++ b/src/relooper/test_inf.txt
@@ -361,32 +361,31 @@ if (uint(i4) >= uint(i5)) {
 code 171
 if (i2 == 0) {
   code 183
-} else {
-  code 172
-  while(1) {
-    code 173
-    if (uint(i5) >= uint(i6)) {
-      code 175
-    } else {
-      code 174
-    }
-    code 176
-    if (uint(i5) >= uint(i6)) {
-      code 178
-    } else {
-      code 177
-    }
-    code 179
-    if (uint(i4) >= uint(i5)) {
-      code 181
-    } else {
-      code 180
-    }
-    code 182
-    if (!(i2 != 0)) {
-      break;
-    }
+}
+code 172
+while(1) {
+  code 173
+  if (uint(i5) >= uint(i6)) {
+    code 175
+  } else {
+    code 174
+  }
+  code 176
+  if (uint(i5) >= uint(i6)) {
+    code 178
+  } else {
+    code 177
+  }
+  code 179
+  if (uint(i4) >= uint(i5)) {
+    code 181
+  } else {
+    code 180
+  }
+  code 182
+  if (!(i2 != 0)) {
+    break;
   }
-  code 183
 }
+code 183