Lines Matching refs:Assumption
79 // Our assumption about a particular operation.
80 enum Assumption { Possible = 0, Impossible, Equal, LHSis1, RHSis1, LHSis0,
83 static void UpdateAssumption(Assumption &A, const Assumption &New);
101 BinaryOperatorData() : assumption(Possible) {}
103 Assumption assumption;
121 Assumption &A = Data.assumption;
356 const Assumption &A = Data.assumption;
413 llvm_unreachable("Operation was never marked with an assumption");
441 // Updates the current assumption given the new assumption
442 inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A,
443 const Assumption &New) {
444 // If the assumption is the same, there is nothing to do
449 // If we don't currently have an assumption, set it
455 // assumption.
459 // Any other case means that we had a different assumption last time. We don't
461 // our assumption to be impossible.