Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +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 | public class Main { |
| 18 | |
| 19 | /* |
| 20 | * Ensure an inlined static invoke explicitly triggers the |
| 21 | * initialization check of the called method's declaring class, and |
| 22 | * that the corresponding load class instruction does not get |
| 23 | * removed before register allocation & code generation. |
| 24 | */ |
| 25 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 26 | /// CHECK-START: void Main.invokeStaticInlined() builder (after) |
| 27 | /// CHECK-DAG: <<LoadClass:l\d+>> LoadClass gen_clinit_check:false |
| 28 | /// CHECK-DAG: <<ClinitCheck:l\d+>> ClinitCheck [<<LoadClass>>] |
Nicolas Geoffray | bdb2ecc | 2018-09-18 14:33:55 +0100 | [diff] [blame] | 29 | /// CHECK-DAG: InvokeStaticOrDirect [{{([ij]\d+,)?}}<<ClinitCheck>>] |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 30 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 31 | /// CHECK-START: void Main.invokeStaticInlined() inliner (after) |
| 32 | /// CHECK-DAG: <<LoadClass:l\d+>> LoadClass gen_clinit_check:false |
| 33 | /// CHECK-DAG: <<ClinitCheck:l\d+>> ClinitCheck [<<LoadClass>>] |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 34 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 35 | /// CHECK-START: void Main.invokeStaticInlined() inliner (after) |
| 36 | /// CHECK-NOT: InvokeStaticOrDirect |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 37 | |
| 38 | // The following checks ensure the clinit check instruction added by |
| 39 | // the builder is pruned by the PrepareForRegisterAllocation, while |
| 40 | // the load class instruction is preserved. As the control flow |
| 41 | // graph is not dumped after (nor before) this step, we check the |
| 42 | // CFG as it is before the next pass (liveness analysis) instead. |
| 43 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 44 | /// CHECK-START: void Main.invokeStaticInlined() liveness (before) |
| 45 | /// CHECK-DAG: LoadClass gen_clinit_check:true |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 46 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 47 | /// CHECK-START: void Main.invokeStaticInlined() liveness (before) |
| 48 | /// CHECK-NOT: ClinitCheck |
| 49 | /// CHECK-NOT: InvokeStaticOrDirect |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 50 | |
| 51 | static void invokeStaticInlined() { |
| 52 | ClassWithClinit1.$opt$inline$StaticMethod(); |
| 53 | } |
| 54 | |
| 55 | static class ClassWithClinit1 { |
| 56 | static { |
| 57 | System.out.println("Main$ClassWithClinit1's static initializer"); |
| 58 | } |
| 59 | |
| 60 | static void $opt$inline$StaticMethod() { |
| 61 | } |
| 62 | } |
| 63 | |
| 64 | /* |
| 65 | * Ensure a non-inlined static invoke eventually has an implicit |
| 66 | * initialization check of the called method's declaring class. |
| 67 | */ |
| 68 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 69 | /// CHECK-START: void Main.invokeStaticNotInlined() builder (after) |
Vladimir Marko | b554b5a | 2015-11-06 12:57:55 +0000 | [diff] [blame] | 70 | /// CHECK: <<LoadClass:l\d+>> LoadClass gen_clinit_check:false |
| 71 | /// CHECK: <<ClinitCheck:l\d+>> ClinitCheck [<<LoadClass>>] |
Nicolas Geoffray | bdb2ecc | 2018-09-18 14:33:55 +0100 | [diff] [blame] | 72 | /// CHECK: InvokeStaticOrDirect [{{([ij]\d+,)?}}<<ClinitCheck>>] |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 73 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 74 | /// CHECK-START: void Main.invokeStaticNotInlined() inliner (after) |
Vladimir Marko | b554b5a | 2015-11-06 12:57:55 +0000 | [diff] [blame] | 75 | /// CHECK: <<LoadClass:l\d+>> LoadClass gen_clinit_check:false |
| 76 | /// CHECK: <<ClinitCheck:l\d+>> ClinitCheck [<<LoadClass>>] |
| 77 | /// CHECK: InvokeStaticOrDirect [{{([ij]\d+,)?}}<<ClinitCheck>>] |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 78 | |
| 79 | // The following checks ensure the clinit check and load class |
| 80 | // instructions added by the builder are pruned by the |
| 81 | // PrepareForRegisterAllocation. As the control flow graph is not |
| 82 | // dumped after (nor before) this step, we check the CFG as it is |
| 83 | // before the next pass (liveness analysis) instead. |
| 84 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 85 | /// CHECK-START: void Main.invokeStaticNotInlined() liveness (before) |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 86 | /// CHECK: InvokeStaticOrDirect clinit_check:implicit |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 87 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 88 | /// CHECK-START: void Main.invokeStaticNotInlined() liveness (before) |
| 89 | /// CHECK-NOT: LoadClass |
| 90 | /// CHECK-NOT: ClinitCheck |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 91 | |
| 92 | static void invokeStaticNotInlined() { |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 93 | ClassWithClinit2.$noinline$staticMethod(); |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 94 | } |
| 95 | |
| 96 | static class ClassWithClinit2 { |
| 97 | static { |
| 98 | System.out.println("Main$ClassWithClinit2's static initializer"); |
| 99 | } |
| 100 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 101 | static boolean staticField = false; |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 102 | |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 103 | static void $noinline$staticMethod() { |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 104 | } |
| 105 | } |
| 106 | |
| 107 | /* |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 108 | * Ensure an inlined call from a static method to a static method |
| 109 | * of the same class does not require an explicit clinit check |
| 110 | * (already initialized or initializing in the same thread). |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 111 | */ |
| 112 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 113 | /// CHECK-START: void Main$ClassWithClinit3Static.invokeStaticInlined() builder (after) |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 114 | /// CHECK-DAG: InvokeStaticOrDirect |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 115 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 116 | /// CHECK-START: void Main$ClassWithClinit3Static.invokeStaticInlined() builder (after) |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 117 | /// CHECK-NOT: LoadClass |
| 118 | /// CHECK-NOT: ClinitCheck |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 119 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 120 | /// CHECK-START: void Main$ClassWithClinit3Static.invokeStaticInlined() inliner (after) |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 121 | /// CHECK-NOT: LoadClass |
| 122 | /// CHECK-NOT: ClinitCheck |
| 123 | /// CHECK-NOT: InvokeStaticOrDirect |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 124 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 125 | static class ClassWithClinit3Static { |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 126 | static void invokeStaticInlined() { |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 127 | // The invocation of invokeStaticInlined happens only after a clinit check |
| 128 | // of ClassWithClinit3Static, meaning that the hereinbelow call to |
| 129 | // $opt$inline$StaticMethod does not need another clinit check. |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 130 | $opt$inline$StaticMethod(); |
| 131 | } |
| 132 | |
| 133 | static { |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 134 | System.out.println("Main$ClassWithClinit3Static's static initializer"); |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 135 | } |
| 136 | |
| 137 | static void $opt$inline$StaticMethod() { |
| 138 | } |
| 139 | } |
| 140 | |
| 141 | /* |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 142 | * Ensure an inlined call from an instance method to a static method |
| 143 | * of the same class actually requires an explicit clinit check when |
| 144 | * the class has a non-trivial initialization as we could be executing |
| 145 | * the instance method on an escaped object of an erroneous class. b/62478025 |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 146 | */ |
| 147 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 148 | /// CHECK-START: void Main$ClassWithClinit3Instance.invokeStaticInlined() builder (after) |
| 149 | /// CHECK-DAG: LoadClass |
| 150 | /// CHECK-DAG: ClinitCheck |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 151 | /// CHECK-DAG: InvokeStaticOrDirect |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 152 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 153 | /// CHECK-START: void Main$ClassWithClinit3Instance.invokeStaticInlined() inliner (after) |
| 154 | /// CHECK-DAG: LoadClass |
| 155 | /// CHECK-DAG: ClinitCheck |
| 156 | |
| 157 | /// CHECK-START: void Main$ClassWithClinit3Instance.invokeStaticInlined() inliner (after) |
| 158 | /// CHECK-NOT: InvokeStaticOrDirect |
| 159 | |
| 160 | static class ClassWithClinit3Instance { |
| 161 | void invokeStaticInlined() { |
| 162 | // ClinitCheck required. |
| 163 | $opt$inline$StaticMethod(); |
| 164 | } |
| 165 | |
| 166 | static { |
| 167 | System.out.println("Main$ClassWithClinit3Instance's static initializer"); |
| 168 | } |
| 169 | |
| 170 | static void $opt$inline$StaticMethod() { |
| 171 | } |
| 172 | } |
| 173 | |
| 174 | /* |
| 175 | * Ensure a non-inlined call from a static method to a static method |
| 176 | * of the same class does not require an explicit clinit check |
| 177 | * (already initialized or initializing in the same thread). |
| 178 | */ |
| 179 | |
| 180 | /// CHECK-START: void Main$ClassWithClinit4Static.invokeStaticNotInlined() builder (after) |
| 181 | /// CHECK-DAG: InvokeStaticOrDirect |
| 182 | |
| 183 | /// CHECK-START: void Main$ClassWithClinit4Static.invokeStaticNotInlined() builder (after) |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 184 | /// CHECK-NOT: LoadClass |
| 185 | /// CHECK-NOT: ClinitCheck |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 186 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 187 | /// CHECK-START: void Main$ClassWithClinit4Static.invokeStaticNotInlined() inliner (after) |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 188 | /// CHECK-DAG: InvokeStaticOrDirect |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 189 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 190 | /// CHECK-START: void Main$ClassWithClinit4Static.invokeStaticNotInlined() inliner (after) |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 191 | /// CHECK-NOT: LoadClass |
| 192 | /// CHECK-NOT: ClinitCheck |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 193 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 194 | static class ClassWithClinit4Static { |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 195 | static void invokeStaticNotInlined() { |
| 196 | // The invocation of invokeStaticNotInlined triggers the |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 197 | // initialization of ClassWithClinit4Static, meaning that the |
Nicolas Geoffray | d23eeef | 2015-05-18 22:31:29 +0100 | [diff] [blame] | 198 | // call to staticMethod below does not need a clinit |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 199 | // check. |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 200 | $noinline$staticMethod(); |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 201 | } |
| 202 | |
| 203 | static { |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 204 | System.out.println("Main$ClassWithClinit4Static's static initializer"); |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 205 | } |
| 206 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 207 | static void $noinline$staticMethod() { |
| 208 | } |
| 209 | } |
| 210 | |
| 211 | /* |
| 212 | * Ensure a non-inlined call from an instance method to a static method |
| 213 | * of the same class actually requires an explicit clinit check when |
| 214 | * the class has a non-trivial initialization as we could be executing |
| 215 | * the instance method on an escaped object of an erroneous class. b/62478025 |
| 216 | */ |
| 217 | |
| 218 | /// CHECK-START: void Main$ClassWithClinit4Instance.invokeStaticNotInlined() builder (after) |
| 219 | /// CHECK-DAG: LoadClass |
| 220 | /// CHECK-DAG: ClinitCheck |
| 221 | /// CHECK-DAG: InvokeStaticOrDirect |
| 222 | |
| 223 | /// CHECK-START: void Main$ClassWithClinit4Instance.invokeStaticNotInlined() inliner (after) |
| 224 | /// CHECK-DAG: LoadClass |
| 225 | /// CHECK-DAG: ClinitCheck |
| 226 | /// CHECK-DAG: InvokeStaticOrDirect |
| 227 | |
| 228 | static class ClassWithClinit4Instance { |
| 229 | void invokeStaticNotInlined() { |
| 230 | // ClinitCheck required. |
| 231 | $noinline$staticMethod(); |
| 232 | } |
| 233 | |
| 234 | static { |
| 235 | System.out.println("Main$ClassWithClinit4Instance's static initializer"); |
| 236 | } |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 237 | |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 238 | static void $noinline$staticMethod() { |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 239 | } |
| 240 | } |
| 241 | |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 242 | /* |
Vladimir Marko | 51b8aaf | 2017-06-09 15:17:05 +0100 | [diff] [blame] | 243 | * We used to remove clinit check for calls to static methods in a superclass. However, this |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 244 | * is not a valid optimization when instances of erroneous classes can escape, therefore |
| 245 | * we avoid this optimization for classes with non-trivial initialization. b/62478025 |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 246 | */ |
| 247 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 248 | /// CHECK-START: void Main$SubClassOfClassWithClinit5.invokeStaticInlined() builder (after) |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 249 | /// CHECK-DAG: LoadClass |
| 250 | /// CHECK-DAG: ClinitCheck |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 251 | /// CHECK-DAG: InvokeStaticOrDirect |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 252 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 253 | /// CHECK-START: void Main$SubClassOfClassWithClinit5.invokeStaticInlined() inliner (after) |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 254 | /// CHECK-DAG: LoadClass |
| 255 | /// CHECK-DAG: ClinitCheck |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 256 | /// CHECK-NOT: InvokeStaticOrDirect |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 257 | |
| 258 | static class ClassWithClinit5 { |
| 259 | static void $opt$inline$StaticMethod() { |
| 260 | } |
| 261 | |
| 262 | static { |
| 263 | System.out.println("Main$ClassWithClinit5's static initializer"); |
| 264 | } |
| 265 | } |
| 266 | |
| 267 | static class SubClassOfClassWithClinit5 extends ClassWithClinit5 { |
| 268 | static void invokeStaticInlined() { |
| 269 | ClassWithClinit5.$opt$inline$StaticMethod(); |
| 270 | } |
| 271 | } |
| 272 | |
| 273 | /* |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 274 | * Ensure an inlined call to a static method whose declaring class is a super class |
| 275 | * of the caller's class does not require an explicit clinit check if the declaring |
| 276 | * class has a trivial initialization. b/62478025 |
| 277 | */ |
| 278 | |
| 279 | /// CHECK-START: void Main$SubClassOfClassWithoutClinit5.invokeStaticInlined() builder (after) |
| 280 | /// CHECK-DAG: InvokeStaticOrDirect |
| 281 | |
| 282 | /// CHECK-START: void Main$SubClassOfClassWithoutClinit5.invokeStaticInlined() builder (after) |
| 283 | /// CHECK-NOT: LoadClass |
| 284 | /// CHECK-NOT: ClinitCheck |
| 285 | |
| 286 | /// CHECK-START: void Main$SubClassOfClassWithoutClinit5.invokeStaticInlined() inliner (after) |
| 287 | /// CHECK-NOT: LoadClass |
| 288 | /// CHECK-NOT: ClinitCheck |
| 289 | /// CHECK-NOT: InvokeStaticOrDirect |
| 290 | |
| 291 | static class ClassWithoutClinit5 { // Mimicks ClassWithClinit5 but without the <clinit>. |
| 292 | static void $opt$inline$StaticMethod() { |
| 293 | } |
| 294 | } |
| 295 | |
| 296 | static class SubClassOfClassWithoutClinit5 extends ClassWithoutClinit5 { |
| 297 | static { |
| 298 | System.out.println("Main$SubClassOfClassWithoutClinit5's static initializer"); |
| 299 | } |
| 300 | |
| 301 | static void invokeStaticInlined() { |
| 302 | ClassWithoutClinit5.$opt$inline$StaticMethod(); |
| 303 | } |
| 304 | } |
| 305 | |
| 306 | /* |
Vladimir Marko | 51b8aaf | 2017-06-09 15:17:05 +0100 | [diff] [blame] | 307 | * We used to remove clinit check for calls to static methods in a superclass. However, this |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 308 | * is not a valid optimization when instances of erroneous classes can escape, therefore |
| 309 | * we avoid this optimization for classes with non-trivial initialization. b/62478025 |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 310 | */ |
| 311 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 312 | /// CHECK-START: void Main$SubClassOfClassWithClinit6.invokeStaticNotInlined() builder (after) |
| 313 | /// CHECK-DAG: InvokeStaticOrDirect |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 314 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 315 | /// CHECK-START: void Main$SubClassOfClassWithClinit6.invokeStaticNotInlined() builder (after) |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 316 | /// CHECK-DAG: LoadClass |
| 317 | /// CHECK-DAG: ClinitCheck |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 318 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 319 | /// CHECK-START: void Main$SubClassOfClassWithClinit6.invokeStaticNotInlined() inliner (after) |
Vladimir Marko | 51b8aaf | 2017-06-09 15:17:05 +0100 | [diff] [blame] | 320 | /// CHECK-DAG: LoadClass |
| 321 | /// CHECK-DAG: ClinitCheck |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 322 | /// CHECK-DAG: InvokeStaticOrDirect |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 323 | |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 324 | static class ClassWithClinit6 { |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 325 | static void $noinline$staticMethod() { |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 326 | } |
| 327 | |
| 328 | static { |
| 329 | System.out.println("Main$ClassWithClinit6's static initializer"); |
| 330 | } |
| 331 | } |
| 332 | |
| 333 | static class SubClassOfClassWithClinit6 extends ClassWithClinit6 { |
| 334 | static void invokeStaticNotInlined() { |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 335 | ClassWithClinit6.$noinline$staticMethod(); |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 336 | } |
| 337 | } |
| 338 | |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 339 | /* |
| 340 | * Ensure a non-inlined call to a static method whose declaring class is a super class |
| 341 | * of the caller's class does not require an explicit clinit check if the declaring |
| 342 | * class has a trivial initialization. b/62478025 |
| 343 | */ |
| 344 | |
| 345 | /// CHECK-START: void Main$SubClassOfClassWithoutClinit6.invokeStaticNotInlined() builder (after) |
| 346 | /// CHECK-DAG: InvokeStaticOrDirect |
| 347 | |
| 348 | /// CHECK-START: void Main$SubClassOfClassWithoutClinit6.invokeStaticNotInlined() builder (after) |
| 349 | /// CHECK-NOT: LoadClass |
| 350 | /// CHECK-NOT: ClinitCheck |
| 351 | |
| 352 | /// CHECK-START: void Main$SubClassOfClassWithoutClinit6.invokeStaticNotInlined() inliner (after) |
| 353 | /// CHECK-DAG: InvokeStaticOrDirect |
| 354 | |
| 355 | /// CHECK-START: void Main$SubClassOfClassWithoutClinit6.invokeStaticNotInlined() inliner (after) |
| 356 | /// CHECK-NOT: LoadClass |
| 357 | /// CHECK-NOT: ClinitCheck |
| 358 | |
| 359 | static class ClassWithoutClinit6 { // Mimicks ClassWithClinit6 but without the <clinit>. |
| 360 | static void $noinline$staticMethod() { |
| 361 | } |
| 362 | } |
| 363 | |
| 364 | static class SubClassOfClassWithoutClinit6 extends ClassWithoutClinit6 { |
| 365 | static { |
| 366 | System.out.println("Main$SubClassOfClassWithoutClinit6's static initializer"); |
| 367 | } |
| 368 | |
| 369 | static void invokeStaticNotInlined() { |
| 370 | ClassWithoutClinit6.$noinline$staticMethod(); |
| 371 | } |
| 372 | } |
Calin Juravle | 0ba218d | 2015-05-19 18:46:01 +0100 | [diff] [blame] | 373 | |
| 374 | /* |
| 375 | * Verify that if we have a static call immediately after the load class |
| 376 | * we don't do generate a clinit check. |
| 377 | */ |
| 378 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 379 | /// CHECK-START: void Main.noClinitBecauseOfInvokeStatic() liveness (before) |
| 380 | /// CHECK-DAG: <<IntConstant:i\d+>> IntConstant 0 |
| 381 | /// CHECK-DAG: <<LoadClass:l\d+>> LoadClass gen_clinit_check:false |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 382 | /// CHECK-DAG: InvokeStaticOrDirect clinit_check:implicit |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 383 | /// CHECK-DAG: StaticFieldSet [<<LoadClass>>,<<IntConstant>>] |
Calin Juravle | 0ba218d | 2015-05-19 18:46:01 +0100 | [diff] [blame] | 384 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 385 | /// CHECK-START: void Main.noClinitBecauseOfInvokeStatic() liveness (before) |
| 386 | /// CHECK-NOT: ClinitCheck |
Calin Juravle | 0ba218d | 2015-05-19 18:46:01 +0100 | [diff] [blame] | 387 | |
| 388 | static void noClinitBecauseOfInvokeStatic() { |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 389 | ClassWithClinit2.$noinline$staticMethod(); |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 390 | ClassWithClinit2.staticField = false; |
Calin Juravle | 0ba218d | 2015-05-19 18:46:01 +0100 | [diff] [blame] | 391 | } |
| 392 | |
| 393 | /* |
| 394 | * Verify that if the static call is after a field access, the load class |
| 395 | * will generate a clinit check. |
| 396 | */ |
| 397 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 398 | /// CHECK-START: void Main.clinitBecauseOfFieldAccess() liveness (before) |
| 399 | /// CHECK-DAG: <<IntConstant:i\d+>> IntConstant 0 |
| 400 | /// CHECK-DAG: <<LoadClass:l\d+>> LoadClass gen_clinit_check:true |
| 401 | /// CHECK-DAG: StaticFieldSet [<<LoadClass>>,<<IntConstant>>] |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 402 | /// CHECK-DAG: InvokeStaticOrDirect clinit_check:none |
Calin Juravle | 0ba218d | 2015-05-19 18:46:01 +0100 | [diff] [blame] | 403 | |
David Brazdil | a06d66a | 2015-05-28 11:14:54 +0100 | [diff] [blame] | 404 | /// CHECK-START: void Main.clinitBecauseOfFieldAccess() liveness (before) |
| 405 | /// CHECK-NOT: ClinitCheck |
Calin Juravle | 0ba218d | 2015-05-19 18:46:01 +0100 | [diff] [blame] | 406 | static void clinitBecauseOfFieldAccess() { |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 407 | ClassWithClinit2.staticField = false; |
Guillaume "Vermeille" Sanchez | e918d38 | 2015-06-03 15:32:41 +0100 | [diff] [blame] | 408 | ClassWithClinit2.$noinline$staticMethod(); |
Calin Juravle | 0ba218d | 2015-05-19 18:46:01 +0100 | [diff] [blame] | 409 | } |
| 410 | |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 411 | /* |
| 412 | * Verify that LoadClass from const-class is not merged with |
| 413 | * later invoke-static (or it's ClinitCheck). |
| 414 | */ |
| 415 | |
| 416 | /// CHECK-START: void Main.constClassAndInvokeStatic(java.lang.Iterable) liveness (before) |
| 417 | /// CHECK: LoadClass gen_clinit_check:false |
| 418 | /// CHECK: InvokeStaticOrDirect clinit_check:implicit |
| 419 | |
| 420 | /// CHECK-START: void Main.constClassAndInvokeStatic(java.lang.Iterable) liveness (before) |
| 421 | /// CHECK-NOT: ClinitCheck |
| 422 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 423 | static void constClassAndInvokeStatic(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 424 | $opt$inline$ignoreClass(ClassWithClinit7.class); |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 425 | ClassWithClinit7.$noinline$someStaticMethod(it); |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 426 | } |
| 427 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 428 | static void $opt$inline$ignoreClass(Class<?> c) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 429 | } |
| 430 | |
| 431 | static class ClassWithClinit7 { |
| 432 | static { |
| 433 | System.out.println("Main$ClassWithClinit7's static initializer"); |
| 434 | } |
| 435 | |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 436 | static void $noinline$someStaticMethod(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 437 | it.iterator(); |
| 438 | } |
| 439 | } |
| 440 | |
| 441 | /* |
| 442 | * Verify that LoadClass from sget is not merged with later invoke-static. |
| 443 | */ |
| 444 | |
| 445 | /// CHECK-START: void Main.sgetAndInvokeStatic(java.lang.Iterable) liveness (before) |
| 446 | /// CHECK: LoadClass gen_clinit_check:true |
| 447 | /// CHECK: InvokeStaticOrDirect clinit_check:none |
| 448 | |
| 449 | /// CHECK-START: void Main.sgetAndInvokeStatic(java.lang.Iterable) liveness (before) |
| 450 | /// CHECK-NOT: ClinitCheck |
| 451 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 452 | static void sgetAndInvokeStatic(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 453 | $opt$inline$ignoreInt(ClassWithClinit8.value); |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 454 | ClassWithClinit8.$noinline$someStaticMethod(it); |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 455 | } |
| 456 | |
| 457 | static void $opt$inline$ignoreInt(int i) { |
| 458 | } |
| 459 | |
| 460 | static class ClassWithClinit8 { |
| 461 | public static int value = 0; |
| 462 | static { |
| 463 | System.out.println("Main$ClassWithClinit8's static initializer"); |
| 464 | } |
| 465 | |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 466 | static void $noinline$someStaticMethod(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 467 | it.iterator(); |
| 468 | } |
| 469 | } |
| 470 | |
| 471 | /* |
| 472 | * Verify that LoadClass from const-class, ClinitCheck from sget and |
| 473 | * InvokeStaticOrDirect from invoke-static are not merged. |
| 474 | */ |
| 475 | |
| 476 | /// CHECK-START: void Main.constClassSgetAndInvokeStatic(java.lang.Iterable) liveness (before) |
| 477 | /// CHECK: LoadClass gen_clinit_check:false |
| 478 | /// CHECK: ClinitCheck |
| 479 | /// CHECK: InvokeStaticOrDirect clinit_check:none |
| 480 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 481 | static void constClassSgetAndInvokeStatic(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 482 | $opt$inline$ignoreClass(ClassWithClinit9.class); |
| 483 | $opt$inline$ignoreInt(ClassWithClinit9.value); |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 484 | ClassWithClinit9.$noinline$someStaticMethod(it); |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 485 | } |
| 486 | |
| 487 | static class ClassWithClinit9 { |
| 488 | public static int value = 0; |
| 489 | static { |
| 490 | System.out.println("Main$ClassWithClinit9's static initializer"); |
| 491 | } |
| 492 | |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 493 | static void $noinline$someStaticMethod(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 494 | it.iterator(); |
| 495 | } |
| 496 | } |
| 497 | |
| 498 | /* |
| 499 | * Verify that LoadClass from a fully-inlined invoke-static is not merged |
| 500 | * with InvokeStaticOrDirect from a later invoke-static to the same method. |
| 501 | */ |
| 502 | |
| 503 | /// CHECK-START: void Main.inlinedInvokeStaticViaNonStatic(java.lang.Iterable) liveness (before) |
| 504 | /// CHECK: LoadClass gen_clinit_check:true |
| 505 | /// CHECK: InvokeStaticOrDirect clinit_check:none |
| 506 | |
| 507 | /// CHECK-START: void Main.inlinedInvokeStaticViaNonStatic(java.lang.Iterable) liveness (before) |
| 508 | /// CHECK-NOT: ClinitCheck |
| 509 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 510 | static void inlinedInvokeStaticViaNonStatic(Iterable<?> it) { |
Nicolas Geoffray | fdb7d63 | 2017-02-08 15:07:18 +0000 | [diff] [blame] | 511 | if (it != null) { |
| 512 | inlinedInvokeStaticViaNonStaticHelper(null); |
| 513 | inlinedInvokeStaticViaNonStaticHelper(it); |
| 514 | } |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 515 | } |
| 516 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 517 | static void inlinedInvokeStaticViaNonStaticHelper(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 518 | ClassWithClinit10.inlinedForNull(it); |
| 519 | } |
| 520 | |
| 521 | static class ClassWithClinit10 { |
| 522 | public static int value = 0; |
| 523 | static { |
| 524 | System.out.println("Main$ClassWithClinit10's static initializer"); |
| 525 | } |
| 526 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 527 | static void inlinedForNull(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 528 | if (it != null) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 529 | it.iterator(); |
Nicolas Geoffray | fdb7d63 | 2017-02-08 15:07:18 +0000 | [diff] [blame] | 530 | // We're not inlining methods that always throw. |
| 531 | throw new Error(""); |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 532 | } |
| 533 | } |
| 534 | } |
| 535 | |
| 536 | /* |
| 537 | * Check that the LoadClass from an invoke-static C.foo() doesn't get merged with |
| 538 | * an invoke-static inside C.foo(). This would mess up the stack walk in the |
| 539 | * resolution trampoline where we would have to load C (if C isn't loaded yet) |
| 540 | * which is not permitted there. |
| 541 | * |
| 542 | * Note: In case of failure, we would get an failed assertion during compilation, |
| 543 | * so we wouldn't really get to the checker tests below. |
| 544 | */ |
| 545 | |
| 546 | /// CHECK-START: void Main.inlinedInvokeStaticViaStatic(java.lang.Iterable) liveness (before) |
| 547 | /// CHECK: LoadClass gen_clinit_check:true |
| 548 | /// CHECK: InvokeStaticOrDirect clinit_check:none |
| 549 | |
| 550 | /// CHECK-START: void Main.inlinedInvokeStaticViaStatic(java.lang.Iterable) liveness (before) |
| 551 | /// CHECK-NOT: ClinitCheck |
| 552 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 553 | static void inlinedInvokeStaticViaStatic(Iterable<?> it) { |
Nicolas Geoffray | fdb7d63 | 2017-02-08 15:07:18 +0000 | [diff] [blame] | 554 | if (it != null) { |
| 555 | ClassWithClinit11.callInlinedForNull(it); |
| 556 | } |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 557 | } |
| 558 | |
| 559 | static class ClassWithClinit11 { |
| 560 | public static int value = 0; |
| 561 | static { |
| 562 | System.out.println("Main$ClassWithClinit11's static initializer"); |
| 563 | } |
| 564 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 565 | static void callInlinedForNull(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 566 | inlinedForNull(it); |
| 567 | } |
| 568 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 569 | static void inlinedForNull(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 570 | it.iterator(); |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 571 | if (it != null) { |
Nicolas Geoffray | fdb7d63 | 2017-02-08 15:07:18 +0000 | [diff] [blame] | 572 | // We're not inlining methods that always throw. |
| 573 | throw new Error(""); |
Nicolas Geoffray | 5bf7bac | 2016-07-06 14:18:23 +0000 | [diff] [blame] | 574 | } |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 575 | } |
| 576 | } |
| 577 | |
| 578 | /* |
| 579 | * A test similar to inlinedInvokeStaticViaStatic() but doing the indirect invoke |
| 580 | * twice with the first one to be fully inlined. |
| 581 | */ |
| 582 | |
| 583 | /// CHECK-START: void Main.inlinedInvokeStaticViaStaticTwice(java.lang.Iterable) liveness (before) |
| 584 | /// CHECK: LoadClass gen_clinit_check:true |
| 585 | /// CHECK: InvokeStaticOrDirect clinit_check:none |
| 586 | |
| 587 | /// CHECK-START: void Main.inlinedInvokeStaticViaStaticTwice(java.lang.Iterable) liveness (before) |
| 588 | /// CHECK-NOT: ClinitCheck |
| 589 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 590 | static void inlinedInvokeStaticViaStaticTwice(Iterable<?> it) { |
Nicolas Geoffray | fdb7d63 | 2017-02-08 15:07:18 +0000 | [diff] [blame] | 591 | if (it != null) { |
| 592 | ClassWithClinit12.callInlinedForNull(null); |
| 593 | ClassWithClinit12.callInlinedForNull(it); |
| 594 | } |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 595 | } |
| 596 | |
| 597 | static class ClassWithClinit12 { |
| 598 | public static int value = 0; |
| 599 | static { |
| 600 | System.out.println("Main$ClassWithClinit12's static initializer"); |
| 601 | } |
| 602 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 603 | static void callInlinedForNull(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 604 | inlinedForNull(it); |
| 605 | } |
| 606 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 607 | static void inlinedForNull(Iterable<?> it) { |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 608 | if (it != null) { |
Nicolas Geoffray | fdb7d63 | 2017-02-08 15:07:18 +0000 | [diff] [blame] | 609 | // We're not inlining methods that always throw. |
| 610 | throw new Error(""); |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 611 | } |
| 612 | } |
| 613 | } |
| 614 | |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 615 | static class ClassWithClinit13 { |
| 616 | static { |
| 617 | System.out.println("Main$ClassWithClinit13's static initializer"); |
| 618 | } |
| 619 | |
| 620 | public static void $inline$forwardToGetIterator(Iterable<?> it) { |
| 621 | $noinline$getIterator(it); |
| 622 | } |
| 623 | |
| 624 | public static void $noinline$getIterator(Iterable<?> it) { |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 625 | it.iterator(); |
| 626 | } |
| 627 | } |
| 628 | |
| 629 | // TODO: Write checker statements. |
| 630 | static Object $noinline$testInliningAndNewInstance(Iterable<?> it) { |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 631 | ClassWithClinit13.$inline$forwardToGetIterator(it); |
| 632 | return new ClassWithClinit13(); |
| 633 | } |
| 634 | |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 635 | // TODO: Add a test for the case of a static method whose declaring |
| 636 | // class type index is not available (i.e. when `storage_index` |
Andreas Gampe | e2abbc6 | 2017-09-15 11:59:26 -0700 | [diff] [blame] | 637 | // equals `dex::kDexNoIndex` in |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 638 | // art::HGraphBuilder::BuildInvoke). |
| 639 | |
| 640 | public static void main(String[] args) { |
| 641 | invokeStaticInlined(); |
| 642 | invokeStaticNotInlined(); |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 643 | ClassWithClinit3Static.invokeStaticInlined(); |
| 644 | new ClassWithClinit3Instance().invokeStaticInlined(); |
| 645 | ClassWithClinit4Static.invokeStaticNotInlined(); |
| 646 | new ClassWithClinit4Instance().invokeStaticNotInlined(); |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 647 | SubClassOfClassWithClinit5.invokeStaticInlined(); |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 648 | SubClassOfClassWithoutClinit5.invokeStaticInlined(); |
Roland Levillain | 5f02c6c | 2015-04-24 19:14:22 +0100 | [diff] [blame] | 649 | SubClassOfClassWithClinit6.invokeStaticNotInlined(); |
Vladimir Marko | 2ab1bdd | 2018-07-12 09:59:56 +0100 | [diff] [blame] | 650 | SubClassOfClassWithoutClinit6.invokeStaticNotInlined(); |
Vladimir Marko | fbb184a | 2015-11-13 14:47:00 +0000 | [diff] [blame] | 651 | Iterable it = new Iterable() { public java.util.Iterator iterator() { return null; } }; |
| 652 | constClassAndInvokeStatic(it); |
| 653 | sgetAndInvokeStatic(it); |
| 654 | constClassSgetAndInvokeStatic(it); |
Nicolas Geoffray | fdb7d63 | 2017-02-08 15:07:18 +0000 | [diff] [blame] | 655 | try { |
| 656 | inlinedInvokeStaticViaNonStatic(it); |
| 657 | } catch (Error e) { |
| 658 | // Expected |
| 659 | } |
| 660 | try { |
| 661 | inlinedInvokeStaticViaStatic(it); |
| 662 | } catch (Error e) { |
| 663 | // Expected |
| 664 | } |
| 665 | try{ |
| 666 | inlinedInvokeStaticViaStaticTwice(it); |
| 667 | } catch (Error e) { |
| 668 | // Expected |
| 669 | } |
Vladimir Marko | c7591b4 | 2016-06-29 14:59:07 +0100 | [diff] [blame] | 670 | $noinline$testInliningAndNewInstance(it); |
Roland Levillain | 4c0eb42 | 2015-04-24 16:43:49 +0100 | [diff] [blame] | 671 | } |
| 672 | } |