[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Thumb / select.ll
blob0065616c4646e9756ec9b900fb9cef4b4ca7374a
1 ; RUN: llc < %s -mtriple=thumb-apple-darwin -verify-machineinstrs | FileCheck %s
2 ; RUN: llc < %s -mtriple=thumb-pc-linux-gnueabi -verify-machineinstrs | FileCheck -check-prefix=CHECK-EABI %s
4 define i32 @f1(i32 %a.s) {
5 entry:
6     %tmp = icmp eq i32 %a.s, 4
7     %tmp1.s = select i1 %tmp, i32 2, i32 3
8     ret i32 %tmp1.s
10 ; CHECK-LABEL: f1:
11 ; CHECK: beq
12 ; CHECK-EABI-LABEL: f1:
13 ; CHECK-EABI: beq
15 define i32 @f2(i32 %a.s) {
16 entry:
17     %tmp = icmp sgt i32 %a.s, 4
18     %tmp1.s = select i1 %tmp, i32 2, i32 3
19     ret i32 %tmp1.s
21 ; CHECK-LABEL: f2:
22 ; CHECK: bgt
23 ; CHECK-EABI-LABEL: f2:
24 ; CHECK-EABI: bgt
26 define i32 @f3(i32 %a.s, i32 %b.s) {
27 entry:
28     %tmp = icmp slt i32 %a.s, %b.s
29     %tmp1.s = select i1 %tmp, i32 2, i32 3
30     ret i32 %tmp1.s
32 ; CHECK-LABEL: f3:
33 ; CHECK: blt
34 ; CHECK-EABI-LABEL: f3:
35 ; CHECK-EABI: blt
37 define i32 @f4(i32 %a.s, i32 %b.s) {
38 entry:
39     %tmp = icmp sle i32 %a.s, %b.s
40     %tmp1.s = select i1 %tmp, i32 2, i32 3
41     ret i32 %tmp1.s
43 ; CHECK-LABEL: f4:
44 ; CHECK: ble
45 ; CHECK-EABI-LABEL: f4:
46 ; CHECK-EABI: ble
48 define i32 @f5(i32 %a.u, i32 %b.u) {
49 entry:
50     %tmp = icmp ule i32 %a.u, %b.u
51     %tmp1.s = select i1 %tmp, i32 2, i32 3
52     ret i32 %tmp1.s
54 ; CHECK-LABEL: f5:
55 ; CHECK: bls
56 ; CHECK-EABI-LABEL: f5:
57 ; CHECK-EABI: bls
59 define i32 @f6(i32 %a.u, i32 %b.u) {
60 entry:
61     %tmp = icmp ugt i32 %a.u, %b.u
62     %tmp1.s = select i1 %tmp, i32 2, i32 3
63     ret i32 %tmp1.s
65 ; CHECK-LABEL: f6:
66 ; CHECK: bhi
67 ; CHECK-EABI-LABEL: f6:
68 ; CHECK-EABI: bhi
70 define double @f7(double %a, double %b) {
71     %tmp = fcmp olt double %a, 1.234e+00
72     %tmp1 = select i1 %tmp, double -1.000e+00, double %b
73     ret double %tmp1
75 ; CHECK-LABEL: f7:
76 ; CHECK: {{bmi|bpl}}
77 ; CHECK: {{bmi|bpl}}
78 ; CHECK: __ltdf2
79 ; CHECK-EABI-LABEL: f7:
80 ; CHECK-EABI: __aeabi_dcmplt
81 ; CHECK-EABI: {{bne|beq}}
82 ; CHECK-EABI: {{bne|beq}}
84 define {i32, i32} @f8(i32 %a, i32 %b, i32 %c, i32 %d) {
85 entry:
86     %cmp = icmp slt i32 %a, %b
87     %r1 = select i1 %cmp, i32 %c, i32 %a
88     %r2 = select i1 %cmp, i32 %d, i32 %b
89     %z = insertvalue { i32, i32 } undef, i32 %r1, 0
90     %z2 = insertvalue { i32, i32 } %z, i32 %r2, 1
91     ret { i32, i32 } %z2
94 ; CHECK-LABEL: f8:
95 ; CHECK: cmp r0, r1
96 ; CHECK: blt
97 ; CHECK: movs
98 ; CHECK: cmp r0, r1
99 ; CHECK: blt
100 ; CHECK: movs
101 ; CHECK: movs
102 ; CHECK: movs
103 ; CHECK: bx lr