Lines Matching full:assumption
139 // assumption in a BlockDiffCandidate for the pair of compared BBs.
143 // between the old and new values, and report a diff if an assumption cannot
146 // Note that after having made an assumption, all further determined
147 // equivalences implicitly depend on that assumption. These will not be
148 // reverted or reported if the assumption proves to be false, because these
155 // nodes is depending on the assumption of their equivalence.
366 // assumption to be checked later in BlockDiffCandidates.
371 // nullptr AssumptionContext disables assumption generation. in diff()
701 // * If AC is set, we add an assumption for the basic blocks given by AC,
702 // and treat the pair as equivalent. The assumption is checked later.
727 // Add an assumption, unless there is a conflict with an existing one in equivalentAsOperands()
732 // We already have a conflicting equivalence assumption for L, so at in equivalentAsOperands()