[LoongArch] Support ISD::BR_CC and branch according to condition flag register

[gonglingqin]

Summary

Use bceqz/bcnez instead of movcf2gr + bnez/beqz for branch jumps.

[xen0n]

Thanks!

llvm/lib/Target/LoongArch/LoongArchFloat32InstrInfo.td

 def : PatFPSetcc<SETO,   FCMP_COR_S,  FPR32>;
 def : PatFPSetcc<SETUEQ, FCMP_CUEQ_S, FPR32>;
 def : PatFPSetcc<SETULT, FCMP_CULT_S, FPR32>;
 def : PatFPSetcc<SETULE, FCMP_CULE_S, FPR32>;
 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
 
 def : Pat<(select GPR:$cc, FPR32:$fk, FPR32:$fj),
           (FSEL_S FPR32:$fj, FPR32:$fk, (MOVGR2CF GPR:$cc))>;
 
 /// Selectcc

llvm/lib/Target/LoongArch/LoongArchFloat64InstrInfo.td

 def : PatFPSetcc<SETO,   FCMP_COR_D,  FPR64>;
 def : PatFPSetcc<SETUEQ, FCMP_CUEQ_D, FPR64>;
 def : PatFPSetcc<SETULT, FCMP_CULT_D, FPR64>;
 def : PatFPSetcc<SETULE, FCMP_CULE_D, FPR64>;
 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
 
 def : Pat<(select GPR:$cc, FPR64:$fk, FPR64:$fj),
           (FSEL_D FPR64:$fj, FPR64:$fk, (MOVGR2CF GPR:$cc))>;
 
 /// Selectcc

llvm/lib/Target/LoongArch/LoongArchISelLowering.cpp

LoongArchTargetLowering::LoongArchTargetLowering(const TargetMachine &TM,
   }
 
   static const ISD::CondCode FPCCToExpand[] = {ISD::SETOGT, ISD::SETOGE,
                                                ISD::SETUGT, ISD::SETUGE};
 
   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);
   }
 
   setOperationAction(ISD::BR_CC, GRLenVT, Expand);
   setOperationAction(ISD::SELECT_CC, GRLenVT, Expand);
   setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1, Expand);
   setOperationAction({ISD::SMUL_LOHI, ISD::UMUL_LOHI}, GRLenVT, Expand);

llvm/test/CodeGen/LoongArch/double-br-fcmp.ll

+; 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
+}

llvm/test/CodeGen/LoongArch/float-br-fcmp.ll

+; 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
+}