[Verifier] Check that debug values have proper size
[oota-llvm.git] / test / CodeGen / Hexagon / vect / vect-cst-v4i8.ll
1 ; RUN: llc -march=hexagon -mcpu=hexagonv5 < %s | FileCheck %s
2 ; Make sure we can build the constant vector <1, 2, 3, 4>
3 ; CHECK-DAG: ##B
4 ; CHECK-DAG: ##A
5 @B = common global [400 x i8] zeroinitializer, align 8
6 @A = common global [400 x i8] zeroinitializer, align 8
7 @C = common global [400 x i8] zeroinitializer, align 8
8
9 define void @run() nounwind {
10 entry:
11   br label %polly.loop_body
12
13 polly.loop_after:                                 ; preds = %polly.loop_body
14   ret void
15
16 polly.loop_body:                                  ; preds = %entry, %polly.loop_body
17   %polly.loopiv25 = phi i32 [ 0, %entry ], [ %polly.next_loopiv, %polly.loop_body ]
18   %polly.next_loopiv = add i32 %polly.loopiv25, 4
19   %p_arrayidx1 = getelementptr [400 x i8], [400 x i8]* @A, i32 0, i32 %polly.loopiv25
20   %p_arrayidx = getelementptr [400 x i8], [400 x i8]* @B, i32 0, i32 %polly.loopiv25
21   %vector_ptr = bitcast i8* %p_arrayidx to <4 x i8>*
22   %_p_vec_full = load <4 x i8>, <4 x i8>* %vector_ptr, align 8
23   %mulp_vec = mul <4 x i8> %_p_vec_full, <i8 1, i8 2, i8 3, i8 4>
24   %vector_ptr14 = bitcast i8* %p_arrayidx1 to <4 x i8>*
25   %_p_vec_full15 = load <4 x i8>, <4 x i8>* %vector_ptr14, align 8
26   %addp_vec = add <4 x i8> %_p_vec_full15, %mulp_vec
27   store <4 x i8> %addp_vec, <4 x i8>* %vector_ptr14, align 8
28   %0 = icmp slt i32 %polly.next_loopiv, 400
29   br i1 %0, label %polly.loop_body, label %polly.loop_after
30 }