From bdebd1b922f414ef3e345de070765ccaead7333b Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Wed, 21 Feb 2024 11:33:49 +0200 Subject: [PATCH] Remove second excessive block from loop unrolling --- src/util/loopUnrolling.ml | 9 +- .../55-loop-unrolling/01-simple-cases.t | 160 ------------------ tests/regression/55-loop-unrolling/02-break.t | 10 -- .../55-loop-unrolling/03-break-right-place.t | 10 -- .../regression/55-loop-unrolling/04-simple.t | 10 -- .../55-loop-unrolling/05-continue.t | 10 -- .../06-simple-cases-unrolled.t | 160 ------------------ .../55-loop-unrolling/07-nested-unroll.t | 140 --------------- tests/regression/55-loop-unrolling/08-bad.t | 4 - tests/regression/55-loop-unrolling/09-weird.t | 4 - 10 files changed, 7 insertions(+), 510 deletions(-) diff --git a/src/util/loopUnrolling.ml b/src/util/loopUnrolling.ml index 71ab2caa5c..abdff8fa57 100644 --- a/src/util/loopUnrolling.ml +++ b/src/util/loopUnrolling.ml @@ -458,8 +458,13 @@ class loopUnrollingVisitor(func, totalLoops) = object (* continues should go to the next unrolling *) let current_continue_target = { (Cil.mkEmptyStmt ()) with labels = [Label (Cil.freshLabel ("loop_continue_" ^ (string_of_int i)),loc, false)]} in let patcher = new copyandPatchLabelsVisitor (break_target, current_continue_target) in - let one_copy = visitCilStmt patcher (mkStmt (Block (mkBlock b.bstmts))) in (* TODO: avoid this block, removing breaks some continue labels for some reason *) - [one_copy; current_continue_target] + let one_copy = visitCilStmt patcher (mkStmt (Block (mkBlock b.bstmts))) in + let one_copy_stmts = (* TODO: avoid this nonsense, directly visiting only b.bstmts breaks some continue labels for some reason *) + match one_copy.skind with + | Block b -> b.bstmts + | _ -> assert false + in + one_copy_stmts @ [current_continue_target] ) in mkStmt (Block (mkBlock (List.flatten copies @ [s; break_target]))) diff --git a/tests/regression/55-loop-unrolling/01-simple-cases.t b/tests/regression/55-loop-unrolling/01-simple-cases.t index 8539810091..a05ee4d010 100644 --- a/tests/regression/55-loop-unrolling/01-simple-cases.t +++ b/tests/regression/55-loop-unrolling/01-simple-cases.t @@ -55,45 +55,35 @@ { i = 0; { - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -121,45 +111,35 @@ { i = 0; { - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_0: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_1: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_2: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_3: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -187,45 +167,35 @@ { i = 0; { - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -256,7 +226,6 @@ i = 0; first_iteration = 1; { - { if (! (i < 10)) { goto loop_end; } @@ -269,9 +238,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -284,9 +251,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -299,9 +264,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -314,9 +277,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -329,7 +290,6 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -366,7 +326,6 @@ i = 0; top = 0; { - { if (! (i < 4)) { goto loop_end; } @@ -378,9 +337,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -392,9 +349,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -406,9 +361,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -420,9 +373,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -434,7 +385,6 @@ __goblint_check(top == 3); } i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -471,50 +421,40 @@ i = 0; top = 0; { - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -558,50 +498,40 @@ { i = 0; { - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -637,52 +567,41 @@ b[4] = 0; i = 0; { - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_0___1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_1___0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_2___0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_3___0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_4___0: /* CIL Label */ ; { while (1) { @@ -698,54 +617,42 @@ loop_end___1: /* CIL Label */ ; } i ++; - } loop_continue_0___0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_0___2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_1___2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_2___1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_3___1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_4___1: /* CIL Label */ ; { while (1) { @@ -761,54 +668,42 @@ loop_end___2: /* CIL Label */ ; } i ++; - } loop_continue_1___1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_0___3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_1___3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_2___3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_3___2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_4___2: /* CIL Label */ ; { while (1) { @@ -824,54 +719,42 @@ loop_end___3: /* CIL Label */ ; } i ++; - } loop_continue_2___2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_0___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_1___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_2___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_3___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_4___3: /* CIL Label */ ; { while (1) { @@ -887,54 +770,42 @@ loop_end___4: /* CIL Label */ ; } i ++; - } loop_continue_3___3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_0___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_1___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_2___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_3___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_4___5: /* CIL Label */ ; { while (1) { @@ -950,7 +821,6 @@ loop_end___5: /* CIL Label */ ; } i ++; - } loop_continue_4___4: /* CIL Label */ ; { while (1) { @@ -961,45 +831,35 @@ a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -1031,7 +891,6 @@ { i = 0; { - { if (! 1) { goto loop_end; } @@ -1040,9 +899,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_0: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1051,9 +908,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_1: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1062,9 +917,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_2: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1073,9 +926,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_3: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1084,7 +935,6 @@ if (i == 5) { goto loop_end; } - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -1113,7 +963,6 @@ { i = 0; { - { if (! (i < 5)) { goto loop_end; } @@ -1123,9 +972,7 @@ } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1135,9 +982,7 @@ } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1147,9 +992,7 @@ } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1159,9 +1002,7 @@ } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1171,7 +1012,6 @@ } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { diff --git a/tests/regression/55-loop-unrolling/02-break.t b/tests/regression/55-loop-unrolling/02-break.t index 125842394b..5f6928002a 100644 --- a/tests/regression/55-loop-unrolling/02-break.t +++ b/tests/regression/55-loop-unrolling/02-break.t @@ -17,7 +17,6 @@ r = 5; i = 0; { - { if (! (i < 2)) { goto loop_end; } @@ -38,9 +37,7 @@ r = 17; goto loop_end; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 2)) { goto loop_end; } @@ -61,9 +58,7 @@ r = 17; goto loop_end; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 2)) { goto loop_end; } @@ -84,9 +79,7 @@ r = 17; goto loop_end; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 2)) { goto loop_end; } @@ -107,9 +100,7 @@ r = 17; goto loop_end; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 2)) { goto loop_end; } @@ -130,7 +121,6 @@ r = 17; goto loop_end; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { diff --git a/tests/regression/55-loop-unrolling/03-break-right-place.t b/tests/regression/55-loop-unrolling/03-break-right-place.t index dd4d4f658e..bc183b00c1 100644 --- a/tests/regression/55-loop-unrolling/03-break-right-place.t +++ b/tests/regression/55-loop-unrolling/03-break-right-place.t @@ -17,7 +17,6 @@ i = 0; j = 0; { - { if (! (i < 17)) { goto loop_end; } @@ -26,9 +25,7 @@ goto loop_end; } i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 17)) { goto loop_end; } @@ -37,9 +34,7 @@ goto loop_end; } i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 17)) { goto loop_end; } @@ -48,9 +43,7 @@ goto loop_end; } i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 17)) { goto loop_end; } @@ -59,9 +52,7 @@ goto loop_end; } i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 17)) { goto loop_end; } @@ -70,7 +61,6 @@ goto loop_end; } i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { diff --git a/tests/regression/55-loop-unrolling/04-simple.t b/tests/regression/55-loop-unrolling/04-simple.t index dab702cc7c..49f5cc7e46 100644 --- a/tests/regression/55-loop-unrolling/04-simple.t +++ b/tests/regression/55-loop-unrolling/04-simple.t @@ -16,45 +16,35 @@ { i = 0; { - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { diff --git a/tests/regression/55-loop-unrolling/05-continue.t b/tests/regression/55-loop-unrolling/05-continue.t index e8fc6c2a4a..6b1601c833 100644 --- a/tests/regression/55-loop-unrolling/05-continue.t +++ b/tests/regression/55-loop-unrolling/05-continue.t @@ -17,7 +17,6 @@ j = 0; i = 0; { - { if (! (i < 50)) { goto loop_end; } @@ -30,9 +29,7 @@ j ++; __Cont___0: /* CIL Label */ i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 50)) { goto loop_end; } @@ -45,9 +42,7 @@ j ++; __Cont___1: /* CIL Label */ i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 50)) { goto loop_end; } @@ -60,9 +55,7 @@ j ++; __Cont___2: /* CIL Label */ i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 50)) { goto loop_end; } @@ -75,9 +68,7 @@ j ++; __Cont___3: /* CIL Label */ i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 50)) { goto loop_end; } @@ -90,7 +81,6 @@ j ++; __Cont___4: /* CIL Label */ i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { diff --git a/tests/regression/55-loop-unrolling/06-simple-cases-unrolled.t b/tests/regression/55-loop-unrolling/06-simple-cases-unrolled.t index 8a2a6b5f5e..ae6c4ba147 100644 --- a/tests/regression/55-loop-unrolling/06-simple-cases-unrolled.t +++ b/tests/regression/55-loop-unrolling/06-simple-cases-unrolled.t @@ -55,45 +55,35 @@ { i = 0; { - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -121,45 +111,35 @@ { i = 0; { - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_0: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_1: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_2: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_3: /* CIL Label */ ; - { a[i] = i; i ++; if (! (i <= 5)) { goto loop_end; } - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -187,45 +167,35 @@ { i = 0; { - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -256,7 +226,6 @@ i = 0; first_iteration = 1; { - { if (! (i < 10)) { goto loop_end; } @@ -269,9 +238,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -284,9 +251,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -299,9 +264,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -314,9 +277,7 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end; } @@ -329,7 +290,6 @@ first_iteration = 0; a[i] = 0; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -366,7 +326,6 @@ i = 0; top = 0; { - { if (! (i < 4)) { goto loop_end; } @@ -378,9 +337,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -392,9 +349,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -406,9 +361,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -420,9 +373,7 @@ __goblint_check(top == 3); } i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 4)) { goto loop_end; } @@ -434,7 +385,6 @@ __goblint_check(top == 3); } i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -471,50 +421,40 @@ i = 0; top = 0; { - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 3)) { goto loop_end; } a[i] = 0; __goblint_check(a[0] == 0); i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -558,50 +498,40 @@ { i = 0; { - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { tmp = update(i); if (! tmp) { goto loop_end; } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -637,52 +567,41 @@ b[4] = 0; i = 0; { - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_0___1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_1___0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_2___0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_3___0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___1; } b[j] += a[i]; j ++; - } loop_continue_4___0: /* CIL Label */ ; { while (1) { @@ -698,54 +617,42 @@ loop_end___1: /* CIL Label */ ; } i ++; - } loop_continue_0___0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_0___2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_1___2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_2___1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_3___1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___2; } b[j] += a[i]; j ++; - } loop_continue_4___1: /* CIL Label */ ; { while (1) { @@ -761,54 +668,42 @@ loop_end___2: /* CIL Label */ ; } i ++; - } loop_continue_1___1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_0___3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_1___3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_2___3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_3___2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___3; } b[j] += a[i]; j ++; - } loop_continue_4___2: /* CIL Label */ ; { while (1) { @@ -824,54 +719,42 @@ loop_end___3: /* CIL Label */ ; } i ++; - } loop_continue_2___2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_0___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_1___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_2___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_3___4: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___4; } b[j] += a[i]; j ++; - } loop_continue_4___3: /* CIL Label */ ; { while (1) { @@ -887,54 +770,42 @@ loop_end___4: /* CIL Label */ ; } i ++; - } loop_continue_3___3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end___0; } a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_0___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_1___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_2___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_3___5: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end___5; } b[j] += a[i]; j ++; - } loop_continue_4___5: /* CIL Label */ ; { while (1) { @@ -950,7 +821,6 @@ loop_end___5: /* CIL Label */ ; } i ++; - } loop_continue_4___4: /* CIL Label */ ; { while (1) { @@ -961,45 +831,35 @@ a[i] = i; j = 0; { - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (j < 5)) { goto loop_end; } b[j] += a[i]; j ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -1031,7 +891,6 @@ { i = 0; { - { if (! 1) { goto loop_end; } @@ -1040,9 +899,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_0: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1051,9 +908,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_1: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1062,9 +917,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_2: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1073,9 +926,7 @@ if (i == 5) { goto loop_end; } - } loop_continue_3: /* CIL Label */ ; - { if (! 1) { goto loop_end; } @@ -1084,7 +935,6 @@ if (i == 5) { goto loop_end; } - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -1113,7 +963,6 @@ { i = 0; { - { if (! (i < 5)) { goto loop_end; } @@ -1123,9 +972,7 @@ } a[i] = i; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1135,9 +982,7 @@ } a[i] = i; i ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1147,9 +992,7 @@ } a[i] = i; i ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1159,9 +1002,7 @@ } a[i] = i; i ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (i < 5)) { goto loop_end; } @@ -1171,7 +1012,6 @@ } a[i] = i; i ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { diff --git a/tests/regression/55-loop-unrolling/07-nested-unroll.t b/tests/regression/55-loop-unrolling/07-nested-unroll.t index 8242d42805..a5c1c2f590 100644 --- a/tests/regression/55-loop-unrolling/07-nested-unroll.t +++ b/tests/regression/55-loop-unrolling/07-nested-unroll.t @@ -22,51 +22,40 @@ { i = 0; { - { if (! (i < 10)) { goto loop_end___0; } j = 0; { - { if (! (j < 10)) { goto loop_end___1; } arr[i][j] = i + j; j ++; - } loop_continue_0___1: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___1; } arr[i][j] = i + j; j ++; - } loop_continue_1___0: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___1; } arr[i][j] = i + j; j ++; - } loop_continue_2___0: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___1; } arr[i][j] = i + j; j ++; - } loop_continue_3___0: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___1; } arr[i][j] = i + j; j ++; - } loop_continue_4___0: /* CIL Label */ ; { while (1) { @@ -82,53 +71,41 @@ loop_end___1: /* CIL Label */ ; } i ++; - } loop_continue_0___0: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end___0; } j = 0; { - { if (! (j < 10)) { goto loop_end___2; } arr[i][j] = i + j; j ++; - } loop_continue_0___2: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___2; } arr[i][j] = i + j; j ++; - } loop_continue_1___2: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___2; } arr[i][j] = i + j; j ++; - } loop_continue_2___1: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___2; } arr[i][j] = i + j; j ++; - } loop_continue_3___1: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___2; } arr[i][j] = i + j; j ++; - } loop_continue_4___1: /* CIL Label */ ; { while (1) { @@ -144,53 +121,41 @@ loop_end___2: /* CIL Label */ ; } i ++; - } loop_continue_1___1: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end___0; } j = 0; { - { if (! (j < 10)) { goto loop_end___3; } arr[i][j] = i + j; j ++; - } loop_continue_0___3: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___3; } arr[i][j] = i + j; j ++; - } loop_continue_1___3: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___3; } arr[i][j] = i + j; j ++; - } loop_continue_2___3: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___3; } arr[i][j] = i + j; j ++; - } loop_continue_3___2: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___3; } arr[i][j] = i + j; j ++; - } loop_continue_4___2: /* CIL Label */ ; { while (1) { @@ -206,53 +171,41 @@ loop_end___3: /* CIL Label */ ; } i ++; - } loop_continue_2___2: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end___0; } j = 0; { - { if (! (j < 10)) { goto loop_end___4; } arr[i][j] = i + j; j ++; - } loop_continue_0___4: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___4; } arr[i][j] = i + j; j ++; - } loop_continue_1___4: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___4; } arr[i][j] = i + j; j ++; - } loop_continue_2___4: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___4; } arr[i][j] = i + j; j ++; - } loop_continue_3___4: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___4; } arr[i][j] = i + j; j ++; - } loop_continue_4___3: /* CIL Label */ ; { while (1) { @@ -268,53 +221,41 @@ loop_end___4: /* CIL Label */ ; } i ++; - } loop_continue_3___3: /* CIL Label */ ; - { if (! (i < 10)) { goto loop_end___0; } j = 0; { - { if (! (j < 10)) { goto loop_end___5; } arr[i][j] = i + j; j ++; - } loop_continue_0___5: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___5; } arr[i][j] = i + j; j ++; - } loop_continue_1___5: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___5; } arr[i][j] = i + j; j ++; - } loop_continue_2___5: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___5; } arr[i][j] = i + j; j ++; - } loop_continue_3___5: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end___5; } arr[i][j] = i + j; j ++; - } loop_continue_4___5: /* CIL Label */ ; { while (1) { @@ -330,7 +271,6 @@ loop_end___5: /* CIL Label */ ; } i ++; - } loop_continue_4___4: /* CIL Label */ ; { while (1) { @@ -340,45 +280,35 @@ } j = 0; { - { if (! (j < 10)) { goto loop_end; } arr[i][j] = i + j; j ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end; } arr[i][j] = i + j; j ++; - } loop_continue_1: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end; } arr[i][j] = i + j; j ++; - } loop_continue_2: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end; } arr[i][j] = i + j; j ++; - } loop_continue_3: /* CIL Label */ ; - { if (! (j < 10)) { goto loop_end; } arr[i][j] = i + j; j ++; - } loop_continue_4: /* CIL Label */ ; { while (1) { @@ -401,51 +331,40 @@ } i___0 = 0; { - { if (! (i___0 < 5)) { goto loop_end___7; } j___0 = 0; { - { if (! (j___0 < 5)) { goto loop_end___8; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_0___8: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___8; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_1___7: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___8; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_2___7: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___8; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_3___7: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___8; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_4___7: /* CIL Label */ ; { while (1) { @@ -461,53 +380,41 @@ loop_end___8: /* CIL Label */ ; } i___0 ++; - } loop_continue_0___7: /* CIL Label */ ; - { if (! (i___0 < 5)) { goto loop_end___7; } j___0 = 0; { - { if (! (j___0 < 5)) { goto loop_end___9; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_0___9: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___9; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_1___9: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___9; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_2___8: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___9; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_3___8: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___9; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_4___8: /* CIL Label */ ; { while (1) { @@ -523,53 +430,41 @@ loop_end___9: /* CIL Label */ ; } i___0 ++; - } loop_continue_1___8: /* CIL Label */ ; - { if (! (i___0 < 5)) { goto loop_end___7; } j___0 = 0; { - { if (! (j___0 < 5)) { goto loop_end___10; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_0___10: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___10; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_1___10: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___10; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_2___10: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___10; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_3___9: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___10; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_4___9: /* CIL Label */ ; { while (1) { @@ -585,53 +480,41 @@ loop_end___10: /* CIL Label */ ; } i___0 ++; - } loop_continue_2___9: /* CIL Label */ ; - { if (! (i___0 < 5)) { goto loop_end___7; } j___0 = 0; { - { if (! (j___0 < 5)) { goto loop_end___11; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_0___11: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___11; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_1___11: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___11; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_2___11: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___11; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_3___11: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___11; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_4___10: /* CIL Label */ ; { while (1) { @@ -647,53 +530,41 @@ loop_end___11: /* CIL Label */ ; } i___0 ++; - } loop_continue_3___10: /* CIL Label */ ; - { if (! (i___0 < 5)) { goto loop_end___7; } j___0 = 0; { - { if (! (j___0 < 5)) { goto loop_end___12; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_0___12: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___12; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_1___12: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___12; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_2___12: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___12; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_3___12: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___12; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_4___12: /* CIL Label */ ; { while (1) { @@ -709,7 +580,6 @@ loop_end___12: /* CIL Label */ ; } i___0 ++; - } loop_continue_4___11: /* CIL Label */ ; { while (1) { @@ -719,45 +589,35 @@ } j___0 = 0; { - { if (! (j___0 < 5)) { goto loop_end___6; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_0___6: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___6; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_1___6: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___6; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_2___6: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___6; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_3___6: /* CIL Label */ ; - { if (! (j___0 < 5)) { goto loop_end___6; } __goblint_check(arr[i___0][j___0] == i___0 + j___0); j___0 ++; - } loop_continue_4___6: /* CIL Label */ ; { while (1) { diff --git a/tests/regression/55-loop-unrolling/08-bad.t b/tests/regression/55-loop-unrolling/08-bad.t index 84724005ed..11cded728f 100644 --- a/tests/regression/55-loop-unrolling/08-bad.t +++ b/tests/regression/55-loop-unrolling/08-bad.t @@ -9,11 +9,9 @@ { goto switch_default; { - { if (! 0) { goto loop_end; } - } loop_continue_0: /* CIL Label */ ; switch_default: /* CIL Label */ { @@ -31,11 +29,9 @@ } goto lab; { - { if (! 0) { goto loop_end___0; } - } loop_continue_0___0: /* CIL Label */ ; lab: { diff --git a/tests/regression/55-loop-unrolling/09-weird.t b/tests/regression/55-loop-unrolling/09-weird.t index be6c824ab3..606f59acd8 100644 --- a/tests/regression/55-loop-unrolling/09-weird.t +++ b/tests/regression/55-loop-unrolling/09-weird.t @@ -17,7 +17,6 @@ j = 0; i = 0; { - { if (! (i < 50)) { goto loop_end; } @@ -25,9 +24,7 @@ somelab___0: j = 8; i ++; - } loop_continue_0: /* CIL Label */ ; - { if (! (i < 50)) { goto loop_end; } @@ -35,7 +32,6 @@ somelab___1: j = 8; i ++; - } loop_continue_1: /* CIL Label */ ; { while (1) {