Home | History | Annotate | Download | only in Analysis

Lines Matching full:assume

1 //===- AssumptionCache.cpp - Cache finding @llvm.assume calls -------------===//
10 // This file contains a pass that keeps track of @llvm.assume intrinsics in
31 // Go through all instructions in all blocks, add all calls to @llvm.assume
35 if (match(&II, m_Intrinsic<Intrinsic::assume>()))
43 assert(match(CI, m_Intrinsic<Intrinsic::assume>()) &&
44 "Registered call does not call @llvm.assume");
55 "Cannot register @llvm.assume call not in a basic block");
57 "Cannot register @llvm.assume call not in this function");
69 assert(match(cast<CallInst>(VH), m_Intrinsic<Intrinsic::assume>()) &&
70 "Cached something other than a call to @llvm.assume!");
125 if (match(&II, m_Intrinsic<Intrinsic::assume>()))