Searched refs:PrevBool (Results 1 – 1 of 1) sorted by relevance
160 if (auto *PrevBool = dyn_cast<BoolValue>(&Prev)) { in widenDistinctValues() local170 bool TruePrev = PrevEnv.proves(PrevBool->formula()); in widenDistinctValues()175 PrevEnv.proves(PrevEnv.arena().makeNot(PrevBool->formula())) && in widenDistinctValues()