dect-decf.ll | Explore in Territory

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc -verify-machineinstrs -csky-no-aliases -mattr=+2e3 < %s -mtriple=csky | FileCheck %s

define i32 @select_by_icmp_ugt(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ugt:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmphs16 a1, a0
; CHECK-NEXT:    decf32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp ugt i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_sgt(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_sgt:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmplt16 a1, a0
; CHECK-NEXT:    dect32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp sgt i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_uge(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_uge:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmphs16 a0, a1
; CHECK-NEXT:    dect32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp uge i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_sge(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_sge:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmplt16 a0, a1
; CHECK-NEXT:    decf32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp sge i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_ult(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ult:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmphs16 a0, a1
; CHECK-NEXT:    decf32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp ult i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_slt(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_slt:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmplt16 a0, a1
; CHECK-NEXT:    dect32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp slt i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_ule(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ule:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmphs16 a1, a0
; CHECK-NEXT:    dect32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp ule i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_sle(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_sle:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmplt16 a1, a0
; CHECK-NEXT:    decf32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp sle i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_ne(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ne:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmpne16 a0, a1
; CHECK-NEXT:    dect32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp ne i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_eq(i32 %t0, i32 %t1, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_eq:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmpne16 a0, a1
; CHECK-NEXT:    decf32 a3, a2, 10
; CHECK-NEXT:    mov16 a0, a3
; CHECK-NEXT:    rts16
  %t4 = icmp eq i32 %t0, %t1
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_ugt_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ugt_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    movi16 a3, 128
; CHECK-NEXT:    cmphs16 a3, a0
; CHECK-NEXT:    decf32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp ugt i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_sgt_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_sgt_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    movi16 a3, 128
; CHECK-NEXT:    cmplt16 a3, a0
; CHECK-NEXT:    dect32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp sgt i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_uge_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_uge_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    movi16 a3, 127
; CHECK-NEXT:    cmphs16 a3, a0
; CHECK-NEXT:    decf32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp uge i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_sge_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_sge_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    movi16 a3, 127
; CHECK-NEXT:    cmplt16 a3, a0
; CHECK-NEXT:    dect32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp sge i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_ult_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ult_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmphsi32 a0, 128
; CHECK-NEXT:    decf32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp ult i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_slt_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_slt_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmplti32 a0, 128
; CHECK-NEXT:    dect32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp slt i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_ule_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ule_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmphsi32 a0, 129
; CHECK-NEXT:    decf32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp ule i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_sle_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_sle_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmplti32 a0, 129
; CHECK-NEXT:    dect32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp sle i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_ne_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_ne_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmpnei32 a0, 128
; CHECK-NEXT:    dect32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp ne i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_icmp_eq_imm(i32 %t0, i32 %t2, i32 %t3) {
; CHECK-LABEL: select_by_icmp_eq_imm:
; CHECK:       # %bb.0:
; CHECK-NEXT:    cmpnei32 a0, 128
; CHECK-NEXT:    decf32 a2, a1, 10
; CHECK-NEXT:    mov16 a0, a2
; CHECK-NEXT:    rts16
  %t4 = icmp eq i32 %t0, 128
  %t5 = sub i32 %t2, 10
  %t6 = select i1 %t4, i32 %t5, i32 %t3
  ret i32 %t6
}

define i32 @select_by_call_t(i32 %t0, i32 %t1, i32 %t2) {
; CHECK-LABEL: select_by_call_t:
; CHECK:       # %bb.0:
; CHECK-NEXT:    subi16 sp, sp, 12
; CHECK-NEXT:    .cfi_def_cfa_offset 12
; CHECK-NEXT:    st16.w l1, (sp, 8) # 4-byte Folded Spill
; CHECK-NEXT:    st16.w l0, (sp, 4) # 4-byte Folded Spill
; CHECK-NEXT:    st32.w lr, (sp, 0) # 4-byte Folded Spill
; CHECK-NEXT:    .cfi_offset l1, -4
; CHECK-NEXT:    .cfi_offset l0, -8
; CHECK-NEXT:    .cfi_offset lr, -12
; CHECK-NEXT:    .cfi_def_cfa_offset 12
; CHECK-NEXT:    mov16 l0, a2
; CHECK-NEXT:    mov16 l1, a1
; CHECK-NEXT:    jsri32 [.LCPI20_0]
; CHECK-NEXT:    btsti16 a0, 0
; CHECK-NEXT:    dect32 l0, l1, 10
; CHECK-NEXT:    mov16 a0, l0
; CHECK-NEXT:    ld32.w lr, (sp, 0) # 4-byte Folded Reload
; CHECK-NEXT:    ld16.w l0, (sp, 4) # 4-byte Folded Reload
; CHECK-NEXT:    ld16.w l1, (sp, 8) # 4-byte Folded Reload
; CHECK-NEXT:    addi16 sp, sp, 12
; CHECK-NEXT:    rts16
; CHECK-NEXT:    .p2align 1
; CHECK-NEXT:  # %bb.1:
; CHECK-NEXT:    .p2align 2, 0x0
; CHECK-NEXT:  .LCPI20_0:
; CHECK-NEXT:    .long check_val
  %t3 = tail call i1 @check_val(i32 %t0)
  %t4 = sub i32 %t1, 10
  %t5 = select i1 %t3, i32 %t4, i32 %t2
  ret i32 %t5
}

define i32 @select_by_call_f(i32 %t0, i32 %t1, i32 %t2) {
; CHECK-LABEL: select_by_call_f:
; CHECK:       # %bb.0:
; CHECK-NEXT:    subi16 sp, sp, 12
; CHECK-NEXT:    .cfi_def_cfa_offset 12
; CHECK-NEXT:    st16.w l1, (sp, 8) # 4-byte Folded Spill
; CHECK-NEXT:    st16.w l0, (sp, 4) # 4-byte Folded Spill
; CHECK-NEXT:    st32.w lr, (sp, 0) # 4-byte Folded Spill
; CHECK-NEXT:    .cfi_offset l1, -4
; CHECK-NEXT:    .cfi_offset l0, -8
; CHECK-NEXT:    .cfi_offset lr, -12
; CHECK-NEXT:    .cfi_def_cfa_offset 12
; CHECK-NEXT:    mov16 l0, a2
; CHECK-NEXT:    mov16 l1, a1
; CHECK-NEXT:    jsri32 [.LCPI21_0]
; CHECK-NEXT:    btsti16 a0, 0
; CHECK-NEXT:    decf32 l0, l1, 10
; CHECK-NEXT:    mov16 a0, l0
; CHECK-NEXT:    ld32.w lr, (sp, 0) # 4-byte Folded Reload
; CHECK-NEXT:    ld16.w l0, (sp, 4) # 4-byte Folded Reload
; CHECK-NEXT:    ld16.w l1, (sp, 8) # 4-byte Folded Reload
; CHECK-NEXT:    addi16 sp, sp, 12
; CHECK-NEXT:    rts16
; CHECK-NEXT:    .p2align 1
; CHECK-NEXT:  # %bb.1:
; CHECK-NEXT:    .p2align 2, 0x0
; CHECK-NEXT:  .LCPI21_0:
; CHECK-NEXT:    .long check_val
  %t3 = tail call i1 @check_val(i32 %t0)
  %t4 = sub i32 %t1, 10
  %t5 = select i1 %t3, i32 %t2, i32 %t4
  ret i32 %t5
}

declare i1 @check_val(i32)
llvm/llvm/test/CodeGen/CSKY/dect-decf.ll
