diff options
Diffstat (limited to 'test/482-checker-loop-back-edge-use/src/Main.java')
| -rw-r--r-- | test/482-checker-loop-back-edge-use/src/Main.java | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/test/482-checker-loop-back-edge-use/src/Main.java b/test/482-checker-loop-back-edge-use/src/Main.java index 0ed926703d..f5796927f5 100644 --- a/test/482-checker-loop-back-edge-use/src/Main.java +++ b/test/482-checker-loop-back-edge-use/src/Main.java @@ -25,9 +25,9 @@ public class Main { } // CHECK-START: void Main.loop2(boolean) liveness (after) - // CHECK: ParameterValue liveness:2 ranges:{[2,42)} uses:[33,38,42] - // CHECK: Goto liveness:36 - // CHECK: Goto liveness:40 + // CHECK: ParameterValue liveness:4 ranges:{[4,44)} uses:[35,40,44] + // CHECK: Goto liveness:38 + // CHECK: Goto liveness:42 public static void loop2(boolean incoming) { while (true) { System.out.println("foo"); @@ -36,11 +36,11 @@ public class Main { } // CHECK-START: void Main.loop3(boolean) liveness (after) - // CHECK: ParameterValue liveness:2 ranges:{[2,60)} uses:[56,60] - // CHECK: Goto liveness:58 + // CHECK: ParameterValue liveness:4 ranges:{[4,62)} uses:[58,62] + // CHECK: Goto liveness:60 // CHECK-START: void Main.loop3(boolean) liveness (after) - // CHECK-NOT: Goto liveness:54 + // CHECK-NOT: Goto liveness:56 public static void loop3(boolean incoming) { // 'incoming' only needs a use at the outer loop's back edge. while (System.currentTimeMillis() != 42) { @@ -50,10 +50,10 @@ public class Main { } // CHECK-START: void Main.loop4(boolean) liveness (after) - // CHECK: ParameterValue liveness:2 ranges:{[2,22)} uses:[22] + // CHECK: ParameterValue liveness:4 ranges:{[4,24)} uses:[24] // CHECK-START: void Main.loop4(boolean) liveness (after) - // CHECK-NOT: Goto liveness:20 + // CHECK-NOT: Goto liveness:22 public static void loop4(boolean incoming) { // 'incoming' has no loop use, so should not have back edge uses. System.out.println(incoming); @@ -63,9 +63,9 @@ public class Main { } // CHECK-START: void Main.loop5(boolean) liveness (after) - // CHECK: ParameterValue liveness:2 ranges:{[2,50)} uses:[33,42,46,50] - // CHECK: Goto liveness:44 - // CHECK: Goto liveness:48 + // CHECK: ParameterValue liveness:4 ranges:{[4,52)} uses:[35,44,48,52] + // CHECK: Goto liveness:46 + // CHECK: Goto liveness:50 public static void loop5(boolean incoming) { // 'incoming' must have a use at both back edges. while (Runtime.getRuntime() != null) { @@ -76,11 +76,11 @@ public class Main { } // CHECK-START: void Main.loop6(boolean) liveness (after) - // CHECK ParameterValue liveness:2 ranges:{[2,46)} uses:[24,46] - // CHECK: Goto liveness:44 + // CHECK: ParameterValue liveness:4 ranges:{[4,48)} uses:[26,48] + // CHECK: Goto liveness:46 // CHECK-START: void Main.loop6(boolean) liveness (after) - // CHECK-NOT: Goto liveness:22 + // CHECK-NOT: Goto liveness:24 public static void loop6(boolean incoming) { // 'incoming' must have a use only at the first loop's back edge. while (true) { @@ -90,9 +90,9 @@ public class Main { } // CHECK-START: void Main.loop7(boolean) liveness (after) - // CHECK: ParameterValue liveness:2 ranges:{[2,50)} uses:[32,41,46,50] - // CHECK: Goto liveness:44 - // CHECK: Goto liveness:48 + // CHECK: ParameterValue liveness:4 ranges:{[4,52)} uses:[34,43,48,52] + // CHECK: Goto liveness:46 + // CHECK: Goto liveness:50 public static void loop7(boolean incoming) { // 'incoming' must have a use at both back edges. while (Runtime.getRuntime() != null) { @@ -102,9 +102,9 @@ public class Main { } // CHECK-START: void Main.loop8() liveness (after) - // CHECK: StaticFieldGet liveness:12 ranges:{[12,44)} uses:[35,40,44] - // CHECK: Goto liveness:38 - // CHECK: Goto liveness:42 + // CHECK: StaticFieldGet liveness:14 ranges:{[14,46)} uses:[37,42,46] + // CHECK: Goto liveness:40 + // CHECK: Goto liveness:44 public static void loop8() { // 'incoming' must have a use at both back edges. boolean incoming = field; @@ -114,8 +114,8 @@ public class Main { } // CHECK-START: void Main.loop9() liveness (after) - // CHECK: StaticFieldGet liveness:22 ranges:{[22,36)} uses:[31,36] - // CHECK: Goto liveness:38 + // CHECK: StaticFieldGet liveness:24 ranges:{[24,38)} uses:[33,38] + // CHECK: Goto liveness:40 public static void loop9() { while (Runtime.getRuntime() != null) { // 'incoming' must only have a use in the inner loop. |