mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-04-10 08:40:41 +00:00
Make InstructionCombining::getBitCastOperand() recognize GEP instructions and
constant expression with all zero indices as being the same as a bitcast. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@57442 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
e49d0bc946
commit
7e6d9b96ad
@ -436,14 +436,34 @@ static const Type *getPromotedType(const Type *Ty) {
|
||||
return Ty;
|
||||
}
|
||||
|
||||
/// getBitCastOperand - If the specified operand is a CastInst or a constant
|
||||
/// expression bitcast, return the operand value, otherwise return null.
|
||||
/// getBitCastOperand - If the specified operand is a CastInst, a constant
|
||||
/// expression bitcast, or a GetElementPtrInst with all zero indices, return the
|
||||
/// operand value, otherwise return null.
|
||||
static Value *getBitCastOperand(Value *V) {
|
||||
if (BitCastInst *I = dyn_cast<BitCastInst>(V))
|
||||
// BitCastInst?
|
||||
return I->getOperand(0);
|
||||
else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V))
|
||||
else if (GetElementPtrInst *GEP = dyn_cast<GetElementPtrInst>(V)) {
|
||||
// GetElementPtrInst?
|
||||
if (GEP->hasAllZeroIndices())
|
||||
return GEP->getOperand(0);
|
||||
} else if (ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) {
|
||||
if (CE->getOpcode() == Instruction::BitCast)
|
||||
// BitCast ConstantExp?
|
||||
return CE->getOperand(0);
|
||||
else if (CE->getOpcode() == Instruction::GetElementPtr) {
|
||||
// GetElementPtr ConstantExp?
|
||||
for (User::op_iterator I = CE->op_begin() + 1, E = CE->op_end();
|
||||
I != E; ++I) {
|
||||
ConstantInt *CI = dyn_cast<ConstantInt>(I);
|
||||
if (!CI || !CI->isZero())
|
||||
// Any non-zero indices? Not cast-like.
|
||||
return 0;
|
||||
}
|
||||
// All-zero indices? This is just like casting.
|
||||
return CE->getOperand(0);
|
||||
}
|
||||
}
|
||||
return 0;
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user