diff options
Diffstat (limited to 'llvm/lib/Analysis/AssumptionCache.cpp')
-rw-r--r-- | llvm/lib/Analysis/AssumptionCache.cpp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/llvm/lib/Analysis/AssumptionCache.cpp b/llvm/lib/Analysis/AssumptionCache.cpp index 11796ef..2d648cc 100644 --- a/llvm/lib/Analysis/AssumptionCache.cpp +++ b/llvm/lib/Analysis/AssumptionCache.cpp @@ -6,8 +6,8 @@ // //===----------------------------------------------------------------------===// // -// This file contains a pass that keeps track of @llvm.assume intrinsics in -// the functions of a module. +// This file contains a pass that keeps track of @llvm.assume and +// @llvm.experimental.guard intrinsics in the functions of a module. // //===----------------------------------------------------------------------===// @@ -140,7 +140,7 @@ findAffectedValues(CallBase *CI, TargetTransformInfo *TTI, } } -void AssumptionCache::updateAffectedValues(AssumeInst *CI) { +void AssumptionCache::updateAffectedValues(CondGuardInst *CI) { SmallVector<AssumptionCache::ResultElem, 16> Affected; findAffectedValues(CI, TTI, Affected); @@ -153,7 +153,7 @@ void AssumptionCache::updateAffectedValues(AssumeInst *CI) { } } -void AssumptionCache::unregisterAssumption(AssumeInst *CI) { +void AssumptionCache::unregisterAssumption(CondGuardInst *CI) { SmallVector<AssumptionCache::ResultElem, 16> Affected; findAffectedValues(CI, TTI, Affected); @@ -217,7 +217,7 @@ void AssumptionCache::scanFunction() { // to this cache. for (BasicBlock &B : F) for (Instruction &I : B) - if (isa<AssumeInst>(&I)) + if (isa<CondGuardInst>(&I)) AssumeHandles.push_back({&I, ExprResultIdx}); // Mark the scan as complete. @@ -225,10 +225,10 @@ void AssumptionCache::scanFunction() { // Update affected values. for (auto &A : AssumeHandles) - updateAffectedValues(cast<AssumeInst>(A)); + updateAffectedValues(cast<CondGuardInst>(A)); } -void AssumptionCache::registerAssumption(AssumeInst *CI) { +void AssumptionCache::registerAssumption(CondGuardInst *CI) { // If we haven't scanned the function yet, just drop this assumption. It will // be found when we scan later. if (!Scanned) @@ -238,9 +238,9 @@ void AssumptionCache::registerAssumption(AssumeInst *CI) { #ifndef NDEBUG assert(CI->getParent() && - "Cannot register @llvm.assume call not in a basic block"); + "Cannot a register CondGuardInst not in a basic block"); assert(&F == CI->getParent()->getParent() && - "Cannot register @llvm.assume call not in this function"); + "Cannot a register CondGuardInst not in this function"); // We expect the number of assumptions to be small, so in an asserts build // check that we don't accumulate duplicates and that all assumptions point @@ -252,8 +252,8 @@ void AssumptionCache::registerAssumption(AssumeInst *CI) { assert(&F == cast<Instruction>(VH)->getParent()->getParent() && "Cached assumption not inside this function!"); - assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) && - "Cached something other than a call to @llvm.assume!"); + assert(isa<CondGuardInst>(VH) && + "Cached something other than CondGuardInst!"); assert(AssumptionSet.insert(VH).second && "Cache contains multiple copies of a call!"); } |