xref: /aosp_15_r20/external/llvm/test/Transforms/IndVarSimplify/pr24356.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt -S -indvars < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-apple-macosx10.10.0"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Worker@a = common global i32 0, align 4
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Worker; Function Attrs: nounwind ssp uwtable
9*9880d681SAndroid Build Coastguard Workerdefine void @fn1() {
10*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @fn1(
11*9880d681SAndroid Build Coastguard Workerbb:
12*9880d681SAndroid Build Coastguard Worker  br label %bb4.preheader
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workerbb4.preheader:                                    ; preds = %bb, %bb16
15*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL:  bb4.preheader:
16*9880d681SAndroid Build Coastguard Worker  %b.03 = phi i8 [ 0, %bb ], [ %tmp17, %bb16 ]
17*9880d681SAndroid Build Coastguard Worker; CHECK: %tmp9 = icmp ugt i8 %b.03, 1
18*9880d681SAndroid Build Coastguard Worker; CHECK-NOT: %tmp9 = icmp ugt i8 0, 1
19*9880d681SAndroid Build Coastguard Worker
20*9880d681SAndroid Build Coastguard Worker  %tmp9 = icmp ugt i8 %b.03, 1
21*9880d681SAndroid Build Coastguard Worker  br i1 %tmp9, label %bb4.preheader.bb18.loopexit.split_crit_edge, label %bb4.preheader.bb4.preheader.split_crit_edge
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard Workerbb4.preheader.bb4.preheader.split_crit_edge:      ; preds = %bb4.preheader
24*9880d681SAndroid Build Coastguard Worker  br label %bb4.preheader.split
25*9880d681SAndroid Build Coastguard Worker
26*9880d681SAndroid Build Coastguard Workerbb4.preheader.bb18.loopexit.split_crit_edge:      ; preds = %bb4.preheader
27*9880d681SAndroid Build Coastguard Worker  store i32 0, i32* @a, align 4
28*9880d681SAndroid Build Coastguard Worker  br label %bb18.loopexit.split
29*9880d681SAndroid Build Coastguard Worker
30*9880d681SAndroid Build Coastguard Workerbb4.preheader.split:                              ; preds = %bb4.preheader.bb4.preheader.split_crit_edge
31*9880d681SAndroid Build Coastguard Worker  br label %bb7
32*9880d681SAndroid Build Coastguard Worker
33*9880d681SAndroid Build Coastguard Workerbb4:                                              ; preds = %bb7
34*9880d681SAndroid Build Coastguard Worker  %tmp6 = icmp slt i32 %storemerge2, 0
35*9880d681SAndroid Build Coastguard Worker  br i1 %tmp6, label %bb7, label %bb16
36*9880d681SAndroid Build Coastguard Worker
37*9880d681SAndroid Build Coastguard Workerbb7:                                              ; preds = %bb4.preheader.split, %bb4
38*9880d681SAndroid Build Coastguard Worker  %storemerge2 = phi i32 [ 0, %bb4.preheader.split ], [ %tmp14, %bb4 ]
39*9880d681SAndroid Build Coastguard Worker  %tmp14 = add nsw i32 %storemerge2, 1
40*9880d681SAndroid Build Coastguard Worker  br i1 false, label %bb18.loopexit, label %bb4
41*9880d681SAndroid Build Coastguard Worker
42*9880d681SAndroid Build Coastguard Workerbb16:                                             ; preds = %bb4
43*9880d681SAndroid Build Coastguard Worker  %tmp14.lcssa5 = phi i32 [ %tmp14, %bb4 ]
44*9880d681SAndroid Build Coastguard Worker  %tmp17 = add i8 %b.03, -1
45*9880d681SAndroid Build Coastguard Worker  %tmp2 = icmp eq i8 %tmp17, -2
46*9880d681SAndroid Build Coastguard Worker  br i1 %tmp2, label %bb18.loopexit1, label %bb4.preheader
47*9880d681SAndroid Build Coastguard Worker
48*9880d681SAndroid Build Coastguard Workerbb18.loopexit:                                    ; preds = %bb7
49*9880d681SAndroid Build Coastguard Worker  br label %bb18.loopexit.split
50*9880d681SAndroid Build Coastguard Worker
51*9880d681SAndroid Build Coastguard Workerbb18.loopexit.split:                              ; preds = %bb4.preheader.bb18.loopexit.split_crit_edge, %bb18.loopexit
52*9880d681SAndroid Build Coastguard Worker  br label %bb18
53*9880d681SAndroid Build Coastguard Worker
54*9880d681SAndroid Build Coastguard Workerbb18.loopexit1:                                   ; preds = %bb16
55*9880d681SAndroid Build Coastguard Worker  %tmp14.lcssa5.lcssa = phi i32 [ %tmp14.lcssa5, %bb16 ]
56*9880d681SAndroid Build Coastguard Worker  store i32 %tmp14.lcssa5.lcssa, i32* @a, align 4
57*9880d681SAndroid Build Coastguard Worker  br label %bb18
58*9880d681SAndroid Build Coastguard Worker
59*9880d681SAndroid Build Coastguard Workerbb18:                                             ; preds = %bb18.loopexit1, %bb18.loopexit.split
60*9880d681SAndroid Build Coastguard Worker  ret void
61*9880d681SAndroid Build Coastguard Worker}
62*9880d681SAndroid Build Coastguard Worker
63*9880d681SAndroid Build Coastguard Workerdeclare void @abort()
64