Searched refs:ValidR (Results 1 – 2 of 2) sorted by relevance
4952 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR, MRI); in emitConjunctionRec() local4953 assert(ValidR && "Valid conjunction/disjunction tree"); in emitConjunctionRec()4954 (void)ValidR; in emitConjunctionRec()
3315 bool ValidR = canEmitConjunction(RHS, CanNegateR, MustBeFirstR, IsOR); in emitConjunctionRec() local3316 assert(ValidR && "Valid conjunction/disjunction tree"); in emitConjunctionRec()3317 (void)ValidR; in emitConjunctionRec()