Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
//===- PtrUseVisitor.h - InstVisitors over a pointers uses ------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// \file
|
|
|
|
/// This file provides a collection of visitors which walk the (instruction)
|
|
|
|
/// uses of a pointer. These visitors all provide the same essential behavior
|
|
|
|
/// as an InstVisitor with similar template-based flexibility and
|
|
|
|
/// implementation strategies.
|
|
|
|
///
|
|
|
|
/// These can be used, for example, to quickly analyze the uses of an alloca,
|
|
|
|
/// global variable, or function argument.
|
|
|
|
///
|
|
|
|
/// FIXME: Provide a variant which doesn't track offsets and is cheaper.
|
|
|
|
///
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_ANALYSIS_PTRUSEVISITOR_H
|
|
|
|
#define LLVM_ANALYSIS_PTRUSEVISITOR_H
|
|
|
|
|
|
|
|
#include "llvm/ADT/APInt.h"
|
|
|
|
#include "llvm/ADT/SmallPtrSet.h"
|
|
|
|
#include "llvm/ADT/SmallVector.h"
|
2013-01-02 12:36:10 +01:00
|
|
|
#include "llvm/IR/DataLayout.h"
|
2014-03-06 04:23:41 +01:00
|
|
|
#include "llvm/IR/InstVisitor.h"
|
2013-01-02 12:36:10 +01:00
|
|
|
#include "llvm/IR/IntrinsicInst.h"
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
#include "llvm/Support/Compiler.h"
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
namespace detail {
|
|
|
|
/// \brief Implementation of non-dependent functionality for \c PtrUseVisitor.
|
|
|
|
///
|
|
|
|
/// See \c PtrUseVisitor for the public interface and detailed comments about
|
|
|
|
/// usage. This class is just a helper base class which is not templated and
|
|
|
|
/// contains all common code to be shared between different instantiations of
|
|
|
|
/// PtrUseVisitor.
|
|
|
|
class PtrUseVisitorBase {
|
|
|
|
public:
|
|
|
|
/// \brief This class provides information about the result of a visit.
|
|
|
|
///
|
|
|
|
/// After walking all the users (recursively) of a pointer, the basic
|
|
|
|
/// infrastructure records some commonly useful information such as escape
|
|
|
|
/// analysis and whether the visit completed or aborted early.
|
|
|
|
class PtrInfo {
|
|
|
|
public:
|
2014-04-15 06:59:12 +02:00
|
|
|
PtrInfo() : AbortedInfo(nullptr, false), EscapedInfo(nullptr, false) {}
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
|
|
|
|
/// \brief Reset the pointer info, clearing all state.
|
|
|
|
void reset() {
|
2014-04-15 06:59:12 +02:00
|
|
|
AbortedInfo.setPointer(nullptr);
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
AbortedInfo.setInt(false);
|
2014-04-15 06:59:12 +02:00
|
|
|
EscapedInfo.setPointer(nullptr);
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
EscapedInfo.setInt(false);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Did we abort the visit early?
|
|
|
|
bool isAborted() const { return AbortedInfo.getInt(); }
|
|
|
|
|
|
|
|
/// \brief Is the pointer escaped at some point?
|
|
|
|
bool isEscaped() const { return EscapedInfo.getInt(); }
|
|
|
|
|
|
|
|
/// \brief Get the instruction causing the visit to abort.
|
|
|
|
/// \returns a pointer to the instruction causing the abort if one is
|
|
|
|
/// available; otherwise returns null.
|
|
|
|
Instruction *getAbortingInst() const { return AbortedInfo.getPointer(); }
|
|
|
|
|
|
|
|
/// \brief Get the instruction causing the pointer to escape.
|
|
|
|
/// \returns a pointer to the instruction which escapes the pointer if one
|
|
|
|
/// is available; otherwise returns null.
|
|
|
|
Instruction *getEscapingInst() const { return EscapedInfo.getPointer(); }
|
|
|
|
|
|
|
|
/// \brief Mark the visit as aborted. Intended for use in a void return.
|
|
|
|
/// \param I The instruction which caused the visit to abort, if available.
|
2014-04-15 06:59:12 +02:00
|
|
|
void setAborted(Instruction *I = nullptr) {
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
AbortedInfo.setInt(true);
|
|
|
|
AbortedInfo.setPointer(I);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Mark the pointer as escaped. Intended for use in a void return.
|
|
|
|
/// \param I The instruction which escapes the pointer, if available.
|
2014-04-15 06:59:12 +02:00
|
|
|
void setEscaped(Instruction *I = nullptr) {
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
EscapedInfo.setInt(true);
|
|
|
|
EscapedInfo.setPointer(I);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// \brief Mark the pointer as escaped, and the visit as aborted. Intended
|
|
|
|
/// for use in a void return.
|
|
|
|
/// \param I The instruction which both escapes the pointer and aborts the
|
|
|
|
/// visit, if available.
|
2014-04-15 06:59:12 +02:00
|
|
|
void setEscapedAndAborted(Instruction *I = nullptr) {
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
setEscaped(I);
|
|
|
|
setAborted(I);
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
PointerIntPair<Instruction *, 1, bool> AbortedInfo, EscapedInfo;
|
|
|
|
};
|
|
|
|
|
|
|
|
protected:
|
|
|
|
const DataLayout &DL;
|
|
|
|
|
|
|
|
/// \name Visitation infrastructure
|
|
|
|
/// @{
|
|
|
|
|
|
|
|
/// \brief The info collected about the pointer being visited thus far.
|
|
|
|
PtrInfo PI;
|
|
|
|
|
|
|
|
/// \brief A struct of the data needed to visit a particular use.
|
|
|
|
///
|
|
|
|
/// This is used to maintain a worklist fo to-visit uses. This is used to
|
|
|
|
/// make the visit be iterative rather than recursive.
|
|
|
|
struct UseToVisit {
|
|
|
|
typedef PointerIntPair<Use *, 1, bool> UseAndIsOffsetKnownPair;
|
|
|
|
UseAndIsOffsetKnownPair UseAndIsOffsetKnown;
|
|
|
|
APInt Offset;
|
|
|
|
};
|
|
|
|
|
|
|
|
/// \brief The worklist of to-visit uses.
|
|
|
|
SmallVector<UseToVisit, 8> Worklist;
|
|
|
|
|
|
|
|
/// \brief A set of visited uses to break cycles in unreachable code.
|
|
|
|
SmallPtrSet<Use *, 8> VisitedUses;
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
|
|
|
|
|
|
|
|
/// \name Per-visit state
|
|
|
|
/// This state is reset for each instruction visited.
|
|
|
|
/// @{
|
|
|
|
|
|
|
|
/// \brief The use currently being visited.
|
|
|
|
Use *U;
|
|
|
|
|
|
|
|
/// \brief True if we have a known constant offset for the use currently
|
|
|
|
/// being visited.
|
|
|
|
bool IsOffsetKnown;
|
|
|
|
|
|
|
|
/// \brief The constant offset of the use if that is known.
|
|
|
|
APInt Offset;
|
|
|
|
|
|
|
|
/// @}
|
|
|
|
|
|
|
|
|
|
|
|
/// Note that the constructor is protected because this class must be a base
|
|
|
|
/// class, we can't create instances directly of this class.
|
|
|
|
PtrUseVisitorBase(const DataLayout &DL) : DL(DL) {}
|
|
|
|
|
|
|
|
/// \brief Enqueue the users of this instruction in the visit worklist.
|
|
|
|
///
|
|
|
|
/// This will visit the users with the same offset of the current visit
|
|
|
|
/// (including an unknown offset if that is the current state).
|
|
|
|
void enqueueUsers(Instruction &I);
|
|
|
|
|
|
|
|
/// \brief Walk the operands of a GEP and adjust the offset as appropriate.
|
|
|
|
///
|
|
|
|
/// This routine does the heavy lifting of the pointer walk by computing
|
|
|
|
/// offsets and looking through GEPs.
|
|
|
|
bool adjustOffsetForGEP(GetElementPtrInst &GEPI);
|
|
|
|
};
|
|
|
|
} // end namespace detail
|
|
|
|
|
|
|
|
/// \brief A base class for visitors over the uses of a pointer value.
|
|
|
|
///
|
|
|
|
/// Once constructed, a user can call \c visit on a pointer value, and this
|
|
|
|
/// will walk its uses and visit each instruction using an InstVisitor. It also
|
|
|
|
/// provides visit methods which will recurse through any pointer-to-pointer
|
|
|
|
/// transformations such as GEPs and bitcasts.
|
|
|
|
///
|
|
|
|
/// During the visit, the current Use* being visited is available to the
|
|
|
|
/// subclass, as well as the current offset from the original base pointer if
|
|
|
|
/// known.
|
|
|
|
///
|
|
|
|
/// The recursive visit of uses is accomplished with a worklist, so the only
|
|
|
|
/// ordering guarantee is that an instruction is visited before any uses of it
|
|
|
|
/// are visited. Note that this does *not* mean before any of its users are
|
|
|
|
/// visited! This is because users can be visited multiple times due to
|
|
|
|
/// multiple, different uses of pointers derived from the same base.
|
|
|
|
///
|
|
|
|
/// A particular Use will only be visited once, but a User may be visited
|
|
|
|
/// multiple times, once per Use. This visits may notably have different
|
|
|
|
/// offsets.
|
|
|
|
///
|
|
|
|
/// All visit methods on the underlying InstVisitor return a boolean. This
|
|
|
|
/// return short-circuits the visit, stopping it immediately.
|
|
|
|
///
|
|
|
|
/// FIXME: Generalize this for all values rather than just instructions.
|
|
|
|
template <typename DerivedT>
|
|
|
|
class PtrUseVisitor : protected InstVisitor<DerivedT>,
|
|
|
|
public detail::PtrUseVisitorBase {
|
|
|
|
friend class InstVisitor<DerivedT>;
|
|
|
|
typedef InstVisitor<DerivedT> Base;
|
|
|
|
|
|
|
|
public:
|
|
|
|
PtrUseVisitor(const DataLayout &DL) : PtrUseVisitorBase(DL) {}
|
|
|
|
|
|
|
|
/// \brief Recursively visit the uses of the given pointer.
|
|
|
|
/// \returns An info struct about the pointer. See \c PtrInfo for details.
|
|
|
|
PtrInfo visitPtr(Instruction &I) {
|
|
|
|
// This must be a pointer type. Get an integer type suitable to hold
|
|
|
|
// offsets on this pointer.
|
|
|
|
// FIXME: Support a vector of pointers.
|
|
|
|
assert(I.getType()->isPointerTy());
|
|
|
|
IntegerType *IntPtrTy = cast<IntegerType>(DL.getIntPtrType(I.getType()));
|
|
|
|
IsOffsetKnown = true;
|
|
|
|
Offset = APInt(IntPtrTy->getBitWidth(), 0);
|
|
|
|
PI.reset();
|
|
|
|
|
|
|
|
// Enqueue the uses of this pointer.
|
|
|
|
enqueueUsers(I);
|
|
|
|
|
|
|
|
// Visit all the uses off the worklist until it is empty.
|
|
|
|
while (!Worklist.empty()) {
|
|
|
|
UseToVisit ToVisit = Worklist.pop_back_val();
|
|
|
|
U = ToVisit.UseAndIsOffsetKnown.getPointer();
|
|
|
|
IsOffsetKnown = ToVisit.UseAndIsOffsetKnown.getInt();
|
|
|
|
if (IsOffsetKnown)
|
2014-03-02 05:08:41 +01:00
|
|
|
Offset = std::move(ToVisit.Offset);
|
Add a new visitor for walking the uses of a pointer value.
This visitor provides infrastructure for recursively traversing the
use-graph of a pointer-producing instruction like an alloca or a malloc.
It maintains a worklist of uses to visit, so it can handle very deep
recursions. It automatically looks through instructions which simply
translate one pointer to another (bitcasts and GEPs). It tracks the
offset relative to the original pointer as long as that offset remains
constant and exposes it during the visit as an APInt offset. Finally, it
performs conservative escape analysis.
However, currently it has some limitations that should be addressed
going forward:
1) It doesn't handle vectors of pointers.
2) It doesn't provide a cheaper visitor when the constant offset
tracking isn't needed.
3) It doesn't support non-instruction pointer values.
The current functionality is exactly what is required to implement the
SROA pointer-use visitors in terms of this one, rather than in terms of
their own ad-hoc base visitor, which was always very poorly specified.
SROA has been converted to use this, and the code there deleted which
this utility now provides.
Technically speaking, using this new visitor allows SROA to handle a few
more cases than it previously did. It is now more aggressive in ignoring
chains of instructions which look like they would defeat SROA, but in
fact do not because they never result in a read or write of memory.
While this is "neat", it shouldn't be interesting for real programs as
any such chains should have been removed by others passes long before we
get to SROA. As a consequence, I've not added any tests for these
features -- it shouldn't be part of SROA's contract to perform such
heroics.
The goal is to extend the functionality of this visitor going forward,
and re-use it from passes like ASan that can benefit from doing
a detailed walk of the uses of a pointer.
Thanks to Ben Kramer for the code review rounds and lots of help
reviewing and debugging this patch.
llvm-svn: 169728
2012-12-10 09:28:39 +01:00
|
|
|
|
|
|
|
Instruction *I = cast<Instruction>(U->getUser());
|
|
|
|
static_cast<DerivedT*>(this)->visit(I);
|
|
|
|
if (PI.isAborted())
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
return PI;
|
|
|
|
}
|
|
|
|
|
|
|
|
protected:
|
|
|
|
void visitStoreInst(StoreInst &SI) {
|
|
|
|
if (SI.getValueOperand() == U->get())
|
|
|
|
PI.setEscaped(&SI);
|
|
|
|
}
|
|
|
|
|
|
|
|
void visitBitCastInst(BitCastInst &BC) {
|
|
|
|
enqueueUsers(BC);
|
|
|
|
}
|
|
|
|
|
|
|
|
void visitPtrToIntInst(PtrToIntInst &I) {
|
|
|
|
PI.setEscaped(&I);
|
|
|
|
}
|
|
|
|
|
|
|
|
void visitGetElementPtrInst(GetElementPtrInst &GEPI) {
|
|
|
|
if (GEPI.use_empty())
|
|
|
|
return;
|
|
|
|
|
|
|
|
// If we can't walk the GEP, clear the offset.
|
|
|
|
if (!adjustOffsetForGEP(GEPI)) {
|
|
|
|
IsOffsetKnown = false;
|
|
|
|
Offset = APInt();
|
|
|
|
}
|
|
|
|
|
|
|
|
// Enqueue the users now that the offset has been adjusted.
|
|
|
|
enqueueUsers(GEPI);
|
|
|
|
}
|
|
|
|
|
|
|
|
// No-op intrinsics which we know don't escape the pointer to to logic in
|
|
|
|
// some other function.
|
|
|
|
void visitDbgInfoIntrinsic(DbgInfoIntrinsic &I) {}
|
|
|
|
void visitMemIntrinsic(MemIntrinsic &I) {}
|
|
|
|
void visitIntrinsicInst(IntrinsicInst &II) {
|
|
|
|
switch (II.getIntrinsicID()) {
|
|
|
|
default:
|
|
|
|
return Base::visitIntrinsicInst(II);
|
|
|
|
|
|
|
|
case Intrinsic::lifetime_start:
|
|
|
|
case Intrinsic::lifetime_end:
|
|
|
|
return; // No-op intrinsics.
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generically, arguments to calls and invokes escape the pointer to some
|
|
|
|
// other function. Mark that.
|
|
|
|
void visitCallSite(CallSite CS) {
|
|
|
|
PI.setEscaped(CS.getInstruction());
|
|
|
|
Base::visitCallSite(CS);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|