Lines Matching full:assume
41 // Maximum number of conditions considered for renaming for each branch/assume.
195 // assume. So for the purpose of ordering, we pretend the def is right in getMiddleDef()
196 // after the assume, because that is where we will insert the info. in getMiddleDef()
386 // Process an assume instruction and place relevant operations we want to rename
501 // as assume statements. in buildPredicateInfo()
516 for (auto &Assume : AC.assumptions()) { in buildPredicateInfo() local
517 if (auto *II = dyn_cast_or_null<IntrinsicInst>(Assume)) in buildPredicateInfo()
538 // right now is 4, depending on if we had an assume, a branch, and both used in materializeStack()
550 // the terminator. For assume, we have to place it right before the assume in materializeStack()
552 // relevant instruction (terminator, assume), so that we insert in proper in materializeStack()
573 "Should not have gotten here without it being an assume"); in materializeStack()
574 // Insert the predicate directly after the assume. While it also holds in materializeStack()
575 // directly before it, assume(i1 true) is not a useful fact. in materializeStack()
626 // it will get materialized in front of the assume. in renameUses()
885 OS << "; assume predicate info {" in emitInstructionAnnot()