aboutsummaryrefslogtreecommitdiff
path: root/src/relooper/test.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/relooper/test.cpp')
-rw-r--r--src/relooper/test.cpp100
1 files changed, 50 insertions, 50 deletions
diff --git a/src/relooper/test.cpp b/src/relooper/test.cpp
index b2d500d7..fbd9c7aa 100644
--- a/src/relooper/test.cpp
+++ b/src/relooper/test.cpp
@@ -7,11 +7,11 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- If pattern --\n\n");
+ printf("\n\n-- If pattern --\n\n", "the_var");
- 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_a = new Block("// block A\n", "the_var");
+ Block *b_b = new Block("// block B\n", "the_var");
+ Block *b_c = new Block("// block C\n", "the_var");
b_a->AddBranchTo(b_b, "check == 10", "atob();");
b_a->AddBranchTo(b_c, NULL, "atoc();");
@@ -24,7 +24,7 @@ int main() {
r.AddBlock(b_c);
r.Calculate(b_a);
- printf("\n\n");
+ printf("\n\n", "the_var");
r.Render();
puts(buffer);
@@ -33,12 +33,12 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- If-else pattern --\n\n");
+ printf("\n\n-- If-else pattern --\n\n", "the_var");
- 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_a = new Block("// block A\n", "the_var");
+ Block *b_b = new Block("// block B\n", "the_var");
+ Block *b_c = new Block("// block C\n", "the_var");
+ Block *b_d = new Block("// block D\n", "the_var");
b_a->AddBranchTo(b_b, "check == 15");
b_a->AddBranchTo(b_c, NULL);
@@ -54,7 +54,7 @@ int main() {
r.AddBlock(b_d);
r.Calculate(b_a);
- printf("\n\n");
+ printf("\n\n", "the_var");
r.Render();
puts(buffer);
@@ -63,11 +63,11 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- Loop + tail pattern --\n\n");
+ printf("\n\n-- Loop + tail pattern --\n\n", "the_var");
- Block *b_a = new Block("// block A\nvar check = maybe();\n");
- Block *b_b = new Block("// block B\n");
- Block *b_c = new Block("// block C\n");
+ Block *b_a = new Block("// block A\nvar check = maybe();\n", "the_var");
+ Block *b_b = new Block("// block B\n", "the_var");
+ Block *b_c = new Block("// block C\n", "the_var");
b_a->AddBranchTo(b_b, NULL);
@@ -80,7 +80,7 @@ int main() {
r.AddBlock(b_c);
r.Calculate(b_a);
- printf("\n\n");
+ printf("\n\n", "the_var");
r.Render();
puts(buffer);
@@ -89,29 +89,29 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- Loop with phi to head \n\n");
+ printf("\n\n-- Loop with phi to head \n\n", "the_var");
void *block_map[10000];
void *rl = rl_new_relooper();
- void *b1 = rl_new_block("// code 1");
+ void *b1 = rl_new_block("// code 1", "the_var");
block_map[1] = b1;
rl_relooper_add_block(rl, block_map[1]);
- void *b2 = rl_new_block("// code 2");
+ void *b2 = rl_new_block("// code 2", "the_var");
block_map[2] = b2;
rl_relooper_add_block(rl, block_map[2]);
- void *b3 = rl_new_block("// code 3");
+ void *b3 = rl_new_block("// code 3", "the_var");
block_map[3] = b3;
rl_relooper_add_block(rl, block_map[3]);
- void *b4 = rl_new_block("// code 4");
+ void *b4 = rl_new_block("// code 4", "the_var");
block_map[4] = b4;
rl_relooper_add_block(rl, block_map[4]);
- void *b5 = rl_new_block("// code 5");
+ void *b5 = rl_new_block("// code 5", "the_var");
block_map[5] = b5;
rl_relooper_add_block(rl, block_map[5]);
- void *b6 = rl_new_block("// code 6");
+ void *b6 = rl_new_block("// code 6", "the_var");
block_map[6] = b6;
rl_relooper_add_block(rl, block_map[6]);
- void *b7 = rl_new_block("// code 7");
+ void *b7 = rl_new_block("// code 7", "the_var");
block_map[7] = b7;
rl_relooper_add_block(rl, block_map[7]);
rl_block_add_branch_to(block_map[1], block_map[2], NULL, "var $i_0 = 0;var $x_0 = 5; ");
@@ -132,13 +132,13 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- phi on split dead ends --\n\n");
+ printf("\n\n-- phi on split dead ends --\n\n", "the_var");
- 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"); // small and splittable!
- Block *b_e = new Block("// block E\n");
+ Block *b_a = new Block("// block A...................................................................................................\n", "the_var");
+ Block *b_b = new Block("// block B...................................................................................................\n", "the_var");
+ Block *b_c = new Block("// block C...................................................................................................\n", "the_var");
+ Block *b_d = new Block("// block D\n", "the_var"); // small and splittable!
+ Block *b_e = new Block("// block E\n", "the_var");
b_a->AddBranchTo(b_b, "chak()", "atob();");
b_a->AddBranchTo(b_c, NULL, "atoc();");
@@ -155,7 +155,7 @@ int main() {
r.AddBlock(b_e);
r.Calculate(b_a);
- printf("\n\n");
+ printf("\n\n", "the_var");
r.Render();
puts(buffer);
@@ -164,12 +164,12 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- Unbalanced with a dead end --\n\n");
+ printf("\n\n-- Unbalanced with a dead end --\n\n", "the_var");
- Block *b_a = new Block("// block A\n");
- Block *b_b = new Block("// block B\n");
- Block *b_c = new Block("return C;\n");
- Block *b_d = new Block("// block D\n");
+ Block *b_a = new Block("// block A\n", "the_var");
+ Block *b_b = new Block("// block B\n", "the_var");
+ Block *b_c = new Block("return C;\n", "the_var");
+ Block *b_d = new Block("// block D\n", "the_var");
b_a->AddBranchTo(b_b, "check == 10");
b_a->AddBranchTo(b_c, NULL); // c is a dead end
@@ -185,7 +185,7 @@ int main() {
r.AddBlock(b_d);
r.Calculate(b_a);
- printf("\n\n");
+ printf("\n\n", "the_var");
r.Render();
puts(buffer);
@@ -194,14 +194,14 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- if (expensive || expensive2) X else Y; Z --\n\n");
+ printf("\n\n-- if (expensive || expensive2) X else Y; Z --\n\n", "the_var");
- 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");
+ Block *b_a = new Block("// block A\n", "the_var");
+ Block *b_b = new Block("// block B\n", "the_var");
+ Block *b_c = new Block("// block C;\n", "the_var");
+ Block *b_d = new Block("// block D\n", "the_var");
+ Block *b_e = new Block("// block E\n", "the_var");
+ Block *b_f = new Block("// block F\n", "the_var");
b_a->AddBranchTo(b_c, "expensive()");
b_a->AddBranchTo(b_b, NULL);
@@ -226,7 +226,7 @@ int main() {
r.AddBlock(b_f);
r.Calculate(b_a);
- printf("\n\n");
+ printf("\n\n", "the_var");
r.Render();
puts(buffer);
@@ -235,11 +235,11 @@ int main() {
if (1) {
Relooper::SetOutputBuffer(buffer, sizeof(buffer));
- printf("\n\n-- conditional loop --\n\n");
+ printf("\n\n-- conditional loop --\n\n", "the_var");
- 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_a = new Block("// block A\n", "the_var");
+ Block *b_b = new Block("// block B\n", "the_var");
+ Block *b_c = new Block("// block C\n", "the_var");
b_a->AddBranchTo(b_b, "shouldLoop()");
b_a->AddBranchTo(b_c, NULL);
@@ -253,7 +253,7 @@ int main() {
r.AddBlock(b_c);
r.Calculate(b_a);
- printf("\n\n");
+ printf("\n\n", "the_var");
r.Render();
puts(buffer);
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-11-23 10:14:45 +0000