; 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: movs r1, #77 | |
; T1-NEXT: mvns r1, r1 | |
; T1-NEXT: cmp r0, r1 | |
; T1-NEXT: bgt .LBB0_2 | |
; T1-NEXT: @ %bb.1: @ %entry | |
; T1-NEXT: movs r0, #24 | |
; T1-NEXT: bx lr | |
; T1-NEXT: .LBB0_2: | |
; T1-NEXT: movs r0, #42 | |
; T1-NEXT: bx lr | |
entry: | |
%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: cmn r0, r1 | |
; T1-NEXT: beq .LBB1_2 | |
; T1-NEXT: @ %bb.1: @ %entry | |
; T1-NEXT: movs r0, #24 | |
; T1-NEXT: bx lr | |
; T1-NEXT: .LBB1_2: | |
; T1-NEXT: movs r0, #42 | |
; T1-NEXT: bx lr | |
entry: | |
%sub = sub nsw i32 0, %b | |
%cmp = icmp eq i32 %a, %sub | |
%ret = select i1 %cmp, i32 42, i32 24 | |
ret i32 %ret | |
} |