91 enum class PredCombinerKind {  enum
105   PredCombinerKind kind;
118 static PredCombinerKind getPredCombinerKind(const Pred &pred) {  in getPredCombinerKind()
120     return PredCombinerKind::Leaf;  in getPredCombinerKind()
123   return StringSwitch<PredCombinerKind>(  in getPredCombinerKind()
125       .Case("PredCombinerAnd", PredCombinerKind::And)  in getPredCombinerKind()
126       .Case("PredCombinerOr", PredCombinerKind::Or)  in getPredCombinerKind()
127       .Case("PredCombinerNot", PredCombinerKind::Not)  in getPredCombinerKind()
128       .Case("PredCombinerSubstLeaves", PredCombinerKind::SubstLeaves)  in getPredCombinerKind()
129       .Case("PredCombinerConcat", PredCombinerKind::Concat);  in getPredCombinerKind()
175   if (rootNode->kind == PredCombinerKind::SubstLeaves) {  in buildPredicateTree()
181   } else if (rootNode->kind == PredCombinerKind::Concat) {  in buildPredicateTree()
211     node->kind = PredCombinerKind::True;  in propagateGroundTruth()
216     node->kind = PredCombinerKind::False;  in propagateGroundTruth()
232   if (node->kind == PredCombinerKind::SubstLeaves) {  in propagateGroundTruth()
249     if (node->kind != PredCombinerKind::And &&  in propagateGroundTruth()
250         node->kind != PredCombinerKind::Or) {  in propagateGroundTruth()
262     auto collapseKind = node->kind == PredCombinerKind::And  in propagateGroundTruth()
263                             ? PredCombinerKind::False  in propagateGroundTruth()
264                             : PredCombinerKind::True;  in propagateGroundTruth()
265     auto eraseKind = node->kind == PredCombinerKind::And  in propagateGroundTruth()
266                          ? PredCombinerKind::True  in propagateGroundTruth()
267                          : PredCombinerKind::False;  in propagateGroundTruth()
269         node->kind == PredCombinerKind::And ? knownFalsePreds : knownTruePreds;  in propagateGroundTruth()
271         node->kind == PredCombinerKind::And ? knownTruePreds : knownFalsePreds;  in propagateGroundTruth()
318   if (root.kind == PredCombinerKind::Leaf)  in getCombinedCondition()
320   if (root.kind == PredCombinerKind::True)  in getCombinedCondition()
322   if (root.kind == PredCombinerKind::False)  in getCombinedCondition()
332   if (root.kind == PredCombinerKind::And)  in getCombinedCondition()
334   if (root.kind == PredCombinerKind::Or)  in getCombinedCondition()
336   if (root.kind == PredCombinerKind::Not)  in getCombinedCondition()
338   if (root.kind == PredCombinerKind::Concat) {  in getCombinedCondition()
345   if (root.kind == PredCombinerKind::SubstLeaves) {  in getCombinedCondition()