xref: /aosp_15_r20/external/llvm/test/Transforms/LoopSimplify/phi-node-simplify.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; Loop Simplify should turn phi nodes like X = phi [X, Y]  into just Y, eliminating them.
2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -loop-simplify -S | grep phi | count 6
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Worker@A = weak global [3000000 x i32] zeroinitializer		; <[3000000 x i32]*> [#uses=1]
5*9880d681SAndroid Build Coastguard Worker@B = weak global [20000 x i32] zeroinitializer		; <[20000 x i32]*> [#uses=1]
6*9880d681SAndroid Build Coastguard Worker@C = weak global [100 x i32] zeroinitializer		; <[100 x i32]*> [#uses=1]
7*9880d681SAndroid Build Coastguard Worker@Z = weak global i32 0		; <i32*> [#uses=2]
8*9880d681SAndroid Build Coastguard Worker
9*9880d681SAndroid Build Coastguard Workerdefine i32 @main() {
10*9880d681SAndroid Build Coastguard Workerentry:
11*9880d681SAndroid Build Coastguard Worker	tail call void @__main( )
12*9880d681SAndroid Build Coastguard Worker	br label %loopentry.1
13*9880d681SAndroid Build Coastguard Workerloopentry.1:		; preds = %loopexit.1, %entry
14*9880d681SAndroid Build Coastguard Worker	%indvar20 = phi i32 [ 0, %entry ], [ %indvar.next21, %loopexit.1 ]		; <i32> [#uses=1]
15*9880d681SAndroid Build Coastguard Worker	%a.1 = phi i32* [ getelementptr ([3000000 x i32], [3000000 x i32]* @A, i32 0, i32 0), %entry ], [ %inc.0, %loopexit.1 ]		; <i32*> [#uses=1]
16*9880d681SAndroid Build Coastguard Worker	br label %no_exit.2
17*9880d681SAndroid Build Coastguard Workerno_exit.2:		; preds = %loopexit.2, %no_exit.2, %loopentry.1
18*9880d681SAndroid Build Coastguard Worker	%a.0.4.ph = phi i32* [ %a.1, %loopentry.1 ], [ %inc.0, %loopexit.2 ], [ %a.0.4.ph, %no_exit.2 ]		; <i32*> [#uses=3]
19*9880d681SAndroid Build Coastguard Worker	%b.1.4.ph = phi i32* [ getelementptr ([20000 x i32], [20000 x i32]* @B, i32 0, i32 0), %loopentry.1 ], [ %inc.1, %loopexit.2 ], [ %b.1.4.ph, %no_exit.2 ]		; <i32*> [#uses=3]
20*9880d681SAndroid Build Coastguard Worker	%indvar17 = phi i32 [ 0, %loopentry.1 ], [ %indvar.next18, %loopexit.2 ], [ %indvar17, %no_exit.2 ]		; <i32> [#uses=2]
21*9880d681SAndroid Build Coastguard Worker	%indvar = phi i32 [ %indvar.next, %no_exit.2 ], [ 0, %loopexit.2 ], [ 0, %loopentry.1 ]		; <i32> [#uses=5]
22*9880d681SAndroid Build Coastguard Worker	%b.1.4.rec = bitcast i32 %indvar to i32		; <i32> [#uses=1]
23*9880d681SAndroid Build Coastguard Worker	%gep.upgrd.1 = zext i32 %indvar to i64		; <i64> [#uses=1]
24*9880d681SAndroid Build Coastguard Worker	%c.2.4 = getelementptr [100 x i32], [100 x i32]* @C, i32 0, i64 %gep.upgrd.1		; <i32*> [#uses=1]
25*9880d681SAndroid Build Coastguard Worker	%gep.upgrd.2 = zext i32 %indvar to i64		; <i64> [#uses=1]
26*9880d681SAndroid Build Coastguard Worker	%a.0.4 = getelementptr i32, i32* %a.0.4.ph, i64 %gep.upgrd.2		; <i32*> [#uses=1]
27*9880d681SAndroid Build Coastguard Worker	%gep.upgrd.3 = zext i32 %indvar to i64		; <i64> [#uses=1]
28*9880d681SAndroid Build Coastguard Worker	%b.1.4 = getelementptr i32, i32* %b.1.4.ph, i64 %gep.upgrd.3		; <i32*> [#uses=1]
29*9880d681SAndroid Build Coastguard Worker	%inc.0.rec = add i32 %b.1.4.rec, 1		; <i32> [#uses=2]
30*9880d681SAndroid Build Coastguard Worker	%inc.0 = getelementptr i32, i32* %a.0.4.ph, i32 %inc.0.rec		; <i32*> [#uses=2]
31*9880d681SAndroid Build Coastguard Worker	%tmp.13 = load i32, i32* %a.0.4		; <i32> [#uses=1]
32*9880d681SAndroid Build Coastguard Worker	%inc.1 = getelementptr i32, i32* %b.1.4.ph, i32 %inc.0.rec		; <i32*> [#uses=1]
33*9880d681SAndroid Build Coastguard Worker	%tmp.15 = load i32, i32* %b.1.4		; <i32> [#uses=1]
34*9880d681SAndroid Build Coastguard Worker	%tmp.18 = load i32, i32* %c.2.4		; <i32> [#uses=1]
35*9880d681SAndroid Build Coastguard Worker	%tmp.16 = mul i32 %tmp.15, %tmp.13		; <i32> [#uses=1]
36*9880d681SAndroid Build Coastguard Worker	%tmp.19 = mul i32 %tmp.16, %tmp.18		; <i32> [#uses=1]
37*9880d681SAndroid Build Coastguard Worker	%tmp.20 = load i32, i32* @Z		; <i32> [#uses=1]
38*9880d681SAndroid Build Coastguard Worker	%tmp.21 = add i32 %tmp.19, %tmp.20		; <i32> [#uses=1]
39*9880d681SAndroid Build Coastguard Worker	store i32 %tmp.21, i32* @Z
40*9880d681SAndroid Build Coastguard Worker	%indvar.next = add i32 %indvar, 1		; <i32> [#uses=2]
41*9880d681SAndroid Build Coastguard Worker	%exitcond = icmp eq i32 %indvar.next, 100		; <i1> [#uses=1]
42*9880d681SAndroid Build Coastguard Worker	br i1 %exitcond, label %loopexit.2, label %no_exit.2
43*9880d681SAndroid Build Coastguard Workerloopexit.2:		; preds = %no_exit.2
44*9880d681SAndroid Build Coastguard Worker	%indvar.next18 = add i32 %indvar17, 1		; <i32> [#uses=2]
45*9880d681SAndroid Build Coastguard Worker	%exitcond19 = icmp eq i32 %indvar.next18, 200		; <i1> [#uses=1]
46*9880d681SAndroid Build Coastguard Worker	br i1 %exitcond19, label %loopexit.1, label %no_exit.2
47*9880d681SAndroid Build Coastguard Workerloopexit.1:		; preds = %loopexit.2
48*9880d681SAndroid Build Coastguard Worker	%indvar.next21 = add i32 %indvar20, 1		; <i32> [#uses=2]
49*9880d681SAndroid Build Coastguard Worker	%exitcond22 = icmp eq i32 %indvar.next21, 300		; <i1> [#uses=1]
50*9880d681SAndroid Build Coastguard Worker	br i1 %exitcond22, label %return, label %loopentry.1
51*9880d681SAndroid Build Coastguard Workerreturn:		; preds = %loopexit.1
52*9880d681SAndroid Build Coastguard Worker	ret i32 undef
53*9880d681SAndroid Build Coastguard Worker}
54*9880d681SAndroid Build Coastguard Worker
55*9880d681SAndroid Build Coastguard Workerdeclare void @__main()
56