1; RUN: llc < %s -mtriple=thumb-apple-darwin | FileCheck %s
2; RUN: llc < %s -mtriple=thumb-pc-linux-gnueabi | FileCheck -check-prefix=CHECK-EABI %s
3
4define i32 @f1(i32 %a.s) {
5entry:
6    %tmp = icmp eq i32 %a.s, 4
7    %tmp1.s = select i1 %tmp, i32 2, i32 3
8    ret i32 %tmp1.s
9}
10; CHECK-LABEL: f1:
11; CHECK: beq
12; CHECK-EABI-LABEL: f1:
13; CHECK-EABI: beq
14
15define i32 @f2(i32 %a.s) {
16entry:
17    %tmp = icmp sgt i32 %a.s, 4
18    %tmp1.s = select i1 %tmp, i32 2, i32 3
19    ret i32 %tmp1.s
20}
21; CHECK-LABEL: f2:
22; CHECK: bgt
23; CHECK-EABI-LABEL: f2:
24; CHECK-EABI: bgt
25
26define i32 @f3(i32 %a.s, i32 %b.s) {
27entry:
28    %tmp = icmp slt i32 %a.s, %b.s
29    %tmp1.s = select i1 %tmp, i32 2, i32 3
30    ret i32 %tmp1.s
31}
32; CHECK-LABEL: f3:
33; CHECK: blt
34; CHECK-EABI-LABEL: f3:
35; CHECK-EABI: blt
36
37define i32 @f4(i32 %a.s, i32 %b.s) {
38entry:
39    %tmp = icmp sle i32 %a.s, %b.s
40    %tmp1.s = select i1 %tmp, i32 2, i32 3
41    ret i32 %tmp1.s
42}
43; CHECK-LABEL: f4:
44; CHECK: ble
45; CHECK-EABI-LABEL: f4:
46; CHECK-EABI: ble
47
48define i32 @f5(i32 %a.u, i32 %b.u) {
49entry:
50    %tmp = icmp ule i32 %a.u, %b.u
51    %tmp1.s = select i1 %tmp, i32 2, i32 3
52    ret i32 %tmp1.s
53}
54; CHECK-LABEL: f5:
55; CHECK: bls
56; CHECK-EABI-LABEL: f5:
57; CHECK-EABI: bls
58
59define i32 @f6(i32 %a.u, i32 %b.u) {
60entry:
61    %tmp = icmp ugt i32 %a.u, %b.u
62    %tmp1.s = select i1 %tmp, i32 2, i32 3
63    ret i32 %tmp1.s
64}
65; CHECK-LABEL: f6:
66; CHECK: bhi
67; CHECK-EABI-LABEL: f6:
68; CHECK-EABI: bhi
69
70define 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
74}
75; CHECK-LABEL: f7:
76; CHECK: blt
77; CHECK: blt
78; CHECK: __ltdf2
79; CHECK-EABI-LABEL: f7:
80; CHECK-EABI: __aeabi_dcmplt
81; CHECK-EABI: bne
82; CHECK-EABI: bne
83