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