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 | 48 |
1 files changed, 24 insertions, 24 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 74184e8252..334792e475 100644 --- a/test/482-checker-loop-back-edge-use/src/Main.java +++ b/test/482-checker-loop-back-edge-use/src/Main.java @@ -18,16 +18,16 @@ public class Main { // CHECK-START: void Main.loop1(boolean) liveness (after) - // CHECK: ParameterValue (liveness: 2 ranges: { [2, 22) }, uses: { 17 22 } - // CHECK: Goto (liveness: 20) + // CHECK: ParameterValue liveness:2 ranges:[ 2-22 ] uses:[ 17 22 ] + // CHECK: Goto liveness:20 public static void loop1(boolean incoming) { while (incoming) {} } // 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:2 ranges:[ 2-42 ] uses:[ 33 38 42 ] + // CHECK: Goto liveness:36 + // CHECK: Goto liveness:40 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:2 ranges:[ 2-60 ] uses:[ 56 60 ] + // CHECK: Goto liveness:58 // CHECK-START: void Main.loop3(boolean) liveness (after) - // CHECK-NOT: Goto (liveness: 54) + // CHECK-NOT: Goto liveness:54 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:2 ranges:[ 2-22 ] uses:[ 22 ] // CHECK-START: void Main.loop4(boolean) liveness (after) - // CHECK-NOT: Goto (liveness: 20) + // CHECK-NOT: Goto liveness:20 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:2 ranges:[ 2-50 ] uses:[ 33 42 46 50 ] + // CHECK: Goto liveness:44 + // CHECK: Goto liveness:48 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:2 ranges:[ 2-46 ] uses:[ 24 46 ] + // CHECK: Goto liveness:44 // CHECK-START: void Main.loop6(boolean) liveness (after) - // CHECK-NOT: Goto (liveness: 22) + // CHECK-NOT: Goto liveness:22 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:2 ranges:[ 2-50 ] uses:[ 32 41 46 50 ] + // CHECK: Goto liveness:44 + // CHECK: Goto liveness:48 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:12 ranges:[ 12-44 ] uses:[ 35 40 44 ] + // CHECK: Goto liveness:38 + // CHECK: Goto liveness:42 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:22 ranges:[ 22-36 ] uses:[ 31 36 ] + // CHECK: Goto liveness:38 public static void loop9() { while (Runtime.getRuntime() != null) { // 'incoming' must only have a use in the inner loop. |