[Verifier] Check that debug values have proper size
[oota-llvm.git] / test / CodeGen / Hexagon / cexti16.ll
1 ; RUN: llc -march=hexagon < %s | FileCheck %s
2 ; CHECK: memuh(r{{[0-9]+}}{{ *}}<<{{ *}}#2{{ *}}+{{ *}}##a)
3
4 @a = external global [5 x [2 x i16]]
5
6 define signext i16 @foo(i16 zeroext %l) nounwind readonly {
7 for.end:
8   %idxprom = zext i16 %l to i32
9   %arrayidx1 = getelementptr inbounds [5 x [2 x i16]], [5 x [2 x i16]]* @a, i32 0, i32 %idxprom, i32 0
10   %0 = load i16, i16* %arrayidx1, align 2
11   %conv = zext i16 %0 to i32
12   %mul = mul nsw i32 %conv, 20
13   %conv2 = trunc i32 %mul to i16
14   ret i16 %conv2
15 }
16