28 if (!
Base.getNode() || !
Other.Base.getNode())
30 if (!hasValidOffset() || !
Other.hasValidOffset())
41 if (
auto *
A = dyn_cast<GlobalAddressSDNode>(
Base))
42 if (
auto *
B = dyn_cast<GlobalAddressSDNode>(
Other.Base))
43 if (
A->getGlobal() ==
B->getGlobal()) {
44 Off +=
B->getOffset() -
A->getOffset();
49 if (
auto *
A = dyn_cast<ConstantPoolSDNode>(
Base))
50 if (
auto *
B = dyn_cast<ConstantPoolSDNode>(
Other.Base)) {
52 A->isMachineConstantPoolEntry() ==
B->isMachineConstantPoolEntry();
54 if (
A->isMachineConstantPoolEntry())
55 IsMatch =
A->getMachineCPVal() ==
B->getMachineCPVal();
57 IsMatch =
A->getConstVal() ==
B->getConstVal();
60 Off +=
B->getOffset() -
A->getOffset();
68 if (
auto *
A = dyn_cast<FrameIndexSDNode>(
Base))
69 if (
auto *
B = dyn_cast<FrameIndexSDNode>(
Other.Base)) {
71 if (
A->getIndex() ==
B->getIndex())
88 const std::optional<int64_t> NumBytes0,
90 const std::optional<int64_t> NumBytes1,
96 if (!(BasePtr0.getBase().getNode() && BasePtr1.getBase().getNode()))
99 if (NumBytes0 && NumBytes1 &&
100 BasePtr0.equalBaseIndex(BasePtr1, DAG, PtrDiff)) {
111 IsAlias = !(*NumBytes0 <= PtrDiff);
119 IsAlias = !((PtrDiff + *NumBytes1) <= 0);
128 if (
auto *
A = dyn_cast<FrameIndexSDNode>(BasePtr0.getBase()))
129 if (
auto *
B = dyn_cast<FrameIndexSDNode>(BasePtr1.getBase())) {
140 bool IsFI0 = isa<FrameIndexSDNode>(BasePtr0.getBase());
141 bool IsFI1 = isa<FrameIndexSDNode>(BasePtr1.getBase());
142 bool IsGV0 = isa<GlobalAddressSDNode>(BasePtr0.getBase());
143 bool IsGV1 = isa<GlobalAddressSDNode>(BasePtr1.getBase());
144 bool IsCV0 = isa<ConstantPoolSDNode>(BasePtr0.getBase());
145 bool IsCV1 = isa<ConstantPoolSDNode>(BasePtr1.getBase());
147 if ((IsFI0 || IsGV0 || IsCV0) && (IsFI1 || IsGV1 || IsCV1)) {
149 if (IsFI0 != IsFI1 || IsGV0 != IsGV1 || IsCV0 != IsCV1) {
153 if (IsGV0 && IsGV1) {
154 auto *GV0 = cast<GlobalAddressSDNode>(BasePtr0.getBase())->getGlobal();
155 auto *GV1 = cast<GlobalAddressSDNode>(BasePtr1.getBase())->getGlobal();
163 if (GV0 != GV1 && !isa<GlobalAlias>(GV0) && !isa<GlobalAlias>(GV1)) {
174 int64_t OtherBitSize, int64_t &BitOffset)
const {
184 return BitOffset + OtherBitSize <= BitSize;
201 bool IsIndexSignExt =
false;
205 if (
auto *
C = dyn_cast<ConstantSDNode>(
N->getOffset()))
210 if (
auto *
C = dyn_cast<ConstantSDNode>(
N->getOffset()))
218 switch (
Base->getOpcode()) {
221 if (
auto *
C = dyn_cast<ConstantSDNode>(
Base->getOperand(1)))
229 if (
auto *
C = dyn_cast<ConstantSDNode>(
Base->getOperand(1))) {
237 auto *LSBase = cast<LSBaseSDNode>(
Base.getNode());
238 unsigned int IndexResNo = (
Base->getOpcode() ==
ISD::LOAD) ? 1 : 0;
239 if (LSBase->isIndexed() &&
Base.getResNo() == IndexResNo)
240 if (
auto *
C = dyn_cast<ConstantSDNode>(LSBase->getOffset())) {
241 auto Off =
C->getSExtValue();
276 IsIndexSignExt =
true;
281 !isa<ConstantSDNode>(
Index->getOperand(1)))
284 Offset += cast<ConstantSDNode>(
Index->getOperand(1))->getSExtValue();
288 IsIndexSignExt =
true;
290 IsIndexSignExt =
false;
291 Base = PotentialBase;
298 if (
const auto *LS0 = dyn_cast<LSBaseSDNode>(
N))
300 if (
const auto *LN = dyn_cast<LifetimeSDNode>(
N)) {
309#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
316 OS <<
"BaseIndexOffset base=[";
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
std::optional< std::vector< StOtherPiece > > Other
This file provides utility analysis objects describing memory locations.
static BaseIndexOffset matchLSNode(const LSBaseSDNode *N, const SelectionDAG &DAG)
Parses tree in Ptr for base, index, offset addresses.
This file describes how to lower LLVM code to machine code.
bool contains(const SelectionDAG &DAG, int64_t BitSize, const BaseIndexOffset &Other, int64_t OtherBitSize, int64_t &BitOffset) const
void print(raw_ostream &OS) const
static BaseIndexOffset match(const SDNode *N, const SelectionDAG &DAG)
Parses tree in N for base, index, offset addresses.
bool equalBaseIndex(const BaseIndexOffset &Other, const SelectionDAG &DAG, int64_t &Off) const
static bool computeAliasing(const SDNode *Op0, const std::optional< int64_t > NumBytes0, const SDNode *Op1, const std::optional< int64_t > NumBytes1, const SelectionDAG &DAG, bool &IsAlias)
Base class for LoadSDNode and StoreSDNode.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
int64_t getObjectOffset(int ObjectIdx) const
Return the assigned stack offset of the specified object from the incoming stack pointer.
bool isFixedObjectIndex(int ObjectIdx) const
Returns true if the specified index corresponds to a fixed stack object.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
Represents one node in the SelectionDAG.
Unlike LLVM values, Selection DAG nodes may return multiple values as the result of a computation.
This is used to represent a portion of an LLVM function in a low-level Data Dependence DAG representa...
const TargetLowering & getTargetLoweringInfo() const
MachineFunction & getMachineFunction() const
bool MaskedValueIsZero(SDValue Op, const APInt &Mask, unsigned Depth=0) const
Return true if 'Op & Mask' is known to be zero.
virtual SDValue unwrapAddress(SDValue N) const
This class implements an extremely fast bulk output stream that can only output to a stream.
@ C
The default llvm calling convention, compatible with C.
@ ADD
Simple integer binary arithmetic operators.
@ LOAD
LOAD and STORE have token chains as their first operand, then the same operands as an LLVM load/store...
@ SIGN_EXTEND
Conversion operators.
bool match(Val *V, const Pattern &P)
This is an optimization pass for GlobalISel generic memory operations.
Printable print(const GCNRegPressure &RP, const GCNSubtarget *ST=nullptr)
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Helper struct to store a base, index and offset that forms an address.