mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-09-27 00:21:03 +00:00
Duncan pointed out that the LandingPadInst might read memory. (It might also
write to memory.) Marking it as such makes some checks for immobility go away. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@137655 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
@@ -99,9 +99,6 @@ bool Loop::makeLoopInvariant(Instruction *I, bool &Changed,
|
|||||||
return false;
|
return false;
|
||||||
if (I->mayReadFromMemory())
|
if (I->mayReadFromMemory())
|
||||||
return false;
|
return false;
|
||||||
// The landingpad instruction is immobile.
|
|
||||||
if (isa<LandingPadInst>(I))
|
|
||||||
return false;
|
|
||||||
// Determine the insertion point, unless one was given.
|
// Determine the insertion point, unless one was given.
|
||||||
if (!InsertPt) {
|
if (!InsertPt) {
|
||||||
BasicBlock *Preheader = getLoopPreheader();
|
BasicBlock *Preheader = getLoopPreheader();
|
||||||
|
@@ -1417,9 +1417,8 @@ Instruction *InstCombiner::visitExtractValueInst(ExtractValueInst &EV) {
|
|||||||
static bool TryToSinkInstruction(Instruction *I, BasicBlock *DestBlock) {
|
static bool TryToSinkInstruction(Instruction *I, BasicBlock *DestBlock) {
|
||||||
assert(I->hasOneUse() && "Invariants didn't hold!");
|
assert(I->hasOneUse() && "Invariants didn't hold!");
|
||||||
|
|
||||||
// Cannot move control-flow-involving, volatile loads, vaarg, landingpad, etc.
|
// Cannot move control-flow-involving, volatile loads, vaarg, etc.
|
||||||
if (isa<PHINode>(I) || isa<LandingPadInst>(I) || I->mayHaveSideEffects() ||
|
if (isa<PHINode>(I) || I->mayHaveSideEffects() || isa<TerminatorInst>(I))
|
||||||
isa<TerminatorInst>(I))
|
|
||||||
return false;
|
return false;
|
||||||
|
|
||||||
// Do not sink alloca instructions out of the entry block.
|
// Do not sink alloca instructions out of the entry block.
|
||||||
|
@@ -320,6 +320,7 @@ bool Instruction::mayReadFromMemory() const {
|
|||||||
case Instruction::Fence: // FIXME: refine definition of mayReadFromMemory
|
case Instruction::Fence: // FIXME: refine definition of mayReadFromMemory
|
||||||
case Instruction::AtomicCmpXchg:
|
case Instruction::AtomicCmpXchg:
|
||||||
case Instruction::AtomicRMW:
|
case Instruction::AtomicRMW:
|
||||||
|
case Instruction::LandingPad:
|
||||||
return true;
|
return true;
|
||||||
case Instruction::Call:
|
case Instruction::Call:
|
||||||
return !cast<CallInst>(this)->doesNotAccessMemory();
|
return !cast<CallInst>(this)->doesNotAccessMemory();
|
||||||
@@ -340,6 +341,7 @@ bool Instruction::mayWriteToMemory() const {
|
|||||||
case Instruction::VAArg:
|
case Instruction::VAArg:
|
||||||
case Instruction::AtomicCmpXchg:
|
case Instruction::AtomicCmpXchg:
|
||||||
case Instruction::AtomicRMW:
|
case Instruction::AtomicRMW:
|
||||||
|
case Instruction::LandingPad:
|
||||||
return true;
|
return true;
|
||||||
case Instruction::Call:
|
case Instruction::Call:
|
||||||
return !cast<CallInst>(this)->onlyReadsMemory();
|
return !cast<CallInst>(this)->onlyReadsMemory();
|
||||||
|
Reference in New Issue
Block a user