Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2015 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | |
| 18 | public class Main { |
| 19 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 20 | /// CHECK-START: void Main.loop1(boolean) liveness (after) |
| 21 | /// CHECK: ParameterValue liveness:2 ranges:{[2,22)} uses:[17,22] |
| 22 | /// CHECK: Goto liveness:20 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 23 | public static void loop1(boolean incoming) { |
| 24 | while (incoming) {} |
| 25 | } |
| 26 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 27 | /// CHECK-START: void Main.loop2(boolean) liveness (after) |
| 28 | /// CHECK: ParameterValue liveness:4 ranges:{[4,44)} uses:[35,40,44] |
| 29 | /// CHECK: Goto liveness:38 |
| 30 | /// CHECK: Goto liveness:42 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 31 | public static void loop2(boolean incoming) { |
| 32 | while (true) { |
| 33 | System.out.println("foo"); |
| 34 | while (incoming) {} |
| 35 | } |
| 36 | } |
| 37 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 38 | /// CHECK-START: void Main.loop3(boolean) liveness (after) |
| 39 | /// CHECK: ParameterValue liveness:4 ranges:{[4,62)} uses:[58,62] |
| 40 | /// CHECK: Goto liveness:60 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 41 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 42 | /// CHECK-START: void Main.loop3(boolean) liveness (after) |
| 43 | /// CHECK-NOT: Goto liveness:56 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 44 | public static void loop3(boolean incoming) { |
| 45 | // 'incoming' only needs a use at the outer loop's back edge. |
| 46 | while (System.currentTimeMillis() != 42) { |
| 47 | while (Runtime.getRuntime() != null) {} |
| 48 | System.out.println(incoming); |
| 49 | } |
| 50 | } |
| 51 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 52 | /// CHECK-START: void Main.loop4(boolean) liveness (after) |
| 53 | /// CHECK: ParameterValue liveness:4 ranges:{[4,24)} uses:[24] |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 54 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 55 | /// CHECK-START: void Main.loop4(boolean) liveness (after) |
| 56 | /// CHECK-NOT: Goto liveness:22 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 57 | public static void loop4(boolean incoming) { |
| 58 | // 'incoming' has no loop use, so should not have back edge uses. |
| 59 | System.out.println(incoming); |
| 60 | while (System.currentTimeMillis() != 42) { |
| 61 | while (Runtime.getRuntime() != null) {} |
| 62 | } |
| 63 | } |
| 64 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 65 | /// CHECK-START: void Main.loop5(boolean) liveness (after) |
| 66 | /// CHECK: ParameterValue liveness:4 ranges:{[4,52)} uses:[35,44,48,52] |
| 67 | /// CHECK: Goto liveness:46 |
| 68 | /// CHECK: Goto liveness:50 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 69 | public static void loop5(boolean incoming) { |
| 70 | // 'incoming' must have a use at both back edges. |
| 71 | while (Runtime.getRuntime() != null) { |
| 72 | while (incoming) { |
| 73 | System.out.println(incoming); |
| 74 | } |
| 75 | } |
| 76 | } |
| 77 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 78 | /// CHECK-START: void Main.loop6(boolean) liveness (after) |
| 79 | /// CHECK: ParameterValue liveness:4 ranges:{[4,48)} uses:[26,48] |
| 80 | /// CHECK: Goto liveness:46 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 81 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 82 | /// CHECK-START: void Main.loop6(boolean) liveness (after) |
| 83 | /// CHECK-NOT: Goto liveness:24 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 84 | public static void loop6(boolean incoming) { |
| 85 | // 'incoming' must have a use only at the first loop's back edge. |
| 86 | while (true) { |
| 87 | System.out.println(incoming); |
| 88 | while (Runtime.getRuntime() != null) {} |
| 89 | } |
| 90 | } |
| 91 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 92 | /// CHECK-START: void Main.loop7(boolean) liveness (after) |
| 93 | /// CHECK: ParameterValue liveness:4 ranges:{[4,52)} uses:[34,43,48,52] |
| 94 | /// CHECK: Goto liveness:46 |
| 95 | /// CHECK: Goto liveness:50 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 96 | public static void loop7(boolean incoming) { |
| 97 | // 'incoming' must have a use at both back edges. |
| 98 | while (Runtime.getRuntime() != null) { |
| 99 | System.out.println(incoming); |
| 100 | while (incoming) {} |
| 101 | } |
| 102 | } |
| 103 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 104 | /// CHECK-START: void Main.loop8() liveness (after) |
| 105 | /// CHECK: StaticFieldGet liveness:14 ranges:{[14,46)} uses:[37,42,46] |
| 106 | /// CHECK: Goto liveness:40 |
| 107 | /// CHECK: Goto liveness:44 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 108 | public static void loop8() { |
| 109 | // 'incoming' must have a use at both back edges. |
| 110 | boolean incoming = field; |
| 111 | while (Runtime.getRuntime() != null) { |
| 112 | while (incoming) {} |
| 113 | } |
| 114 | } |
| 115 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame^] | 116 | /// CHECK-START: void Main.loop9() liveness (after) |
| 117 | /// CHECK: StaticFieldGet liveness:24 ranges:{[24,38)} uses:[33,38] |
| 118 | /// CHECK: Goto liveness:40 |
Nicolas Geoffray | 5790260 | 2015-04-21 14:28:41 +0100 | [diff] [blame] | 119 | public static void loop9() { |
| 120 | while (Runtime.getRuntime() != null) { |
| 121 | // 'incoming' must only have a use in the inner loop. |
| 122 | boolean incoming = field; |
| 123 | while (incoming) {} |
| 124 | } |
| 125 | } |
| 126 | |
| 127 | public static void main(String[] args) { |
| 128 | } |
| 129 | |
| 130 | static boolean field; |
| 131 | } |