LLVM  14.0.0git
Namespaces | Macros | Functions | Variables
AssumeBundleBuilder.cpp File Reference
#include "llvm/Transforms/Utils/AssumeBundleBuilder.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/Analysis/AssumeBundleQueries.h"
#include "llvm/Analysis/AssumptionCache.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Module.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/DebugCounter.h"
#include "llvm/Transforms/Utils/Local.h"
Include dependency graph for AssumeBundleBuilder.cpp:

Go to the source code of this file.

Namespaces

 llvm
 This file implements support for optimizing divisions by a constant.
 

Macros

#define DEBUG_TYPE   "assume-builder"
 

Functions

cl::opt< bool > llvm::EnableKnowledgeRetention ("enable-knowledge-retention", cl::init(false), cl::Hidden, cl::desc("enable preservation of attributes throughout code transformation"))
 
 STATISTIC (NumAssumeBuilt, "Number of assume built by the assume builder")
 
 STATISTIC (NumBundlesInAssumes, "Total number of Bundles in the assume built")
 
 STATISTIC (NumAssumesMerged, "Number of assume merged by the assume simplify pass")
 
 STATISTIC (NumAssumesRemoved, "Number of assume removed by the assume simplify pass")
 
 DEBUG_COUNTER (BuildAssumeCounter, "assume-builder-counter", "Controls which assumes gets created")
 
 INITIALIZE_PASS_BEGIN (AssumeSimplifyPassLegacyPass, "assume-simplify", "Assume Simplify", false, false) INITIALIZE_PASS_END(AssumeSimplifyPassLegacyPass
 
 INITIALIZE_PASS_BEGIN (AssumeBuilderPassLegacyPass, "assume-builder", "Assume Builder", false, false) INITIALIZE_PASS_END(AssumeBuilderPassLegacyPass
 

Variables

cl::opt< bool > llvm::ShouldPreserveAllAttributes ("assume-preserve-all", cl::init(false), cl::Hidden, cl::desc("enable preservation of all attrbitues. even those that are " "unlikely to be usefull"))
 
assume simplify
 
assume Assume Simplify
 
assume Assume false
 
assume builder
 
assume Assume Builder
 

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE   "assume-builder"

Definition at line 40 of file AssumeBundleBuilder.cpp.

Function Documentation

◆ DEBUG_COUNTER()

DEBUG_COUNTER ( BuildAssumeCounter  ,
"assume-builder-counter"  ,
"Controls which assumes gets created"   
)

◆ INITIALIZE_PASS_BEGIN() [1/2]

INITIALIZE_PASS_BEGIN ( AssumeBuilderPassLegacyPass  ,
"assume-builder ,
"Assume Builder ,
false  ,
false   
)

◆ INITIALIZE_PASS_BEGIN() [2/2]

INITIALIZE_PASS_BEGIN ( AssumeSimplifyPassLegacyPass  ,
"assume-simplify ,
"Assume Simplify ,
false  ,
false   
)

◆ STATISTIC() [1/4]

STATISTIC ( NumAssumeBuilt  ,
"Number of assume built by the assume builder  
)

◆ STATISTIC() [2/4]

STATISTIC ( NumAssumesMerged  ,
"Number of assume merged by the assume simplify pass  
)

◆ STATISTIC() [3/4]

STATISTIC ( NumAssumesRemoved  ,
"Number of assume removed by the assume simplify pass  
)

◆ STATISTIC() [4/4]

STATISTIC ( NumBundlesInAssumes  ,
"Total number of Bundles in the assume built"   
)

Variable Documentation

◆ builder

assume builder

◆ Builder

assume Assume Builder
Examples
/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/llvm/include/llvm/Transforms/Utils/Local.h.

Definition at line 650 of file AssumeBundleBuilder.cpp.

Referenced by llvm::addCoroutinePassesToExtensionPoints(), addCoroutineSCCPasses(), addStackMapLiveVars(), llvm::BPFTargetMachine::adjustPassManager(), llvm::AMDGPUTargetMachine::adjustPassManager(), llvm::NVPTXTargetMachine::adjustPassManager(), llvm::StatepointLoweringState::allocateStackSlot(), appendArg(), appendString(), llvm::OpenMPIRBuilder::applyDynamicWorkshareLoop(), applyICmpRedundantTrunc(), applyINS(), llvm::OpenMPIRBuilder::applyStaticWorkshareLoop(), ApplyX86MaskOn1BitsVec(), bitTrackingDCE(), llvm::breakLoopBackedge(), llvm::buildAssumeFromInst(), llvm::buildAssumeFromKnowledge(), llvm::coro::buildCoroutineFrame(), buildMultiplyTree(), callAppendArgs(), callAppendStringN(), callIntrinsic(), callPrintfBegin(), canonicalizeAbs(), llvm::InstCombinerImpl::canonicalizeCondSignextOfHighBitExtractToSignextHighBitExtract(), canonicalizeICmpBool(), canonicalizeInsertSplat(), canonicalizeLowbitMask(), canonicalizeSaturatedAdd(), canonicalizeSaturatedSubtract(), CheckAndCreateOffsetAdd(), checkForNegativeOperand(), llvm::SCEVExpander::clearInsertPoint(), WidenIV::cloneArithmeticIVUser(), WidenIV::cloneBitwiseIVUser(), CloneLoopBlocks(), coerceArguments(), llvm::OpenMPIRBuilder::collapseLoops(), combineInstructionsOverFunction(), llvm::InstCombinerImpl::combineLoadToNewType(), llvm::pdb::DbiModuleDescriptorBuilder::commitSymbolStream(), llvm::InstCombinerImpl::commonCastTransforms(), llvm::InstCombinerImpl::commonIDivTransforms(), llvm::InstCombinerImpl::commonShiftTransforms(), llvm::sampleprof::SampleProfileWriter::computeSummary(), llvm::sampleprof::SampleProfileReader::computeSummary(), concatenateTwoVectors(), llvm::concatenateVectors(), concatSubVector(), llvm::ConstantFoldTerminator(), convertBitCastToGEP(), llvm::ConvertDebugDeclareToDebugValue(), convertTo16Bit(), convertToRelLookupTable(), ConvertTwoCaseSwitch(), llvm::SIInstrInfo::copyPhysReg(), createAllocaInstAtEntry(), llvm::OpenMPIRBuilder::createAtomicCapture(), llvm::OpenMPIRBuilder::createAtomicRead(), llvm::OpenMPIRBuilder::createAtomicUpdate(), llvm::OpenMPIRBuilder::createAtomicWrite(), llvm::createBitMaskForGaps(), llvm::OpenMPIRBuilder::createCachedThreadPrivate(), llvm::OpenMPIRBuilder::createCancel(), llvm::OpenMPIRBuilder::createCanonicalLoop(), createCast(), createCmpXchgInstFun(), llvm::OpenMPIRBuilder::createCopyinClauseBlocks(), llvm::OpenMPIRBuilder::createCopyPrivate(), llvm::OpenMPIRBuilder::createCritical(), WidenIV::createExtendInst(), createFrameHelperMachineFunction(), createFramePtr(), CreateGCRelocates(), CreateGCStatepointCallCommon(), CreateGCStatepointInvokeCommon(), createLogicalOp(), llvm::OpenMPIRBuilder::createLoopSkeleton(), llvm::OpenMPIRBuilder::createMapperAllocas(), llvm::OpenMPIRBuilder::createMasked(), createMaskInstrs(), llvm::OpenMPIRBuilder::createMaster(), createMemSetLoop(), createMinMax(), llvm::createMinMaxOp(), llvm::coro::createMustTailCall(), llvm::OpenMPIRBuilder::createOMPAlloc(), llvm::OpenMPIRBuilder::createOMPFree(), llvm::OpenMPIRBuilder::createOrderedDepend(), llvm::OpenMPIRBuilder::createOrderedThreadsSimd(), llvm::OpenMPIRBuilder::createParallel(), llvm::OpenMPIRBuilder::createReductions(), createResumeEntryBlock(), createRetPHINode(), llvm::OpenMPIRBuilder::createSection(), llvm::OpenMPIRBuilder::createSections(), llvm::createSelectCmpOp(), llvm::createSelectCmpTargetReduction(), createShiftShuffle(), llvm::createSimpleTargetReduction(), llvm::OpenMPIRBuilder::createSingle(), llvm::OpenMPIRBuilder::createTargetDeinit(), llvm::OpenMPIRBuilder::createTargetInit(), createTileStore(), llvm::deleteDeadLoop(), despeculateCountZeros(), DoFlattenLoopPair(), dropRedundantMaskingOfLeftShiftInput(), eliminateSwiftErrorArgument(), llvm::emitAMDGPUPrintfCall(), llvm::ARMTargetLowering::emitAtomicCmpXchgNoStoreLLBalance(), llvm::AArch64TargetLowering::emitAtomicCmpXchgNoStoreLLBalance(), llvm::OpenMPIRBuilder::emitBarrierImpl(), llvm::OpenMPIRBuilder::emitCancelationCheckImpl(), llvm::coro::Shape::emitDealloc(), llvm::OpenMPIRBuilder::emitFlush(), llvm::EmitGEPOffset(), emitGetSwiftErrorValue(), llvm::VETargetLowering::emitLeadingFence(), llvm::RISCVTargetLowering::emitLeadingFence(), llvm::ARMTargetLowering::emitLeadingFence(), llvm::PPCTargetLowering::emitLeadingFence(), llvm::TargetLoweringBase::emitLeadingFence(), llvm::HexagonTargetLowering::emitLoadLinked(), llvm::ARMTargetLowering::emitLoadLinked(), llvm::AArch64TargetLowering::emitLoadLinked(), llvm::OpenMPIRBuilder::emitMapperCall(), llvm::RISCVTargetLowering::emitMaskedAtomicCmpXchgIntrinsic(), llvm::PPCTargetLowering::emitMaskedAtomicCmpXchgIntrinsic(), llvm::RISCVTargetLowering::emitMaskedAtomicRMWIntrinsic(), llvm::PPCTargetLowering::emitMaskedAtomicRMWIntrinsic(), emitSetAndGetSwiftErrorValueAround(), emitSetSwiftErrorValue(), llvm::HexagonTargetLowering::emitStoreConditional(), llvm::ARMTargetLowering::emitStoreConditional(), llvm::AArch64TargetLowering::emitStoreConditional(), llvm::OpenMPIRBuilder::emitTaskwaitImpl(), llvm::OpenMPIRBuilder::emitTaskyieldImpl(), llvm::VETargetLowering::emitTrailingFence(), llvm::RISCVTargetLowering::emitTrailingFence(), llvm::ARMTargetLowering::emitTrailingFence(), llvm::PPCTargetLowering::emitTrailingFence(), llvm::TargetLoweringBase::emitTrailingFence(), EmitX86ScalarSelect(), EmitX86Select(), llvm::EscapeEnumerator::EscapeEnumerator(), llvm::VPFirstOrderRecurrencePHIRecipe::execute(), llvm::VPReductionPHIRecipe::execute(), llvm::VPWidenCanonicalIVRecipe::execute(), llvm::VPlan::execute(), llvm::expandAtomicRMWToCmpXchg(), llvm::expandDivision(), llvm::expandDivisionUpTo32Bits(), llvm::expandDivisionUpTo64Bits(), llvm::SCEVExpander::expandEqualPredicate(), llvm::expandRemainder(), llvm::expandRemainderUpTo32Bits(), llvm::expandRemainderUpTo64Bits(), llvm::SCEVExpander::expandUnionPredicate(), llvm::SCEVExpander::expandWrapPredicate(), extractIntPart(), extractMaskedValue(), extractValues(), factorizeFAddFSub(), factorizeLerp(), factorizeMathWithShlOps(), llvm::IRBuilderBase::FastMathFlagGuard::FastMathFlagGuard(), findPreviousSpillSlot(), fitArgInto64Bits(), llvm::InstCombinerImpl::foldAddWithConstant(), llvm::InstCombinerImpl::foldAggregateConstructionIntoAggregateReuse(), foldAndOrOfEqualityCmpsWithConstants(), foldAndOrOfICmpsWithConstEq(), foldAndToXor(), foldAnyOrAllBitsSet(), foldBitCastBitwiseLogic(), foldBitCastSelect(), foldClampRangeOfTwo(), llvm::InstCombinerImpl::foldCmpLoadFromIndexedGlobal(), llvm::InstCombinerImpl::foldFCmpIntToFPConst(), foldFDivPowDivisor(), llvm::InstCombinerImpl::foldGEPICmp(), foldGuardedFunnelShift(), llvm::InstCombinerImpl::foldICmpAddConstant(), llvm::InstCombinerImpl::foldICmpAndConstant(), llvm::InstCombinerImpl::foldICmpAndConstConst(), llvm::InstCombinerImpl::foldICmpAndShift(), llvm::InstCombinerImpl::foldICmpBinOp(), llvm::InstCombinerImpl::foldICmpBinOpEqualityWithConstant(), llvm::InstCombinerImpl::foldICmpBitCast(), llvm::InstCombinerImpl::foldICmpDivConstant(), llvm::InstCombinerImpl::foldICmpEqIntrinsicWithConstant(), llvm::InstCombinerImpl::foldICmpEquality(), llvm::InstCombinerImpl::foldICmpInstWithConstantNotInt(), llvm::InstCombinerImpl::foldICmpIntrinsicWithConstant(), llvm::InstCombinerImpl::foldICmpOrConstant(), llvm::InstCombinerImpl::foldICmpSelectConstant(), llvm::InstCombinerImpl::foldICmpShlConstant(), llvm::InstCombinerImpl::foldICmpShrConstant(), llvm::InstCombinerImpl::foldICmpSRemConstant(), llvm::InstCombinerImpl::foldICmpSubConstant(), llvm::InstCombinerImpl::foldICmpWithCastOp(), llvm::InstCombinerImpl::foldICmpWithConstant(), llvm::InstCombinerImpl::foldICmpWithDominatingICmp(), foldICmpWithHighBitMask(), foldICmpWithLowBitMaskedVal(), foldICmpWithTruncSignExtendedVal(), foldICmpWithZextOrSext(), llvm::InstCombinerImpl::foldIRemByPowerOfTwoToBitTest(), foldIsPowerOf2(), foldLogicCastConstant(), foldLogOpOfMaskedICmps(), foldLogOpOfMaskedICmps_NotAllZeros_BMask_Mixed(), foldLogOpOfMaskedICmpsAsymmetric(), foldMulSelectToNegate(), llvm::InstCombinerImpl::foldMultiplicationOverflowCheck(), foldNoWrapAdd(), foldOperationIntoPhiValue(), foldOperationIntoSelectOperand(), llvm::InstCombinerImpl::foldOpIntoPhi(), llvm::InstCombinerImpl::FoldOpIntoSelect(), foldOrToXor(), foldSelectGEP(), foldSelectICmpAnd(), foldSelectICmpAndAnd(), foldSelectICmpAndOr(), foldSelectICmpLshrAshr(), llvm::InstCombinerImpl::foldSelectIntoOp(), llvm::InstCombinerImpl::foldSelectOpOp(), foldSelectShuffle(), foldSetClearBits(), llvm::InstCombinerImpl::FoldShiftByConstant(), foldShiftedShift(), foldShiftIntoShiftInAnotherHandOfAndInICmp(), foldShiftOfShiftedLogic(), foldSignedTruncationCheck(), FoldTwoEntryPHINode(), foldUnsignedUnderflowCheck(), llvm::InstCombinerImpl::foldVariableSignZeroExtensionOfVariableHighBitExtract(), llvm::InstCombinerImpl::foldVectorBinop(), foldVectorCmp(), foldXorToXor(), llvm::formLCSSA(), llvm::formLCSSAForInstructions(), ScalarizationResult::freeze(), generatedUnsignedRemainderCode(), generateSignedDivisionCode(), generateSignedRemainderCode(), generateUnsignedDivisionCode(), getAllocaPos(), llvm::VPLane::getAsRuntimeExpr(), llvm::SCEVExpander::getCurrentDebugLocation(), getFCmpValue(), llvm::VNCoercion::getLoadValueForLoad(), getMemCmpLoad(), llvm::VNCoercion::getMemInstValueForLoad(), getMul64(), getMulHu(), getNewICmpValue(), llvm::OpenMPIRBuilder::getOrCreateIdent(), llvm::AArch64TTIImpl::getOrCreateResultFromMemIntrinsic(), llvm::OpenMPIRBuilder::getOrCreateSrcLocStr(), llvm::OpenMPIRBuilder::getOrCreateThreadID(), llvm::getOrderedReduction(), getReductionIntrinsic(), getShape(), llvm::getShuffleReduction(), getSign32(), llvm::VNCoercion::getStoreValueForLoad(), getStrlenWithNull(), getX86MaskVec(), HandleByValArgumentInit(), handleNoSuspendCoroutine(), hoistFNegAboveFMulFDiv(), hoistInsEltConst(), indirectCopyToAGPR(), INITIALIZE_PASS(), initIRBuilder(), llvm::InlineFunction(), inlineGetBaseAndOffset(), inlineRetainOrClaimRVCalls(), insertMaskedValue(), llvm::VPBuilder::InsertPointGuard::InsertPointGuard(), llvm::IRBuilderBase::InsertPointGuard::InsertPointGuard(), llvm::InstCombinerImpl::insertRangeTest(), llvm::codeview::AppendingTypeTableBuilder::insertRecord(), llvm::codeview::MergingTypeTableBuilder::insertRecord(), llvm::codeview::GlobalTypeTableBuilder::insertRecord(), insertRelocationStores(), llvm::objcarc::BundledRetainClaimRVs::insertRVCallWithColors(), insertSpills(), insertValues(), instCombineRDFFR(), instCombineSVECmpNE(), instCombineSVECntElts(), instCombineSVEDupX(), instCombineSVELast(), instCombineSVEPTest(), instCombineSVETBL(), instCombineSVEUnpack(), instCombineSVEVectorBinOp(), instCombineSVEVectorMul(), llvm::SampleProfileProber::instrumentOneFunc(), instrumentOneFunc(), isGCValue(), LLVMBuilderGetDefaultFPMathTag(), LLVMBuilderSetDefaultFPMathTag(), LLVMClearInsertionPosition(), LLVMDIBuilderCreateArrayType(), LLVMDIBuilderCreateArtificialType(), LLVMDIBuilderCreateAutoVariable(), LLVMDIBuilderCreateBasicType(), LLVMDIBuilderCreateBitFieldMemberType(), LLVMDIBuilderCreateClassType(), LLVMDIBuilderCreateCompileUnit(), LLVMDIBuilderCreateConstantValueExpression(), LLVMDIBuilderCreateEnumerationType(), LLVMDIBuilderCreateEnumerator(), LLVMDIBuilderCreateExpression(), LLVMDIBuilderCreateFile(), LLVMDIBuilderCreateForwardDecl(), LLVMDIBuilderCreateFunction(), LLVMDIBuilderCreateGlobalVariableExpression(), LLVMDIBuilderCreateImportedDeclaration(), LLVMDIBuilderCreateImportedModuleFromAlias(), LLVMDIBuilderCreateImportedModuleFromModule(), LLVMDIBuilderCreateImportedModuleFromNamespace(), LLVMDIBuilderCreateInheritance(), LLVMDIBuilderCreateLexicalBlock(), LLVMDIBuilderCreateLexicalBlockFile(), LLVMDIBuilderCreateMacro(), LLVMDIBuilderCreateMemberPointerType(), LLVMDIBuilderCreateMemberType(), LLVMDIBuilderCreateModule(), LLVMDIBuilderCreateNameSpace(), LLVMDIBuilderCreateNullPtrType(), LLVMDIBuilderCreateObjCIVar(), LLVMDIBuilderCreateObjCProperty(), LLVMDIBuilderCreateObjectPointerType(), LLVMDIBuilderCreateParameterVariable(), LLVMDIBuilderCreatePointerType(), LLVMDIBuilderCreateQualifiedType(), LLVMDIBuilderCreateReferenceType(), LLVMDIBuilderCreateReplaceableCompositeType(), LLVMDIBuilderCreateStaticMemberType(), LLVMDIBuilderCreateStructType(), LLVMDIBuilderCreateSubroutineType(), LLVMDIBuilderCreateTempGlobalVariableFwdDecl(), LLVMDIBuilderCreateTempMacroFile(), LLVMDIBuilderCreateTypedef(), LLVMDIBuilderCreateUnionType(), LLVMDIBuilderCreateUnspecifiedType(), LLVMDIBuilderCreateVectorType(), LLVMDIBuilderFinalize(), LLVMDIBuilderFinalizeSubprogram(), LLVMDIBuilderGetOrCreateArray(), LLVMDIBuilderGetOrCreateSubrange(), LLVMDIBuilderGetOrCreateTypeArray(), LLVMDIBuilderInsertDbgValueAtEnd(), LLVMDIBuilderInsertDbgValueBefore(), LLVMDIBuilderInsertDeclareAtEnd(), LLVMDIBuilderInsertDeclareBefore(), LLVMDisposeBuilder(), LLVMDisposeDIBuilder(), LLVMGetCurrentDebugLocation(), LLVMGetCurrentDebugLocation2(), LLVMGetInsertBlock(), LLVMInsertExistingBasicBlockAfterInsertBlock(), LLVMInsertIntoBuilder(), LLVMInsertIntoBuilderWithName(), LLVMOrcCreateLLJIT(), LLVMOrcDisposeLLJITBuilder(), LLVMOrcLLJITBuilderSetJITTargetMachineBuilder(), LLVMOrcLLJITBuilderSetObjectLinkingLayerCreator(), LLVMPassManagerBuilderAddCoroutinePassesToExtensionPoints(), LLVMPassManagerBuilderDispose(), LLVMPassManagerBuilderPopulateFunctionPassManager(), LLVMPassManagerBuilderPopulateLTOPassManager(), LLVMPassManagerBuilderPopulateModulePassManager(), LLVMPassManagerBuilderSetDisableUnrollLoops(), LLVMPassManagerBuilderSetOptLevel(), LLVMPassManagerBuilderSetSizeLevel(), LLVMPassManagerBuilderUseInlinerWithThreshold(), LLVMPositionBuilder(), LLVMPositionBuilderAtEnd(), LLVMPositionBuilderBefore(), LLVMSetCurrentDebugLocation(), LLVMSetCurrentDebugLocation2(), LLVMSetInstDebugLocation(), LowerAtomicCmpXchgInst(), llvm::lowerAtomicRMWInst(), LowerBSWAP(), lowerCallFromStatepointLoweringInfo(), LowerCTLZ(), LowerCTPOP(), lowerIncomingStatepointValue(), llvm::AArch64TargetLowering::lowerInterleavedLoad(), llvm::ARMTargetLowering::lowerInterleavedLoad(), llvm::X86TargetLowering::lowerInterleavedLoad(), llvm::AArch64TargetLowering::lowerInterleavedStore(), llvm::ARMTargetLowering::lowerInterleavedStore(), llvm::X86TargetLowering::lowerInterleavedStore(), llvm::IntrinsicLowering::LowerIntrinsicCall(), lowerLocalAllocas(), lowerNonLocalAlloca(), lowerObjCCall(), llvm::lowerObjectSizeCall(), lowerStatepointMetaArgs(), lowerSubFn(), llvm::ARMTargetLowering::makeDMB(), makeStatepointExplicitImpl(), llvm::orc::makeStub(), matchDeMorgansLaws(), matchOrConcat(), llvm::SIInstrInfo::materializeImmediate(), maybeFreeRetconStorage(), moveAddAfterMinMax(), narrowInsElt(), narrowUDivURem(), narrowVectorSelect(), llvm::IRBuilderBase::OperandBundlesGuard::OperandBundlesGuard(), optimizeBranch(), llvm::FortifiedLibCallSimplifier::optimizeCall(), llvm::LibCallSimplifier::optimizeCall(), llvm::InstCombinerImpl::OptimizePointerDifference(), optimizeSQRT(), optimizeWithFDivFast(), optimizeWithRcp(), performAtomicOp(), performBranchToCommonDestFolding(), performMaskedAtomicOp(), llvm::PredicateInfo::PredicateInfo(), processArg(), processPhiNode(), processUGT_ADDCST_ADD(), processUMulZExtIdiom(), llvm::InstCombinerImpl::PromoteCastOfAllocation(), pushStackMapConstant(), reassociateFCmps(), llvm::InstCombinerImpl::reassociateShiftAmtsOfTwoSameDirectionShifts(), ReduceSwitchRange(), RemovePreallocated(), RemoveSwitchAfterSelectConversion(), removeUndefIntroducingPredecessor(), reorderSubVector(), replaceAsyncResumeFunction(), ReplaceCallWith(), llvm::SCEVExpander::replaceCongruentIVs(), llvm::replaceDbgDeclare(), llvm::replaceDbgValueForAlloca(), replaceOneDbgValueForAlloca(), llvm::LegalizationArtifactCombiner::replaceRegOrBuildCopy(), replaceSwiftErrorOps(), replaceWithInvariantCond(), replaceWithTileLoad(), reservePreviousStackSlotForValue(), rewritePHIsForCleanupPad(), llvm::InstCombinerImpl::run(), llvm::MachineFunction::salvageCopySSA(), llvm::coro::salvageDebugInfo(), llvm::salvageKnowledge(), scalarizeMaskedCompressStore(), scalarizeMaskedExpandLoad(), scalarizeMaskedGather(), scalarizeMaskedLoad(), scalarizeMaskedScatter(), scalarizeMaskedStore(), llvm::FastISel::selectIntrinsicCall(), llvm::FastISel::selectStackmap(), llvm::SCEVExpander::SetCurrentDebugLocation(), setInsertionPoint(), llvm::SCEVExpander::setInsertPoint(), llvm::setProbeDistributionFactor(), shrinkInsertElt(), shrinkSplatShuffle(), llvm::InstCombinerImpl::SimplifyAddWithRemainder(), llvm::InstCombinerImpl::SimplifyAnyMemSet(), llvm::InstCombinerImpl::SimplifyAnyMemTransfer(), SimplifyBSwap(), SimplifyCondBranchToCondBranch(), llvm::InstCombinerImpl::SimplifyDemandedUseBits(), simplifyNeonTbl1(), simplifyNeonVld1(), llvm::InstCombinerImpl::simplifyRangeCheck(), simplifyRelocatesOffABase(), llvm::simplifyRetainedKnowledge(), llvm::InstCombinerImpl::SimplifySelectsFeedingBinaryOp(), llvm::InstCombinerImpl::SimplifyUsingDistributiveLaws(), simplifyX86addcarry(), simplifyX86immShift(), simplifyX86insertps(), simplifyX86movmsk(), simplifyX86pack(), simplifyX86pshufb(), simplifyX86varShift(), simplifyX86vpermilvar(), simplifyX86vpermv(), llvm::InstCombinerImpl::sinkNotIntoOtherHandOfAndOrOr(), sinkNotIntoXor(), llvm::InstCombinerImpl::SliceUpIllegalIntegerPHI(), solveDIType(), spillIncomingStatepointValue(), splitAsyncCoroutine(), llvm::splitLoopBound(), splitMergedValStore(), SplitOpsAndApply(), splitRetconCoroutine(), llvm::StatepointLoweringState::startNewStatepoint(), stripNonValidDataFromBody(), SwitchToLookupTable(), switchToSelect(), llvm::OpenMPIRBuilder::tileLoops(), translateExtract(), truncateIVUse(), llvm::LegalizationArtifactCombiner::tryCombineAnyExt(), llvm::LegalizationArtifactCombiner::tryCombineExtract(), llvm::LegalizationArtifactCombiner::tryCombineSExt(), llvm::LegalizationArtifactCombiner::tryCombineTrunc(), llvm::LegalizationArtifactCombiner::tryCombineUnmergeValues(), llvm::LegalizationArtifactCombiner::tryCombineZExt(), llvm::InstCombinerImpl::tryFactorization(), llvm::LegalizationArtifactCombiner::tryFoldImplicitDef(), llvm::LegalizationArtifactCombiner::tryFoldUnmergeCast(), tryPromoteAllocaToVector(), TryToMergeLandingPad(), tryToRecognizePopCount(), llvm::OpenMPIRBuilder::unrollLoopFull(), llvm::OpenMPIRBuilder::unrollLoopHeuristic(), updateCoroFrame(), upgradeAbs(), llvm::UpgradeARCRuntime(), upgradeAVX512MaskToSelect(), llvm::UpgradeIntrinsicCall(), upgradeMaskedCompare(), UpgradeMaskedLoad(), upgradeMaskedMove(), UpgradeMaskedStore(), UpgradeMaskToInt(), upgradePMULDQ(), UpgradeX86ALIGNIntrinsics(), UpgradeX86BinaryIntrinsics(), upgradeX86ConcatShift(), UpgradeX86MaskedShift(), UpgradeX86PSLLDQIntrinsics(), UpgradeX86PSRLDQIntrinsics(), upgradeX86Rotate(), upgradeX86vpcom(), UpgradeX86VPERMT2Intrinsics(), llvm::slpvectorizer::BoUpSLP::vectorizeTree(), versionCallSite(), llvm::InstCombinerImpl::visitAdd(), llvm::InstCombinerImpl::visitAddrSpaceCast(), llvm::InstCombinerImpl::visitAllocaInst(), llvm::InstCombinerImpl::visitAnd(), llvm::InstCombinerImpl::visitAShr(), llvm::InstCombinerImpl::visitBitCast(), llvm::InstCombinerImpl::visitCallInst(), llvm::InstCombinerImpl::visitExtractElementInst(), llvm::InstCombinerImpl::visitExtractValueInst(), llvm::InstCombinerImpl::visitFAdd(), llvm::InstCombinerImpl::visitFCmpInst(), llvm::InstCombinerImpl::visitFDiv(), llvm::InstCombinerImpl::visitFMul(), llvm::InstCombinerImpl::visitFNeg(), llvm::InstCombinerImpl::visitFPTrunc(), llvm::InstCombinerImpl::visitFSub(), llvm::InstCombinerImpl::visitGetElementPtrInst(), llvm::InstCombinerImpl::visitICmpInst(), llvm::InstCombinerImpl::visitInsertElementInst(), llvm::InstCombinerImpl::visitIntToPtr(), llvm::InstCombinerImpl::visitLoadInst(), llvm::InstCombinerImpl::visitLShr(), visitMaskedMerge(), llvm::InstCombinerImpl::visitMul(), llvm::InstCombinerImpl::visitOr(), llvm::InstCombinerImpl::visitPtrToInt(), llvm::InstCombinerImpl::visitSDiv(), llvm::InstCombinerImpl::visitSExt(), llvm::InstCombinerImpl::visitShl(), llvm::InstCombinerImpl::visitShuffleVectorInst(), llvm::InstCombinerImpl::visitSRem(), llvm::InstCombinerImpl::visitSub(), llvm::InstCombinerImpl::visitSwitchInst(), llvm::InstCombinerImpl::visitTrunc(), llvm::InstCombinerImpl::visitUDiv(), llvm::InstCombinerImpl::visitURem(), llvm::InstCombinerImpl::visitXor(), llvm::InstCombinerImpl::visitZExt(), llvm::VPRecipeBuilder::VPRecipeBuilder(), WidenIV::widenIVUse(), WidenIV::widenLoopCompare(), WidenIV::widenWithVariantUse(), llvm::ifs::writeELFBinaryToFile(), llvm::IRBuilderBase::FastMathFlagGuard::~FastMathFlagGuard(), llvm::VPBuilder::InsertPointGuard::~InsertPointGuard(), llvm::IRBuilderBase::InsertPointGuard::~InsertPointGuard(), and llvm::IRBuilderBase::OperandBundlesGuard::~OperandBundlesGuard().

◆ false

assume Assume false

Definition at line 603 of file AssumeBundleBuilder.cpp.

◆ simplify

assume simplify

Definition at line 602 of file AssumeBundleBuilder.cpp.

◆ Simplify

assume Assume Simplify

Definition at line 603 of file AssumeBundleBuilder.cpp.

Referenced by AAValueSimplifyImpl::checkAndUpdate().