Searched refs:CanNegateL (Results 1 – 1 of 1) sorted by relevance
1349 bool CanNegateL; in isConjunctionDisjunctionTree() local1350 if (!isConjunctionDisjunctionTree(O0, CanNegateL, Depth+1)) in isConjunctionDisjunctionTree()1359 if (!CanNegateL && !CanNegateR) in isConjunctionDisjunctionTree()1363 CanNegate = CanNegateL && CanNegateR; in isConjunctionDisjunctionTree()1446 bool CanNegateL; in emitConjunctionDisjunctionTreeRec() local1447 bool isValidL = isConjunctionDisjunctionTree(LHS, CanNegateL); in emitConjunctionDisjunctionTreeRec()1455 assert((CanNegateL || CanNegateR) && "Valid conjunction/disjunction tree"); in emitConjunctionDisjunctionTreeRec()1459 if (!CanNegateL) in emitConjunctionDisjunctionTreeRec()