Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 28934485768b2503b49963d0e4c141a8e28ebc83 / . / llvm / test / CodeGen / Thumb / select.ll
blob: 75dbeab5ad0f71127520a9fbab8d09598737b7c2 [file] [log] [blame]
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]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
Evan Chengd76d0aa2009-06-24 06:36:07 +0000[diff] [blame]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}
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]10; CHECK-LABEL: f1:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]11; CHECK: beq
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]12; CHECK-EABI-LABEL: f1:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]13; CHECK-EABI: beq
Evan Chengd76d0aa2009-06-24 06:36:07 +0000[diff] [blame]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}
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]21; CHECK-LABEL: f2:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]22; CHECK: bgt
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]23; CHECK-EABI-LABEL: f2:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]24; CHECK-EABI: bgt
Evan Chengd76d0aa2009-06-24 06:36:07 +0000[diff] [blame]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}
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]32; CHECK-LABEL: f3:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]33; CHECK: blt
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]34; CHECK-EABI-LABEL: f3:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]35; CHECK-EABI: blt
Evan Chengd76d0aa2009-06-24 06:36:07 +0000[diff] [blame]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}
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]43; CHECK-LABEL: f4:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]44; CHECK: ble
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]45; CHECK-EABI-LABEL: f4:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]46; CHECK-EABI: ble
Evan Chengd76d0aa2009-06-24 06:36:07 +0000[diff] [blame]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}
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]54; CHECK-LABEL: f5:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]55; CHECK: bls
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]56; CHECK-EABI-LABEL: f5:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]57; CHECK-EABI: bls
Evan Chengd76d0aa2009-06-24 06:36:07 +0000[diff] [blame]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}
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]65; CHECK-LABEL: f6:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]66; CHECK: bhi
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]67; CHECK-EABI-LABEL: f6:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]68; CHECK-EABI: bhi
Evan Chengd76d0aa2009-06-24 06:36:07 +0000[diff] [blame]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}
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]75; CHECK-LABEL: f7:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]76; CHECK: blt
Sam Parker28934482017-07-14 08:23:56 +0000[diff] [blame^]77; CHECK: {{blt|bge}}
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]78; CHECK: __ltdf2
Stephen Lind24ab202013-07-14 06:24:09 +0000[diff] [blame]79; CHECK-EABI-LABEL: f7:
Eli Friedman9b3d7792011-06-16 02:36:32 +0000[diff] [blame]80; CHECK-EABI: __aeabi_dcmplt
81; CHECK-EABI: bne
Sam Parker28934482017-07-14 08:23:56 +0000[diff] [blame^]82; CHECK-EABI: {{bne|beq}}