#include "llvm/Transforms/IPO/Attributor.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMapInfo.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/ADT/SCCIterator.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SetOperations.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/AssumeBundleQueries.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/CaptureTracking.h"
#include "llvm/Analysis/CycleAnalysis.h"
#include "llvm/Analysis/InstructionSimplify.h"
#include "llvm/Analysis/LazyValueInfo.h"
#include "llvm/Analysis/MemoryBuiltins.h"
#include "llvm/Analysis/ScalarEvolution.h"
#include "llvm/Analysis/TargetTransformInfo.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Argument.h"
#include "llvm/IR/Assumptions.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/GlobalValue.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/InlineAsm.h"
#include "llvm/IR/InstrTypes.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/IntrinsicsAMDGPU.h"
#include "llvm/IR/IntrinsicsNVPTX.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/MDBuilder.h"
#include "llvm/IR/NoFolder.h"
#include "llvm/IR/Value.h"
#include "llvm/IR/ValueHandle.h"
#include "llvm/Support/Alignment.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/GraphWriter.h"
#include "llvm/Support/InterleavedRange.h"
#include "llvm/Support/KnownFPClass.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/TypeSize.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/CallPromotionUtils.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Transforms/Utils/ValueMapper.h"
#include <cassert>
#include <numeric>
#include <optional>
#include <string>

Classes
struct	llvm::DenseMapInfo< AAPointerInfo::Access >
	Helper for AA::PointerInfo::Access DenseMap/Set usage. More...
struct	llvm::DenseMapInfo< AA::RangeTy >
	Helper that allows RangeTy as a key in a DenseMap. More...
struct	llvm::AccessAsInstructionInfo
	Helper for AA::PointerInfo::Access DenseMap/Set usage ignoring everythign but the instruction. More...
struct	llvm::AA::PointerInfo::State
	A type to track pointer/struct usage and accesses for AAPointerInfo. More...
struct	ReachabilityQueryInfo< ToTy >
	----------------—AAIntraFnReachability Attribute-----------------------— More...
struct	llvm::DenseMapInfo< ReachabilityQueryInfo< ToTy > * >

Namespaces
namespace	llvm
	This is an optimization pass for GlobalISel generic memory operations.
namespace	llvm::AA
	Abstract Attribute helper functions.
namespace	llvm::AA::PointerInfo

Macros
#define	DEBUG_TYPE "attributor"
#define	BUILD_STAT_MSG_IR_ATTR(TYPE, NAME)
#define	BUILD_STAT_NAME(NAME, TYPE)
#define	STATS_DECL_(NAME, MSG)
#define	STATS_DECL(NAME, TYPE, MSG)
#define	STATS_TRACK(NAME, TYPE)
#define	STATS_DECLTRACK(NAME, TYPE, MSG)
#define	STATS_DECLTRACK_ARG_ATTR(NAME)
#define	STATS_DECLTRACK_CSARG_ATTR(NAME)
#define	STATS_DECLTRACK_FN_ATTR(NAME)
#define	STATS_DECLTRACK_CS_ATTR(NAME)
#define	STATS_DECLTRACK_FNRET_ATTR(NAME)
#define	STATS_DECLTRACK_CSRET_ATTR(NAME)
#define	STATS_DECLTRACK_FLOATING_ATTR(NAME)
#define	PIPE_OPERATOR(CLASS)
#define	DefineKeys(ToTy)
#define	SWITCH_PK_INV(CLASS, PK, POS_NAME)
#define	SWITCH_PK_CREATE(CLASS, IRP, PK, SUFFIX)
#define	CREATE_FUNCTION_ABSTRACT_ATTRIBUTE_FOR_POSITION(CLASS)
#define	CREATE_VALUE_ABSTRACT_ATTRIBUTE_FOR_POSITION(CLASS)
#define	CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION(POS, SUFFIX, CLASS)
#define	CREATE_ALL_ABSTRACT_ATTRIBUTE_FOR_POSITION(CLASS)
#define	CREATE_FUNCTION_ONLY_ABSTRACT_ATTRIBUTE_FOR_POSITION(CLASS)
#define	CREATE_NON_RET_ABSTRACT_ATTRIBUTE_FOR_POSITION(CLASS)

