Searched refs:NegatedV (Results 1 – 1 of 1) sorted by relevance
485 Value *NegatedV = NegationsCacheIterator->second; in negate() local486 assert(NegatedV != Placeholder && "Encountered a cycle during negation."); in negate()487 return NegatedV; in negate()498 Value *NegatedV = visitImpl(V, Depth); in negate() local500 NegationsCache[V] = NegatedV; in negate()502 return NegatedV; in negate()