#include "InstCombineInternal.h"#include "llvm/ADT/SmallBitVector.h"#include "llvm/Analysis/ValueTracking.h"#include "llvm/IR/GetElementPtrTypeIterator.h"#include "llvm/IR/IntrinsicInst.h"#include "llvm/IR/PatternMatch.h"#include "llvm/IR/ProfDataUtils.h"#include "llvm/Support/KnownBits.h"#include "llvm/Transforms/InstCombine/InstCombiner.h"Go to the source code of this file.
Macros | |
| #define | DEBUG_TYPE "instcombine" |
Functions | |
| static bool | ShrinkDemandedConstant (Instruction *I, unsigned OpNo, const APInt &Demanded) |
| Check to see if the specified operand of the specified instruction is a constant integer. | |
| static Value * | simplifyShiftSelectingPackedElement (Instruction *I, const APInt &DemandedMask, InstCombinerImpl &IC, unsigned Depth) |
| Let N = 2 * M. | |
| static unsigned | getBitWidth (Type *Ty, const DataLayout &DL) |
| Returns the bitwidth of the given scalar or pointer type. | |
| static bool | canSkipDemandedEltsInInsertChain (InsertElementInst &IE, unsigned VWidth, unsigned DepthLimit) |
| Return true if the top-level all-lanes demanded-elements query can be skipped for an intermediate insertelement chain node. | |
| static Constant * | getFPClassConstant (Type *Ty, FPClassTest Mask, bool IsCanonicalizing=false) |
| For floating-point classes that resolve to a single bit pattern, return that value. | |
| static Value * | simplifyDemandedFPClassFabs (KnownFPClass &Known, Value *Src, FPClassTest DemandedMask, KnownFPClass KnownSrc, bool NSZ) |
Perform multiple-use aware simplfications for fabs(Src). | |
| static FastMathFlags | inferFastMathValueFlags (FastMathFlags FMF, FPClassTest ValidResults, ArrayRef< KnownFPClass > Known) |
Try to set an inferred no-nans or no-infs in FMF. | |
| static FPClassTest | adjustDemandedMaskFromFlags (FPClassTest DemandedMask, FastMathFlags FMF) |
| static Value * | simplifyDemandedFPClassResult (Instruction *FPOp, FastMathFlags FMF, FPClassTest DemandedMask, KnownFPClass &Known, ArrayRef< KnownFPClass > KnownSrcs) |
| Apply epilog fixups to a floating-point intrinsic. | |
| static Value * | simplifyDemandedFPClassFnegFabs (KnownFPClass &Known, Value *Src, FPClassTest DemandedMask, KnownFPClass KnownSrc, bool NSZ) |
Perform multiple-use aware simplfications for fneg(fabs(Src)). | |
| static Value * | simplifyDemandedFPClassCopysignMag (Value *MagSrc, FPClassTest DemandedMask, KnownFPClass KnownSrc, bool NSZ) |
| static Value * | simplifyDemandedFPClassMinMax (KnownFPClass &Known, Intrinsic::ID IID, const CallInst *CI, FPClassTest DemandedMask, KnownFPClass KnownLHS, KnownFPClass KnownRHS, const Function &F, bool NSZ) |
| static Value * | simplifyDemandedUseFPClassFPTrunc (InstCombinerImpl &IC, Instruction &I, FastMathFlags FMF, FPClassTest DemandedMask, KnownFPClass &Known, const SimplifyQuery &SQ, unsigned Depth) |
Variables | |
| static cl::opt< bool > | VerifyKnownBits ("instcombine-verify-known-bits", cl::desc("Verify that computeKnownBits() and " "SimplifyDemandedBits() are consistent"), cl::Hidden, cl::init(false)) |
| static cl::opt< unsigned > | SimplifyDemandedVectorEltsDepthLimit ("instcombine-simplify-vector-elts-depth", cl::desc("Depth limit when simplifying vector instructions and their operands"), cl::Hidden, cl::init(10)) |
Macro Definition Documentation
◆ DEBUG_TYPE
| #define DEBUG_TYPE "instcombine" |
Definition at line 27 of file InstCombineSimplifyDemanded.cpp.
Function Documentation
◆ adjustDemandedMaskFromFlags()
|
static |
Definition at line 2170 of file InstCombineSimplifyDemanded.cpp.
References llvm::fcInf, llvm::fcNan, llvm::FastMathFlags::noInfs(), and llvm::FastMathFlags::noNaNs().
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().
◆ canSkipDemandedEltsInInsertChain()
|
static |
Return true if the top-level all-lanes demanded-elements query can be skipped for an intermediate insertelement chain node.
This is limited to a bounded one-use chain with distinct in-range constant indices, where SDVE cannot remove a dead insert before hitting its depth limit.
Definition at line 1467 of file InstCombineSimplifyDemanded.cpp.
References llvm::sampleprof::Base, llvm::dyn_cast(), I, llvm::PatternMatch::m_Poison(), llvm::PatternMatch::match(), llvm::SmallBitVector::set(), and llvm::SmallBitVector::test().
Referenced by llvm::InstCombinerImpl::SimplifyDemandedVectorElts().
◆ getBitWidth()
|
static |
Returns the bitwidth of the given scalar or pointer type.
For vector types, returns the element type's bitwidth.
Definition at line 124 of file InstCombineSimplifyDemanded.cpp.
References llvm::BitWidth, and DL.
◆ getFPClassConstant()
|
static |
For floating-point classes that resolve to a single bit pattern, return that value.
Definition at line 2091 of file InstCombineSimplifyDemanded.cpp.
References llvm::fcNan, llvm::fcNegInf, llvm::fcNegZero, llvm::fcNone, llvm::fcPosInf, llvm::fcPosZero, llvm::fcQNan, llvm::PoisonValue::get(), llvm::ConstantFP::getInfinity(), llvm::Constant::getNullValue(), llvm::ConstantFP::getQNaN(), and llvm::ConstantFP::getZero().
Referenced by llvm::InstCombinerImpl::SimplifyDemandedFPClass(), simplifyDemandedFPClassMinMax(), simplifyDemandedFPClassResult(), llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().
◆ inferFastMathValueFlags()
|
static |
Try to set an inferred no-nans or no-infs in FMF.
ValidResults is a mask of known valid results for the operator (already computed from the result, and the known operand inputs in Known)
Definition at line 2150 of file InstCombineSimplifyDemanded.cpp.
References llvm::all_of(), llvm::fcInf, llvm::fcNan, llvm::fcNone, llvm::KnownFPClass::isKnownNeverInfinity(), llvm::KnownFPClass::isKnownNeverNaN(), llvm::Known, llvm::FastMathFlags::noInfs(), llvm::FastMathFlags::noNaNs(), llvm::FastMathFlags::setNoInfs(), and llvm::FastMathFlags::setNoNaNs().
Referenced by simplifyDemandedFPClassResult(), and llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().
◆ ShrinkDemandedConstant()
|
static |
Check to see if the specified operand of the specified instruction is a constant integer.
If so, check to see if there are any bits set in the constant that are not demanded. If so, shrink the constant and return true.
Definition at line 44 of file InstCombineSimplifyDemanded.cpp.
References assert(), llvm::CallingConv::C, I, llvm::PatternMatch::m_APInt(), and llvm::PatternMatch::match().
Referenced by llvm::TargetLowering::ShrinkDemandedConstant(), llvm::TargetLowering::SimplifyDemandedBits(), and llvm::InstCombinerImpl::SimplifyDemandedUseBits().
◆ simplifyDemandedFPClassCopysignMag()
|
static |
Definition at line 2229 of file InstCombineSimplifyDemanded.cpp.
References llvm::fcNegative, llvm::fcNegZero, llvm::fcNone, llvm::fcPositive, llvm::fcPosZero, llvm::KnownFPClass::isKnownAlways(), and llvm::KnownFPClass::SignBit.
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().
◆ simplifyDemandedFPClassFabs()
|
static |
Perform multiple-use aware simplfications for fabs(Src).
Returns a replacement value if it's simplified, otherwise nullptr. Updates Known with the known fpclass if not simplified.
Definition at line 2125 of file InstCombineSimplifyDemanded.cpp.
References llvm::KnownFPClass::fabs(), llvm::fcInf, llvm::fcNan, llvm::fcNegative, llvm::fcNone, llvm::KnownFPClass::isKnownNever(), llvm::Known, llvm::KnownFPClass::knownNot(), llvm::KnownFPClass::OrderedLessThanZeroMask, and llvm::KnownFPClass::SignBit.
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().
◆ simplifyDemandedFPClassFnegFabs()
|
static |
Perform multiple-use aware simplfications for fneg(fabs(Src)).
Returns a replacement value if it's simplified, otherwise nullptr. Updates Known with the known fpclass if not simplified.
Definition at line 2207 of file InstCombineSimplifyDemanded.cpp.
References llvm::KnownFPClass::fabs(), llvm::fcInf, llvm::fcNan, llvm::fcNone, llvm::KnownFPClass::fneg(), llvm::KnownFPClass::isKnownNever(), llvm::Known, llvm::KnownFPClass::knownNot(), llvm::KnownFPClass::OrderedGreaterThanZeroMask, and llvm::KnownFPClass::SignBit.
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().
◆ simplifyDemandedFPClassMinMax()
|
static |
Definition at line 2256 of file InstCombineSimplifyDemanded.cpp.
References llvm::cannotOrderStrictlyGreater(), llvm::cannotOrderStrictlyLess(), F, llvm::fcNan, llvm::CallBase::getArgOperand(), llvm::Type::getFltSemantics(), getFPClassConstant(), llvm::Type::getScalarType(), llvm::Value::getType(), llvm::KnownFPClass::isKnownNever(), llvm::Known, llvm::KnownFPClass::KnownFPClasses, llvm_unreachable, llvm::KnownFPClass::maximum, llvm::KnownFPClass::maximumnum, llvm::KnownFPClass::maxnum, llvm::KnownFPClass::minimum, llvm::KnownFPClass::minimumnum, llvm::KnownFPClass::minMaxLike(), llvm::KnownFPClass::minnum, and Mode.
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and llvm::InstCombinerImpl::SimplifyMultipleUseDemandedFPClass().
◆ simplifyDemandedFPClassResult()
|
static |
Apply epilog fixups to a floating-point intrinsic.
See if the result can fold to a constant, or apply fast math flags.
Definition at line 2182 of file InstCombineSimplifyDemanded.cpp.
References llvm::Instruction::dropUBImplyingAttrsAndMetadata(), getFPClassConstant(), llvm::Value::getType(), inferFastMathValueFlags(), llvm::Known, and llvm::Instruction::setFastMathFlags().
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass(), and simplifyDemandedUseFPClassFPTrunc().
◆ simplifyDemandedUseFPClassFPTrunc()
|
static |
Definition at line 2346 of file InstCombineSimplifyDemanded.cpp.
References llvm::Depth, llvm::fcNan, llvm::fcNegInf, llvm::fcNegNormal, llvm::fcNegSubnormal, llvm::fcNegZero, llvm::fcPosInf, llvm::fcPosNormal, llvm::fcPosSubnormal, llvm::fcPosZero, llvm::KnownFPClass::fptrunc(), I, llvm::Known, llvm::InstCombinerImpl::SimplifyDemandedFPClass(), and simplifyDemandedFPClassResult().
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseFPClass().
◆ simplifyShiftSelectingPackedElement()
|
static |
Let N = 2 * M.
Given an N-bit integer representing a pack of two M-bit integers, we can select one of the packed integers by right-shifting by either zero or M (which is the most straightforward to check if M is a power of 2), and then isolating the lower M bits. In this case, we can represent the shift as a select on whether the shr amount is nonzero.
Definition at line 71 of file InstCombineSimplifyDemanded.cpp.
References assert(), llvm::InstCombiner::Builder, llvm::InstCombiner::computeKnownBits(), llvm::IRBuilderBase::CreateICmpEQ(), llvm::IRBuilderBase::CreateSelectWithUnknownProfile(), DEBUG_TYPE, llvm::Depth, llvm::APInt::getActiveBits(), llvm::KnownBits::getMaxValue(), llvm::Value::getName(), llvm::Constant::getNullValue(), llvm::Value::getType(), I, llvm::APInt::isIntN(), llvm::isPowerOf2_64(), llvm::Lower, llvm::PatternMatch::m_c_DisjointOr(), llvm::PatternMatch::m_ConstantInt(), llvm::MIPatternMatch::m_OneUse(), llvm::PatternMatch::m_Shl(), llvm::PatternMatch::m_Value(), llvm::PatternMatch::match(), Select, llvm::IRBuilderBase::SetInsertPoint(), llvm::Upper, and llvm::KnownBits::Zero.
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseBits().
Variable Documentation
◆ SimplifyDemandedVectorEltsDepthLimit
|
static |
Referenced by llvm::InstCombinerImpl::SimplifyDemandedVectorElts().
◆ VerifyKnownBits
|
static |
Referenced by llvm::InstCombinerImpl::SimplifyDemandedUseBits().
Generated on for LLVM by
1.14.0