Functions
	STATISTIC (NumAAs, "Number of abstract attributes created")
	STATISTIC (NumIndirectCallsPromoted, "Number of indirect calls promoted")
template<>
ChangeStatus	llvm::clampStateAndIndicateChange< DerefState > (DerefState &S, const DerefState &R)
static bool	mayBeInCycle (const CycleInfo CI, const Instruction I, bool HeaderOnly, Cycle **CPtr=nullptr)
static bool	isDenselyPacked (Type *Ty, const DataLayout &DL)
	Checks if a type could have padding bytes.
static const Value *	getPointerOperand (const Instruction *I, bool AllowVolatile)
	Get pointer operand of memory accessing instruction.
static Value *	constructPointer (Value *Ptr, int64_t Offset, IRBuilder< NoFolder > &IRB)
	Helper function to create a pointer based on `Ptr`, and advanced by `Offset` bytes.
static const Value *	stripAndAccumulateOffsets (Attributor &A, const AbstractAttribute &QueryingAA, const Value *Val, const DataLayout &DL, APInt &Offset, bool GetMinOffset, bool AllowNonInbounds, bool UseAssumed=false)
static const Value *	getMinimalBaseOfPointer (Attributor &A, const AbstractAttribute &QueryingAA, const Value *Ptr, int64_t &BytesOffset, const DataLayout &DL, bool AllowNonInbounds=false)
template<typename AAType, typename StateType = typename AAType::StateType, Attribute::AttrKind IRAttributeKind = AAType::IRAttributeKind, bool RecurseForSelectAndPHI = true>
static void	clampReturnedValueStates (Attributor &A, const AAType &QueryingAA, StateType &S, const IRPosition::CallBaseContext *CBContext=nullptr)
	Clamp the information known for all returned values of a function (identified by `QueryingAA`) into `S`.
template<typename AAType>
static std::optional< Constant * >	askForAssumedConstant (Attributor &A, const AbstractAttribute &QueryingAA, const IRPosition &IRP, Type &Ty)
	CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION (IRP_CALL_SITE, CallSite, AAIndirectCallInfo) CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION(IRP_FLOAT

Variables
static cl::opt< bool >	ManifestInternal ("attributor-manifest-internal", cl::Hidden, cl::desc("Manifest Attributor internal string attributes."), cl::init(false))
static cl::opt< int >	MaxHeapToStackSize ("max-heap-to-stack-size", cl::init(128), cl::Hidden)
static cl::opt< unsigned, true >	MaxPotentialValues ("attributor-max-potential-values", cl::Hidden, cl::desc("Maximum number of potential values to be " "tracked for each position."), cl::location(llvm::PotentialConstantIntValuesState::MaxPotentialValues), cl::init(7))
static cl::opt< int >	MaxPotentialValuesIterations ("attributor-max-potential-values-iterations", cl::Hidden, cl::desc("Maximum number of iterations we keep dismantling potential values."), cl::init(64))
	Floating

Macro Definition Documentation

◆ BUILD_STAT_MSG_IR_ATTR

#define BUILD_STAT_MSG_IR_ATTR	(		TYPE,
			NAME )

Value:

("Number of " #TYPE " marked '" #NAME "'")

Definition at line 126 of file AttributorAttributes.cpp.

◆ BUILD_STAT_NAME

#define BUILD_STAT_NAME	(		NAME,
			TYPE )

Value:

NumIR##TYPE##_##NAME

_

#define _

Definition HexagonMCCodeEmitter.cpp:46

Definition at line 128 of file AttributorAttributes.cpp.

◆ CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION

#define CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION	(	POS,
		SUFFIX,
		CLASS )

Value:

  CLASS &CLASS::createForPosition(const IRPosition &IRP, Attributor &A) {      \
    CLASS *AA = nullptr;                                                       \
    switch (IRP.getPositionKind()) {                                           \
      SWITCH_PK_CREATE(CLASS, IRP, POS, SUFFIX)                                \
    default:                                                                   \
      llvm_unreachable("Cannot create " #CLASS " for position otherthan " #POS \
                       " position!");                                          \
    }                                                                          \
    return *AA;                                                                \
  }

