Searched refs:NegatedV (Results 1 – 1 of 1) sorted by relevance
457 Value *NegatedV = NegationsCacheIterator->second; in negate() local458 assert(NegatedV != Placeholder && "Encountered a cycle during negation."); in negate()459 return NegatedV; in negate()470 Value *NegatedV = visitImpl(V, Depth); in negate() local472 NegationsCache[V] = NegatedV; in negate()474 return NegatedV; in negate()