| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc --mtriple=loongarch32 --mattr=+f,-d < %s | FileCheck %s --check-prefix=LA32 |
| ; RUN: llc --mtriple=loongarch64 --mattr=+f,-d < %s | FileCheck %s --check-prefix=LA64 |
| |
| ;; Test single-precision floating-point values selection after integers comparison |
| |
| define float @select_eq(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_eq: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: xor $a0, $a0, $a1 |
| ; LA32-NEXT: sltui $a0, $a0, 1 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_eq: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: xor $a0, $a0, $a1 |
| ; LA64-NEXT: sltui $a0, $a0, 1 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp eq i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_ne(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_ne: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: xor $a0, $a0, $a1 |
| ; LA32-NEXT: sltu $a0, $zero, $a0 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_ne: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: xor $a0, $a0, $a1 |
| ; LA64-NEXT: sltu $a0, $zero, $a0 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp ne i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_ugt(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_ugt: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: sltu $a0, $a1, $a0 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_ugt: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: sltu $a0, $a1, $a0 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp ugt i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_uge(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_uge: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: sltu $a0, $a0, $a1 |
| ; LA32-NEXT: xori $a0, $a0, 1 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_uge: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: sltu $a0, $a0, $a1 |
| ; LA64-NEXT: xori $a0, $a0, 1 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp uge i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_ult(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_ult: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: sltu $a0, $a0, $a1 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_ult: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: sltu $a0, $a0, $a1 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp ult i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_ule(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_ule: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: sltu $a0, $a1, $a0 |
| ; LA32-NEXT: xori $a0, $a0, 1 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_ule: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: sltu $a0, $a1, $a0 |
| ; LA64-NEXT: xori $a0, $a0, 1 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp ule i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_sgt(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_sgt: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: slt $a0, $a1, $a0 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_sgt: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: slt $a0, $a1, $a0 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp sgt i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_sge(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_sge: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: slt $a0, $a0, $a1 |
| ; LA32-NEXT: xori $a0, $a0, 1 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_sge: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: slt $a0, $a0, $a1 |
| ; LA64-NEXT: xori $a0, $a0, 1 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp sge i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_slt(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_slt: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: slt $a0, $a0, $a1 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_slt: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: slt $a0, $a0, $a1 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp slt i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |
| |
| define float @select_sle(i32 signext %a, i32 signext %b, float %x, float %y) { |
| ; LA32-LABEL: select_sle: |
| ; LA32: # %bb.0: |
| ; LA32-NEXT: slt $a0, $a1, $a0 |
| ; LA32-NEXT: xori $a0, $a0, 1 |
| ; LA32-NEXT: movgr2cf $fcc0, $a0 |
| ; LA32-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA32-NEXT: ret |
| ; |
| ; LA64-LABEL: select_sle: |
| ; LA64: # %bb.0: |
| ; LA64-NEXT: slt $a0, $a1, $a0 |
| ; LA64-NEXT: xori $a0, $a0, 1 |
| ; LA64-NEXT: movgr2cf $fcc0, $a0 |
| ; LA64-NEXT: fsel $fa0, $fa1, $fa0, $fcc0 |
| ; LA64-NEXT: ret |
| %cond = icmp sle i32 %a, %b |
| %res = select i1 %cond, float %x, float %y |
| ret float %res |
| } |