-; RUN: llc < %s -mtriple thumbv7-apple-ios | FileCheck %s
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple thumbv7-eabi | FileCheck %s -check-prefix=T2
+; RUN: llc < %s -mtriple thumbv6m-eabi | FileCheck %s -check-prefix=T1
; <rdar://problem/7569620>
define i32 @compare_i_gt(i32 %a) {
+; T2-LABEL: compare_i_gt:
+; T2: @ %bb.0: @ %entry
+; T2-NEXT: movs r1, #24
+; T2-NEXT: cmn.w r0, #78
+; T2-NEXT: it gt
+; T2-NEXT: movgt r1, #42
+; T2-NEXT: mov r0, r1
+; T2-NEXT: bx lr
+;
+; T1-LABEL: compare_i_gt:
+; T1: @ %bb.0: @ %entry
+; T1-NEXT: mov r1, r0
+; T1-NEXT: movs r0, #77
+; T1-NEXT: mvns r3, r0
+; T1-NEXT: movs r0, #42
+; T1-NEXT: movs r2, #24
+; T1-NEXT: cmp r1, r3
+; T1-NEXT: bgt .LBB0_2
+; T1-NEXT: @ %bb.1: @ %entry
+; T1-NEXT: mov r0, r2
+; T1-NEXT: .LBB0_2: @ %entry
+; T1-NEXT: bx lr
entry:
-; CHECK: compare_i_gt
-; CHECK-NOT: mvn
-; CHECK: cmn
%cmp = icmp sgt i32 %a, -78
%ret = select i1 %cmp, i32 42, i32 24
ret i32 %ret
}
define i32 @compare_r_eq(i32 %a, i32 %b) {
+; T2-LABEL: compare_r_eq:
+; T2: @ %bb.0: @ %entry
+; T2-NEXT: movs r2, #24
+; T2-NEXT: cmn r0, r1
+; T2-NEXT: it eq
+; T2-NEXT: moveq r2, #42
+; T2-NEXT: mov r0, r2
+; T2-NEXT: bx lr
+;
+; T1-LABEL: compare_r_eq:
+; T1: @ %bb.0: @ %entry
+; T1-NEXT: mov r2, r0
+; T1-NEXT: movs r0, #42
+; T1-NEXT: movs r3, #24
+; T1-NEXT: cmn r2, r1
+; T1-NEXT: beq .LBB1_2
+; T1-NEXT: @ %bb.1: @ %entry
+; T1-NEXT: mov r0, r3
+; T1-NEXT: .LBB1_2: @ %entry
+; T1-NEXT: bx lr
entry:
-; CHECK: compare_r_eq
-; CHECK: cmn
%sub = sub nsw i32 0, %b
%cmp = icmp eq i32 %a, %sub
%ret = select i1 %cmp, i32 42, i32 24