Lines Matching full:assume
1 //===- AssumptionCache.cpp - Cache finding @llvm.assume calls -------------===//
9 // This file contains a pass that keeps track of @llvm.assume intrinsics in
104 auto &AVV = getOrInsertAffectedValues(AV.Assume); in updateAffectedValues()
106 return Elem.Assume == CI && Elem.Index == AV.Index; in updateAffectedValues()
117 auto AVI = AffectedValues.find_as(AV.Assume); in unregisterAssumption()
123 if (Elem.Assume == CI) { in unregisterAssumption()
125 Elem.Assume = nullptr; in unregisterAssumption()
127 HasNonnull |= !!Elem.Assume; in unregisterAssumption()
172 // Go through all instructions in all blocks, add all calls to @llvm.assume in scanFunction()
197 "Cannot register @llvm.assume call not in a basic block"); in registerAssumption()
199 "Cannot register @llvm.assume call not in this function"); in registerAssumption()
211 assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) && in registerAssumption()
212 "Cached something other than a call to @llvm.assume!"); in registerAssumption()
291 if (match(&II, m_Intrinsic<Intrinsic::assume>()) && in verifyAnalysis()