1 ; RUN: opt %loadPolly %defaultOpts -polly-codegen -enable-polly-vector -dce -S %s | FileCheck %s
2 ; Obtained from C source as:
3 ; clang -S -emit-llvm -O0 no-scevccp-outer-13.c
4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer no-scevccp-outer-13.s > no-scevccp-outer-13.ll
6 ; ModuleID = 'no-scevccp-outer-13.s'
7 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"
8 target triple = "x86_64-unknown-linux-gnu"
10 @in = common global [16 x i16] zeroinitializer, align 16
12 define i32 @foo(i16 signext %scale) nounwind uwtable noinline {
16 for.cond: ; preds = %for.inc21, %entry
17 %indvar1 = phi i64 [ %indvar.next2, %for.inc21 ], [ 0, %entry ]
18 %sum.0 = phi i32 [ 0, %entry ], [ %add20, %for.inc21 ]
19 %arrayidx = getelementptr [16 x i16]* @in, i64 0, i64 %indvar1
20 %exitcond3 = icmp ne i64 %indvar1, 16
21 br i1 %exitcond3, label %for.body, label %for.end24
23 for.body: ; preds = %for.cond
26 for.cond1: ; preds = %for.inc, %for.body
27 %indvar = phi i32 [ %indvar.next, %for.inc ], [ 0, %for.body ]
28 %sum_j.0 = phi i32 [ 0, %for.body ], [ %phitmp, %for.inc ]
29 %exitcond = icmp ne i32 %indvar, 16
30 br i1 %exitcond, label %for.body5, label %for.end
32 for.body5: ; preds = %for.cond1
35 for.inc: ; preds = %for.body5
36 %add = add i32 %sum_j.0, %indvar
37 %phitmp = and i32 %add, 65535
38 %indvar.next = add i32 %indvar, 1
41 for.end: ; preds = %for.cond1
42 %sum_j.0.lcssa = phi i32 [ %sum_j.0, %for.cond1 ]
45 for.inc21: ; preds = %for.end
46 %tmp13 = load i16* %arrayidx, align 2
47 %conv14 = zext i16 %tmp13 to i32
48 %conv18 = sext i16 %scale to i32
49 %mul = mul i32 %conv14, %sum_j.0.lcssa
50 %shr = lshr i32 %mul, %conv18
51 %add20 = add i32 %sum.0, %shr
52 %indvar.next2 = add i64 %indvar1, 1
55 for.end24: ; preds = %for.cond
56 %sum.0.lcssa = phi i32 [ %sum.0, %for.cond ]
60 define zeroext i16 @bar() nounwind uwtable noinline {
64 for.cond: ; preds = %for.inc, %entry
65 %tmp = phi i16 [ 0, %entry ], [ %inc, %for.inc ]
66 %exitcond = icmp ne i16 %tmp, 16
67 br i1 %exitcond, label %for.body, label %for.end
69 for.body: ; preds = %for.cond
72 for.inc: ; preds = %for.body
73 %inc = add i16 %tmp, 1
76 for.end: ; preds = %for.cond
80 define i32 @main() nounwind uwtable {
82 call void @check_vect()
85 for.cond: ; preds = %for.inc, %entry
86 %indvar1 = phi i64 [ %indvar.next2, %for.inc ], [ 0, %entry ]
87 %arrayidx = getelementptr [16 x i16]* @in, i64 0, i64 %indvar1
88 %conv = trunc i64 %indvar1 to i16
89 %exitcond3 = icmp ne i64 %indvar1, 16
90 br i1 %exitcond3, label %for.body, label %for.end
92 for.body: ; preds = %for.cond
93 store i16 %conv, i16* %arrayidx, align 2
96 for.inc: ; preds = %for.body
97 %indvar.next2 = add i64 %indvar1, 1
100 for.end: ; preds = %for.cond
101 %call = call i32 @foo(i16 signext 2)
104 for.cond4: ; preds = %for.inc18, %for.end
105 %indvar = phi i64 [ %indvar.next, %for.inc18 ], [ 0, %for.end ]
106 %sum.0 = phi i32 [ 0, %for.end ], [ %add, %for.inc18 ]
107 %arrayidx12 = getelementptr [16 x i16]* @in, i64 0, i64 %indvar
108 %exitcond = icmp ne i64 %indvar, 16
109 br i1 %exitcond, label %for.body8, label %for.end21
111 for.body8: ; preds = %for.cond4
112 %call9 = call zeroext i16 @bar()
115 for.inc18: ; preds = %for.body8
116 %tmp13 = load i16* %arrayidx12, align 2
117 %conv16 = zext i16 %call9 to i32
118 %conv14 = zext i16 %tmp13 to i32
119 %mul = mul i32 %conv14, %conv16
120 %shr = lshr i32 %mul, 2
121 %add = add i32 %sum.0, %shr
122 %indvar.next = add i64 %indvar, 1
125 for.end21: ; preds = %for.cond4
126 %sum.0.lcssa = phi i32 [ %sum.0, %for.cond4 ]
127 %cmp24 = icmp eq i32 %call, %sum.0.lcssa
128 br i1 %cmp24, label %if.end, label %if.then
130 if.then: ; preds = %for.end21
131 call void @abort() noreturn nounwind
134 if.end: ; preds = %for.end21
138 define internal void @check_vect() nounwind uwtable noinline {
140 %a = alloca i32, align 4
141 %b = alloca i32, align 4
142 %c = alloca i32, align 4
143 %d = alloca i32, align 4
144 %call = call void (i32)* (i32, void (i32)*)* @signal(i32 4, void (i32)* @sig_ill_handler) nounwind
145 %call1 = call i32 @__get_cpuid(i32 1, i32* %a, i32* %b, i32* %c, i32* %d)
146 %tobool = icmp eq i32 %call1, 0
147 br i1 %tobool, label %if.then, label %lor.lhs.false
149 lor.lhs.false: ; preds = %entry
150 %tmp4 = load i32* %d, align 4
151 %and6 = and i32 %tmp4, 67108864
152 %cmp = icmp eq i32 %and6, 0
153 br i1 %cmp, label %if.then, label %if.end
155 if.then: ; preds = %entry, %lor.lhs.false
156 call void @exit(i32 0) noreturn nounwind
159 if.end: ; preds = %lor.lhs.false
160 %call7 = call void (i32)* (i32, void (i32)*)* @signal(i32 4, void (i32)* null) nounwind
164 declare void @abort() noreturn
166 declare void (i32)* @signal(i32, void (i32)*) nounwind
168 define internal void @sig_ill_handler(i32 %sig) nounwind uwtable {
170 call void @exit(i32 0) noreturn nounwind
173 return: ; No predecessors!
177 define internal i32 @__get_cpuid(i32 %__level, i32* %__eax, i32* %__ebx, i32* %__ecx, i32* %__edx) nounwind uwtable inlinehint {
179 %and = and i32 %__level, -2147483648
180 %call = call i32 @__get_cpuid_max(i32 %and, i32* null)
181 %cmp = icmp ult i32 %call, %__level
182 br i1 %cmp, label %if.then, label %if.end
184 if.then: ; preds = %entry
187 if.end: ; preds = %entry
188 %tmp = call { i32, i32, i32, i32 } asm "cpuid\0A\09", "={ax},={bx},={cx},={dx},0,~{dirflag},~{fpsr},~{flags}"(i32 %__level) nounwind, !srcloc !0
189 %asmresult = extractvalue { i32, i32, i32, i32 } %tmp, 0
190 %asmresult8 = extractvalue { i32, i32, i32, i32 } %tmp, 1
191 %asmresult9 = extractvalue { i32, i32, i32, i32 } %tmp, 2
192 %asmresult10 = extractvalue { i32, i32, i32, i32 } %tmp, 3
193 store i32 %asmresult, i32* %__eax, align 4
194 store i32 %asmresult8, i32* %__ebx, align 4
195 store i32 %asmresult9, i32* %__ecx, align 4
196 store i32 %asmresult10, i32* %__edx, align 4
199 return: ; preds = %if.end, %if.then
200 %retval.0 = phi i32 [ 0, %if.then ], [ 1, %if.end ]
204 declare void @exit(i32) noreturn
206 define internal i32 @__get_cpuid_max(i32 %__ext, i32* %__sig) nounwind uwtable inlinehint {
208 %tmp = call { i32, i32, i32, i32 } asm "cpuid\0A\09", "={ax},={bx},={cx},={dx},0,~{dirflag},~{fpsr},~{flags}"(i32 %__ext) nounwind, !srcloc !1
209 %asmresult = extractvalue { i32, i32, i32, i32 } %tmp, 0
210 %tobool = icmp eq i32* %__sig, null
211 br i1 %tobool, label %if.end, label %if.then
213 if.then: ; preds = %entry
214 %asmresult1 = extractvalue { i32, i32, i32, i32 } %tmp, 1
215 store i32 %asmresult1, i32* %__sig, align 4
218 if.end: ; preds = %entry, %if.then
222 !0 = metadata !{i32 -2147343150, i32 -2147343142}
223 !1 = metadata !{i32 -2147343273, i32 -2147343265}