diff --git a/llvm/lib/Target/LoongArch/LoongArchFrameLowering.h b/llvm/lib/Target/LoongArch/LoongArchFrameLowering.h --- a/llvm/lib/Target/LoongArch/LoongArchFrameLowering.h +++ b/llvm/lib/Target/LoongArch/LoongArchFrameLowering.h @@ -55,6 +55,8 @@ uint64_t getFirstSPAdjustAmount(const MachineFunction &MF, bool IsPrologue = false) const; + bool enableShrinkWrapping(const MachineFunction &MF) const override; + private: void determineFrameLayout(MachineFunction &MF) const; void adjustReg(MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI, diff --git a/llvm/lib/Target/LoongArch/LoongArchFrameLowering.cpp b/llvm/lib/Target/LoongArch/LoongArchFrameLowering.cpp --- a/llvm/lib/Target/LoongArch/LoongArchFrameLowering.cpp +++ b/llvm/lib/Target/LoongArch/LoongArchFrameLowering.cpp @@ -519,3 +519,12 @@ return Offset; } + +bool LoongArchFrameLowering::enableShrinkWrapping( + const MachineFunction &MF) const { + // Keep the conventional code flow when not optimizing. + if (MF.getFunction().hasOptNone()) + return false; + + return true; +} diff --git a/llvm/test/CodeGen/LoongArch/double-br-fcmp.ll b/llvm/test/CodeGen/LoongArch/double-br-fcmp.ll --- a/llvm/test/CodeGen/LoongArch/double-br-fcmp.ll +++ b/llvm/test/CodeGen/LoongArch/double-br-fcmp.ll @@ -7,28 +7,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oeq double %a, %b br i1 %1, label %if.then, label %if.else @@ -42,28 +38,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oeq double %a, %b br i1 %1, label %if.then, label %if.else @@ -77,28 +69,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ogt double %a, %b br i1 %1, label %if.then, label %if.else @@ -112,28 +100,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ogt double %a, %b br i1 %1, label %if.then, label %if.else @@ -147,28 +131,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oge double %a, %b br i1 %1, label %if.then, label %if.else @@ -182,28 +162,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oge double %a, %b br i1 %1, label %if.then, label %if.else @@ -217,28 +193,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp olt double %a, %b br i1 %1, label %if.then, label %if.else @@ -252,28 +224,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp olt double %a, %b br i1 %1, label %if.then, label %if.else @@ -287,28 +255,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ole double %a, %b br i1 %1, label %if.then, label %if.else @@ -322,28 +286,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ole double %a, %b br i1 %1, label %if.then, label %if.else @@ -357,28 +317,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp one double %a, %b br i1 %1, label %if.then, label %if.else @@ -392,28 +348,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp one double %a, %b br i1 %1, label %if.then, label %if.else @@ -427,28 +379,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ord double %a, %b br i1 %1, label %if.then, label %if.else @@ -462,28 +410,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ord double %a, %b br i1 %1, label %if.then, label %if.else @@ -497,28 +441,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ueq double %a, %b br i1 %1, label %if.then, label %if.else @@ -532,28 +472,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ueq double %a, %b br i1 %1, label %if.then, label %if.else @@ -567,28 +503,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ugt double %a, %b br i1 %1, label %if.then, label %if.else @@ -602,28 +534,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ugt double %a, %b br i1 %1, label %if.then, label %if.else @@ -637,28 +565,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uge double %a, %b br i1 %1, label %if.then, label %if.else @@ -672,28 +596,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uge double %a, %b br i1 %1, label %if.then, label %if.else @@ -707,28 +627,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ult double %a, %b br i1 %1, label %if.then, label %if.else @@ -742,28 +658,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ult double %a, %b br i1 %1, label %if.then, label %if.else @@ -777,28 +689,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ule double %a, %b br i1 %1, label %if.then, label %if.else @@ -812,28 +720,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ule double %a, %b br i1 %1, label %if.then, label %if.else @@ -847,28 +751,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp une double %a, %b br i1 %1, label %if.then, label %if.else @@ -882,28 +782,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp une double %a, %b br i1 %1, label %if.then, label %if.else @@ -917,28 +813,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uno double %a, %b br i1 %1, label %if.then, label %if.else @@ -952,28 +844,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uno double %a, %b br i1 %1, label %if.then, label %if.else diff --git a/llvm/test/CodeGen/LoongArch/float-br-fcmp.ll b/llvm/test/CodeGen/LoongArch/float-br-fcmp.ll --- a/llvm/test/CodeGen/LoongArch/float-br-fcmp.ll +++ b/llvm/test/CodeGen/LoongArch/float-br-fcmp.ll @@ -7,28 +7,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oeq float %a, %b br i1 %1, label %if.then, label %if.else @@ -42,28 +38,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oeq float %a, %b br i1 %1, label %if.then, label %if.else @@ -77,28 +69,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ogt float %a, %b br i1 %1, label %if.then, label %if.else @@ -112,28 +100,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ogt float %a, %b br i1 %1, label %if.then, label %if.else @@ -147,28 +131,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oge float %a, %b br i1 %1, label %if.then, label %if.else @@ -182,28 +162,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp oge float %a, %b br i1 %1, label %if.then, label %if.else @@ -217,28 +193,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp olt float %a, %b br i1 %1, label %if.then, label %if.else @@ -252,28 +224,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp olt float %a, %b br i1 %1, label %if.then, label %if.else @@ -287,28 +255,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ole float %a, %b br i1 %1, label %if.then, label %if.else @@ -322,28 +286,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ole float %a, %b br i1 %1, label %if.then, label %if.else @@ -357,28 +317,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp one float %a, %b br i1 %1, label %if.then, label %if.else @@ -392,28 +348,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp one float %a, %b br i1 %1, label %if.then, label %if.else @@ -427,28 +379,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ord float %a, %b br i1 %1, label %if.then, label %if.else @@ -462,28 +410,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ord float %a, %b br i1 %1, label %if.then, label %if.else @@ -497,28 +441,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ueq float %a, %b br i1 %1, label %if.then, label %if.else @@ -532,28 +472,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ueq float %a, %b br i1 %1, label %if.then, label %if.else @@ -567,28 +503,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ugt float %a, %b br i1 %1, label %if.then, label %if.else @@ -602,28 +534,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ugt float %a, %b br i1 %1, label %if.then, label %if.else @@ -637,28 +565,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uge float %a, %b br i1 %1, label %if.then, label %if.else @@ -672,28 +596,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uge float %a, %b br i1 %1, label %if.then, label %if.else @@ -707,28 +627,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ult float %a, %b br i1 %1, label %if.then, label %if.else @@ -742,28 +658,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ult float %a, %b br i1 %1, label %if.then, label %if.else @@ -777,28 +689,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ule float %a, %b br i1 %1, label %if.then, label %if.else @@ -812,28 +720,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp ule float %a, %b br i1 %1, label %if.then, label %if.else @@ -847,28 +751,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp une float %a, %b br i1 %1, label %if.then, label %if.else @@ -882,28 +782,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp une float %a, %b br i1 %1, label %if.then, label %if.else @@ -917,28 +813,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uno float %a, %b br i1 %1, label %if.then, label %if.else @@ -952,28 +844,24 @@ 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: addi.w $sp, $sp, -16 +; LA32-NEXT: st.w $ra, $sp, 12 # 4-byte Folded Spill ; 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: addi.d $sp, $sp, -16 +; LA64-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill ; LA64-NEXT: bl %plt(abort) %1 = fcmp uno float %a, %b br i1 %1, label %if.then, label %if.else diff --git a/llvm/test/CodeGen/LoongArch/shrinkwrap.ll b/llvm/test/CodeGen/LoongArch/shrinkwrap.ll new file mode 100644 --- /dev/null +++ b/llvm/test/CodeGen/LoongArch/shrinkwrap.ll @@ -0,0 +1,113 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc --mtriple=loongarch64 -O0 < %s | FileCheck %s --check-prefix=NOSHRINKW +; RUN: llc --mtriple=loongarch64 -O2 < %s | FileCheck %s --check-prefix=SHRINKW + +declare void @abort() + +define void @eliminate_restore(i32 %n) nounwind { +; NOSHRINKW-LABEL: eliminate_restore: +; NOSHRINKW: # %bb.0: +; NOSHRINKW-NEXT: addi.d $sp, $sp, -16 +; NOSHRINKW-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill +; NOSHRINKW-NEXT: # kill: def $r5 killed $r4 +; NOSHRINKW-NEXT: bstrpick.d $a1, $a0, 31, 0 +; NOSHRINKW-NEXT: ori $a0, $zero, 32 +; NOSHRINKW-NEXT: bltu $a0, $a1, .LBB0_2 +; NOSHRINKW-NEXT: b .LBB0_1 +; NOSHRINKW-NEXT: .LBB0_1: # %if.then +; NOSHRINKW-NEXT: bl %plt(abort) +; NOSHRINKW-NEXT: .LBB0_2: # %if.end +; NOSHRINKW-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload +; NOSHRINKW-NEXT: addi.d $sp, $sp, 16 +; NOSHRINKW-NEXT: ret +; +; SHRINKW-LABEL: eliminate_restore: +; SHRINKW: # %bb.0: +; SHRINKW-NEXT: bstrpick.d $a0, $a0, 31, 0 +; SHRINKW-NEXT: ori $a1, $zero, 32 +; SHRINKW-NEXT: bgeu $a1, $a0, .LBB0_2 +; SHRINKW-NEXT: # %bb.1: # %if.end +; SHRINKW-NEXT: ret +; SHRINKW-NEXT: .LBB0_2: # %if.then +; SHRINKW-NEXT: addi.d $sp, $sp, -16 +; SHRINKW-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill +; SHRINKW-NEXT: bl %plt(abort) + %cmp = icmp ule i32 %n, 32 + br i1 %cmp, label %if.then, label %if.end + +if.then: + call void @abort() + unreachable + +if.end: + ret void +} + +declare void @notdead(ptr) + +define void @conditional_alloca(i32 %n) nounwind { +; NOSHRINKW-LABEL: conditional_alloca: +; NOSHRINKW: # %bb.0: +; NOSHRINKW-NEXT: addi.d $sp, $sp, -32 +; NOSHRINKW-NEXT: st.d $ra, $sp, 24 # 8-byte Folded Spill +; NOSHRINKW-NEXT: st.d $fp, $sp, 16 # 8-byte Folded Spill +; NOSHRINKW-NEXT: addi.d $fp, $sp, 32 +; NOSHRINKW-NEXT: move $a1, $a0 +; NOSHRINKW-NEXT: st.d $a1, $fp, -24 # 8-byte Folded Spill +; NOSHRINKW-NEXT: bstrpick.d $a1, $a0, 31, 0 +; NOSHRINKW-NEXT: ori $a0, $zero, 32 +; NOSHRINKW-NEXT: bltu $a0, $a1, .LBB1_2 +; NOSHRINKW-NEXT: b .LBB1_1 +; NOSHRINKW-NEXT: .LBB1_1: # %if.then +; NOSHRINKW-NEXT: ld.d $a0, $fp, -24 # 8-byte Folded Reload +; NOSHRINKW-NEXT: addi.w $a1, $zero, -16 +; NOSHRINKW-NEXT: lu32i.d $a1, 1 +; NOSHRINKW-NEXT: bstrpick.d $a0, $a0, 31, 0 +; NOSHRINKW-NEXT: addi.d $a0, $a0, 15 +; NOSHRINKW-NEXT: and $a1, $a0, $a1 +; NOSHRINKW-NEXT: move $a0, $sp +; NOSHRINKW-NEXT: sub.d $a0, $a0, $a1 +; NOSHRINKW-NEXT: move $sp, $a0 +; NOSHRINKW-NEXT: bl %plt(notdead) +; NOSHRINKW-NEXT: b .LBB1_2 +; NOSHRINKW-NEXT: .LBB1_2: # %if.end +; NOSHRINKW-NEXT: addi.d $sp, $fp, -32 +; NOSHRINKW-NEXT: ld.d $fp, $sp, 16 # 8-byte Folded Reload +; NOSHRINKW-NEXT: ld.d $ra, $sp, 24 # 8-byte Folded Reload +; NOSHRINKW-NEXT: addi.d $sp, $sp, 32 +; NOSHRINKW-NEXT: ret +; +; SHRINKW-LABEL: conditional_alloca: +; SHRINKW: # %bb.0: +; SHRINKW-NEXT: bstrpick.d $a0, $a0, 31, 0 +; SHRINKW-NEXT: ori $a1, $zero, 32 +; SHRINKW-NEXT: bltu $a1, $a0, .LBB1_2 +; SHRINKW-NEXT: # %bb.1: # %if.then +; SHRINKW-NEXT: addi.d $sp, $sp, -16 +; SHRINKW-NEXT: st.d $ra, $sp, 8 # 8-byte Folded Spill +; SHRINKW-NEXT: st.d $fp, $sp, 0 # 8-byte Folded Spill +; SHRINKW-NEXT: addi.d $fp, $sp, 16 +; SHRINKW-NEXT: addi.w $a1, $zero, -16 +; SHRINKW-NEXT: lu32i.d $a1, 1 +; SHRINKW-NEXT: addi.d $a0, $a0, 15 +; SHRINKW-NEXT: and $a0, $a0, $a1 +; SHRINKW-NEXT: sub.d $a0, $sp, $a0 +; SHRINKW-NEXT: move $sp, $a0 +; SHRINKW-NEXT: bl %plt(notdead) +; SHRINKW-NEXT: addi.d $sp, $fp, -16 +; SHRINKW-NEXT: ld.d $fp, $sp, 0 # 8-byte Folded Reload +; SHRINKW-NEXT: ld.d $ra, $sp, 8 # 8-byte Folded Reload +; SHRINKW-NEXT: addi.d $sp, $sp, 16 +; SHRINKW-NEXT: .LBB1_2: # %if.end +; SHRINKW-NEXT: ret + %cmp = icmp ule i32 %n, 32 + br i1 %cmp, label %if.then, label %if.end + +if.then: + %addr = alloca i8, i32 %n + call void @notdead(ptr %addr) + br label %if.end + +if.end: + ret void +}