Definition at line 13642 of file AttributorAttributes.cpp.

Referenced by CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION().

◆ CREATE_ALL_ABSTRACT_ATTRIBUTE_FOR_POSITION

#define CREATE_ALL_ABSTRACT_ATTRIBUTE_FOR_POSITION ( CLASS )

Value:

  CLASS &CLASS::createForPosition(const IRPosition &IRP, Attributor &A) {      \
    CLASS *AA = nullptr;                                                       \
    switch (IRP.getPositionKind()) {                                           \
      SWITCH_PK_INV(CLASS, IRP_INVALID, "invalid")                             \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_FUNCTION, Function)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE, CallSite)                    \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_FLOAT, Floating)                        \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_ARGUMENT, Argument)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_RETURNED, Returned)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE_RETURNED, CallSiteReturned)   \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE_ARGUMENT, CallSiteArgument)   \
    }                                                                          \
    return *AA;                                                                \
  }

Definition at line 13654 of file AttributorAttributes.cpp.

◆ CREATE_FUNCTION_ABSTRACT_ATTRIBUTE_FOR_POSITION

#define CREATE_FUNCTION_ABSTRACT_ATTRIBUTE_FOR_POSITION ( CLASS )

Value:

  CLASS &CLASS::createForPosition(const IRPosition &IRP, Attributor &A) {      \
    CLASS *AA = nullptr;                                                       \
    switch (IRP.getPositionKind()) {                                           \
      SWITCH_PK_INV(CLASS, IRP_INVALID, "invalid")                             \
      SWITCH_PK_INV(CLASS, IRP_FLOAT, "floating")                              \
      SWITCH_PK_INV(CLASS, IRP_ARGUMENT, "argument")                           \
      SWITCH_PK_INV(CLASS, IRP_RETURNED, "returned")                           \
      SWITCH_PK_INV(CLASS, IRP_CALL_SITE_RETURNED, "call site returned")       \
      SWITCH_PK_INV(CLASS, IRP_CALL_SITE_ARGUMENT, "call site argument")       \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_FUNCTION, Function)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE, CallSite)                    \
    }                                                                          \
    return *AA;                                                                \
  }

Definition at line 13610 of file AttributorAttributes.cpp.

◆ CREATE_FUNCTION_ONLY_ABSTRACT_ATTRIBUTE_FOR_POSITION

#define CREATE_FUNCTION_ONLY_ABSTRACT_ATTRIBUTE_FOR_POSITION ( CLASS )

Value:

  CLASS &CLASS::createForPosition(const IRPosition &IRP, Attributor &A) {      \
    CLASS *AA = nullptr;                                                       \
    switch (IRP.getPositionKind()) {                                           \
      SWITCH_PK_INV(CLASS, IRP_INVALID, "invalid")                             \
      SWITCH_PK_INV(CLASS, IRP_ARGUMENT, "argument")                           \
      SWITCH_PK_INV(CLASS, IRP_FLOAT, "floating")                              \
      SWITCH_PK_INV(CLASS, IRP_RETURNED, "returned")                           \
      SWITCH_PK_INV(CLASS, IRP_CALL_SITE_RETURNED, "call site returned")       \
      SWITCH_PK_INV(CLASS, IRP_CALL_SITE_ARGUMENT, "call site argument")       \
      SWITCH_PK_INV(CLASS, IRP_CALL_SITE, "call site")                         \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_FUNCTION, Function)                     \
    }                                                                          \
    return *AA;                                                                \
  }

Definition at line 13670 of file AttributorAttributes.cpp.

◆ CREATE_NON_RET_ABSTRACT_ATTRIBUTE_FOR_POSITION

#define CREATE_NON_RET_ABSTRACT_ATTRIBUTE_FOR_POSITION ( CLASS )

