mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-01-16 14:31:59 +00:00
Factorize out a concept - no functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@67454 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
802cd84eb4
commit
64da9409cb
@ -78,6 +78,15 @@ public:
|
||||
///
|
||||
inline bool hasInitializer() const { return !isDeclaration(); }
|
||||
|
||||
/// hasDefinitiveInitializer - Whether the global variable has an initializer,
|
||||
/// and this is the initializer that will be used in the final executable.
|
||||
inline bool hasDefinitiveInitializer() const {
|
||||
return hasInitializer() &&
|
||||
// The initializer of a global variable with weak linkage may change at
|
||||
// link time.
|
||||
!mayBeOverridden();
|
||||
}
|
||||
|
||||
/// getInitializer - Return the initializer for this global variable. It is
|
||||
/// illegal to call this method if the global is external, because we cannot
|
||||
/// tell what the value is initialized to!
|
||||
|
@ -11227,15 +11227,14 @@ Instruction *InstCombiner::visitLoadInst(LoadInst &LI) {
|
||||
|
||||
// Instcombine load (constant global) into the value loaded.
|
||||
if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Op))
|
||||
if (GV->isConstant() && !GV->isDeclaration() && !GV->mayBeOverridden())
|
||||
if (GV->isConstant() && GV->hasDefinitiveInitializer())
|
||||
return ReplaceInstUsesWith(LI, GV->getInitializer());
|
||||
|
||||
// Instcombine load (constantexpr_GEP global, 0, ...) into the value loaded.
|
||||
if (ConstantExpr *CE = dyn_cast<ConstantExpr>(Op)) {
|
||||
if (CE->getOpcode() == Instruction::GetElementPtr) {
|
||||
if (GlobalVariable *GV = dyn_cast<GlobalVariable>(CE->getOperand(0)))
|
||||
if (GV->isConstant() && !GV->isDeclaration() &&
|
||||
!GV->mayBeOverridden())
|
||||
if (GV->isConstant() && GV->hasDefinitiveInitializer())
|
||||
if (Constant *V =
|
||||
ConstantFoldLoadThroughGEPConstantExpr(GV->getInitializer(), CE))
|
||||
return ReplaceInstUsesWith(LI, V);
|
||||
@ -11259,7 +11258,7 @@ Instruction *InstCombiner::visitLoadInst(LoadInst &LI) {
|
||||
// If this load comes from anywhere in a constant global, and if the global
|
||||
// is all undef or zero, we know what it loads.
|
||||
if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Op->getUnderlyingObject())){
|
||||
if (GV->isConstant() && GV->hasInitializer() && !GV->mayBeOverridden()) {
|
||||
if (GV->isConstant() && GV->hasDefinitiveInitializer()) {
|
||||
if (GV->getInitializer()->isNullValue())
|
||||
return ReplaceInstUsesWith(LI, Constant::getNullValue(LI.getType()));
|
||||
else if (isa<UndefValue>(GV->getInitializer()))
|
||||
|
@ -1131,7 +1131,7 @@ void SCCPSolver::visitLoadInst(LoadInst &I) {
|
||||
// Transform load (constant global) into the value loaded.
|
||||
if (GlobalVariable *GV = dyn_cast<GlobalVariable>(Ptr)) {
|
||||
if (GV->isConstant()) {
|
||||
if (!GV->isDeclaration() && !GV->mayBeOverridden()) {
|
||||
if (GV->hasDefinitiveInitializer()) {
|
||||
markConstant(IV, &I, GV->getInitializer());
|
||||
return;
|
||||
}
|
||||
@ -1150,7 +1150,7 @@ void SCCPSolver::visitLoadInst(LoadInst &I) {
|
||||
if (ConstantExpr *CE = dyn_cast<ConstantExpr>(Ptr))
|
||||
if (CE->getOpcode() == Instruction::GetElementPtr)
|
||||
if (GlobalVariable *GV = dyn_cast<GlobalVariable>(CE->getOperand(0)))
|
||||
if (GV->isConstant() && !GV->isDeclaration() && !GV->mayBeOverridden())
|
||||
if (GV->isConstant() && GV->hasDefinitiveInitializer())
|
||||
if (Constant *V =
|
||||
ConstantFoldLoadThroughGEPConstantExpr(GV->getInitializer(), CE)) {
|
||||
markConstant(IV, &I, V);
|
||||
|
@ -335,8 +335,7 @@ ConstantFoldMappedInstruction(const Instruction *I) {
|
||||
if (ConstantExpr *CE = dyn_cast<ConstantExpr>(Ops[0]))
|
||||
if (!LI->isVolatile() && CE->getOpcode() == Instruction::GetElementPtr)
|
||||
if (GlobalVariable *GV = dyn_cast<GlobalVariable>(CE->getOperand(0)))
|
||||
if (GV->isConstant() && !GV->isDeclaration() &&
|
||||
!GV->mayBeOverridden())
|
||||
if (GV->isConstant() && GV->hasDefinitiveInitializer())
|
||||
return ConstantFoldLoadThroughGEPConstantExpr(GV->getInitializer(),
|
||||
CE);
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user