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 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: {{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}} 83 84define {i32, i32} @f8(i32 %a, i32 %b, i32 %c, i32 %d) { 85entry: 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 92} 93 94; CHECK-LABEL: f8: 95; CHECK: cmp r0, r1 96; CHECK: blt 97; CHECK: mov 98; CHECK: mov 99; CHECK: blt 100; CHECK: movs 101; CHECK: movs 102; CHECK: movs 103; CHECK: bx lr 104