[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / Mips / pr33682.ll
blob0209ac39ea8bc3fb1f7d4606901bec3be3c8da16
1 ; RUN: llc -march=mips -mcpu=mips32  < %s | FileCheck %s --check-prefixes=ALL,BE
2 ; RUN: llc -march=mipsel -mcpu=mips32  < %s | FileCheck %s --check-prefixes=ALL,LE
4 ; Verify visitTRUNCATE respects endianness when transforming trunc to insert_vector_elt.
6 ; ALL-LABEL: a:
7 ; BE: lw $2, 4($4)
8 ; LE: lw $2, 0($4)
10 define i32 @a(<2 x i32> * %a) {
11 entry:
12 %0 = load <2 x i32>, <2 x i32> * %a
13 %1 = bitcast <2 x i32> %0 to i64
14 %2 = trunc i64 %1 to i32
15 ret i32 %2
18 ; ALL-LABEL: b:
19 ; BE: lw $2, 12($4)
20 ; LE: lw $2, 0($4)
22 define i32 @b(<4 x i32> * %a) {
23 entry:
24 %0 = load <4 x i32>, <4 x i32> * %a
25 %1 = bitcast <4 x i32> %0 to i128
26 %2 = trunc i128 %1 to i32
27 ret i32 %2
31 ; Verify visitEXTRACT_VECTOR_ELT respects endianness when transforming extract_vector_elt to a trunc.
33 ; ALL-LABEL: c:
34 ; BE: lw $2, 0($4)
35 ; LE: lw $2, 0($4)
37 define i32 @c(i64 * %a) {
38 entry:
39 %0 = load i64, i64 * %a
40 %1 = bitcast i64 %0 to <2 x i32>
41 %2 = extractelement <2 x i32> %1, i32 0
42 ret i32 %2
45 ; ALL-LABEL: d:
46 ; BE: lw $2, 4($4)
47 ; LE: lw $2, 4($4)
49 define i32 @d(i64 * %a) {
50 entry:
51 %0 = load i64, i64 * %a
52 %1 = bitcast i64 %0 to <2 x i32>
53 %2 = extractelement <2 x i32> %1, i32 1
54 ret i32 %2