xref: /aosp_15_r20/art/test/2268-checker-remove-dead-phis/src/Main.java (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker  * Copyright (C) 2023 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 public class Main {
main(String[] args)18*795d594fSAndroid Build Coastguard Worker     public static void main(String[] args) {}
19*795d594fSAndroid Build Coastguard Worker 
20*795d594fSAndroid Build Coastguard Worker     /// CHECK-START: int Main.$noinline$doNothing() dead_code_elimination$after_inlining (before)
21*795d594fSAndroid Build Coastguard Worker     /// CHECK-DAG: Phi
22*795d594fSAndroid Build Coastguard Worker     /// CHECK-DAG: Add
23*795d594fSAndroid Build Coastguard Worker     /// CHECK-DAG: Div
24*795d594fSAndroid Build Coastguard Worker 
25*795d594fSAndroid Build Coastguard Worker     /// CHECK-START: int Main.$noinline$doNothing() dead_code_elimination$after_inlining (after)
26*795d594fSAndroid Build Coastguard Worker     /// CHECK-NOT: Phi
27*795d594fSAndroid Build Coastguard Worker     /// CHECK-NOT: Add
28*795d594fSAndroid Build Coastguard Worker     /// CHECK-NOT: Div
$noinline$doNothing()29*795d594fSAndroid Build Coastguard Worker     private int $noinline$doNothing() {
30*795d594fSAndroid Build Coastguard Worker         int val1 = b1 ? 1 : 0;
31*795d594fSAndroid Build Coastguard Worker         int val2 = b2 ? 1 : 0;
32*795d594fSAndroid Build Coastguard Worker 
33*795d594fSAndroid Build Coastguard Worker         if (condition1) {
34*795d594fSAndroid Build Coastguard Worker             val1 += 25;
35*795d594fSAndroid Build Coastguard Worker             val2 += 25;
36*795d594fSAndroid Build Coastguard Worker         }
37*795d594fSAndroid Build Coastguard Worker 
38*795d594fSAndroid Build Coastguard Worker         if (condition2) {
39*795d594fSAndroid Build Coastguard Worker             val1 /= 5;
40*795d594fSAndroid Build Coastguard Worker             val2 /= 5;
41*795d594fSAndroid Build Coastguard Worker         }
42*795d594fSAndroid Build Coastguard Worker 
43*795d594fSAndroid Build Coastguard Worker         if ($inline$returnFalse()) {
44*795d594fSAndroid Build Coastguard Worker             return val1 + val2;
45*795d594fSAndroid Build Coastguard Worker         } else {
46*795d594fSAndroid Build Coastguard Worker             return 0;
47*795d594fSAndroid Build Coastguard Worker         }
48*795d594fSAndroid Build Coastguard Worker     }
49*795d594fSAndroid Build Coastguard Worker 
$inline$returnFalse()50*795d594fSAndroid Build Coastguard Worker     private boolean $inline$returnFalse() {
51*795d594fSAndroid Build Coastguard Worker         return false;
52*795d594fSAndroid Build Coastguard Worker     }
53*795d594fSAndroid Build Coastguard Worker 
54*795d594fSAndroid Build Coastguard Worker     boolean b1;
55*795d594fSAndroid Build Coastguard Worker     boolean b2;
56*795d594fSAndroid Build Coastguard Worker     boolean condition1;
57*795d594fSAndroid Build Coastguard Worker     boolean condition2;
58*795d594fSAndroid Build Coastguard Worker }
59