#include "llvm/Transforms/Scalar/AlignmentFromAssumptions.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AliasAnalysis.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/GlobalsModRef.h"
#include "llvm/Analysis/LoopInfo.h"
#include "llvm/Analysis/ScalarEvolutionExpressions.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"

Macros
#define	DEBUG_TYPE "alignment-from-assumptions"

Functions
	STATISTIC (NumLoadAlignChanged, "Number of loads changed by alignment assumptions")

	STATISTIC (NumStoreAlignChanged, "Number of stores changed by alignment assumptions")

	STATISTIC (NumMemIntAlignChanged, "Number of memory intrinsics changed by alignment assumptions")

static MaybeAlign	getNewAlignmentDiff (const SCEV DiffSCEV, const SCEV AlignSCEV, ScalarEvolution *SE)

static Align	getNewAlignment (const SCEV AASCEV, const SCEV AlignSCEV, const SCEV OffSCEV, Value Ptr, ScalarEvolution *SE)

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "alignment-from-assumptions"

Definition at line 34 of file AlignmentFromAssumptions.cpp.

Function Documentation

◆ getNewAlignment()

static Align getNewAlignment	(	const SCEV *	AASCEV,
		const SCEV *	AlignSCEV,
		const SCEV *	OffSCEV,
		Value *	Ptr,
		ScalarEvolution *	SE
	)

static

Definition at line 82 of file AlignmentFromAssumptions.cpp.

References assert(), llvm::dbgs(), llvm::dwarf_linker::DebugStr, llvm::ScalarEvolution::getAddExpr(), llvm::ScalarEvolution::getMinusSCEV(), getNewAlignmentDiff(), llvm::ScalarEvolution::getNoopOrSignExtend(), llvm::ScalarEvolution::getSCEV(), llvm::SCEV::getType(), LLVM_DEBUG, and Ptr.

Referenced by llvm::AlignmentFromAssumptionsPass::processAssumption().

◆ getNewAlignmentDiff()

static MaybeAlign getNewAlignmentDiff	(	const SCEV *	DiffSCEV,
		const SCEV *	AlignSCEV,
		ScalarEvolution *	SE
	)

static

Definition at line 50 of file AlignmentFromAssumptions.cpp.

References llvm::dbgs(), llvm::ScalarEvolution::getURemExpr(), llvm::isPowerOf2_64(), and LLVM_DEBUG.

Referenced by getNewAlignment().

◆ STATISTIC() [1/3]

STATISTIC	(	NumLoadAlignChanged	,
		"Number of loads changed by alignment assumptions"
	)

◆ STATISTIC() [2/3]

STATISTIC	(	NumMemIntAlignChanged	,
		"Number of memory intrinsics changed by alignment assumptions"
	)

◆ STATISTIC() [3/3]

STATISTIC	(	NumStoreAlignChanged	,
		"Number of stores changed by alignment assumptions"
	)

Macros

Functions