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 vect-vfa-03.c
4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer vect-vfa-03.s > vect-vfa-03.ll
6 ; ModuleID = 'vect-vfa-03.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 %struct.S = type { i16, i16 }
12 @result = global [16 x %struct.S] [%struct.S { i16 20, i16 13 }, %struct.S { i16 22, i16 14 }, %struct.S { i16 24, i16 15 }, %struct.S { i16 26, i16 16 }, %struct.S { i16 28, i16 17 }, %struct.S { i16 30, i16 18 }, %struct.S { i16 32, i16 19 }, %struct.S { i16 34, i16 20 }, %struct.S { i16 36, i16 21 }, %struct.S { i16 38, i16 22 }, %struct.S { i16 40, i16 23 }, %struct.S { i16 42, i16 24 }, %struct.S { i16 44, i16 25 }, %struct.S { i16 46, i16 26 }, %struct.S { i16 48, i16 27 }, %struct.S { i16 50, i16 28 }], align 16
13 @X = global [16 x %struct.S] [%struct.S { i16 10, i16 10 }, %struct.S { i16 11, i16 11 }, %struct.S { i16 12, i16 12 }, %struct.S { i16 13, i16 13 }, %struct.S { i16 14, i16 14 }, %struct.S { i16 15, i16 15 }, %struct.S { i16 16, i16 16 }, %struct.S { i16 17, i16 17 }, %struct.S { i16 18, i16 18 }, %struct.S { i16 19, i16 19 }, %struct.S { i16 20, i16 20 }, %struct.S { i16 21, i16 21 }, %struct.S { i16 22, i16 22 }, %struct.S { i16 23, i16 23 }, %struct.S { i16 24, i16 24 }, %struct.S { i16 25, i16 25 }], align 16
14 @Y = global [16 x %struct.S] zeroinitializer, align 16
16 define void @foo(%struct.S* %in, %struct.S* %out) nounwind uwtable noinline {
20 for.cond: ; preds = %for.inc, %entry
21 %indvar = phi i64 [ %indvar.next, %for.inc ], [ 0, %entry ]
22 %b21 = getelementptr %struct.S* %out, i64 %indvar, i32 1
23 %b = getelementptr %struct.S* %in, i64 %indvar, i32 1
24 %scevgep = getelementptr %struct.S* %out, i64 %indvar
25 %a9 = bitcast %struct.S* %scevgep to i16*
26 %scevgep2 = getelementptr %struct.S* %in, i64 %indvar
27 %a = bitcast %struct.S* %scevgep2 to i16*
28 %exitcond = icmp ne i64 %indvar, 16
29 br i1 %exitcond, label %for.body, label %for.end
31 for.body: ; preds = %for.cond
32 %tmp3 = load i16* %a, align 2
33 %mul = shl i16 %tmp3, 1
34 store i16 %mul, i16* %a9, align 2
35 %tmp14 = load i16* %b, align 2
36 %add = add i16 %tmp14, 3
37 store i16 %add, i16* %b21, align 2
40 for.inc: ; preds = %for.body
41 %indvar.next = add i64 %indvar, 1
44 for.end: ; preds = %for.cond
48 define i32 @main() nounwind uwtable {
50 call void @check_vect()
51 call void @foo(%struct.S* getelementptr inbounds ([16 x %struct.S]* @X, i64 0, i64 0), %struct.S* getelementptr inbounds ([16 x %struct.S]* @Y, i64 0, i64 0))
54 for.cond: ; preds = %for.inc, %entry
55 %indvar = phi i64 [ %indvar.next, %for.inc ], [ 0, %entry ]
56 %b19 = getelementptr [16 x %struct.S]* @result, i64 0, i64 %indvar, i32 1
57 %b = getelementptr [16 x %struct.S]* @Y, i64 0, i64 %indvar, i32 1
58 %scevgep = getelementptr [16 x %struct.S]* @result, i64 0, i64 %indvar
59 %a6 = bitcast %struct.S* %scevgep to i16*
60 %scevgep2 = getelementptr [16 x %struct.S]* @Y, i64 0, i64 %indvar
61 %a = bitcast %struct.S* %scevgep2 to i16*
62 %i.0 = trunc i64 %indvar to i32
63 %cmp = icmp slt i32 %i.0, 16
64 br i1 %cmp, label %for.body, label %for.end
66 for.body: ; preds = %for.cond
67 %tmp2 = load i16* %a, align 4
68 %tmp7 = load i16* %a6, align 4
69 %cmp9 = icmp eq i16 %tmp2, %tmp7
70 br i1 %cmp9, label %if.end, label %if.then
72 if.then: ; preds = %for.body
73 call void @abort() noreturn nounwind
76 if.end: ; preds = %for.body
77 %tmp14 = load i16* %b, align 2
78 %tmp20 = load i16* %b19, align 2
79 %cmp22 = icmp eq i16 %tmp14, %tmp20
80 br i1 %cmp22, label %if.end25, label %if.then24
82 if.then24: ; preds = %if.end
83 call void @abort() noreturn nounwind
86 if.end25: ; preds = %if.end
89 for.inc: ; preds = %if.end25
90 %indvar.next = add i64 %indvar, 1
93 for.end: ; preds = %for.cond
97 define internal void @check_vect() nounwind uwtable noinline {
99 %a = alloca i32, align 4
100 %b = alloca i32, align 4
101 %c = alloca i32, align 4
102 %d = alloca i32, align 4
103 %call = call void (i32)* (i32, void (i32)*)* @signal(i32 4, void (i32)* @sig_ill_handler) nounwind
104 %call1 = call i32 @__get_cpuid(i32 1, i32* %a, i32* %b, i32* %c, i32* %d)
105 %tobool = icmp eq i32 %call1, 0
106 br i1 %tobool, label %if.then, label %lor.lhs.false
108 lor.lhs.false: ; preds = %entry
109 %tmp4 = load i32* %d, align 4
110 %and6 = and i32 %tmp4, 67108864
111 %cmp = icmp eq i32 %and6, 0
112 br i1 %cmp, label %if.then, label %if.end
114 if.then: ; preds = %entry, %lor.lhs.false
115 call void @exit(i32 0) noreturn nounwind
118 if.end: ; preds = %lor.lhs.false
119 %call7 = call void (i32)* (i32, void (i32)*)* @signal(i32 4, void (i32)* null) nounwind
123 declare void @abort() noreturn
125 declare void (i32)* @signal(i32, void (i32)*) nounwind
127 define internal void @sig_ill_handler(i32 %sig) nounwind uwtable {
129 call void @exit(i32 0) noreturn nounwind
132 return: ; No predecessors!
136 define internal i32 @__get_cpuid(i32 %__level, i32* %__eax, i32* %__ebx, i32* %__ecx, i32* %__edx) nounwind uwtable inlinehint {
138 %and = and i32 %__level, -2147483648
139 %call = call i32 @__get_cpuid_max(i32 %and, i32* null)
140 %cmp = icmp ult i32 %call, %__level
141 br i1 %cmp, label %if.then, label %if.end
143 if.then: ; preds = %entry
146 if.end: ; preds = %entry
147 %tmp = call { i32, i32, i32, i32 } asm "cpuid\0A\09", "={ax},={bx},={cx},={dx},0,~{dirflag},~{fpsr},~{flags}"(i32 %__level) nounwind, !srcloc !0
148 %asmresult = extractvalue { i32, i32, i32, i32 } %tmp, 0
149 %asmresult8 = extractvalue { i32, i32, i32, i32 } %tmp, 1
150 %asmresult9 = extractvalue { i32, i32, i32, i32 } %tmp, 2
151 %asmresult10 = extractvalue { i32, i32, i32, i32 } %tmp, 3
152 store i32 %asmresult, i32* %__eax, align 4
153 store i32 %asmresult8, i32* %__ebx, align 4
154 store i32 %asmresult9, i32* %__ecx, align 4
155 store i32 %asmresult10, i32* %__edx, align 4
158 return: ; preds = %if.end, %if.then
159 %retval.0 = phi i32 [ 0, %if.then ], [ 1, %if.end ]
163 declare void @exit(i32) noreturn
165 define internal i32 @__get_cpuid_max(i32 %__ext, i32* %__sig) nounwind uwtable inlinehint {
167 %tmp = call { i32, i32, i32, i32 } asm "cpuid\0A\09", "={ax},={bx},={cx},={dx},0,~{dirflag},~{fpsr},~{flags}"(i32 %__ext) nounwind, !srcloc !1
168 %asmresult = extractvalue { i32, i32, i32, i32 } %tmp, 0
169 %tobool = icmp eq i32* %__sig, null
170 br i1 %tobool, label %if.end, label %if.then
172 if.then: ; preds = %entry
173 %asmresult1 = extractvalue { i32, i32, i32, i32 } %tmp, 1
174 store i32 %asmresult1, i32* %__sig, align 4
177 if.end: ; preds = %entry, %if.then
181 !0 = metadata !{i32 -2147343096, i32 -2147343088}
182 !1 = metadata !{i32 -2147343219, i32 -2147343211}