add testcase for annoying relooper pattern that generates many control flow overheads

2 files changed, 65 insertions, 0 deletions

diff --git a/src/relooper/test.cpp b/src/relooper/test.cpp
index 4275941b..d1db54be 100644
--- a/src/relooper/test.cpp
+++ b/src/relooper/test.cpp
@@ -190,5 +190,45 @@ int main() {
 
     puts(buffer);
   }
+
+  if (1) {
+    Relooper::SetOutputBuffer(buffer, sizeof(buffer));
+
+    printf("\n\n-- if (expensive || expensive2) X else Y; Z --\n\n");
+
+    Block *b_a = new Block("// block A\n");
+    Block *b_b = new Block("// block B\n");
+    Block *b_c = new Block("// block C;\n");
+    Block *b_d = new Block("// block D\n");
+    Block *b_e = new Block("// block E\n");
+    Block *b_f = new Block("// block F\n");
+
+    b_a->AddBranchTo(b_c, "expensive()");
+    b_a->AddBranchTo(b_b, NULL);
+
+    b_b->AddBranchTo(b_c, "expensive2()");
+    b_b->AddBranchTo(b_d, NULL);
+
+    b_c->AddBranchTo(b_e, NULL);
+
+    b_d->AddBranchTo(b_e, NULL);
+
+    b_e->AddBranchTo(b_f, NULL);
+
+    b_f->AddBranchTo(b_e, NULL);
+
+    Relooper r;
+    r.AddBlock(b_a);
+    r.AddBlock(b_b);
+    r.AddBlock(b_c);
+    r.AddBlock(b_d);
+    r.AddBlock(b_e);
+
+    r.Calculate(b_a);
+    printf("\n\n");
+    r.Render();
+
+    puts(buffer);
+  }
 }
 
diff --git a/src/relooper/test.txt b/src/relooper/test.txt
index 12d0ef39..c6a895ff 100644
--- a/src/relooper/test.txt
+++ b/src/relooper/test.txt
@@ -109,3 +109,28 @@ while(1) {
   // block D
 }
 
+
+
+-- if (expensive || expensive2) X else Y; Z --
+
+
+
+// block A
+do {
+  if (expensive()) {
+    label = 33;
+  } else {
+    // block B
+    if (expensive2()) {
+      label = 33;
+      break;
+    }
+    // block D
+    break;
+  }
+} while(0);
+if (label == 33) {
+  // block C;
+}
+// block E
+