[Verifier] Check that debug values have proper size
[oota-llvm.git] / test / CodeGen / Hexagon / vect / vect-shuffle.ll
1 ; RUN: llc -march=hexagon -mcpu=hexagonv5 -disable-hsdr < %s | FileCheck %s
2
3 ; Check that store is post-incremented.
4 ; CHECK-NOT: extractu
5 ; CHECK-NOT: insert
6 target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-v64:64:64-v32:32:32-a0:0-n16:32"
7 target triple = "hexagon"
8
9 define i32 @foo(i16* noalias nocapture %src, i16* noalias nocapture %dstImg, i32 %width, i32 %idx, i32 %flush) #0 {
10 entry:
11   %0 = tail call i64 @llvm.hexagon.A2.combinew(i32 %flush, i32 %flush)
12   %1 = bitcast i64 %0 to <2 x i32>
13   br label %polly.loop_body
14
15 polly.loop_after:                                 ; preds = %polly.loop_body
16   ret i32 0
17
18 polly.loop_body:                                  ; preds = %entry, %polly.loop_body
19   %p_arrayidx35.phi = phi i16* [ %dstImg, %entry ], [ %p_arrayidx35.inc, %polly.loop_body ]
20   %p_arrayidx.phi = phi i16* [ %src, %entry ], [ %p_arrayidx.inc, %polly.loop_body ]
21   %polly.loopiv56 = phi i32 [ 0, %entry ], [ %polly.next_loopiv, %polly.loop_body ]
22   %polly.next_loopiv = add nsw i32 %polly.loopiv56, 4
23   %vector_ptr = bitcast i16* %p_arrayidx.phi to <4 x i16>*
24   %_p_vec_full = load <4 x i16>, <4 x i16>* %vector_ptr, align 2
25   %_high_half = shufflevector <4 x i16> %_p_vec_full, <4 x i16> undef, <2 x i32> <i32 2, i32 3>
26   %_low_half = shufflevector <4 x i16> %_p_vec_full, <4 x i16> undef, <2 x i32> <i32 0, i32 1>
27   %2 = zext <2 x i16> %_low_half to <2 x i32>
28   %3 = zext <2 x i16> %_high_half to <2 x i32>
29   %add33p_vec = add <2 x i32> %2, %1
30   %add33p_vec48 = add <2 x i32> %3, %1
31   %4 = trunc <2 x i32> %add33p_vec to <2 x i16>
32   %5 = trunc <2 x i32> %add33p_vec48 to <2 x i16>
33   %_combined_vec = shufflevector <2 x i16> %4, <2 x i16> %5, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
34   %vector_ptr49 = bitcast i16* %p_arrayidx35.phi to <4 x i16>*
35   store <4 x i16> %_combined_vec, <4 x i16>* %vector_ptr49, align 2
36   %6 = icmp slt i32 %polly.next_loopiv, 1024
37   %p_arrayidx35.inc = getelementptr i16, i16* %p_arrayidx35.phi, i32 4
38   %p_arrayidx.inc = getelementptr i16, i16* %p_arrayidx.phi, i32 4
39   br i1 %6, label %polly.loop_body, label %polly.loop_after
40 }
41
42 declare i64 @llvm.hexagon.A2.combinew(i32, i32) #1
43
44 attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
45 attributes #1 = { nounwind readnone }
46
47