[llvm] 6e47ebd - [LoongArch] Support ISD::BR_CC and branch according to condition flag register
via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 31 20:00:25 PDT 2022
Author: gonglingqin
Date: 2022-09-01T10:43:16+08:00
New Revision: 6e47ebdcec770f12fe684261cb23f099277bc8f1
URL: https://github.com/llvm/llvm-project/commit/6e47ebdcec770f12fe684261cb23f099277bc8f1
DIFF: https://github.com/llvm/llvm-project/commit/6e47ebdcec770f12fe684261cb23f099277bc8f1.diff
LOG: [LoongArch] Support ISD::BR_CC and branch according to condition flag register
Use bceqz/bcnez instead of movcf2gr + bnez/beqz for branch jumps.
Differential Revision: https://reviews.llvm.org/D132824
Added:
llvm/test/CodeGen/LoongArch/double-br-fcmp.ll
llvm/test/CodeGen/LoongArch/float-br-fcmp.ll
Modified:
llvm/lib/Target/LoongArch/LoongArchFloat32InstrInfo.td
llvm/lib/Target/LoongArch/LoongArchFloat64InstrInfo.td
llvm/lib/Target/LoongArch/LoongArchISelLowering.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Target/LoongArch/LoongArchFloat32InstrInfo.td b/llvm/lib/Target/LoongArch/LoongArchFloat32InstrInfo.td
index ce483532031b0..907a064bfb339 100644
--- a/llvm/lib/Target/LoongArch/LoongArchFloat32InstrInfo.td
+++ b/llvm/lib/Target/LoongArch/LoongArchFloat32InstrInfo.td
@@ -171,6 +171,26 @@ def : PatFPSetcc<SETUNE, FCMP_CUNE_S, FPR32>;
def : PatFPSetcc<SETUO, FCMP_CUN_S, FPR32>;
def : PatFPSetcc<SETLT, FCMP_CLT_S, FPR32>;
+multiclass PatFPBrcond<CondCode cc, LAInst CmpInst, RegisterClass RegTy> {
+ def : Pat<(brcond (xor (GRLenVT (setcc RegTy:$fj, RegTy:$fk, cc)), -1),
+ bb:$imm21),
+ (BCEQZ (CmpInst RegTy:$fj, RegTy:$fk), bb:$imm21)>;
+ def : Pat<(brcond (GRLenVT (setcc RegTy:$fj, RegTy:$fk, cc)), bb:$imm21),
+ (BCNEZ (CmpInst RegTy:$fj, RegTy:$fk), bb:$imm21)>;
+}
+
+defm : PatFPBrcond<SETOEQ, FCMP_CEQ_S, FPR32>;
+defm : PatFPBrcond<SETOLT, FCMP_CLT_S, FPR32>;
+defm : PatFPBrcond<SETOLE, FCMP_CLE_S, FPR32>;
+defm : PatFPBrcond<SETONE, FCMP_CNE_S, FPR32>;
+defm : PatFPBrcond<SETO, FCMP_COR_S, FPR32>;
+defm : PatFPBrcond<SETUEQ, FCMP_CUEQ_S, FPR32>;
+defm : PatFPBrcond<SETULT, FCMP_CULT_S, FPR32>;
+defm : PatFPBrcond<SETULE, FCMP_CULE_S, FPR32>;
+defm : PatFPBrcond<SETUNE, FCMP_CUNE_S, FPR32>;
+defm : PatFPBrcond<SETUO, FCMP_CUN_S, FPR32>;
+defm : PatFPBrcond<SETLT, FCMP_CLT_S, FPR32>;
+
// TODO: Match signaling comparison strict_fsetccs with FCMP_S*_S instructions.
/// Select
diff --git a/llvm/lib/Target/LoongArch/LoongArchFloat64InstrInfo.td b/llvm/lib/Target/LoongArch/LoongArchFloat64InstrInfo.td
index 3ba68267e3a6a..7f45cabd5c7c0 100644
--- a/llvm/lib/Target/LoongArch/LoongArchFloat64InstrInfo.td
+++ b/llvm/lib/Target/LoongArch/LoongArchFloat64InstrInfo.td
@@ -175,6 +175,18 @@ def : PatFPSetcc<SETUNE, FCMP_CUNE_D, FPR64>;
def : PatFPSetcc<SETUO, FCMP_CUN_D, FPR64>;
def : PatFPSetcc<SETLT, FCMP_CLT_D, FPR64>;
+defm : PatFPBrcond<SETOEQ, FCMP_CEQ_D, FPR64>;
+defm : PatFPBrcond<SETOLT, FCMP_CLT_D, FPR64>;
+defm : PatFPBrcond<SETOLE, FCMP_CLE_D, FPR64>;
+defm : PatFPBrcond<SETONE, FCMP_CNE_D, FPR64>;
+defm : PatFPBrcond<SETO, FCMP_COR_D, FPR64>;
+defm : PatFPBrcond<SETUEQ, FCMP_CUEQ_D, FPR64>;
+defm : PatFPBrcond<SETULT, FCMP_CULT_D, FPR64>;
+defm : PatFPBrcond<SETULE, FCMP_CULE_D, FPR64>;
+defm : PatFPBrcond<SETUNE, FCMP_CUNE_D, FPR64>;
+defm : PatFPBrcond<SETUO, FCMP_CUN_D, FPR64>;
+defm : PatFPBrcond<SETLT, FCMP_CLT_D, FPR64>;
+
// TODO: Match signaling comparison strict_fsetccs with FCMP_S*_D instructions.
/// Select
diff --git a/llvm/lib/Target/LoongArch/LoongArchISelLowering.cpp b/llvm/lib/Target/LoongArch/LoongArchISelLowering.cpp
index fc3cade9b016f..d5efdf73b1ae1 100644
--- a/llvm/lib/Target/LoongArch/LoongArchISelLowering.cpp
+++ b/llvm/lib/Target/LoongArch/LoongArchISelLowering.cpp
@@ -104,10 +104,12 @@ LoongArchTargetLowering::LoongArchTargetLowering(const TargetMachine &TM,
if (Subtarget.hasBasicF()) {
setCondCodeAction(FPCCToExpand, MVT::f32, Expand);
setOperationAction(ISD::SELECT_CC, MVT::f32, Expand);
+ setOperationAction(ISD::BR_CC, MVT::f32, Expand);
}
if (Subtarget.hasBasicD()) {
setCondCodeAction(FPCCToExpand, MVT::f64, Expand);
setOperationAction(ISD::SELECT_CC, MVT::f64, Expand);
+ setOperationAction(ISD::BR_CC, MVT::f64, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::f64, MVT::f32, Expand);
setLoadExtAction(ISD::EXTLOAD, MVT::f64, MVT::f32, Expand);
}
diff --git a/llvm/test/CodeGen/LoongArch/double-br-fcmp.ll b/llvm/test/CodeGen/LoongArch/double-br-fcmp.ll
new file mode 100644
index 0000000000000..8006b67227b6e
--- /dev/null
+++ b/llvm/test/CodeGen/LoongArch/double-br-fcmp.ll
@@ -0,0 +1,985 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc --mtriple=loongarch32 --mattr=+d < %s | FileCheck %s --check-prefix=LA32
+; RUN: llc --mtriple=loongarch64 --mattr=+d < %s | FileCheck %s --check-prefix=LA64
+
+declare void @abort()
+
+define void @br_fcmp_oeq_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_oeq_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.ceq.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB0_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB0_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oeq_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.ceq.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB0_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB0_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oeq double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_oeq_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_oeq_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cune.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB1_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB1_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oeq_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cune.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB1_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB1_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oeq double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ogt_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ogt_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB2_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB2_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ogt_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB2_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB2_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ogt double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ogt_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ogt_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB3_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB3_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ogt_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB3_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB3_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ogt double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_oge_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_oge_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB4_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB4_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oge_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB4_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB4_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oge double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_oge_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_oge_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB5_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB5_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oge_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB5_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB5_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oge double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_olt_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_olt_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB6_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB6_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_olt_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB6_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB6_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp olt double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_olt_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_olt_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB7_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB7_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_olt_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB7_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB7_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp olt double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ole_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ole_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB8_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB8_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ole_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB8_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB8_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ole double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ole_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ole_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB9_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB9_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ole_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB9_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB9_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ole double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_one_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_one_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cne.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB10_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB10_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_one_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cne.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB10_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB10_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp one double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_one_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_one_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cueq.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB11_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB11_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_one_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cueq.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB11_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB11_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp one double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ord_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ord_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cor.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB12_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB12_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ord_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cor.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB12_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB12_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ord double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ord_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ord_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cun.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB13_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB13_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ord_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cun.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB13_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB13_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ord double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ueq_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ueq_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cueq.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB14_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB14_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ueq_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cueq.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB14_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB14_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ueq double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ueq_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ueq_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cne.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB15_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB15_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ueq_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cne.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB15_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB15_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ueq double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ugt_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ugt_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB16_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB16_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ugt_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB16_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB16_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ugt double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ugt_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ugt_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB17_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB17_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ugt_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB17_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB17_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ugt double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_uge_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_uge_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB18_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB18_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uge_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB18_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB18_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uge double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_uge_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_uge_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB19_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB19_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uge_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB19_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB19_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uge double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ult_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ult_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB20_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB20_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ult_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB20_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB20_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ult double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ult_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ult_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB21_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB21_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ult_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB21_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB21_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ult double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ule_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ule_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB22_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB22_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ule_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB22_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB22_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ule double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ule_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_ule_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.d $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB23_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB23_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ule_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.d $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB23_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB23_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ule double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_une_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_une_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cune.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB24_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB24_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_une_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cune.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB24_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB24_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp une double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_une_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_une_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.ceq.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB25_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB25_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_une_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.ceq.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB25_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB25_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp une double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_uno_bcnez(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_uno_bcnez:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cun.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB26_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB26_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uno_bcnez:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cun.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB26_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB26_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uno double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_uno_bceqz(double %a, double %b) nounwind {
+; LA32-LABEL: br_fcmp_uno_bceqz:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cor.d $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB27_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB27_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uno_bceqz:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cor.d $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB27_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB27_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uno double %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
diff --git a/llvm/test/CodeGen/LoongArch/float-br-fcmp.ll b/llvm/test/CodeGen/LoongArch/float-br-fcmp.ll
new file mode 100644
index 0000000000000..91bfe4ec9b786
--- /dev/null
+++ b/llvm/test/CodeGen/LoongArch/float-br-fcmp.ll
@@ -0,0 +1,985 @@
+; 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
+
+declare void @abort()
+
+define void @br_fcmp_oeq_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_oeq_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.ceq.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB0_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB0_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oeq_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.ceq.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB0_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB0_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oeq float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_oeq_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_oeq_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cune.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB1_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB1_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oeq_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cune.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB1_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB1_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oeq float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ogt_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ogt_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB2_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB2_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ogt_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB2_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB2_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ogt float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ogt_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ogt_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB3_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB3_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ogt_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB3_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB3_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ogt float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_oge_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_oge_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB4_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB4_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oge_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB4_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB4_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oge float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_oge_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_oge_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB5_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB5_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_oge_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB5_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB5_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp oge float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_olt_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_olt_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB6_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB6_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_olt_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB6_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB6_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp olt float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_olt_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_olt_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB7_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB7_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_olt_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB7_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB7_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp olt float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ole_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ole_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB8_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB8_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ole_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB8_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB8_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ole float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ole_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ole_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB9_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB9_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ole_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB9_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB9_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ole float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_one_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_one_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cne.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB10_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB10_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_one_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cne.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB10_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB10_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp one float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_one_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_one_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cueq.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB11_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB11_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_one_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cueq.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB11_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB11_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp one float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ord_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ord_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cor.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB12_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB12_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ord_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cor.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB12_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB12_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ord float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ord_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ord_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cun.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB13_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB13_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ord_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cun.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB13_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB13_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ord float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ueq_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ueq_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cueq.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB14_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB14_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ueq_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cueq.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB14_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB14_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ueq float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ueq_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ueq_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cne.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB15_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB15_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ueq_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cne.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB15_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB15_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ueq float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ugt_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ugt_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB16_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB16_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ugt_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB16_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB16_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ugt float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ugt_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ugt_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB17_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB17_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ugt_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB17_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB17_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ugt float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_uge_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_uge_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bcnez $fcc0, .LBB18_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB18_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uge_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bcnez $fcc0, .LBB18_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB18_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uge float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_uge_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_uge_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB19_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB19_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uge_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB19_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB19_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uge float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ult_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ult_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cult.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB20_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB20_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ult_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cult.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB20_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB20_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ult float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ult_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ult_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cle.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB21_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB21_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ult_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cle.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB21_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB21_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ult float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_ule_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ule_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cule.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB22_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB22_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ule_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cule.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB22_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB22_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ule float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_ule_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_ule_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.clt.s $fcc0, $fa1, $fa0
+; LA32-NEXT: bceqz $fcc0, .LBB23_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB23_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_ule_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.clt.s $fcc0, $fa1, $fa0
+; LA64-NEXT: bceqz $fcc0, .LBB23_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB23_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp ule float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_une_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_une_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cune.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB24_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB24_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_une_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cune.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB24_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB24_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp une float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_une_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_une_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.ceq.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB25_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB25_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_une_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.ceq.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB25_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB25_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp une float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
+
+define void @br_fcmp_uno_bcnez_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_uno_bcnez_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cun.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bcnez $fcc0, .LBB26_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB26_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uno_bcnez_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cun.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bcnez $fcc0, .LBB26_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB26_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uno float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.else:
+ ret void
+if.then:
+ tail call void @abort()
+ unreachable
+}
+
+define void @br_fcmp_uno_bceqz_float(float %a, float %b) nounwind {
+; LA32-LABEL: br_fcmp_uno_bceqz_float:
+; LA32: # %bb.0:
+; LA32-NEXT: addi.w $sp, $sp, -16
+; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill
+; LA32-NEXT: fcmp.cor.s $fcc0, $fa0, $fa1
+; LA32-NEXT: bceqz $fcc0, .LBB27_2
+; LA32-NEXT: # %bb.1: # %if.else
+; LA32-NEXT: ld.w $ra, $sp, 12 # 4-byte Folded Reload
+; LA32-NEXT: addi.w $sp, $sp, 16
+; LA32-NEXT: ret
+; LA32-NEXT: .LBB27_2: # %if.then
+; LA32-NEXT: bl %plt(abort)
+;
+; LA64-LABEL: br_fcmp_uno_bceqz_float:
+; LA64: # %bb.0:
+; LA64-NEXT: addi.d $sp, $sp, -16
+; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill
+; LA64-NEXT: fcmp.cor.s $fcc0, $fa0, $fa1
+; LA64-NEXT: bceqz $fcc0, .LBB27_2
+; LA64-NEXT: # %bb.1: # %if.else
+; LA64-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload
+; LA64-NEXT: addi.d $sp, $sp, 16
+; LA64-NEXT: ret
+; LA64-NEXT: .LBB27_2: # %if.then
+; LA64-NEXT: bl %plt(abort)
+ %1 = fcmp uno float %a, %b
+ br i1 %1, label %if.then, label %if.else
+if.then:
+ tail call void @abort()
+ unreachable
+if.else:
+ ret void
+}
More information about the llvm-commits
mailing list