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
196     // after the assume, because that is where we will insert the info.
386 // Process an assume instruction and place relevant operations we want to rename
501   // as assume statements.
516   for (auto &Assume : AC.assumptions()) {
517     if (auto *II = dyn_cast_or_null<IntrinsicInst>(Assume))
538   // right now is 4, depending on if we had an assume, a branch, and both used
550     // the terminator.  For assume, we have to place it right before the assume
552     // relevant instruction (terminator, assume), so that we insert in proper
573              "Should not have gotten here without it being an assume");
574       // Insert the predicate directly after the assume. While it also holds
575       // directly before it, assume(i1 true) is not a useful fact.
626       // it will get materialized in front of the assume.
885         OS << "; assume predicate info {"