Value:

  CLASS &CLASS::createForPosition(const IRPosition &IRP, Attributor &A) {      \
    CLASS *AA = nullptr;                                                       \
    switch (IRP.getPositionKind()) {                                           \
      SWITCH_PK_INV(CLASS, IRP_INVALID, "invalid")                             \
      SWITCH_PK_INV(CLASS, IRP_RETURNED, "returned")                           \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_FUNCTION, Function)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE, CallSite)                    \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_FLOAT, Floating)                        \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_ARGUMENT, Argument)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE_RETURNED, CallSiteReturned)   \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE_ARGUMENT, CallSiteArgument)   \
    }                                                                          \
    return *AA;                                                                \
  }

Definition at line 13686 of file AttributorAttributes.cpp.

◆ CREATE_VALUE_ABSTRACT_ATTRIBUTE_FOR_POSITION

#define CREATE_VALUE_ABSTRACT_ATTRIBUTE_FOR_POSITION ( CLASS )

Value:

  CLASS &CLASS::createForPosition(const IRPosition &IRP, Attributor &A) {      \
    CLASS *AA = nullptr;                                                       \
    switch (IRP.getPositionKind()) {                                           \
      SWITCH_PK_INV(CLASS, IRP_INVALID, "invalid")                             \
      SWITCH_PK_INV(CLASS, IRP_FUNCTION, "function")                           \
      SWITCH_PK_INV(CLASS, IRP_CALL_SITE, "call site")                         \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_FLOAT, Floating)                        \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_ARGUMENT, Argument)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_RETURNED, Returned)                     \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE_RETURNED, CallSiteReturned)   \
      SWITCH_PK_CREATE(CLASS, IRP, IRP_CALL_SITE_ARGUMENT, CallSiteArgument)   \
    }                                                                          \
    return *AA;                                                                \
  }

Definition at line 13626 of file AttributorAttributes.cpp.

◆ DEBUG_TYPE

#define DEBUG_TYPE "attributor"

Definition at line 82 of file AttributorAttributes.cpp.

◆ DefineKeys

#define DefineKeys ( ToTy )

Value:

  template <>                                                                  \
  ReachabilityQueryInfo<ToTy>                                                  \
      DenseMapInfo<ReachabilityQueryInfo<ToTy> *>::EmptyKey =                  \
          ReachabilityQueryInfo<ToTy>(                                         \
              DenseMapInfo<const Instruction *>::getEmptyKey(),                \
              DenseMapInfo<const ToTy *>::getEmptyKey());                      \
  template <>                                                                  \
  ReachabilityQueryInfo<ToTy>                                                  \
      DenseMapInfo<ReachabilityQueryInfo<ToTy> *>::TombstoneKey =              \
          ReachabilityQueryInfo<ToTy>(                                         \
              DenseMapInfo<const Instruction *>::getTombstoneKey(),            \
              DenseMapInfo<const ToTy *>::getTombstoneKey());

Definition at line 3480 of file AttributorAttributes.cpp.

◆ PIPE_OPERATOR

#define PIPE_OPERATOR ( CLASS )

Value:

  raw_ostream &operator<<(raw_ostream &OS, const CLASS &AA) {                  \
    return OS << static_cast<const AbstractAttribute &>(AA);                   \
  }

Definition at line 157 of file AttributorAttributes.cpp.

◆ STATS_DECL

#define STATS_DECL	(	NAME,
		TYPE,
		MSG )

Value:

STATS_DECL_(BUILD_STAT_NAME(NAME, TYPE), MSG);

STATS_DECL_

#define STATS_DECL_(NAME, MSG)

Definition AttributorAttributes.cpp:129

BUILD_STAT_NAME

#define BUILD_STAT_NAME(NAME, TYPE)

Definition AttributorAttributes.cpp:128

Definition at line 130 of file AttributorAttributes.cpp.

◆ STATS_DECL_

#define STATS_DECL_	(		NAME,
			MSG )

Value:

STATISTIC(NAME, MSG);

STATISTIC

#define STATISTIC(VARNAME, DESC)

Definition Statistic.h:171

Definition at line 129 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK

#define STATS_DECLTRACK	(	NAME,
		TYPE,
		MSG )

Value:

{STATS_DECL(NAME, TYPE, MSG) STATS_TRACK(NAME, TYPE)}

STATS_DECL

#define STATS_DECL(NAME, TYPE, MSG)

Definition AttributorAttributes.cpp:130

STATS_TRACK

#define STATS_TRACK(NAME, TYPE)

