xref: /llvm-project/llvm/test/CodeGen/ARM/consthoist-icmpimm.ll (revision 945a1468c922573a07b334a130d05f0ecca40926)

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=thumbv6m-none-eabi | FileCheck %s --check-prefix=CHECKV6M
; RUN: llc < %s -mtriple=thumbv7m-none-eabi | FileCheck %s --check-prefix=CHECKV7M
; RUN: llc < %s -mtriple=thumbv7a-none-eabi | FileCheck %s --check-prefix=CHECKV7A

define i32 @icmp64_sge_0(i64 %x, i64 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp64_sge_0:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    ldr r0, [sp, #8]
; CHECKV6M-NEXT:    lsls r0, r0, #31
; CHECKV6M-NEXT:    ldr r2, [sp, #4]
; CHECKV6M-NEXT:    ldr r0, [sp]
; CHECKV6M-NEXT:    beq .LBB0_4
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    cmp r3, #0
; CHECKV6M-NEXT:    mov r3, r0
; CHECKV6M-NEXT:    blt .LBB0_7
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    blt .LBB0_8
; CHECKV6M-NEXT:  .LBB0_3: @ %then
; CHECKV6M-NEXT:    adds r0, r0, r3
; CHECKV6M-NEXT:    bx lr
; CHECKV6M-NEXT:  .LBB0_4: @ %else
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    bge .LBB0_6
; CHECKV6M-NEXT:  @ %bb.5: @ %else
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:  .LBB0_6: @ %else
; CHECKV6M-NEXT:    bx lr
; CHECKV6M-NEXT:  .LBB0_7: @ %then
; CHECKV6M-NEXT:    mov r3, r2
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    bge .LBB0_3
; CHECKV6M-NEXT:  .LBB0_8: @ %then
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:    adds r0, r0, r3
; CHECKV6M-NEXT:    bx lr
;
; CHECKV7M-LABEL: icmp64_sge_0:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    ldr r0, [sp, #8]
; CHECKV7M-NEXT:    lsls r0, r0, #31
; CHECKV7M-NEXT:    ldrd r2, r0, [sp]
; CHECKV7M-NEXT:    beq .LBB0_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    cmp.w r3, #-1
; CHECKV7M-NEXT:    mov r3, r0
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r3, r2
; CHECKV7M-NEXT:    cmp.w r1, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r0, r2
; CHECKV7M-NEXT:    add r0, r3
; CHECKV7M-NEXT:    bx lr
; CHECKV7M-NEXT:  .LBB0_2: @ %else
; CHECKV7M-NEXT:    cmp.w r1, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r0, r2
; CHECKV7M-NEXT:    bx lr
;
; CHECKV7A-LABEL: icmp64_sge_0:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    ldr r2, [sp, #8]
; CHECKV7A-NEXT:    ldrd r12, r0, [sp]
; CHECKV7A-NEXT:    lsls r2, r2, #31
; CHECKV7A-NEXT:    beq .LBB0_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    cmp.w r3, #-1
; CHECKV7A-NEXT:    mov r2, r0
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r2, r12
; CHECKV7A-NEXT:    cmp.w r1, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r0, r12
; CHECKV7A-NEXT:    add r0, r2
; CHECKV7A-NEXT:    bx lr
; CHECKV7A-NEXT:  .LBB0_2: @ %else
; CHECKV7A-NEXT:    cmp.w r1, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r0, r12
; CHECKV7A-NEXT:    bx lr
  br i1 %c, label %then, label %else
then:
  %c1 = icmp sge i64 %x, 0
  %c2 = icmp sge i64 %y, 0
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp sge i64 %x, 0
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}

define i32 @icmp64_sgt_m1(i64 %x, i64 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp64_sgt_m1:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    ldr r0, [sp, #8]
; CHECKV6M-NEXT:    lsls r0, r0, #31
; CHECKV6M-NEXT:    ldr r2, [sp, #4]
; CHECKV6M-NEXT:    ldr r0, [sp]
; CHECKV6M-NEXT:    beq .LBB1_4
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    cmp r3, #0
; CHECKV6M-NEXT:    mov r3, r0
; CHECKV6M-NEXT:    blt .LBB1_7
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    blt .LBB1_8
; CHECKV6M-NEXT:  .LBB1_3: @ %then
; CHECKV6M-NEXT:    adds r0, r0, r3
; CHECKV6M-NEXT:    bx lr
; CHECKV6M-NEXT:  .LBB1_4: @ %else
; CHECKV6M-NEXT:    cmp r3, #0
; CHECKV6M-NEXT:    bge .LBB1_6
; CHECKV6M-NEXT:  @ %bb.5: @ %else
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:  .LBB1_6: @ %else
; CHECKV6M-NEXT:    bx lr
; CHECKV6M-NEXT:  .LBB1_7: @ %then
; CHECKV6M-NEXT:    mov r3, r2
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    bge .LBB1_3
; CHECKV6M-NEXT:  .LBB1_8: @ %then
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:    adds r0, r0, r3
; CHECKV6M-NEXT:    bx lr
;
; CHECKV7M-LABEL: icmp64_sgt_m1:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    ldr r0, [sp, #8]
; CHECKV7M-NEXT:    lsls r0, r0, #31
; CHECKV7M-NEXT:    ldrd r2, r0, [sp]
; CHECKV7M-NEXT:    beq .LBB1_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    cmp.w r3, #-1
; CHECKV7M-NEXT:    mov r3, r0
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r3, r2
; CHECKV7M-NEXT:    cmp.w r1, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r0, r2
; CHECKV7M-NEXT:    add r0, r3
; CHECKV7M-NEXT:    bx lr
; CHECKV7M-NEXT:  .LBB1_2: @ %else
; CHECKV7M-NEXT:    cmp.w r3, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r0, r2
; CHECKV7M-NEXT:    bx lr
;
; CHECKV7A-LABEL: icmp64_sgt_m1:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    ldr r2, [sp, #8]
; CHECKV7A-NEXT:    ldrd r12, r0, [sp]
; CHECKV7A-NEXT:    lsls r2, r2, #31
; CHECKV7A-NEXT:    beq .LBB1_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    cmp.w r3, #-1
; CHECKV7A-NEXT:    mov r2, r0
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r2, r12
; CHECKV7A-NEXT:    cmp.w r1, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r0, r12
; CHECKV7A-NEXT:    add r0, r2
; CHECKV7A-NEXT:    bx lr
; CHECKV7A-NEXT:  .LBB1_2: @ %else
; CHECKV7A-NEXT:    cmp.w r3, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r0, r12
; CHECKV7A-NEXT:    bx lr
  br i1 %c, label %then, label %else
then:
  %c1 = icmp sgt i64 %x, -1
  %c2 = icmp sgt i64 %y, -1
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp sgt i64 %y, -1
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}

define i32 @icmp32_sge_0(i32 %x, i32 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp32_sge_0:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    .save {r4, lr}
; CHECKV6M-NEXT:    push {r4, lr}
; CHECKV6M-NEXT:    ldr r4, [sp, #8]
; CHECKV6M-NEXT:    lsls r4, r4, #31
; CHECKV6M-NEXT:    beq .LBB2_4
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    mov r1, r2
; CHECKV6M-NEXT:    blt .LBB2_7
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    cmp r0, #0
; CHECKV6M-NEXT:    blt .LBB2_8
; CHECKV6M-NEXT:  .LBB2_3: @ %then
; CHECKV6M-NEXT:    adds r0, r2, r1
; CHECKV6M-NEXT:    pop {r4, pc}
; CHECKV6M-NEXT:  .LBB2_4: @ %else
; CHECKV6M-NEXT:    cmp r0, #0
; CHECKV6M-NEXT:    bge .LBB2_6
; CHECKV6M-NEXT:  @ %bb.5: @ %else
; CHECKV6M-NEXT:    mov r2, r3
; CHECKV6M-NEXT:  .LBB2_6: @ %else
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:    pop {r4, pc}
; CHECKV6M-NEXT:  .LBB2_7: @ %then
; CHECKV6M-NEXT:    mov r1, r3
; CHECKV6M-NEXT:    cmp r0, #0
; CHECKV6M-NEXT:    bge .LBB2_3
; CHECKV6M-NEXT:  .LBB2_8: @ %then
; CHECKV6M-NEXT:    mov r2, r3
; CHECKV6M-NEXT:    adds r0, r2, r1
; CHECKV6M-NEXT:    pop {r4, pc}
;
; CHECKV7M-LABEL: icmp32_sge_0:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    mov r12, r3
; CHECKV7M-NEXT:    ldr r3, [sp]
; CHECKV7M-NEXT:    lsls r3, r3, #31
; CHECKV7M-NEXT:    beq .LBB2_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    cmp.w r1, #-1
; CHECKV7M-NEXT:    mov r1, r12
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r1, r2
; CHECKV7M-NEXT:    cmp.w r0, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r12, r2
; CHECKV7M-NEXT:    add.w r0, r12, r1
; CHECKV7M-NEXT:    bx lr
; CHECKV7M-NEXT:  .LBB2_2: @ %else
; CHECKV7M-NEXT:    cmp.w r0, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r12, r2
; CHECKV7M-NEXT:    mov r0, r12
; CHECKV7M-NEXT:    bx lr
;
; CHECKV7A-LABEL: icmp32_sge_0:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    mov r12, r3
; CHECKV7A-NEXT:    ldr r3, [sp]
; CHECKV7A-NEXT:    lsls r3, r3, #31
; CHECKV7A-NEXT:    beq .LBB2_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    cmp.w r1, #-1
; CHECKV7A-NEXT:    mov r1, r12
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r1, r2
; CHECKV7A-NEXT:    cmp.w r0, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r12, r2
; CHECKV7A-NEXT:    add.w r0, r12, r1
; CHECKV7A-NEXT:    bx lr
; CHECKV7A-NEXT:  .LBB2_2: @ %else
; CHECKV7A-NEXT:    cmp.w r0, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r12, r2
; CHECKV7A-NEXT:    mov r0, r12
; CHECKV7A-NEXT:    bx lr
  br i1 %c, label %then, label %else
then:
  %c1 = icmp sge i32 %x, 0
  %c2 = icmp sge i32 %y, 0
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp sge i32 %x, 0
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}

define i32 @icmp32_sgt_m1(i32 %x, i32 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp32_sgt_m1:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    .save {r4, lr}
; CHECKV6M-NEXT:    push {r4, lr}
; CHECKV6M-NEXT:    ldr r4, [sp, #8]
; CHECKV6M-NEXT:    lsls r4, r4, #31
; CHECKV6M-NEXT:    beq .LBB3_4
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    mov r1, r2
; CHECKV6M-NEXT:    blt .LBB3_7
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    cmp r0, #0
; CHECKV6M-NEXT:    blt .LBB3_8
; CHECKV6M-NEXT:  .LBB3_3: @ %then
; CHECKV6M-NEXT:    adds r0, r2, r1
; CHECKV6M-NEXT:    pop {r4, pc}
; CHECKV6M-NEXT:  .LBB3_4: @ %else
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    bge .LBB3_6
; CHECKV6M-NEXT:  @ %bb.5: @ %else
; CHECKV6M-NEXT:    mov r2, r3
; CHECKV6M-NEXT:  .LBB3_6: @ %else
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:    pop {r4, pc}
; CHECKV6M-NEXT:  .LBB3_7: @ %then
; CHECKV6M-NEXT:    mov r1, r3
; CHECKV6M-NEXT:    cmp r0, #0
; CHECKV6M-NEXT:    bge .LBB3_3
; CHECKV6M-NEXT:  .LBB3_8: @ %then
; CHECKV6M-NEXT:    mov r2, r3
; CHECKV6M-NEXT:    adds r0, r2, r1
; CHECKV6M-NEXT:    pop {r4, pc}
;
; CHECKV7M-LABEL: icmp32_sgt_m1:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    mov r12, r3
; CHECKV7M-NEXT:    ldr r3, [sp]
; CHECKV7M-NEXT:    lsls r3, r3, #31
; CHECKV7M-NEXT:    beq .LBB3_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    cmp.w r1, #-1
; CHECKV7M-NEXT:    mov r1, r12
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r1, r2
; CHECKV7M-NEXT:    cmp.w r0, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r12, r2
; CHECKV7M-NEXT:    add.w r0, r12, r1
; CHECKV7M-NEXT:    bx lr
; CHECKV7M-NEXT:  .LBB3_2: @ %else
; CHECKV7M-NEXT:    cmp.w r1, #-1
; CHECKV7M-NEXT:    it gt
; CHECKV7M-NEXT:    movgt r12, r2
; CHECKV7M-NEXT:    mov r0, r12
; CHECKV7M-NEXT:    bx lr
;
; CHECKV7A-LABEL: icmp32_sgt_m1:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    mov r12, r3
; CHECKV7A-NEXT:    ldr r3, [sp]
; CHECKV7A-NEXT:    lsls r3, r3, #31
; CHECKV7A-NEXT:    beq .LBB3_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    cmp.w r1, #-1
; CHECKV7A-NEXT:    mov r1, r12
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r1, r2
; CHECKV7A-NEXT:    cmp.w r0, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r12, r2
; CHECKV7A-NEXT:    add.w r0, r12, r1
; CHECKV7A-NEXT:    bx lr
; CHECKV7A-NEXT:  .LBB3_2: @ %else
; CHECKV7A-NEXT:    cmp.w r1, #-1
; CHECKV7A-NEXT:    it gt
; CHECKV7A-NEXT:    movgt r12, r2
; CHECKV7A-NEXT:    mov r0, r12
; CHECKV7A-NEXT:    bx lr
  br i1 %c, label %then, label %else
then:
  %c1 = icmp sgt i32 %x, -1
  %c2 = icmp sgt i32 %y, -1
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp sgt i32 %y, -1
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}

define i32 @icmp64_sle_m1(i64 %x, i64 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp64_sle_m1:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    ldr r0, [sp, #8]
; CHECKV6M-NEXT:    lsls r0, r0, #31
; CHECKV6M-NEXT:    ldr r2, [sp, #4]
; CHECKV6M-NEXT:    ldr r0, [sp]
; CHECKV6M-NEXT:    beq .LBB4_4
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    cmp r3, #0
; CHECKV6M-NEXT:    mov r3, r0
; CHECKV6M-NEXT:    bpl .LBB4_7
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    bpl .LBB4_8
; CHECKV6M-NEXT:  .LBB4_3: @ %then
; CHECKV6M-NEXT:    adds r0, r0, r3
; CHECKV6M-NEXT:    bx lr
; CHECKV6M-NEXT:  .LBB4_4: @ %else
; CHECKV6M-NEXT:    cmp r3, #0
; CHECKV6M-NEXT:    bmi .LBB4_6
; CHECKV6M-NEXT:  @ %bb.5: @ %else
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:  .LBB4_6: @ %else
; CHECKV6M-NEXT:    bx lr
; CHECKV6M-NEXT:  .LBB4_7: @ %then
; CHECKV6M-NEXT:    mov r3, r2
; CHECKV6M-NEXT:    cmp r1, #0
; CHECKV6M-NEXT:    bmi .LBB4_3
; CHECKV6M-NEXT:  .LBB4_8: @ %then
; CHECKV6M-NEXT:    mov r0, r2
; CHECKV6M-NEXT:    adds r0, r0, r3
; CHECKV6M-NEXT:    bx lr
;
; CHECKV7M-LABEL: icmp64_sle_m1:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    ldr r0, [sp, #8]
; CHECKV7M-NEXT:    lsls r0, r0, #31
; CHECKV7M-NEXT:    ldrd r2, r0, [sp]
; CHECKV7M-NEXT:    beq .LBB4_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    cmp r3, #0
; CHECKV7M-NEXT:    mov r3, r0
; CHECKV7M-NEXT:    it mi
; CHECKV7M-NEXT:    movmi r3, r2
; CHECKV7M-NEXT:    cmp r1, #0
; CHECKV7M-NEXT:    it mi
; CHECKV7M-NEXT:    movmi r0, r2
; CHECKV7M-NEXT:    add r0, r3
; CHECKV7M-NEXT:    bx lr
; CHECKV7M-NEXT:  .LBB4_2: @ %else
; CHECKV7M-NEXT:    cmp r3, #0
; CHECKV7M-NEXT:    it mi
; CHECKV7M-NEXT:    movmi r0, r2
; CHECKV7M-NEXT:    bx lr
;
; CHECKV7A-LABEL: icmp64_sle_m1:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    ldr r2, [sp, #8]
; CHECKV7A-NEXT:    ldrd r12, r0, [sp]
; CHECKV7A-NEXT:    lsls r2, r2, #31
; CHECKV7A-NEXT:    beq .LBB4_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    cmp r3, #0
; CHECKV7A-NEXT:    mov r2, r0
; CHECKV7A-NEXT:    it mi
; CHECKV7A-NEXT:    movmi r2, r12
; CHECKV7A-NEXT:    cmp r1, #0
; CHECKV7A-NEXT:    it mi
; CHECKV7A-NEXT:    movmi r0, r12
; CHECKV7A-NEXT:    add r0, r2
; CHECKV7A-NEXT:    bx lr
; CHECKV7A-NEXT:  .LBB4_2: @ %else
; CHECKV7A-NEXT:    cmp r3, #0
; CHECKV7A-NEXT:    it mi
; CHECKV7A-NEXT:    movmi r0, r12
; CHECKV7A-NEXT:    bx lr
  br i1 %c, label %then, label %else
then:
  %c1 = icmp sle i64 %x, -1
  %c2 = icmp sle i64 %y, -1
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp sle i64 %y, -1
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}

define i32 @icmp64_ule_m1(i64 %x, i64 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp64_ule_m1:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    .save {r4, r5, r6, r7, lr}
; CHECKV6M-NEXT:    push {r4, r5, r6, r7, lr}
; CHECKV6M-NEXT:    mov r4, r0
; CHECKV6M-NEXT:    ldr r0, [sp, #28]
; CHECKV6M-NEXT:    lsls r0, r0, #31
; CHECKV6M-NEXT:    ldr r6, .LCPI5_0
; CHECKV6M-NEXT:    ldr r5, [sp, #24]
; CHECKV6M-NEXT:    ldr r0, [sp, #20]
; CHECKV6M-NEXT:    beq .LBB5_6
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    movs r7, #0
; CHECKV6M-NEXT:    subs r2, r2, r6
; CHECKV6M-NEXT:    sbcs r3, r7
; CHECKV6M-NEXT:    mov r2, r0
; CHECKV6M-NEXT:    blo .LBB5_3
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    mov r2, r5
; CHECKV6M-NEXT:  .LBB5_3: @ %then
; CHECKV6M-NEXT:    subs r3, r4, r6
; CHECKV6M-NEXT:    sbcs r1, r7
; CHECKV6M-NEXT:    blo .LBB5_5
; CHECKV6M-NEXT:  @ %bb.4: @ %then
; CHECKV6M-NEXT:    mov r0, r5
; CHECKV6M-NEXT:  .LBB5_5: @ %then
; CHECKV6M-NEXT:    adds r0, r0, r2
; CHECKV6M-NEXT:    pop {r4, r5, r6, r7, pc}
; CHECKV6M-NEXT:  .LBB5_6: @ %else
; CHECKV6M-NEXT:    movs r1, #0
; CHECKV6M-NEXT:    subs r2, r2, r6
; CHECKV6M-NEXT:    sbcs r3, r1
; CHECKV6M-NEXT:    blo .LBB5_8
; CHECKV6M-NEXT:  @ %bb.7: @ %else
; CHECKV6M-NEXT:    mov r0, r5
; CHECKV6M-NEXT:  .LBB5_8: @ %else
; CHECKV6M-NEXT:    pop {r4, r5, r6, r7, pc}
; CHECKV6M-NEXT:    .p2align 2
; CHECKV6M-NEXT:  @ %bb.9:
; CHECKV6M-NEXT:  .LCPI5_0:
; CHECKV6M-NEXT:    .long 131073 @ 0x20001
;
; CHECKV7M-LABEL: icmp64_ule_m1:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    .save {r4, lr}
; CHECKV7M-NEXT:    push {r4, lr}
; CHECKV7M-NEXT:    mov r12, r0
; CHECKV7M-NEXT:    ldr r0, [sp, #16]
; CHECKV7M-NEXT:    movs r4, #1
; CHECKV7M-NEXT:    movt r4, #2
; CHECKV7M-NEXT:    lsls r0, r0, #31
; CHECKV7M-NEXT:    ldrd lr, r0, [sp, #8]
; CHECKV7M-NEXT:    beq .LBB5_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    subs r2, r2, r4
; CHECKV7M-NEXT:    sbcs r2, r3, #0
; CHECKV7M-NEXT:    mov r2, r0
; CHECKV7M-NEXT:    it lo
; CHECKV7M-NEXT:    movlo r2, lr
; CHECKV7M-NEXT:    subs.w r3, r12, r4
; CHECKV7M-NEXT:    sbcs r1, r1, #0
; CHECKV7M-NEXT:    it lo
; CHECKV7M-NEXT:    movlo r0, lr
; CHECKV7M-NEXT:    add r0, r2
; CHECKV7M-NEXT:    pop {r4, pc}
; CHECKV7M-NEXT:  .LBB5_2: @ %else
; CHECKV7M-NEXT:    subs r1, r2, r4
; CHECKV7M-NEXT:    sbcs r1, r3, #0
; CHECKV7M-NEXT:    it lo
; CHECKV7M-NEXT:    movlo r0, lr
; CHECKV7M-NEXT:    pop {r4, pc}
;
; CHECKV7A-LABEL: icmp64_ule_m1:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    .save {r4, lr}
; CHECKV7A-NEXT:    push {r4, lr}
; CHECKV7A-NEXT:    ldr r4, [sp, #16]
; CHECKV7A-NEXT:    mov r12, r0
; CHECKV7A-NEXT:    ldrd lr, r0, [sp, #8]
; CHECKV7A-NEXT:    lsls r4, r4, #31
; CHECKV7A-NEXT:    movw r4, #1
; CHECKV7A-NEXT:    movt r4, #2
; CHECKV7A-NEXT:    beq .LBB5_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    subs r2, r2, r4
; CHECKV7A-NEXT:    sbcs r2, r3, #0
; CHECKV7A-NEXT:    mov r2, r0
; CHECKV7A-NEXT:    it lo
; CHECKV7A-NEXT:    movlo r2, lr
; CHECKV7A-NEXT:    subs.w r3, r12, r4
; CHECKV7A-NEXT:    sbcs r1, r1, #0
; CHECKV7A-NEXT:    it lo
; CHECKV7A-NEXT:    movlo r0, lr
; CHECKV7A-NEXT:    add r0, r2
; CHECKV7A-NEXT:    pop {r4, pc}
; CHECKV7A-NEXT:  .LBB5_2: @ %else
; CHECKV7A-NEXT:    subs r1, r2, r4
; CHECKV7A-NEXT:    sbcs r1, r3, #0
; CHECKV7A-NEXT:    it lo
; CHECKV7A-NEXT:    movlo r0, lr
; CHECKV7A-NEXT:    pop {r4, pc}
  br i1 %c, label %then, label %else
then:
  %c1 = icmp ult i64 %x, 131073
  %c2 = icmp ult i64 %y, 131073
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp ult i64 %y, 131073
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}

define i32 @icmp64_uge_m2(i64 %x, i64 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp64_uge_m2:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    .save {r4, r5, r6, r7, lr}
; CHECKV6M-NEXT:    push {r4, r5, r6, r7, lr}
; CHECKV6M-NEXT:    mov r4, r0
; CHECKV6M-NEXT:    movs r0, #1
; CHECKV6M-NEXT:    lsls r6, r0, #17
; CHECKV6M-NEXT:    ldr r0, [sp, #28]
; CHECKV6M-NEXT:    lsls r0, r0, #31
; CHECKV6M-NEXT:    ldr r5, [sp, #24]
; CHECKV6M-NEXT:    ldr r0, [sp, #20]
; CHECKV6M-NEXT:    beq .LBB6_6
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    movs r7, #0
; CHECKV6M-NEXT:    subs r2, r2, r6
; CHECKV6M-NEXT:    sbcs r3, r7
; CHECKV6M-NEXT:    mov r2, r0
; CHECKV6M-NEXT:    bhs .LBB6_3
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    mov r2, r5
; CHECKV6M-NEXT:  .LBB6_3: @ %then
; CHECKV6M-NEXT:    subs r3, r4, r6
; CHECKV6M-NEXT:    sbcs r1, r7
; CHECKV6M-NEXT:    bhs .LBB6_5
; CHECKV6M-NEXT:  @ %bb.4: @ %then
; CHECKV6M-NEXT:    mov r0, r5
; CHECKV6M-NEXT:  .LBB6_5: @ %then
; CHECKV6M-NEXT:    adds r0, r0, r2
; CHECKV6M-NEXT:    pop {r4, r5, r6, r7, pc}
; CHECKV6M-NEXT:  .LBB6_6: @ %else
; CHECKV6M-NEXT:    movs r1, #0
; CHECKV6M-NEXT:    subs r2, r2, r6
; CHECKV6M-NEXT:    sbcs r3, r1
; CHECKV6M-NEXT:    bhs .LBB6_8
; CHECKV6M-NEXT:  @ %bb.7: @ %else
; CHECKV6M-NEXT:    mov r0, r5
; CHECKV6M-NEXT:  .LBB6_8: @ %else
; CHECKV6M-NEXT:    pop {r4, r5, r6, r7, pc}
;
; CHECKV7M-LABEL: icmp64_uge_m2:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    .save {r7, lr}
; CHECKV7M-NEXT:    push {r7, lr}
; CHECKV7M-NEXT:    mov r12, r0
; CHECKV7M-NEXT:    ldr r0, [sp, #16]
; CHECKV7M-NEXT:    lsls r0, r0, #31
; CHECKV7M-NEXT:    ldrd lr, r0, [sp, #8]
; CHECKV7M-NEXT:    beq .LBB6_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    orrs.w r2, r3, r2, lsr #17
; CHECKV7M-NEXT:    mov r2, r0
; CHECKV7M-NEXT:    it ne
; CHECKV7M-NEXT:    movne r2, lr
; CHECKV7M-NEXT:    orrs.w r1, r1, r12, lsr #17
; CHECKV7M-NEXT:    it ne
; CHECKV7M-NEXT:    movne r0, lr
; CHECKV7M-NEXT:    add r0, r2
; CHECKV7M-NEXT:    pop {r7, pc}
; CHECKV7M-NEXT:  .LBB6_2: @ %else
; CHECKV7M-NEXT:    orrs.w r1, r3, r2, lsr #17
; CHECKV7M-NEXT:    it ne
; CHECKV7M-NEXT:    movne r0, lr
; CHECKV7M-NEXT:    pop {r7, pc}
;
; CHECKV7A-LABEL: icmp64_uge_m2:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    .save {r4, lr}
; CHECKV7A-NEXT:    push {r4, lr}
; CHECKV7A-NEXT:    ldr r4, [sp, #16]
; CHECKV7A-NEXT:    mov r12, r0
; CHECKV7A-NEXT:    ldrd lr, r0, [sp, #8]
; CHECKV7A-NEXT:    lsls r4, r4, #31
; CHECKV7A-NEXT:    beq .LBB6_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    orrs.w r2, r3, r2, lsr #17
; CHECKV7A-NEXT:    mov r2, r0
; CHECKV7A-NEXT:    it ne
; CHECKV7A-NEXT:    movne r2, lr
; CHECKV7A-NEXT:    orrs.w r1, r1, r12, lsr #17
; CHECKV7A-NEXT:    it ne
; CHECKV7A-NEXT:    movne r0, lr
; CHECKV7A-NEXT:    add r0, r2
; CHECKV7A-NEXT:    pop {r4, pc}
; CHECKV7A-NEXT:  .LBB6_2: @ %else
; CHECKV7A-NEXT:    orrs.w r1, r3, r2, lsr #17
; CHECKV7A-NEXT:    it ne
; CHECKV7A-NEXT:    movne r0, lr
; CHECKV7A-NEXT:    pop {r4, pc}
  br i1 %c, label %then, label %else
then:
  %c1 = icmp uge i64 %x, 131072
  %c2 = icmp uge i64 %y, 131072
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp uge i64 %y, 131072
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}

define i32 @icmp64_ugt_m1(i64 %x, i64 %y, i32 %a, i32 %b, i1 %c) {
; CHECKV6M-LABEL: icmp64_ugt_m1:
; CHECKV6M:       @ %bb.0:
; CHECKV6M-NEXT:    .save {r4, r5, r6, r7, lr}
; CHECKV6M-NEXT:    push {r4, r5, r6, r7, lr}
; CHECKV6M-NEXT:    mov r4, r0
; CHECKV6M-NEXT:    ldr r0, [sp, #28]
; CHECKV6M-NEXT:    lsls r0, r0, #31
; CHECKV6M-NEXT:    ldr r6, .LCPI7_0
; CHECKV6M-NEXT:    ldr r5, [sp, #24]
; CHECKV6M-NEXT:    ldr r0, [sp, #20]
; CHECKV6M-NEXT:    beq .LBB7_6
; CHECKV6M-NEXT:  @ %bb.1: @ %then
; CHECKV6M-NEXT:    movs r7, #0
; CHECKV6M-NEXT:    subs r2, r6, r2
; CHECKV6M-NEXT:    mov r2, r7
; CHECKV6M-NEXT:    sbcs r2, r3
; CHECKV6M-NEXT:    mov r2, r0
; CHECKV6M-NEXT:    blo .LBB7_3
; CHECKV6M-NEXT:  @ %bb.2: @ %then
; CHECKV6M-NEXT:    mov r2, r5
; CHECKV6M-NEXT:  .LBB7_3: @ %then
; CHECKV6M-NEXT:    subs r3, r6, r4
; CHECKV6M-NEXT:    sbcs r7, r1
; CHECKV6M-NEXT:    blo .LBB7_5
; CHECKV6M-NEXT:  @ %bb.4: @ %then
; CHECKV6M-NEXT:    mov r0, r5
; CHECKV6M-NEXT:  .LBB7_5: @ %then
; CHECKV6M-NEXT:    adds r0, r0, r2
; CHECKV6M-NEXT:    pop {r4, r5, r6, r7, pc}
; CHECKV6M-NEXT:  .LBB7_6: @ %else
; CHECKV6M-NEXT:    movs r1, #0
; CHECKV6M-NEXT:    subs r2, r6, r2
; CHECKV6M-NEXT:    sbcs r1, r3
; CHECKV6M-NEXT:    blo .LBB7_8
; CHECKV6M-NEXT:  @ %bb.7: @ %else
; CHECKV6M-NEXT:    mov r0, r5
; CHECKV6M-NEXT:  .LBB7_8: @ %else
; CHECKV6M-NEXT:    pop {r4, r5, r6, r7, pc}
; CHECKV6M-NEXT:    .p2align 2
; CHECKV6M-NEXT:  @ %bb.9:
; CHECKV6M-NEXT:  .LCPI7_0:
; CHECKV6M-NEXT:    .long 131073 @ 0x20001
;
; CHECKV7M-LABEL: icmp64_ugt_m1:
; CHECKV7M:       @ %bb.0:
; CHECKV7M-NEXT:    .save {r4, r5, r7, lr}
; CHECKV7M-NEXT:    push {r4, r5, r7, lr}
; CHECKV7M-NEXT:    mov r12, r0
; CHECKV7M-NEXT:    ldr r0, [sp, #24]
; CHECKV7M-NEXT:    movs r4, #1
; CHECKV7M-NEXT:    movt r4, #2
; CHECKV7M-NEXT:    lsls r0, r0, #31
; CHECKV7M-NEXT:    ldrd lr, r0, [sp, #16]
; CHECKV7M-NEXT:    beq .LBB7_2
; CHECKV7M-NEXT:  @ %bb.1: @ %then
; CHECKV7M-NEXT:    subs r2, r4, r2
; CHECKV7M-NEXT:    mov.w r5, #0
; CHECKV7M-NEXT:    sbcs.w r2, r5, r3
; CHECKV7M-NEXT:    mov r2, r0
; CHECKV7M-NEXT:    it lo
; CHECKV7M-NEXT:    movlo r2, lr
; CHECKV7M-NEXT:    subs.w r3, r4, r12
; CHECKV7M-NEXT:    sbcs.w r1, r5, r1
; CHECKV7M-NEXT:    it lo
; CHECKV7M-NEXT:    movlo r0, lr
; CHECKV7M-NEXT:    add r0, r2
; CHECKV7M-NEXT:    pop {r4, r5, r7, pc}
; CHECKV7M-NEXT:  .LBB7_2: @ %else
; CHECKV7M-NEXT:    movs r1, #0
; CHECKV7M-NEXT:    subs r2, r4, r2
; CHECKV7M-NEXT:    sbcs r1, r3
; CHECKV7M-NEXT:    it lo
; CHECKV7M-NEXT:    movlo r0, lr
; CHECKV7M-NEXT:    pop {r4, r5, r7, pc}
;
; CHECKV7A-LABEL: icmp64_ugt_m1:
; CHECKV7A:       @ %bb.0:
; CHECKV7A-NEXT:    .save {r4, r5, r7, lr}
; CHECKV7A-NEXT:    push {r4, r5, r7, lr}
; CHECKV7A-NEXT:    ldr r4, [sp, #24]
; CHECKV7A-NEXT:    mov r12, r0
; CHECKV7A-NEXT:    ldrd lr, r0, [sp, #16]
; CHECKV7A-NEXT:    lsls r4, r4, #31
; CHECKV7A-NEXT:    movw r4, #1
; CHECKV7A-NEXT:    movt r4, #2
; CHECKV7A-NEXT:    beq .LBB7_2
; CHECKV7A-NEXT:  @ %bb.1: @ %then
; CHECKV7A-NEXT:    subs r2, r4, r2
; CHECKV7A-NEXT:    mov.w r5, #0
; CHECKV7A-NEXT:    sbcs.w r2, r5, r3
; CHECKV7A-NEXT:    mov r2, r0
; CHECKV7A-NEXT:    it lo
; CHECKV7A-NEXT:    movlo r2, lr
; CHECKV7A-NEXT:    subs.w r3, r4, r12
; CHECKV7A-NEXT:    sbcs.w r1, r5, r1
; CHECKV7A-NEXT:    it lo
; CHECKV7A-NEXT:    movlo r0, lr
; CHECKV7A-NEXT:    add r0, r2
; CHECKV7A-NEXT:    pop {r4, r5, r7, pc}
; CHECKV7A-NEXT:  .LBB7_2: @ %else
; CHECKV7A-NEXT:    movs r1, #0
; CHECKV7A-NEXT:    subs r2, r4, r2
; CHECKV7A-NEXT:    sbcs r1, r3
; CHECKV7A-NEXT:    it lo
; CHECKV7A-NEXT:    movlo r0, lr
; CHECKV7A-NEXT:    pop {r4, r5, r7, pc}
  br i1 %c, label %then, label %else
then:
  %c1 = icmp ugt i64 %x, 131073
  %c2 = icmp ugt i64 %y, 131073
  %s1 = select i1 %c1, i32 %a, i32 %b
  %s2 = select i1 %c2, i32 %a, i32 %b
  %r = add i32 %s1, %s2
  ret i32 %r
else:
  %c3 = icmp ugt i64 %y, 131073
  %s3 = select i1 %c3, i32 %a, i32 %b
  ret i32 %s3
}