Searched refs:knownTruePreds (Results 1 – 1 of 1) sorted by relevance
206 const llvm::SmallPtrSetImpl<Pred *> &knownTruePreds, in propagateGroundTruth() argument210 if (knownTruePreds.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()