Searched refs:NegatedV (Results 1 – 1 of 1) sorted by relevance
512 Value *NegatedV = NegationsCacheIterator->second; in negate() local513 assert(NegatedV != Placeholder && "Encountered a cycle during negation."); in negate()514 return NegatedV; in negate()525 Value *NegatedV = visitImpl(V, IsNSW, Depth); in negate() local527 NegationsCache[V] = NegatedV; in negate()529 return NegatedV; in negate()