AcoSail/llvm-project
8
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[LoongArch] Enable shrink wrapping when optimize the function

Browse Source 
We set it conservatively so that it is turned on when optimization
is enabled, i.e. when the optimization level is not `O0`.

Reviewed By: xen0n

Differential Revision: https://reviews.llvm.org/D142876
This commit is contained in:
wanglei 2023-02-01 09:03:35 +08:00
parent 01890942f0
commit 25ecfbf892
5 changed files with 348 additions and 448 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
llvm/lib/Target/LoongArch/LoongArchFrameLowering.cpp
View File

@ -519,3 +519,12 @@ StackOffset LoongArchFrameLowering::getFrameIndexReference(
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;
}

2
llvm/lib/Target/LoongArch/LoongArchFrameLowering.h
View File

@ -55,6 +55,8 @@ public:
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,

336
llvm/test/CodeGen/LoongArch/double-br-fcmp.ll
View File

@ -7,28 +7,24 @@ 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: 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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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

336
llvm/test/CodeGen/LoongArch/float-br-fcmp.ll
View File

@ -7,28 +7,24 @@ 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: 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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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 @@ if.else:
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 @@ if.then:
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

113
llvm/test/CodeGen/LoongArch/shrinkwrap.ll Normal file
View File

@ -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
}