mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 11:42:57 +01:00
Move the GET_SIDE_EFFECT_INFO logic from isInstructionTriviallyDead
to Instruction::mayWriteToMemory, fixing a FIXME, and helping various places that call mayWriteToMemory directly. llvm-svn: 40533
This commit is contained in:
parent
fd392a7a51
commit
298f3fd9b7
@ -175,13 +175,6 @@ bool llvm::isInstructionTriviallyDead(Instruction *I) {
|
||||
|
||||
if (!I->mayWriteToMemory()) return true;
|
||||
|
||||
if (CallInst *CI = dyn_cast<CallInst>(I))
|
||||
if (Function *F = CI->getCalledFunction()) {
|
||||
unsigned IntrinsicID = F->getIntrinsicID();
|
||||
#define GET_SIDE_EFFECT_INFO
|
||||
#include "llvm/Intrinsics.gen"
|
||||
#undef GET_SIDE_EFFECT_INFO
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
|
@ -197,6 +197,15 @@ bool Instruction::isSameOperationAs(Instruction *I) const {
|
||||
return true;
|
||||
}
|
||||
|
||||
// IntrinsicOnlyReadsMemory - Return true if the specified intrinsic doesn't
|
||||
// have any side-effects or if it only reads memory.
|
||||
static bool IntrinsicOnlyReadsMemory(unsigned IntrinsicID) {
|
||||
#define GET_SIDE_EFFECT_INFO
|
||||
#include "llvm/Intrinsics.gen"
|
||||
#undef GET_SIDE_EFFECT_INFO
|
||||
return false;
|
||||
}
|
||||
|
||||
/// mayWriteToMemory - Return true if this instruction may modify memory.
|
||||
///
|
||||
bool Instruction::mayWriteToMemory() const {
|
||||
@ -208,11 +217,10 @@ bool Instruction::mayWriteToMemory() const {
|
||||
case Instruction::VAArg:
|
||||
return true;
|
||||
case Instruction::Call:
|
||||
//if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(this)) {
|
||||
if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(this)) {
|
||||
// If the intrinsic doesn't write memory, it is safe.
|
||||
// FIXME: this is obviously supposed to determine which intrinsics
|
||||
// don't write to memory, but hasn't been implemented yet.
|
||||
//}
|
||||
return !IntrinsicOnlyReadsMemory(II->getIntrinsicID());
|
||||
}
|
||||
return true;
|
||||
case Instruction::Load:
|
||||
return cast<LoadInst>(this)->isVolatile();
|
||||
|
Loading…
Reference in New Issue
Block a user