RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 10:42:39 +01:00
Code Issues Projects Releases Wiki Activity

PR47468: Fix findPHICopyInsertPoint, so that copies aren't incorrectly inserted after an INLINEASM_BR.

Browse Source 
findPHICopyInsertPoint special cases placement in a block with a
callbr or invoke in it. In that case, we must ensure that the copy is
placed before the INLINEASM_BR or call instruction, if the register is
defined prior to that instruction, because it may jump out of the
block.

Previously, the code placed it immediately after the last def _or
use_. This is wrong, if the use is the instruction which may jump.  We
could correctly place it immediately after the last def (ignoring
uses), but that is non-optimal for register pressure.

Instead, place the copy after the last def, or before the
call/inlineasm_br, whichever is later.

Differential Revision: https://reviews.llvm.org/D87865

(cherry picked from commit f7a53d82c0902147909f28a9295a9d00b4b27d38)
This commit is contained in:
James Y Knight 2020-09-17 18:10:19 -04:00 committed by Hans Wennborg
parent a654ae5458
commit 5f31397e39
2 changed files with 68 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
lib/CodeGen/PHIEliminationUtils.cpp
View File

@ -27,31 +27,35 @@ llvm::findPHICopyInsertPoint(MachineBasicBlock* MBB, MachineBasicBlock* SuccMBB,
// Usually, we just want to insert the copy before the first terminator // Usually, we just want to insert the copy before the first terminator
// instruction. However, for the edge going to a landing pad, we must insert // instruction. However, for the edge going to a landing pad, we must insert
// the copy before the call/invoke instruction. Similarly for an INLINEASM_BR // the copy before the call/invoke instruction. Similarly for an INLINEASM_BR
// going to an indirect target. // going to an indirect target. This is similar to SplitKit.cpp's
if (!SuccMBB->isEHPad() && !SuccMBB->isInlineAsmBrIndirectTarget()) // computeLastInsertPoint, and similarly assumes that there cannot be multiple
// instructions that are Calls with EHPad successors or INLINEASM_BR in a
// block.
bool EHPadSuccessor = SuccMBB->isEHPad();
if (!EHPadSuccessor && !SuccMBB->isInlineAsmBrIndirectTarget())
return MBB->getFirstTerminator(); return MBB->getFirstTerminator();
// Discover any defs/uses in this basic block. // Discover any defs in this basic block.
SmallPtrSet<MachineInstr*, 8> DefUsesInMBB; SmallPtrSet<MachineInstr *, 8> DefsInMBB;
MachineRegisterInfo& MRI = MBB->getParent()->getRegInfo(); MachineRegisterInfo& MRI = MBB->getParent()->getRegInfo();
for (MachineInstr &RI : MRI.reg_instructions(SrcReg)) { for (MachineInstr &RI : MRI.def_instructions(SrcReg))
if (RI.getParent() == MBB) if (RI.getParent() == MBB)
DefUsesInMBB.insert(&RI); DefsInMBB.insert(&RI);
}
MachineBasicBlock::iterator InsertPoint; MachineBasicBlock::iterator InsertPoint = MBB->begin();
if (DefUsesInMBB.empty()) { // Insert the copy at the _latest_ point of:
// No defs. Insert the copy at the start of the basic block. // 1. Immediately AFTER the last def
InsertPoint = MBB->begin(); // 2. Immediately BEFORE a call/inlineasm_br.
} else if (DefUsesInMBB.size() == 1) { for (auto I = MBB->rbegin(), E = MBB->rend(); I != E; ++I) {
// Insert the copy immediately after the def/use. if (DefsInMBB.contains(&*I)) {
InsertPoint = *DefUsesInMBB.begin(); InsertPoint = std::next(I.getReverse());
++InsertPoint; break;
} else { }
// Insert the copy immediately after the last def/use. if ((EHPadSuccessor && I->isCall()) ||
InsertPoint = MBB->end(); I->getOpcode() == TargetOpcode::INLINEASM_BR) {
while (!DefUsesInMBB.count(&*--InsertPoint)) {} InsertPoint = I.getReverse();
++InsertPoint; break;
}
} }
// Make sure the copy goes after any phi nodes but before // Make sure the copy goes after any phi nodes but before

44
test/CodeGen/X86/callbr-asm-phi-placement.ll Normal file
View File

@ -0,0 +1,44 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=x86_64-unknown-linux-gnu -verify-machineinstrs -O2 < %s | FileCheck %s
;; https://bugs.llvm.org/PR47468
;; PHI elimination should place copies BEFORE the inline asm, not
;; after, even if the inline-asm uses as an input the same value as
;; the PHI.
declare void @foo(i8*)
define void @test1(i8* %arg, i8** %mem) nounwind {
; CHECK-LABEL: test1:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: pushq %r14
; CHECK-NEXT: pushq %rbx
; CHECK-NEXT: pushq %rax
; CHECK-NEXT: movq %rsi, %r14
; CHECK-NEXT: .Ltmp0: # Block address taken
; CHECK-NEXT: .LBB0_1: # %loop
; CHECK-NEXT: # =>This Inner Loop Header: Depth=1
; CHECK-NEXT: movq (%r14), %rbx
; CHECK-NEXT: callq foo
; CHECK-NEXT: movq %rbx, %rdi
; CHECK-NEXT: #APP
; CHECK-NEXT: #NO_APP
; CHECK-NEXT: # %bb.2: # %end
; CHECK-NEXT: addq $8, %rsp
; CHECK-NEXT: popq %rbx
; CHECK-NEXT: popq %r14
; CHECK-NEXT: retq
entry:
br label %loop
loop:
%a = phi i8* [ %arg, %entry ], [ %b, %loop ]
%b = load i8*, i8** %mem, align 8
call void @foo(i8* %a)
callbr void asm sideeffect "", "*m,X"(i8* %b, i8* blockaddress(@test1, %loop))
to label %end [label %loop]
end:
ret void
}