Definition AttributorAttributes.cpp:132

Definition at line 133 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK_ARG_ATTR

#define STATS_DECLTRACK_ARG_ATTR ( NAME )

Value:

STATS_DECLTRACK(NAME, Arguments, BUILD_STAT_MSG_IR_ATTR(arguments, NAME))

Arguments

AMDGPU Lower Kernel Arguments

Definition AMDGPULowerKernelArguments.cpp:253

STATS_DECLTRACK

#define STATS_DECLTRACK(NAME, TYPE, MSG)

Definition AttributorAttributes.cpp:133

BUILD_STAT_MSG_IR_ATTR

#define BUILD_STAT_MSG_IR_ATTR(TYPE, NAME)

Definition AttributorAttributes.cpp:126

arguments

nvptx lower Lower arguments(NVPTX)"

Definition at line 135 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK_CS_ATTR

#define STATS_DECLTRACK_CS_ATTR ( NAME )

Value:

STATS_DECLTRACK(NAME, CS, BUILD_STAT_MSG_IR_ATTR(call site, NAME))

Definition at line 142 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK_CSARG_ATTR

#define STATS_DECLTRACK_CSARG_ATTR ( NAME )

Value:

STATS_DECLTRACK(NAME, CSArguments, \

BUILD_STAT_MSG_IR_ATTR(call site arguments, NAME))

Definition at line 137 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK_CSRET_ATTR

#define STATS_DECLTRACK_CSRET_ATTR ( NAME )

Value:

STATS_DECLTRACK(NAME, CSReturn, \

BUILD_STAT_MSG_IR_ATTR(call site returns, NAME))

Definition at line 147 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK_FLOATING_ATTR

#define STATS_DECLTRACK_FLOATING_ATTR ( NAME )

Value:

STATS_DECLTRACK(NAME, Floating, \

("Number of floating values known to be '" #NAME "'"))

Definition at line 150 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK_FN_ATTR

#define STATS_DECLTRACK_FN_ATTR ( NAME )

Value:

STATS_DECLTRACK(NAME, Function, BUILD_STAT_MSG_IR_ATTR(functions, NAME))

functions

Lower uses of LDS variables from non kernel functions

Definition AMDGPULowerModuleLDSPass.cpp:1568

Definition at line 140 of file AttributorAttributes.cpp.

◆ STATS_DECLTRACK_FNRET_ATTR

#define STATS_DECLTRACK_FNRET_ATTR ( NAME )

Value:

STATS_DECLTRACK(NAME, FunctionReturn, \

BUILD_STAT_MSG_IR_ATTR(function returns, NAME))

function

dot regions Print regions of function to dot true view regions View regions of function(with no function bodies)"

Definition at line 144 of file AttributorAttributes.cpp.

◆ STATS_TRACK

#define STATS_TRACK	(		NAME,
			TYPE )

Value:

++(BUILD_STAT_NAME(NAME, TYPE));

Definition at line 132 of file AttributorAttributes.cpp.

◆ SWITCH_PK_CREATE

#define SWITCH_PK_CREATE	(	CLASS,
		IRP,
		PK,
		SUFFIX )

Value:

  case IRPosition::PK:                                                         \
    AA = new (A.Allocator) CLASS##SUFFIX(IRP, A);                              \
    ++NumAAs;                                                                  \
    break;

Definition at line 13604 of file AttributorAttributes.cpp.

◆ SWITCH_PK_INV

#define SWITCH_PK_INV	(	CLASS,
		PK,
		POS_NAME )

Value:

case IRPosition::PK: \

