Index: lib/Target/PowerPC/PPCFrameLowering.cpp =================================================================== --- lib/Target/PowerPC/PPCFrameLowering.cpp +++ lib/Target/PowerPC/PPCFrameLowering.cpp @@ -823,6 +823,26 @@ assert((isPPC64 || !MustSaveCR) && "Prologue CR saving supported only in 64-bit mode"); + // Check if we can move the stack update instruction (stdu) down the prologue + // past the callee saves. Hopefully this will avoid the situation where the + // saves are waiting for the update on the store with update to complete. + MachineBasicBlock::iterator StackUpdateLoc = MBBI; + bool movingStackUpdateDown = false; + if (FrameSize && !FI->hasFastCall() && !FI->usesPICBase() && !HasFP && + !HasBP && isInt<16>(FrameSize)) { + const std::vector< CalleeSavedInfo > & info = MFI.getCalleeSavedInfo(); + for (int i=0; igetDwarfRegNum(Reg, true), Offset)); BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION)) @@ -1339,6 +1362,24 @@ unsigned RBReg = SPReg; unsigned SPAdd = 0; + // Check if we can move the stack update instruction up the epilogue + // past the callee saves. This will allow restoring the lr sooner. + MachineBasicBlock::iterator StackUpdateLoc = MBBI; + bool movingStackUpdateUp = false; + if (FrameSize && !FI->hasFastCall() && !FI->usesPICBase() && !HasFP && + !HasBP && !isLargeFrame) { + const std::vector< CalleeSavedInfo > & info = MFI.getCalleeSavedInfo(); + for (int i=0; i(LROffset+SPAdd)) { - BuildMI(MBB, MBBI, dl, LoadInst, ScratchReg) + BuildMI(MBB, StackUpdateLoc, dl, LoadInst, ScratchReg) .addImm(LROffset+SPAdd) .addReg(RBReg); LoadedLR = true; @@ -1497,7 +1538,7 @@ .addReg(TempReg, getKillRegState(i == e-1)); if (MustSaveLR) - BuildMI(MBB, MBBI, dl, MTLRInst).addReg(ScratchReg); + BuildMI(MBB, StackUpdateLoc, dl, MTLRInst).addReg(ScratchReg); // Callee pop calling convention. Pop parameter/linkage area. Used for tail // call optimization Index: test/CodeGen/PowerPC/MCSE-caller-preserved-reg.ll =================================================================== --- test/CodeGen/PowerPC/MCSE-caller-preserved-reg.ll +++ test/CodeGen/PowerPC/MCSE-caller-preserved-reg.ll @@ -15,12 +15,12 @@ define noalias i8* @_ZN2CC3funEv(%class.CC* %this) { ; CHECK-LABEL: _ZN2CC3funEv: ; CHECK: mflr 0 -; CHECK-NEXT: std 0, 16(1) -; CHECK-NEXT: stdu 1, -48(1) ; CHECK-NEXT: .cfi_def_cfa_offset 48 ; CHECK-NEXT: .cfi_offset lr, 16 ; CHECK-NEXT: .cfi_offset r30, -16 -; CHECK-NEXT: std 30, 32(1) +; CHECK-NEXT: std 30, -16(1) +; CHECK-NEXT: std 0, 16(1) +; CHECK-NEXT: stdu 1, -48(1) ; CHECK-NEXT: mr 30, 3 ; CHECK-NEXT: ld 12, 0(30) ; CHECK-NEXT: std 2, 24(1) @@ -38,11 +38,11 @@ ; CHECK-NEXT: mr 3, 30 ; CHECK-NEXT: bl _ZN2CC3barEPi ; CHECK-NEXT: nop -; CHECK: ld 30, 32(1) -; CHECK-NEXT: li 3, 0 +; CHECK: li 3, 0 ; CHECK-NEXT: addi 1, 1, 48 ; CHECK-NEXT: ld 0, 16(1) ; CHECK-NEXT: mtlr 0 +; CHECK: ld 30, -16(1) ; CHECK-NEXT: blr entry: %foo = getelementptr inbounds %class.CC, %class.CC* %this, i64 0, i32 0, i32 0 Index: test/CodeGen/PowerPC/ppc-redzone-alignment-bug.ll =================================================================== --- test/CodeGen/PowerPC/ppc-redzone-alignment-bug.ll +++ test/CodeGen/PowerPC/ppc-redzone-alignment-bug.ll @@ -16,12 +16,12 @@ ; stfd 14, 416(1) ; After the fix by patch D34337: +; CHECK-LE:std 15, -280(1) +; CHECK-LE:stfd 14, -144(1) ; CHECK-LE: stdu 1, -528(1) -; CHECK-LE:std 15, 248(1) -; CHECK-LE:stfd 14, 384(1) +; CHECK-BE:std 15, -280(1) +; CHECK-BE:stfd 14, -144(1) ; CHECK-BE: stdu 1, -544(1) -; CHECK-BE:std 15, 264(1) -; CHECK-BE:stfd 14, 400(1) } define signext i32 @foo() { Index: test/CodeGen/PowerPC/ppc-shrink-wrapping.ll =================================================================== --- test/CodeGen/PowerPC/ppc-shrink-wrapping.ll +++ test/CodeGen/PowerPC/ppc-shrink-wrapping.ll @@ -110,7 +110,7 @@ ; ; Epilogue code. ; CHECK: mtlr {{[0-9]+}} -; CHECK-NEXT: blr +; CHECK: blr ; ; ENABLE: .[[ELSE_LABEL]]: # %if.else ; Shift second argument by one and store into returned register. @@ -171,7 +171,7 @@ ; Next BB ; CHECK: %for.end ; CHECK: mtlr {{[0-9]+}} -; CHECK-NEXT: blr +; CHECK: blr define i32 @freqSaveAndRestoreOutsideLoop2(i32 %cond) { entry: br label %for.preheader @@ -209,9 +209,9 @@ ; Make sure we save the link register ; CHECK: mflr {{[0-9]+}} ; -; DISABLE: cmplwi 0, 3, 0 -; DISABLE-NEXT: std +; DISABLE: std ; DISABLE-NEXT: std +; DISABLE: cmplwi 0, 3, 0 ; DISABLE-NEXT: beq 0, .[[ELSE_LABEL:LBB[0-9_]+]] ; ; Loop preheader @@ -240,7 +240,7 @@ ; DISABLE: .[[EPILOG_BB]]: # %if.end ; Epilog code ; CHECK: mtlr {{[0-9]+}} -; CHECK-NEXT: blr +; CHECK: blr ; ; ENABLE: .[[ELSE_LABEL]]: # %if.else ; Shift second argument by one and store into returned register. @@ -291,9 +291,9 @@ ; Make sure we save the link register ; CHECK: mflr {{[0-9]+}} ; -; DISABLE: cmplwi 0, 3, 0 -; DISABLE-NEXT: std +; DISABLE: std ; DISABLE-NEXT: std +; DISABLE: cmplwi 0, 3, 0 ; DISABLE-NEXT: beq 0, .[[ELSE_LABEL:LBB[0-9_]+]] ; ; CHECK: bl somethingElse @@ -322,7 +322,7 @@ ; ; Epilogue code. ; CHECK: mtlr {{[0-9]+}} -; CHECK-NEXT: blr +; CHECK: blr ; ; ENABLE: .[[ELSE_LABEL]]: # %if.else ; Shift second argument by one and store into returned register. Index: test/CodeGen/PowerPC/tls_get_addr_clobbers.ll =================================================================== --- test/CodeGen/PowerPC/tls_get_addr_clobbers.ll +++ test/CodeGen/PowerPC/tls_get_addr_clobbers.ll @@ -6,7 +6,7 @@ entry: ; CHECK-LABEL: test_foo: -; CHECK: stdu 1, {{-?[0-9]+}}(1) +; CHECK-DAG: stdu 1, {{-?[0-9]+}}(1) ; CHECK-DAG: mr [[BACKUP_3:[0-9]+]], 3 ; CHECK-DAG: mr [[BACKUP_4:[0-9]+]], 4 ; CHECK-DAG: mr [[BACKUP_5:[0-9]+]], 5 @@ -15,14 +15,14 @@ ; CHECK-DAG: mr [[BACKUP_8:[0-9]+]], 8 ; CHECK-DAG: mr [[BACKUP_9:[0-9]+]], 9 ; CHECK-DAG: mr [[BACKUP_10:[0-9]+]], 10 -; CHECK-DAG: std [[BACKUP_3]], {{[0-9]+}}(1) -; CHECK-DAG: std [[BACKUP_4]], {{[0-9]+}}(1) -; CHECK-DAG: std [[BACKUP_5]], {{[0-9]+}}(1) -; CHECK-DAG: std [[BACKUP_6]], {{[0-9]+}}(1) -; CHECK-DAG: std [[BACKUP_7]], {{[0-9]+}}(1) -; CHECK-DAG: std [[BACKUP_8]], {{[0-9]+}}(1) -; CHECK-DAG: std [[BACKUP_9]], {{[0-9]+}}(1) -; CHECK-DAG: std [[BACKUP_10]], {{[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_3]], {{-?[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_4]], {{-?[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_5]], {{-?[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_6]], {{-?[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_7]], {{-?[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_8]], {{-?[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_9]], {{-?[0-9]+}}(1) +; CHECK-DAG: std [[BACKUP_10]], {{-?[0-9]+}}(1) ; CHECK: bl __tls_get_addr ; CHECK-DAG: stw 3, 0([[BACKUP_3]]) ; CHECK-DAG: stw 3, 0([[BACKUP_4]]) Index: test/CodeGen/PowerPC/vsxD-Form-spills.ll =================================================================== --- test/CodeGen/PowerPC/vsxD-Form-spills.ll +++ test/CodeGen/PowerPC/vsxD-Form-spills.ll @@ -4,35 +4,37 @@ define <4 x i32> @testSpill(<4 x i32> %a, <4 x i32> %b) { ; CHECK-LABEL: testSpill: -; CHECK: li 11, 80 -; CHECK: li 12, 96 -; CHECK: li 3, 48 -; CHECK: li 10, 64 -; CHECK: stxvd2x 62, 1, 11 # 16-byte Folded Spill -; CHECK: stxvd2x 63, 1, 12 # 16-byte Folded Spill -; CHECK: stxvd2x 60, 1, 3 # 16-byte Folded Spill -; CHECK: stxvd2x 61, 1, 10 # 16-byte Folded Spill -; CHECK: li 9, 96 -; CHECK: li 10, 80 -; CHECK: li 11, 64 -; CHECK: li 12, 48 -; CHECK: lxvd2x 63, 1, 9 # 16-byte Folded Reload -; CHECK: lxvd2x 62, 1, 10 # 16-byte Folded Reload -; CHECK: lxvd2x 61, 1, 11 # 16-byte Folded Reload -; CHECK: lxvd2x 60, 1, 12 # 16-byte Folded Reload +; CHECK-DAG: li [[REG64:[0-9]+]], -64 +; CHECK-DAG: li [[REG48:[0-9]+]], -48 +; CHECK-DAG: li [[REG32:[0-9]+]], -32 +; CHECK-DAG: li [[REG16:[0-9]+]], -16 +; CHECK-NOT: li +; CHECK-DAG: stxvd2x 60, 1, [[REG64]] # 16-byte Folded Spill +; CHECK-DAG: stxvd2x 61, 1, [[REG48]] # 16-byte Folded Spill +; CHECK-DAG: stxvd2x 62, 1, [[REG32]] # 16-byte Folded Spill +; CHECK-DAG: stxvd2x 63, 1, [[REG16]] # 16-byte Folded Spill +; CHECK: std 0, 16(1) +; CHECK-DAG: li [[REG16:[0-9]+]], -16 +; CHECK-DAG: li [[REG32:[0-9]+]], -32 +; CHECK-DAG: li [[REG48:[0-9]+]], -48 +; CHECK-DAG: li [[REG64:[0-9]+]], -64 ; CHECK: mtlr 0 +; CHECK-DAG: lxvd2x 63, 1, [[REG16]] # 16-byte Folded Reload +; CHECK-DAG: lxvd2x 62, 1, [[REG32]] # 16-byte Folded Reload +; CHECK-DAG: lxvd2x 61, 1, [[REG48]] # 16-byte Folded Reload +; CHECK-DAG: lxvd2x 60, 1, [[REG64]] # 16-byte Folded Reload ; CHECK-NEXT: blr ; ; CHECK-PWR9-LABEL: testSpill: -; CHECK-PWR9: stxv 62, 80(1) # 16-byte Folded Spill -; CHECK-PWR9: stxv 63, 96(1) # 16-byte Folded Spill -; CHECK-PWR9: stxv 60, 48(1) # 16-byte Folded Spill -; CHECK-PWR9: stxv 61, 64(1) # 16-byte Folded Spill -; CHECK-PWR9: lxv 63, 96(1) # 16-byte Folded Reload -; CHECK-PWR9: lxv 62, 80(1) # 16-byte Folded Reload -; CHECK-PWR9: lxv 61, 64(1) # 16-byte Folded Reload -; CHECK-PWR9: lxv 60, 48(1) # 16-byte Folded Reload +; CHECK-PWR9-DAG: stxv 60, -64(1) # 16-byte Folded Spill +; CHECK-PWR9-DAG: stxv 61, -48(1) # 16-byte Folded Spill +; CHECK-PWR9-DAG: stxv 62, -32(1) # 16-byte Folded Spill +; CHECK-PWR9-DAG: stxv 63, -16(1) # 16-byte Folded Spill ; CHECK-PWR9: mtlr 0 +; CHECK-PWR9-DAG: lxv 63, -16(1) # 16-byte Folded Reload +; CHECK-PWR9-DAG: lxv 62, -32(1) # 16-byte Folded Reload +; CHECK-PWR9-DAG: lxv 61, -48(1) # 16-byte Folded Reload +; CHECK-PWR9-DAG: lxv 60, -64(1) # 16-byte Folded Reload ; CHECK-PWR9-NEXT: blr entry: