InstructionSimplify.h File Reference

#include "llvm/IR/PatternMatch.h"

Go to the source code of this file.

Classes
struct	llvm::InstrInfoQuery
	InstrInfoQuery provides an interface to query additional information for instructions like metadata or keywords like nsw, which provides conservative results if the users specified it is safe to use. More...
struct	llvm::SimplifyQuery

Namespaces
namespace	llvm
	This is an optimization pass for GlobalISel generic memory operations.

Functions
Value *	llvm::simplifyAddInst (Value *LHS, Value *RHS, bool IsNSW, bool IsNUW, const SimplifyQuery &Q)
	Given operands for an Add, fold the result or return null.
Value *	llvm::simplifySubInst (Value *LHS, Value *RHS, bool IsNSW, bool IsNUW, const SimplifyQuery &Q)
	Given operands for a Sub, fold the result or return null.
Value *	llvm::simplifyMulInst (Value *LHS, Value *RHS, bool IsNSW, bool IsNUW, const SimplifyQuery &Q)
	Given operands for a Mul, fold the result or return null.
Value *	llvm::simplifySDivInst (Value *LHS, Value *RHS, bool IsExact, const SimplifyQuery &Q)
	Given operands for an SDiv, fold the result or return null.
Value *	llvm::simplifyUDivInst (Value *LHS, Value *RHS, bool IsExact, const SimplifyQuery &Q)
	Given operands for a UDiv, fold the result or return null.
Value *	llvm::simplifySRemInst (Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for an SRem, fold the result or return null.
Value *	llvm::simplifyURemInst (Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for a URem, fold the result or return null.
Value *	llvm::simplifyFNegInst (Value *Op, FastMathFlags FMF, const SimplifyQuery &Q)
	Given operand for an FNeg, fold the result or return null.
Value *	llvm::simplifyFAddInst (Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q, fp::ExceptionBehavior ExBehavior=fp::ebIgnore, RoundingMode Rounding=RoundingMode::NearestTiesToEven)
	Given operands for an FAdd, fold the result or return null.
Value *	llvm::simplifyFSubInst (Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q, fp::ExceptionBehavior ExBehavior=fp::ebIgnore, RoundingMode Rounding=RoundingMode::NearestTiesToEven)
	Given operands for an FSub, fold the result or return null.
Value *	llvm::simplifyFMulInst (Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q, fp::ExceptionBehavior ExBehavior=fp::ebIgnore, RoundingMode Rounding=RoundingMode::NearestTiesToEven)
	Given operands for an FMul, fold the result or return null.
Value *	llvm::simplifyFMAFMul (Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q, fp::ExceptionBehavior ExBehavior=fp::ebIgnore, RoundingMode Rounding=RoundingMode::NearestTiesToEven)
	Given operands for the multiplication of a FMA, fold the result or return null.
Value *	llvm::simplifyFDivInst (Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q, fp::ExceptionBehavior ExBehavior=fp::ebIgnore, RoundingMode Rounding=RoundingMode::NearestTiesToEven)
	Given operands for an FDiv, fold the result or return null.
Value *	llvm::simplifyFRemInst (Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q, fp::ExceptionBehavior ExBehavior=fp::ebIgnore, RoundingMode Rounding=RoundingMode::NearestTiesToEven)
	Given operands for an FRem, fold the result or return null.
Value *	llvm::simplifyShlInst (Value *Op0, Value *Op1, bool IsNSW, bool IsNUW, const SimplifyQuery &Q)
	Given operands for a Shl, fold the result or return null.
Value *	llvm::simplifyLShrInst (Value *Op0, Value *Op1, bool IsExact, const SimplifyQuery &Q)
	Given operands for a LShr, fold the result or return null.
Value *	llvm::simplifyAShrInst (Value *Op0, Value *Op1, bool IsExact, const SimplifyQuery &Q)
	Given operands for a AShr, fold the result or return nulll.
Value *	llvm::simplifyAndInst (Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for an And, fold the result or return null.
Value *	llvm::simplifyOrInst (Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for an Or, fold the result or return null.
Value *	llvm::simplifyXorInst (Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for an Xor, fold the result or return null.
Value *	llvm::simplifyICmpInst (unsigned Predicate, Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for an ICmpInst, fold the result or return null.
Value *	llvm::simplifyFCmpInst (unsigned Predicate, Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q)
	Given operands for an FCmpInst, fold the result or return null.
Value *	llvm::simplifySelectInst (Value *Cond, Value *TrueVal, Value *FalseVal, const SimplifyQuery &Q)
	Given operands for a SelectInst, fold the result or return null.
Value *	llvm::simplifyGEPInst (Type *SrcTy, Value *Ptr, ArrayRef< Value * > Indices, bool InBounds, const SimplifyQuery &Q)
	Given operands for a GetElementPtrInst, fold the result or return null.
Value *	llvm::simplifyInsertValueInst (Value *Agg, Value *Val, ArrayRef< unsigned > Idxs, const SimplifyQuery &Q)
	Given operands for an InsertValueInst, fold the result or return null.
Value *	llvm::simplifyInsertElementInst (Value *Vec, Value *Elt, Value *Idx, const SimplifyQuery &Q)
	Given operands for an InsertElement, fold the result or return null.
Value *	llvm::simplifyExtractValueInst (Value *Agg, ArrayRef< unsigned > Idxs, const SimplifyQuery &Q)
	Given operands for an ExtractValueInst, fold the result or return null.
Value *	llvm::simplifyExtractElementInst (Value *Vec, Value *Idx, const SimplifyQuery &Q)
	Given operands for an ExtractElementInst, fold the result or return null.
Value *	llvm::simplifyCastInst (unsigned CastOpc, Value *Op, Type *Ty, const SimplifyQuery &Q)
	Given operands for a CastInst, fold the result or return null.
Value *	llvm::simplifyShuffleVectorInst (Value *Op0, Value *Op1, ArrayRef< int > Mask, Type *RetTy, const SimplifyQuery &Q)
	Given operands for a ShuffleVectorInst, fold the result or return null.
Value *	llvm::simplifyCmpInst (unsigned Predicate, Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for a CmpInst, fold the result or return null.
Value *	llvm::simplifyUnOp (unsigned Opcode, Value *Op, const SimplifyQuery &Q)
	Given operand for a UnaryOperator, fold the result or return null.
Value *	llvm::simplifyUnOp (unsigned Opcode, Value *Op, FastMathFlags FMF, const SimplifyQuery &Q)
	Given operand for a UnaryOperator, fold the result or return null.
Value *	llvm::simplifyBinOp (unsigned Opcode, Value *LHS, Value *RHS, const SimplifyQuery &Q)
	Given operands for a BinaryOperator, fold the result or return null.
Value *	llvm::simplifyBinOp (unsigned Opcode, Value *LHS, Value *RHS, FastMathFlags FMF, const SimplifyQuery &Q)
	Given operands for a BinaryOperator, fold the result or return null.
Value *	llvm::simplifyCall (CallBase *Call, Value *Callee, ArrayRef< Value * > Args, const SimplifyQuery &Q)
	Given a callsite, callee, and arguments, fold the result or return null.
Value *	llvm::simplifyConstrainedFPCall (CallBase *Call, const SimplifyQuery &Q)
	Given a constrained FP intrinsic call, tries to compute its simplified version.
Value *	llvm::simplifyFreezeInst (Value *Op, const SimplifyQuery &Q)
	Given an operand for a Freeze, see if we can fold the result.
Value *	llvm::simplifyLoadInst (LoadInst *LI, Value *PtrOp, const SimplifyQuery &Q)
	Given a load instruction and its pointer operand, fold the result or return null.
Value *	llvm::simplifyInstruction (Instruction *I, const SimplifyQuery &Q)
	See if we can compute a simplified version of this instruction.
Value *	llvm::simplifyInstructionWithOperands (Instruction *I, ArrayRef< Value * > NewOps, const SimplifyQuery &Q)
	Like simplifyInstruction but the operands of I are replaced with NewOps.
Value *	llvm::simplifyWithOpReplaced (Value *V, Value *Op, Value *RepOp, const SimplifyQuery &Q, bool AllowRefinement)
	See if V simplifies when its operand Op is replaced with RepOp.
bool	llvm::replaceAndRecursivelySimplify (Instruction *I, Value *SimpleV, const TargetLibraryInfo *TLI=nullptr, const DominatorTree *DT=nullptr, AssumptionCache *AC=nullptr, SmallSetVector< Instruction *, 8 > *UnsimplifiedUsers=nullptr)
	Replace all uses of 'I' with 'SimpleV' and simplify the uses recursively.
const SimplifyQuery	llvm::getBestSimplifyQuery (Pass &, Function &)
template<class T , class... TArgs>
const SimplifyQuery	llvm::getBestSimplifyQuery (AnalysisManager< T, TArgs... > &, Function &)
const SimplifyQuery	llvm::getBestSimplifyQuery (LoopStandardAnalysisResults &, const DataLayout &)