← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/Transforms/LoopVectorize/if-conversion-edgemasks.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Transforms/LoopVectorize/if-conversion-edgemasks.ll
 
1
; RUN: opt -S -loop-vectorize < %s | FileCheck %s
 
2
 
 
3
target 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-n8:16:32:64-S128"
 
4
target triple = "x86_64-apple-macosx10.9.0"
 
5
 
 
6
@a = global i32* null, align 8
 
7
@b = global i32* null, align 8
 
8
@c = global i32* null, align 8
 
9
 
 
10
; Don't create an exponetial IR for the edge masks needed when if-converting
 
11
; this code.
 
12
 
 
13
; PR16472
 
14
 
 
15
; CHECK-NOT: %6000000 =
 
16
 
 
17
define void @_Z3fn4i(i32 %p1) {
 
18
entry:
 
19
  %cmp88 = icmp sgt i32 %p1, 0
 
20
  br i1 %cmp88, label %for.body.lr.ph, label %for.end
 
21
 
 
22
for.body.lr.ph:
 
23
  %0 = load i32*, i32** @b, align 8
 
24
  %1 = load i32*, i32** @a, align 8
 
25
  %2 = load i32*, i32** @c, align 8
 
26
  br label %for.body
 
27
 
 
28
for.body:
 
29
  %indvars.iv = phi i64 [ 0, %for.body.lr.ph ], [ %indvars.iv.next, %_ZL3fn3ii.exit58 ]
 
30
  %arrayidx = getelementptr inbounds i32, i32* %0, i64 %indvars.iv
 
31
  %3 = load i32, i32* %arrayidx, align 4  %4 = trunc i64 %indvars.iv to i32
 
32
  %and.i = and i32 %4, 1
 
33
  %tobool.i.i = icmp eq i32 %and.i, 0
 
34
  br i1 %tobool.i.i, label %if.end.i, label %if.then.i
 
35
 
 
36
if.then.i:
 
37
  %and.i.i = lshr i32 %3, 2
 
38
  %and.lobit.i.i = and i32 %and.i.i, 1
 
39
  %5 = xor i32 %and.lobit.i.i, 1
 
40
  %or.i.i = or i32 %5, %3
 
41
  %cmp.i = icmp sgt i32 %or.i.i, 0
 
42
  %conv.i = zext i1 %cmp.i to i32
 
43
  br label %if.end.i
 
44
 
 
45
if.end.i:
 
46
  %tobool.i87 = phi i1 [ true, %if.then.i ], [ false, %for.body ]
 
47
  %p1.addr.0.i = phi i32 [ %conv.i, %if.then.i ], [ %3, %for.body ]
 
48
  %6 = trunc i64 %indvars.iv to i32
 
49
  %and1.i = and i32 %6, 7
 
50
  %tobool2.i = icmp eq i32 %and1.i, 0
 
51
  br i1 %tobool2.i, label %if.end7.i, label %if.then3.i
 
52
 
 
53
if.then3.i:
 
54
  %p1.addr.0.lobit.i = lshr i32 %p1.addr.0.i, 31
 
55
  %and6.i = and i32 %p1.addr.0.i, 1
 
56
  %or.i = or i32 %p1.addr.0.lobit.i, %and6.i
 
57
  br label %if.end7.i
 
58
 
 
59
if.end7.i:
 
60
  %p1.addr.1.i = phi i32 [ %or.i, %if.then3.i ], [ %p1.addr.0.i, %if.end.i ]
 
61
  br i1 %tobool.i87, label %if.then10.i, label %if.end13.i
 
62
 
 
63
if.then10.i:
 
64
  %cmp11.i = icmp sgt i32 %p1.addr.1.i, 0
 
65
  %conv12.i = zext i1 %cmp11.i to i32
 
66
  br label %if.end13.i
 
67
 
 
68
if.end13.i:
 
69
  %p1.addr.2.i = phi i32 [ %conv12.i, %if.then10.i ], [ %p1.addr.1.i, %if.end7.i ]
 
70
  br i1 %tobool.i.i, label %_Z3fn2iii.exit, label %if.then16.i
 
71
 
 
72
if.then16.i:
 
73
  %and17.i = lshr i32 %p1.addr.2.i, 3
 
74
  %and17.lobit.i = and i32 %and17.i, 1
 
75
  br label %_Z3fn2iii.exit
 
76
 
 
77
_Z3fn2iii.exit:
 
78
  %p1.addr.3.i = phi i32 [ %and17.lobit.i, %if.then16.i ], [ %p1.addr.2.i, %if.end13.i ]
 
79
  %7 = trunc i64 %indvars.iv to i32
 
80
  %shr.i = ashr i32 %7, 1
 
81
  %and.i18.i = and i32 %shr.i, 1
 
82
  %tobool.i19.i = icmp ne i32 %and.i18.i, 0
 
83
  br i1 %tobool.i19.i, label %if.then.i20.i, label %if.end.i.i
 
84
 
 
85
if.then.i20.i:
 
86
  %cmp.i.i = icmp sgt i32 %p1.addr.3.i, 0
 
87
  %conv.i.i = zext i1 %cmp.i.i to i32
 
88
  br label %if.end.i.i
 
89
 
 
90
if.end.i.i:
 
91
  %p1.addr.0.i21.i = phi i32 [ %conv.i.i, %if.then.i20.i ], [ %p1.addr.3.i, %_Z3fn2iii.exit ]
 
92
  %and1.i.i = and i32 %shr.i, 7
 
93
  %tobool2.i.i = icmp eq i32 %and1.i.i, 0
 
94
  br i1 %tobool2.i.i, label %if.end7.i.i, label %if.then3.i.i
 
95
 
 
96
if.then3.i.i:
 
97
  %p1.addr.0.lobit.i.i = lshr i32 %p1.addr.0.i21.i, 31
 
98
  %and6.i.i = and i32 %p1.addr.0.i21.i, 1
 
99
  %or.i22.i = or i32 %p1.addr.0.lobit.i.i, %and6.i.i
 
100
  br label %if.end7.i.i
 
101
 
 
102
if.end7.i.i:
 
103
  %p1.addr.1.i.i = phi i32 [ %or.i22.i, %if.then3.i.i ], [ %p1.addr.0.i21.i, %if.end.i.i ]
 
104
  br i1 %tobool.i19.i, label %if.then10.i.i, label %if.end13.i.i
 
105
 
 
106
if.then10.i.i:
 
107
  %cmp11.i.i = icmp sgt i32 %p1.addr.1.i.i, 0
 
108
  %conv12.i.i = zext i1 %cmp11.i.i to i32
 
109
  br label %if.end13.i.i
 
110
 
 
111
if.end13.i.i:
 
112
  %p1.addr.2.i.i = phi i32 [ %conv12.i.i, %if.then10.i.i ], [ %p1.addr.1.i.i, %if.end7.i.i ]
 
113
  %and14.i.i = and i32 %shr.i, 5
 
114
  %tobool15.i.i = icmp eq i32 %and14.i.i, 0
 
115
  br i1 %tobool15.i.i, label %_Z3fn2iii.exit.i, label %if.then16.i.i
 
116
 
 
117
if.then16.i.i:
 
118
  %and17.i.i = lshr i32 %p1.addr.2.i.i, 3
 
119
  %and17.lobit.i.i = and i32 %and17.i.i, 1
 
120
  br label %_Z3fn2iii.exit.i
 
121
 
 
122
_Z3fn2iii.exit.i:
 
123
  %p1.addr.3.i.i = phi i32 [ %and17.lobit.i.i, %if.then16.i.i ], [ %p1.addr.2.i.i, %if.end13.i.i ]
 
124
  %8 = trunc i64 %indvars.iv to i32
 
125
  %tobool.i11.i = icmp eq i32 %8, 0
 
126
  br i1 %tobool.i11.i, label %_ZL3fn3ii.exit, label %if.then.i15.i
 
127
 
 
128
if.then.i15.i:
 
129
  %and.i12.i = lshr i32 %p1.addr.3.i.i, 2
 
130
  %and.lobit.i13.i = and i32 %and.i12.i, 1
 
131
  %9 = xor i32 %and.lobit.i13.i, 1
 
132
  %or.i14.i = or i32 %9, %p1.addr.3.i.i
 
133
  br label %_ZL3fn3ii.exit
 
134
 
 
135
_ZL3fn3ii.exit:
 
136
  %p1.addr.0.i16.i = phi i32 [ %or.i14.i, %if.then.i15.i ], [ %p1.addr.3.i.i, %_Z3fn2iii.exit.i ]
 
137
  %arrayidx2 = getelementptr inbounds i32, i32* %1, i64 %indvars.iv
 
138
  store i32 %p1.addr.0.i16.i, i32* %arrayidx2, align 4  %arrayidx4 = getelementptr inbounds i32, i32* %0, i64 %indvars.iv
 
139
  %10 = load i32, i32* %arrayidx4, align 4  br i1 %tobool.i.i, label %_Z3fn1ii.exit.i26, label %if.then.i.i21
 
140
 
 
141
if.then.i.i21:
 
142
  %and.i.i18 = lshr i32 %10, 2
 
143
  %and.lobit.i.i19 = and i32 %and.i.i18, 1
 
144
  %11 = xor i32 %and.lobit.i.i19, 1
 
145
  %or.i.i20 = or i32 %11, %10
 
146
  br label %_Z3fn1ii.exit.i26
 
147
 
 
148
_Z3fn1ii.exit.i26:
 
149
  %p1.addr.0.i.i22 = phi i32 [ %or.i.i20, %if.then.i.i21 ], [ %10, %_ZL3fn3ii.exit ]
 
150
  br i1 %tobool.i87, label %if.then.i63, label %if.end.i67
 
151
 
 
152
if.then.i63:
 
153
  %cmp.i61 = icmp sgt i32 %p1.addr.0.i.i22, 0
 
154
  %conv.i62 = zext i1 %cmp.i61 to i32
 
155
  br label %if.end.i67
 
156
 
 
157
if.end.i67:
 
158
  %p1.addr.0.i64 = phi i32 [ %conv.i62, %if.then.i63 ], [ %p1.addr.0.i.i22, %_Z3fn1ii.exit.i26 ]
 
159
  br i1 %tobool2.i, label %if.end7.i73, label %if.then3.i71
 
160
 
 
161
if.then3.i71:
 
162
  %p1.addr.0.lobit.i68 = lshr i32 %p1.addr.0.i64, 31
 
163
  %and6.i69 = and i32 %p1.addr.0.i64, 1
 
164
  %or.i70 = or i32 %p1.addr.0.lobit.i68, %and6.i69
 
165
  br label %if.end7.i73
 
166
 
 
167
if.end7.i73:
 
168
  %p1.addr.1.i72 = phi i32 [ %or.i70, %if.then3.i71 ], [ %p1.addr.0.i64, %if.end.i67 ]
 
169
  br i1 %tobool.i87, label %if.then10.i76, label %if.end13.i80
 
170
 
 
171
if.then10.i76:
 
172
  %cmp11.i74 = icmp sgt i32 %p1.addr.1.i72, 0
 
173
  %conv12.i75 = zext i1 %cmp11.i74 to i32
 
174
  br label %if.end13.i80
 
175
 
 
176
if.end13.i80:
 
177
  %p1.addr.2.i77 = phi i32 [ %conv12.i75, %if.then10.i76 ], [ %p1.addr.1.i72, %if.end7.i73 ]
 
178
  br i1 %tobool.i.i, label %_Z3fn2iii.exit85, label %if.then16.i83
 
179
 
 
180
if.then16.i83:
 
181
  %and17.i81 = lshr i32 %p1.addr.2.i77, 3
 
182
  %and17.lobit.i82 = and i32 %and17.i81, 1
 
183
  br label %_Z3fn2iii.exit85
 
184
 
 
185
_Z3fn2iii.exit85:
 
186
  %p1.addr.3.i84 = phi i32 [ %and17.lobit.i82, %if.then16.i83 ], [ %p1.addr.2.i77, %if.end13.i80 ]
 
187
  br i1 %tobool.i19.i, label %if.then.i20.i29, label %if.end.i.i33
 
188
 
 
189
if.then.i20.i29:
 
190
  %cmp.i.i27 = icmp sgt i32 %p1.addr.3.i84, 0
 
191
  %conv.i.i28 = zext i1 %cmp.i.i27 to i32
 
192
  br label %if.end.i.i33
 
193
 
 
194
if.end.i.i33:
 
195
  %p1.addr.0.i21.i30 = phi i32 [ %conv.i.i28, %if.then.i20.i29 ], [ %p1.addr.3.i84, %_Z3fn2iii.exit85 ]
 
196
  br i1 %tobool2.i.i, label %if.end7.i.i39, label %if.then3.i.i37
 
197
 
 
198
if.then3.i.i37:
 
199
  %p1.addr.0.lobit.i.i34 = lshr i32 %p1.addr.0.i21.i30, 31
 
200
  %and6.i.i35 = and i32 %p1.addr.0.i21.i30, 1
 
201
  %or.i22.i36 = or i32 %p1.addr.0.lobit.i.i34, %and6.i.i35
 
202
  br label %if.end7.i.i39
 
203
 
 
204
if.end7.i.i39:
 
205
  %p1.addr.1.i.i38 = phi i32 [ %or.i22.i36, %if.then3.i.i37 ], [ %p1.addr.0.i21.i30, %if.end.i.i33 ]
 
206
  br i1 %tobool.i19.i, label %if.then10.i.i42, label %if.end13.i.i46
 
207
 
 
208
if.then10.i.i42:
 
209
  %cmp11.i.i40 = icmp sgt i32 %p1.addr.1.i.i38, 0
 
210
  %conv12.i.i41 = zext i1 %cmp11.i.i40 to i32
 
211
  br label %if.end13.i.i46
 
212
 
 
213
if.end13.i.i46:
 
214
  %p1.addr.2.i.i43 = phi i32 [ %conv12.i.i41, %if.then10.i.i42 ], [ %p1.addr.1.i.i38, %if.end7.i.i39 ]
 
215
  br i1 %tobool15.i.i, label %_Z3fn2iii.exit.i52, label %if.then16.i.i49
 
216
 
 
217
if.then16.i.i49:
 
218
  %and17.i.i47 = lshr i32 %p1.addr.2.i.i43, 3
 
219
  %and17.lobit.i.i48 = and i32 %and17.i.i47, 1
 
220
  br label %_Z3fn2iii.exit.i52
 
221
 
 
222
_Z3fn2iii.exit.i52:
 
223
  %p1.addr.3.i.i50 = phi i32 [ %and17.lobit.i.i48, %if.then16.i.i49 ], [ %p1.addr.2.i.i43, %if.end13.i.i46 ]
 
224
  br i1 %tobool.i11.i, label %_ZL3fn3ii.exit58, label %if.then.i15.i56
 
225
 
 
226
if.then.i15.i56:
 
227
  %and.i12.i53 = lshr i32 %p1.addr.3.i.i50, 2
 
228
  %and.lobit.i13.i54 = and i32 %and.i12.i53, 1
 
229
  %12 = xor i32 %and.lobit.i13.i54, 1
 
230
  %or.i14.i55 = or i32 %12, %p1.addr.3.i.i50
 
231
  br label %_ZL3fn3ii.exit58
 
232
 
 
233
_ZL3fn3ii.exit58:
 
234
  %p1.addr.0.i16.i57 = phi i32 [ %or.i14.i55, %if.then.i15.i56 ], [ %p1.addr.3.i.i50, %_Z3fn2iii.exit.i52 ]
 
235
  %arrayidx7 = getelementptr inbounds i32, i32* %2, i64 %indvars.iv
 
236
  store i32 %p1.addr.0.i16.i57, i32* %arrayidx7, align 4  %indvars.iv.next = add i64 %indvars.iv, 1
 
237
  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
 
238
  %exitcond = icmp ne i32 %lftr.wideiv, %p1
 
239
  br i1 %exitcond, label %for.body, label %for.cond.for.end_crit_edge
 
240
 
 
241
for.cond.for.end_crit_edge:
 
242
  br label %for.end
 
243
 
 
244
for.end:
 
245
  ret void
 
246
}