source: icGREP/icgrep-devel/llvm-3.8.0.src/test/Analysis/ScalarEvolution/trip-count7.ll @ 5027

Last change on this file since 5027 was 5027, checked in by cameron, 3 years ago

Upgrade to llvm 3.8

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