1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
; REQUIRES: asserts
; RUN: not --crash opt -mtriple=x86_64 -mattr=-avx,-avx2,-avx512f,+sse,-sse2,-sse3,-sse4.2 -passes=loop-vectorize -S < %s
; RUN: not --crash opt -mtriple=x86_64 -mattr=-avx,-avx2,-avx512f,+sse,-sse2,-sse3,-sse4.2 -passes=loop-vectorize -force-vector-width=4 -S < %s
@h = global i64 0
define void @test(ptr %p) {
entry:
br label %for.body
for.body:
%idx.ext.merge = phi i64 [ 1, %entry ], [ %idx, %for.body ]
%inc.merge = phi i16 [ 1, %entry ], [ %inc, %for.body ]
%idx.merge = phi i64 [ 0, %entry ], [ %idx.ext.merge, %for.body ]
%add = shl i64 %idx.merge, 1
%arrayidx = getelementptr i64, ptr %p, i64 %add
store i64 0, ptr %arrayidx
%inc = add i16 %inc.merge, 1
%idx = zext i16 %inc to i64
%gep = getelementptr i64, ptr %p, i64 %idx
%cmp = icmp ugt ptr %gep, @h
br i1 %cmp, label %exit, label %for.body
exit:
ret void
}
|
