Searched refs:knownFalsePreds (Results 1 – 1 of 1) sorted by relevance
207 const llvm::SmallPtrSetImpl<Pred *> &knownFalsePreds) { in propagateGroundTruth() argument215 if (knownFalsePreds.count(node->predicate) != 0) { in propagateGroundTruth()246 propagateGroundTruth(child, knownTruePreds, knownFalsePreds); in propagateGroundTruth()269 node->kind == PredCombinerKind::And ? knownFalsePreds : knownTruePreds; in propagateGroundTruth()271 node->kind == PredCombinerKind::And ? knownTruePreds : knownFalsePreds; in propagateGroundTruth()