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/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/IRBuilder.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/Support/MathExtras.h"
#include "llvm/Transforms/Scalar.h"
#include <string>

Include dependency graph for ConstraintElimination.cpp:

Go to the source code of this file.

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, SmallVector< PreconditionTy, 4 > &Preconditions, bool IsSigned)
static void	dumpWithNames (const ConstraintSystem &CS, DenseMap< Value *, unsigned > &Value2Index)
static void	dumpWithNames (ArrayRef< int64_t > C, DenseMap< Value *, unsigned > &Value2Index)
static void	tryToSimplifyOverflowMath (IntrinsicInst *II, ConstraintInfo &Info, SmallVectorImpl< Instruction * > &ToRemove)
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()
static int64_t	MinSignedConstraintValue = std::numeric_limits<int64_t>::min()
constraint	elimination
constraint Constraint	Elimination
constraint Constraint	false

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "constraint-elimination"

Definition at line 39 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, SmallVector< PreconditionTy, 4 > &  Preconditions, bool  IsSigned  )

static

Definition at line 178 of file ConstraintElimination.cpp.

References llvm::SmallVectorImpl< T >::emplace_back(), GEP, llvm::ConstantInt::get(), llvm::ConstantInt::getSExtValue(), llvm::Value::getType(), llvm::ConstantInt::getZExtValue(), llvm::CmpInst::ICMP_SGE, llvm::CmpInst::ICMP_UGE, llvm::ConstantInt::isNegative(), llvm::PatternMatch::m_Add(), 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(), MaxConstraintValue, MinSignedConstraintValue, llvm::APInt::sgt(), llvm::APInt::slt(), and llvm::ConstantInt::uge().

dumpWithNames() [1/2]

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

static

Definition at line 491 of file ConstraintElimination.cpp.

References llvm::ConstraintSystem::addVariableRowFill(), and dumpWithNames().

dumpWithNames() [2/2]

static void dumpWithNames ( const ConstraintSystem &  CS, DenseMap< Value *, unsigned > &  Value2Index  )

static

Definition at line 482 of file ConstraintElimination.cpp.

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

Referenced by dumpWithNames(), and eliminateConstraints().

eliminateConstraints()

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

static

Definition at line 671 of file ConstraintElimination.cpp.

References assert(), B, BB, llvm::count_if(), llvm::dbgs(), dumpWithNames(), E, F, llvm::ConstantInt::getFalse(), llvm::DominatorTreeBase< NodeT, IsPostDom >::getNode(), llvm::ConstantInt::getTrue(), I, Info, LLVM_DEBUG, llvm::PatternMatch::m_ICmp(), llvm::PatternMatch::m_Value(), llvm::make_early_inc_range(), llvm::make_scope_exit(), llvm::PatternMatch::match(), llvm::ConstraintSystem::negate(), S, llvm::DebugCounter::shouldExecute(), llvm::stable_sort(), ToRemove, tryToSimplifyOverflowMath(), and llvm::DominatorTreeBase< NodeT, IsPostDom >::updateDFSNumbers().

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

INITIALIZE_PASS_BEGIN()

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

STATISTIC()

STATISTIC	(	NumCondsRemoved	,
		"Number of instructions removed"
	)

tryToSimplifyOverflowMath()

static void tryToSimplifyOverflowMath ( IntrinsicInst *  II, ConstraintInfo &  Info, SmallVectorImpl< Instruction * > &  ToRemove  )

static

Definition at line 624 of file ConstraintElimination.cpp.

References B, Builder, llvm::Instruction::eraseFromParent(), llvm::ConstantInt::get(), llvm::PoisonValue::get(), llvm::CallBase::getArgOperand(), llvm::IntrinsicInst::getIntrinsicID(), llvm::ilist_node_impl< OptionsT >::getIterator(), llvm::Instruction::getParent(), llvm::Value::getType(), I, llvm::CmpInst::ICMP_SGE, Info, llvm::CmpInst::isSigned(), llvm::PatternMatch::m_Value(), llvm::make_early_inc_range(), llvm::PatternMatch::match(), ToRemove, llvm::Value::use_empty(), and llvm::Value::users().

Referenced by eliminateConstraints().

Variable Documentation

elimination

constraint elimination

Definition at line 875 of file ConstraintElimination.cpp.

Elimination

constraint Constraint Elimination

Definition at line 876 of file ConstraintElimination.cpp.

false

constraint Constraint false

Definition at line 876 of file ConstraintElimination.cpp.

MaxConstraintValue

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

static

Definition at line 45 of file ConstraintElimination.cpp.

Referenced by decompose().

MinSignedConstraintValue

int64_t MinSignedConstraintValue = std::numeric_limits<int64_t>::min()

static

Definition at line 46 of file ConstraintElimination.cpp.

Referenced by decompose().