mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-06-13 22:24:07 +00:00
Add a new helper method to Value to strip in-bounds constant offsets of
pointers, but accumulate the offset into an APInt in the process of stripping it. This is a pretty handy thing to have, such as when trying to determine if two pointers are at some constant relative offset. I'll be committing a patch shortly to use it for exactly that purpose. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@189000 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
@ -393,6 +393,40 @@ Value *Value::stripInBoundsConstantOffsets() {
|
||||
return stripPointerCastsAndOffsets<PSK_InBoundsConstantIndices>(this);
|
||||
}
|
||||
|
||||
Value *Value::stripAndAccumulateInBoundsConstantOffsets(const DataLayout &DL,
|
||||
APInt &Offset) {
|
||||
if (!getType()->isPointerTy())
|
||||
return this;
|
||||
|
||||
assert(Offset.getBitWidth() == DL.getPointerSizeInBits(cast<PointerType>(
|
||||
getType())->getAddressSpace()) &&
|
||||
"The offset must have exactly as many bits as our pointer.");
|
||||
|
||||
// Even though we don't look through PHI nodes, we could be called on an
|
||||
// instruction in an unreachable block, which may be on a cycle.
|
||||
SmallPtrSet<Value *, 4> Visited;
|
||||
Visited.insert(this);
|
||||
Value *V = this;
|
||||
do {
|
||||
if (GEPOperator *GEP = dyn_cast<GEPOperator>(V)) {
|
||||
if (!GEP->isInBounds())
|
||||
return V;
|
||||
if (!GEP->accumulateConstantOffset(DL, Offset))
|
||||
return V;
|
||||
V = GEP->getPointerOperand();
|
||||
} else if (Operator::getOpcode(V) == Instruction::BitCast) {
|
||||
V = cast<Operator>(V)->getOperand(0);
|
||||
} else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(V)) {
|
||||
V = GA->getAliasee();
|
||||
} else {
|
||||
return V;
|
||||
}
|
||||
assert(V->getType()->isPointerTy() && "Unexpected operand type!");
|
||||
} while (Visited.insert(V));
|
||||
|
||||
return V;
|
||||
}
|
||||
|
||||
Value *Value::stripInBoundsOffsets() {
|
||||
return stripPointerCastsAndOffsets<PSK_InBounds>(this);
|
||||
}
|
||||
|
Reference in New Issue
Block a user