ConstraintElimination.cpp File Reference

#include "llvm/Transforms/Scalar/ConstraintElimination.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/ScopeExit.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/ConstraintSystem.h"
#include "llvm/Analysis/GlobalsModRef.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/DataLayout.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/PatternMatch.h"
#include "llvm/InitializePasses.h"
#include "llvm/Pass.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/DebugCounter.h"
#include "llvm/Transforms/Scalar.h"
#include <string>

Include dependency graph for ConstraintElimination.cpp:

Go to the source code of this file.

Classes
struct	ConstraintTy

Macros
#define	DEBUG_TYPE   "constraint-elimination"

Functions
	STATISTIC (NumCondsRemoved, "Number of instructions removed")
	DEBUG_COUNTER (EliminatedCounter, "conds-eliminated", "Controls which conditions are eliminated")
static SmallVector< std::pair< int64_t, Value * >, 4 >	decompose (Value *V)
static SmallVector< ConstraintTy, 4 >	getConstraint (CmpInst::Predicate Pred, Value *Op0, Value *Op1, const DenseMap< Value *, unsigned > &Value2Index, DenseMap< Value *, unsigned > &NewIndices)
	Turn a condition CmpI into a vector of constraints, using indices from Value2Index. More...
static SmallVector< ConstraintTy, 4 >	getConstraint (CmpInst *Cmp, const DenseMap< Value *, unsigned > &Value2Index, DenseMap< Value *, unsigned > &NewIndices)
static void	dumpWithNames (ConstraintTy &C, DenseMap< Value *, unsigned > &Value2Index)
static bool	eliminateConstraints (Function &F, DominatorTree &DT)
	INITIALIZE_PASS_BEGIN (ConstraintElimination, "constraint-elimination", "Constraint Elimination", false, false) INITIALIZE_PASS_END(ConstraintElimination

Variables
static int64_t	MaxConstraintValue = std::numeric_limits<int64_t>::max()
constraint	elimination
constraint Constraint	Elimination
constraint Constraint	false

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "constraint-elimination"

Definition at line 38 of file ConstraintElimination.cpp.

Function Documentation

DEBUG_COUNTER()

DEBUG_COUNTER	(	EliminatedCounter	,
		"conds-eliminated"	,
		"Controls which conditions are eliminated"
	)

decompose()

static SmallVector<std::pair<int64_t, Value *>, 4> decompose ( Value *  V )

static

Definition at line 50 of file ConstraintElimination.cpp.

References GEP, llvm::ConstantInt::getSExtValue(), llvm::ConstantInt::isNegative(), llvm::PatternMatch::m_ConstantInt(), llvm::PatternMatch::m_NSWAdd(), llvm::PatternMatch::m_NUWAdd(), llvm::PatternMatch::m_NUWShl(), llvm::PatternMatch::m_NUWSub(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::m_ZExt(), llvm::PatternMatch::match(), and MaxConstraintValue.

dumpWithNames()

static void dumpWithNames ( ConstraintTy &  C, DenseMap< Value *, unsigned > &  Value2Index  )

static

Definition at line 246 of file ConstraintElimination.cpp.

References llvm::ConstraintSystem::addVariableRowFill(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::size().

Referenced by eliminateConstraints().

eliminateConstraints()

static bool eliminateConstraints ( Function &  F, DominatorTree &  DT  )

static

Definition at line 258 of file ConstraintElimination.cpp.

References llvm::ConstraintSystem::addVariableRowFill(), llvm::all_of(), assert(), B, BB, Cond, llvm::dbgs(), llvm::DominatorTree::dominates(), dumpWithNames(), E, llvm::SmallVectorImpl< T >::emplace_back(), F, getConstraint(), llvm::ConstantInt::getFalse(), llvm::DominatorTreeBase< NodeT, IsPostDom >::getNode(), llvm::ConstantInt::getTrue(), I, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), llvm::ConstraintSystem::isConditionImplied(), llvm::isGuaranteedToTransferExecutionToSuccessor(), LLVM_DEBUG, llvm::PatternMatch::m_Cmp(), llvm::PatternMatch::m_LogicalAnd(), llvm::PatternMatch::m_LogicalOr(), llvm::PatternMatch::m_Value(), llvm::make_scope_exit(), llvm::PatternMatch::match(), llvm::ConstraintSystem::negate(), llvm::ConstraintSystem::popLastConstraint(), llvm::predecessors(), llvm::reverse(), llvm::DebugCounter::shouldExecute(), llvm::ConstraintSystem::size(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::size(), llvm::size(), llvm::sort(), llvm::successors(), and llvm::DominatorTreeBase< NodeT, IsPostDom >::updateDFSNumbers().

Referenced by llvm::ConstraintEliminationPass::run().

getConstraint() [1/2]

static SmallVector<ConstraintTy, 4> getConstraint ( CmpInst *  Cmp, const DenseMap< Value *, unsigned > &  Value2Index, DenseMap< Value *, unsigned > &  NewIndices  )

static

Definition at line 207 of file ConstraintElimination.cpp.

References getConstraint().

getConstraint() [2/2]

static SmallVector<ConstraintTy, 4> getConstraint ( CmpInst::Predicate  Pred, Value *  Op0, Value *  Op1, const DenseMap< Value *, unsigned > &  Value2Index, DenseMap< Value *, unsigned > &  NewIndices  )

static

Turn a condition CmpI into a vector of constraints, using indices from Value2Index.

Additional indices for newly discovered values are added to NewIndices.

Definition at line 129 of file ConstraintElimination.cpp.

References llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::end(), llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::find(), Insert, llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::insert(), and llvm::DenseMapBase< DerivedT, KeyT, ValueT, KeyInfoT, BucketT >::size().

Referenced by eliminateConstraints(), and getConstraint().

INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN	(	ConstraintElimination	,
		"constraint-elimination"	,
		"Constraint Elimination"	,
		false	,
		false
	)

STATISTIC()

STATISTIC	(	NumCondsRemoved	,
		"Number of instructions removed"
	)

Variable Documentation

elimination

constraint elimination

Definition at line 544 of file ConstraintElimination.cpp.

Elimination

constraint Constraint Elimination

Definition at line 545 of file ConstraintElimination.cpp.

false

constraint Constraint false

Definition at line 545 of file ConstraintElimination.cpp.

MaxConstraintValue

int64_t MaxConstraintValue = std::numeric_limits<int64_t>::max()

static

Definition at line 44 of file ConstraintElimination.cpp.

Referenced by decompose().