xref: /aosp_15_r20/art/test/854-image-inlining/src-ex/Test.java (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker  * Copyright (C) 2024 The Android Open Source Project
3*795d594fSAndroid Build Coastguard Worker  *
4*795d594fSAndroid Build Coastguard Worker  * Licensed under the Apache License, Version 2.0 (the "License");
5*795d594fSAndroid Build Coastguard Worker  * you may not use this file except in compliance with the License.
6*795d594fSAndroid Build Coastguard Worker  * You may obtain a copy of the License at
7*795d594fSAndroid Build Coastguard Worker  *
8*795d594fSAndroid Build Coastguard Worker  *      http://www.apache.org/licenses/LICENSE-2.0
9*795d594fSAndroid Build Coastguard Worker  *
10*795d594fSAndroid Build Coastguard Worker  * Unless required by applicable law or agreed to in writing, software
11*795d594fSAndroid Build Coastguard Worker  * distributed under the License is distributed on an "AS IS" BASIS,
12*795d594fSAndroid Build Coastguard Worker  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*795d594fSAndroid Build Coastguard Worker  * See the License for the specific language governing permissions and
14*795d594fSAndroid Build Coastguard Worker  * limitations under the License.
15*795d594fSAndroid Build Coastguard Worker  */
16*795d594fSAndroid Build Coastguard Worker 
17*795d594fSAndroid Build Coastguard Worker class WithStatic {
18*795d594fSAndroid Build Coastguard Worker   public static int field = 42;
19*795d594fSAndroid Build Coastguard Worker }
20*795d594fSAndroid Build Coastguard Worker 
21*795d594fSAndroid Build Coastguard Worker // `CallStatic` being part of the profile, the compiler used to think it will be in the app image.
22*795d594fSAndroid Build Coastguard Worker // However, given it implements `Itf` which is from a different dex file from a different class
23*795d594fSAndroid Build Coastguard Worker // loader, we cannot encode `CallStatic` in the image. We used to find that information too late in
24*795d594fSAndroid Build Coastguard Worker // the compilation stage and were therefore wrongly assuming we could inline methods from
25*795d594fSAndroid Build Coastguard Worker // `CallStatic` without the need for resolving it.
26*795d594fSAndroid Build Coastguard Worker //
27*795d594fSAndroid Build Coastguard Worker // Note that to trigger the crash, we needed an interface from a different dex file. We were
28*795d594fSAndroid Build Coastguard Worker // correctly pruning the class if the superclass was from a different dex file.
29*795d594fSAndroid Build Coastguard Worker class CallStatic implements Itf {
$inline$foo()30*795d594fSAndroid Build Coastguard Worker   public static int $inline$foo() {
31*795d594fSAndroid Build Coastguard Worker     // Access a static field to make sure we invoke the runtime, which will then walk the call
32*795d594fSAndroid Build Coastguard Worker     // stack.
33*795d594fSAndroid Build Coastguard Worker     return WithStatic.field;
34*795d594fSAndroid Build Coastguard Worker   }
35*795d594fSAndroid Build Coastguard Worker }
36*795d594fSAndroid Build Coastguard Worker 
37*795d594fSAndroid Build Coastguard Worker public class Test {
callInstance()38*795d594fSAndroid Build Coastguard Worker   public static int callInstance() {
39*795d594fSAndroid Build Coastguard Worker     // Call a method from `CallStatic` which will be inlined. If the compiler thinks `CallStatic`
40*795d594fSAndroid Build Coastguard Worker     // will be in the image, it will skip the slow path of resolving it.
41*795d594fSAndroid Build Coastguard Worker     return CallStatic.$inline$foo();
42*795d594fSAndroid Build Coastguard Worker   }
43*795d594fSAndroid Build Coastguard Worker }
44