Lines Matching defs:Assumption
77 // Our assumption about a particular operation.
78 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
81 static void UpdateAssumption(Assumption &A, const Assumption &New);
99 BinaryOperatorData() : assumption(Possible) {}
101 Assumption assumption;
118 Assumption &A = Data.assumption;
351 const Assumption &A = Data.assumption;
408 llvm_unreachable("Operation was never marked with an assumption");
436 // Updates the current assumption given the new assumption
437 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A,
438 const Assumption &New) {
439 // If the assumption is the same, there is nothing to do
444 // If we don't currently have an assumption, set it
450 // assumption.
454 // Any other case means that we had a different assumption last time. We don't
456 // our assumption to be impossible.