llvm_unreachable("Cannot create " #CLASS " for a " POS_NAME " position!");

Definition at line 13600 of file AttributorAttributes.cpp.

Function Documentation

◆ askForAssumedConstant()

template<typename AAType>

std::optional< Constant * > askForAssumedConstant	(	Attributor &	A,
		const AbstractAttribute &	QueryingAA,
		const IRPosition &	IRP,
		Type &	Ty )

static

Definition at line 10791 of file AttributorAttributes.cpp.

References A(), llvm::CallingConv::C, llvm::NONE, and llvm::OPTIONAL.

◆ clampReturnedValueStates()

template<typename AAType, typename StateType = typename AAType::StateType, Attribute::AttrKind IRAttributeKind = AAType::IRAttributeKind, bool RecurseForSelectAndPHI = true>

void clampReturnedValueStates	(	Attributor &	A,
		const AAType &	QueryingAA,
		StateType &	S,
		const IRPosition::CallBaseContext *	CBContext = nullptr )

static

Clamp the information known for all returned values of a function (identified by QueryingAA) into S.

Definition at line 359 of file AttributorAttributes.cpp.

References A(), assert(), llvm::dbgs(), llvm::AA::hasAssumedIRAttr(), llvm::AA::Intraprocedural, llvm::IRPosition::IRP_CALL_SITE_RETURNED, llvm::IRPosition::IRP_RETURNED, llvm::Attribute::isEnumAttrKind(), LLVM_DEBUG, llvm::REQUIRED, T, and llvm::IRPosition::value().

◆ constructPointer()

Value * constructPointer	(	Value *	Ptr,
		int64_t	Offset,
		IRBuilder< NoFolder > &	IRB )

static

Helper function to create a pointer based on Ptr, and advanced by Offset bytes.

Definition at line 296 of file AttributorAttributes.cpp.

References llvm::IRBuilderBase::CreatePtrAdd(), llvm::dbgs(), llvm::IRBuilderBase::getInt64(), LLVM_DEBUG, llvm::Offset, and Ptr.

◆ CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION()

CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION	(	IRP_CALL_SITE	,
		CallSite	,
		AAIndirectCallInfo	)

References CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION.

◆ getMinimalBaseOfPointer()

const Value * getMinimalBaseOfPointer	(	Attributor &	A,
		const AbstractAttribute &	QueryingAA,
		const Value *	Ptr,
		int64_t &	BytesOffset,
		const DataLayout &	DL,
		bool	AllowNonInbounds = false )

static

Definition at line 342 of file AttributorAttributes.cpp.

References A(), llvm::sampleprof::Base, DL, llvm::APInt::getSExtValue(), Ptr, and stripAndAccumulateOffsets().

◆ getPointerOperand()

const Value * getPointerOperand	(	const Instruction *	I,
		bool	AllowVolatile )

static

Get pointer operand of memory accessing instruction.

If I is not a memory accessing instruction, return nullptr. If AllowVolatile, is set to false and the instruction is volatile, return nullptr.

Definition at line 270 of file AttributorAttributes.cpp.

References llvm::dyn_cast(), and I.

◆ isDenselyPacked()

bool isDenselyPacked	(	Type *	Ty,
		const DataLayout &	DL )

static

Checks if a type could have padding bytes.

Definition at line 229 of file AttributorAttributes.cpp.

References llvm::cast(), DL, llvm::dyn_cast(), E(), llvm::StructLayout::getElementOffsetInBits(), llvm::StructType::getElementType(), llvm::StructType::getNumElements(), I, llvm::isa(), and isDenselyPacked().

Referenced by isDenselyPacked().

◆ mayBeInCycle()

bool mayBeInCycle	(	const CycleInfo *	CI,
		const Instruction *	I,
		bool	HeaderOnly,
		Cycle **	CPtr = nullptr )

static

Definition at line 215 of file AttributorAttributes.cpp.

References llvm::CallingConv::C, llvm::GenericCycleInfo< ContextT >::getCycle(), and I.

◆ STATISTIC() [1/2]

STATISTIC	(	NumAAs	,
		"Number of abstract attributes created"	)

◆ STATISTIC() [2/2]

STATISTIC	(	NumIndirectCallsPromoted	,
		"Number of indirect calls promoted"	)

◆ stripAndAccumulateOffsets()

const Value * stripAndAccumulateOffsets	(	Attributor &	A,
		const AbstractAttribute &	QueryingAA,
		const Value *	Val,
		const DataLayout &	DL,
		APInt &	Offset,
		bool	GetMinOffset,
		bool	AllowNonInbounds,
		bool	UseAssumed = false )

static

Definition at line 308 of file AttributorAttributes.cpp.

References A(), DL, llvm::IntegerRangeState::getAssumed(), llvm::IntegerRangeState::getKnown(), llvm::NONE, llvm::Offset, llvm::OPTIONAL, Range, llvm::Value::stripAndAccumulateConstantOffsets(), and llvm::IRPosition::value().

Referenced by getMinimalBaseOfPointer().

Variable Documentation

◆ Floating

Floating

Definition at line 13737 of file AttributorAttributes.cpp.

◆ ManifestInternal

cl::opt< bool > ManifestInternal("attributor-manifest-internal", cl::Hidden, cl::desc("Manifest Attributor internal string attributes."), cl::init(false))	(	"attributor-manifest-internal"	,
		cl::Hidden	,
		cl::desc("Manifest Attributor internal string attributes.")	,
		cl::init(false)	)

static

◆ MaxHeapToStackSize

cl::opt< int > MaxHeapToStackSize("max-heap-to-stack-size", cl::init(128), cl::Hidden)	(	"max-heap-to-stack-size"	,
		cl::init(128)	,
		cl::Hidden	)

static

◆ MaxPotentialValues

cl::opt< unsigned, true > MaxPotentialValues("attributor-max-potential-values", cl::Hidden, cl::desc("Maximum number of potential values to be " "tracked for each position."), cl::location(llvm::PotentialConstantIntValuesState::MaxPotentialValues), cl::init(7))	(	"attributor-max-potential-values"	,
		cl::Hidden	,
		cl::desc("Maximum number of potential values to be " "tracked for each position.")	,
		cl::location(llvm::PotentialConstantIntValuesState::MaxPotentialValues)	,
		cl::init(7)	)

static

◆ MaxPotentialValuesIterations

cl::opt< int > MaxPotentialValuesIterations("attributor-max-potential-values-iterations", cl::Hidden, cl::desc( "Maximum number of iterations we keep dismantling potential values."), cl::init(64))	(	"attributor-max-potential-values-iterations"	,
		cl::Hidden	,
		cl::desc( "Maximum number of iterations we keep dismantling potential values.")	,
		cl::init(64)	)

static

Classes

Namespaces

Macros

Functions

Variables

Macro Definition Documentation

◆ BUILD_STAT_MSG_IR_ATTR

◆ BUILD_STAT_NAME

◆ CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION

◆ CREATE_ALL_ABSTRACT_ATTRIBUTE_FOR_POSITION

◆ CREATE_FUNCTION_ABSTRACT_ATTRIBUTE_FOR_POSITION

◆ CREATE_FUNCTION_ONLY_ABSTRACT_ATTRIBUTE_FOR_POSITION

◆ CREATE_NON_RET_ABSTRACT_ATTRIBUTE_FOR_POSITION

◆ CREATE_VALUE_ABSTRACT_ATTRIBUTE_FOR_POSITION

◆ DEBUG_TYPE

◆ DefineKeys

◆ PIPE_OPERATOR

◆ STATS_DECL

◆ STATS_DECL_

◆ STATS_DECLTRACK

◆ STATS_DECLTRACK_ARG_ATTR

◆ STATS_DECLTRACK_CS_ATTR

◆ STATS_DECLTRACK_CSARG_ATTR

◆ STATS_DECLTRACK_CSRET_ATTR

◆ STATS_DECLTRACK_FLOATING_ATTR

◆ STATS_DECLTRACK_FN_ATTR

◆ STATS_DECLTRACK_FNRET_ATTR

◆ STATS_TRACK

◆ SWITCH_PK_CREATE

◆ SWITCH_PK_INV

Function Documentation

◆ askForAssumedConstant()

◆ clampReturnedValueStates()

◆ constructPointer()

◆ CREATE_ABSTRACT_ATTRIBUTE_FOR_ONE_POSITION()

◆ getMinimalBaseOfPointer()

◆ getPointerOperand()

◆ isDenselyPacked()

◆ mayBeInCycle()

◆ STATISTIC() [1/2]

◆ STATISTIC() [2/2]

◆ stripAndAccumulateOffsets()

Variable Documentation

◆ Floating

◆ ManifestInternal

◆ MaxHeapToStackSize

◆ MaxPotentialValues

◆ MaxPotentialValuesIterations