[Verifier] Check that debug values have proper size
[oota-llvm.git] / test / CodeGen / Hexagon / vect / vect-apint-truncate.ll
1 ; RUN: llc -march=hexagon < %s
2 ; Used to fail with "Invalid APInt Truncate request".
3 ; Used to fail with "Cannot select: 0x596010: v2i32 = sign_extend_inreg".
4
5 ; ModuleID = 'bugpoint-reduced-simplified.bc'
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-a0:0-n32"
7 target triple = "hexagon-unknown-linux-gnu"
8
9 define void @foo() nounwind {
10 entry:
11   br label %polly.loop_header
12
13 polly.loop_after:                                 ; preds = %polly.loop_header
14   unreachable
15
16 polly.loop_header:                                ; preds = %polly.loop_body, %entry
17   %0 = icmp sle i32 undef, 63
18   br i1 %0, label %polly.loop_body, label %polly.loop_after
19
20 polly.loop_body:                                  ; preds = %polly.loop_header
21   %_p_vec_full = load <4 x i8>, <4 x i8>* undef, align 8
22   %1 = sext <4 x i8> %_p_vec_full to <4 x i32>
23   %p_vec = mul <4 x i32> %1, <i32 3, i32 3, i32 3, i32 3>
24   %mulp_vec = add <4 x i32> %p_vec, <i32 21, i32 21, i32 21, i32 21>
25   store <4 x i32> %mulp_vec, <4 x i32>* undef, align 8
26   br label %polly.loop_header
27 }