Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / c23b933d5f8be9b51a1d22e717c0311f65f87dcd / . / test / Analysis / ScalarEvolution / trip-count7.ll
blob: 2bcb9e92abcceb41c21d709fdcf20a9e65502062 [file] [log] [blame]
Dan Gohman8a977e22010-01-26 19:25:59 +0000[diff] [blame]1; RUN: opt < %s -analyze -scalar-evolution \
Chandler Carruth4177e6f2012-07-02 12:47:22 +0000[diff] [blame]2; RUN: | grep "Loop %bb7.i: Unpredictable backedge-taken count\."
Dan Gohman91380b72009-06-22 23:28:56 +0000[diff] [blame]3
4target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
5
6 %struct.complex = type { float, float }
7 %struct.element = type { i32, i32 }
8 %struct.node = type { %struct.node*, %struct.node*, i32 }
9@seed = external global i64 ; <i64*> [#uses=0]
10@_2E_str = external constant [18 x i8], align 1 ; <[18 x i8]*> [#uses=0]
11@_2E_str1 = external constant [4 x i8], align 1 ; <[4 x i8]*> [#uses=0]
12@value = external global float ; <float*> [#uses=0]
13@fixed = external global float ; <float*> [#uses=0]
14@floated = external global float ; <float*> [#uses=0]
15@permarray = external global [11 x i32], align 32 ; <[11 x i32]*> [#uses=0]
16@pctr = external global i32 ; <i32*> [#uses=0]
17@tree = external global %struct.node* ; <%struct.node**> [#uses=0]
18@stack = external global [4 x i32], align 16 ; <[4 x i32]*> [#uses=0]
19@cellspace = external global [19 x %struct.element], align 32 ; <[19 x %struct.element]*> [#uses=0]
20@freelist = external global i32 ; <i32*> [#uses=0]
21@movesdone = external global i32 ; <i32*> [#uses=0]
22@ima = external global [41 x [41 x i32]], align 32 ; <[41 x [41 x i32]]*> [#uses=0]
23@imb = external global [41 x [41 x i32]], align 32 ; <[41 x [41 x i32]]*> [#uses=0]
24@imr = external global [41 x [41 x i32]], align 32 ; <[41 x [41 x i32]]*> [#uses=0]
25@rma = external global [41 x [41 x float]], align 32 ; <[41 x [41 x float]]*> [#uses=0]
26@rmb = external global [41 x [41 x float]], align 32 ; <[41 x [41 x float]]*> [#uses=0]
27@rmr = external global [41 x [41 x float]], align 32 ; <[41 x [41 x float]]*> [#uses=0]
28@piececount = external global [4 x i32], align 16 ; <[4 x i32]*> [#uses=0]
29@class = external global [13 x i32], align 32 ; <[13 x i32]*> [#uses=0]
30@piecemax = external global [13 x i32], align 32 ; <[13 x i32]*> [#uses=0]
31@puzzl = external global [512 x i32], align 32 ; <[512 x i32]*> [#uses=0]
32@p = external global [13 x [512 x i32]], align 32 ; <[13 x [512 x i32]]*> [#uses=0]
33@n = external global i32 ; <i32*> [#uses=0]
34@kount = external global i32 ; <i32*> [#uses=0]
35@sortlist = external global [5001 x i32], align 32 ; <[5001 x i32]*> [#uses=0]
36@biggest = external global i32 ; <i32*> [#uses=0]
37@littlest = external global i32 ; <i32*> [#uses=0]
38@top = external global i32 ; <i32*> [#uses=0]
39@z = external global [257 x %struct.complex], align 32 ; <[257 x %struct.complex]*> [#uses=0]
40@w = external global [257 x %struct.complex], align 32 ; <[257 x %struct.complex]*> [#uses=0]
41@e = external global [130 x %struct.complex], align 32 ; <[130 x %struct.complex]*> [#uses=0]
42@zr = external global float ; <float*> [#uses=0]
43@zi = external global float ; <float*> [#uses=0]
44
45declare void @Initrand() nounwind
46
47declare i32 @Rand() nounwind
48
49declare void @Try(i32, i32*, i32*, i32*, i32*, i32*) nounwind
50
51declare i32 @puts(i8* nocapture) nounwind
52
53declare void @Queens(i32) nounwind
54
55declare i32 @printf(i8* nocapture, ...) nounwind
56
57declare i32 @main() nounwind
58
59declare void @Doit() nounwind
60
61declare void @Doit_bb7([15 x i32]*, [17 x i32]*, [9 x i32]*) nounwind
62
63define void @Doit_bb7_2E_i([9 x i32]* %x1, [15 x i32]* %c, [17 x i32]* %b, [9 x i32]* %a, i32* %q, i32* %x1.sub, i32* %b9, i32* %a10, i32* %c11) nounwind {
64newFuncRoot:
65 br label %bb7.i
66
67Try.exit.exitStub: ; preds = %bb7.i
68 ret void
69
70bb.i: ; preds = %bb7.i
71 %tmp = add i32 %j.0.i, 1 ; <i32> [#uses=5]
72 store i32 0, i32* %q, align 4
73 %tmp1 = sext i32 %tmp to i64 ; <i64> [#uses=1]
74 %tmp2 = getelementptr [9 x i32]* %a, i64 0, i64 %tmp1 ; <i32*> [#uses=1]
75 %tmp3 = load i32* %tmp2, align 4 ; <i32> [#uses=1]
76 %tmp4 = icmp eq i32 %tmp3, 0 ; <i1> [#uses=1]
77 br i1 %tmp4, label %bb.i.bb7.i.backedge_crit_edge, label %bb1.i
78
79bb1.i: ; preds = %bb.i
80 %tmp5 = add i32 %j.0.i, 2 ; <i32> [#uses=1]
81 %tmp6 = sext i32 %tmp5 to i64 ; <i64> [#uses=1]
82 %tmp7 = getelementptr [17 x i32]* %b, i64 0, i64 %tmp6 ; <i32*> [#uses=1]
83 %tmp8 = load i32* %tmp7, align 4 ; <i32> [#uses=1]
84 %tmp9 = icmp eq i32 %tmp8, 0 ; <i1> [#uses=1]
85 br i1 %tmp9, label %bb1.i.bb7.i.backedge_crit_edge, label %bb2.i
86
87bb2.i: ; preds = %bb1.i
88 %tmp10 = sub i32 7, %j.0.i ; <i32> [#uses=1]
89 %tmp11 = sext i32 %tmp10 to i64 ; <i64> [#uses=1]
90 %tmp12 = getelementptr [15 x i32]* %c, i64 0, i64 %tmp11 ; <i32*> [#uses=1]
91 %tmp13 = load i32* %tmp12, align 4 ; <i32> [#uses=1]
92 %tmp14 = icmp eq i32 %tmp13, 0 ; <i1> [#uses=1]
93 br i1 %tmp14, label %bb2.i.bb7.i.backedge_crit_edge, label %bb3.i
94
95bb3.i: ; preds = %bb2.i
96 %tmp15 = getelementptr [9 x i32]* %x1, i64 0, i64 1 ; <i32*> [#uses=1]
97 store i32 %tmp, i32* %tmp15, align 4
98 %tmp16 = sext i32 %tmp to i64 ; <i64> [#uses=1]
99 %tmp17 = getelementptr [9 x i32]* %a, i64 0, i64 %tmp16 ; <i32*> [#uses=1]
100 store i32 0, i32* %tmp17, align 4
101 %tmp18 = add i32 %j.0.i, 2 ; <i32> [#uses=1]
102 %tmp19 = sext i32 %tmp18 to i64 ; <i64> [#uses=1]
103 %tmp20 = getelementptr [17 x i32]* %b, i64 0, i64 %tmp19 ; <i32*> [#uses=1]
104 store i32 0, i32* %tmp20, align 4
105 %tmp21 = sub i32 7, %j.0.i ; <i32> [#uses=1]
106 %tmp22 = sext i32 %tmp21 to i64 ; <i64> [#uses=1]
107 %tmp23 = getelementptr [15 x i32]* %c, i64 0, i64 %tmp22 ; <i32*> [#uses=1]
108 store i32 0, i32* %tmp23, align 4
109 call void @Try(i32 2, i32* %q, i32* %b9, i32* %a10, i32* %c11, i32* %x1.sub) nounwind
110 %tmp24 = load i32* %q, align 4 ; <i32> [#uses=1]
111 %tmp25 = icmp eq i32 %tmp24, 0 ; <i1> [#uses=1]
112 br i1 %tmp25, label %bb5.i, label %bb3.i.bb7.i.backedge_crit_edge
113
114bb5.i: ; preds = %bb3.i
115 %tmp26 = sext i32 %tmp to i64 ; <i64> [#uses=1]
116 %tmp27 = getelementptr [9 x i32]* %a, i64 0, i64 %tmp26 ; <i32*> [#uses=1]
117 store i32 1, i32* %tmp27, align 4
118 %tmp28 = add i32 %j.0.i, 2 ; <i32> [#uses=1]
119 %tmp29 = sext i32 %tmp28 to i64 ; <i64> [#uses=1]
120 %tmp30 = getelementptr [17 x i32]* %b, i64 0, i64 %tmp29 ; <i32*> [#uses=1]
121 store i32 1, i32* %tmp30, align 4
122 %tmp31 = sub i32 7, %j.0.i ; <i32> [#uses=1]
123 %tmp32 = sext i32 %tmp31 to i64 ; <i64> [#uses=1]
124 %tmp33 = getelementptr [15 x i32]* %c, i64 0, i64 %tmp32 ; <i32*> [#uses=1]
125 store i32 1, i32* %tmp33, align 4
126 br label %bb7.i.backedge
127
128bb7.i.backedge: ; preds = %bb3.i.bb7.i.backedge_crit_edge, %bb2.i.bb7.i.backedge_crit_edge, %bb1.i.bb7.i.backedge_crit_edge, %bb.i.bb7.i.backedge_crit_edge, %bb5.i
129 br label %bb7.i
130
131bb7.i: ; preds = %bb7.i.backedge, %newFuncRoot
132 %j.0.i = phi i32 [ 0, %newFuncRoot ], [ %tmp, %bb7.i.backedge ] ; <i32> [#uses=8]
133 %tmp34 = load i32* %q, align 4 ; <i32> [#uses=1]
134 %tmp35 = icmp eq i32 %tmp34, 0 ; <i1> [#uses=1]
135 %tmp36 = icmp ne i32 %j.0.i, 8 ; <i1> [#uses=1]
136 %tmp37 = and i1 %tmp35, %tmp36 ; <i1> [#uses=1]
137 br i1 %tmp37, label %bb.i, label %Try.exit.exitStub
138
139bb.i.bb7.i.backedge_crit_edge: ; preds = %bb.i
140 br label %bb7.i.backedge
141
142bb1.i.bb7.i.backedge_crit_edge: ; preds = %bb1.i
143 br label %bb7.i.backedge
144
145bb2.i.bb7.i.backedge_crit_edge: ; preds = %bb2.i
146 br label %bb7.i.backedge
147
148bb3.i.bb7.i.backedge_crit_edge: ; preds = %bb3.i
149 br label %bb7.i.backedge
150}