[ConstraintElimination] Remove unnecessary recursion (NFC).
Perform predicate normalization in a single switch, rather then going through recursions.
Loading
Please sign in to comment
Perform predicate normalization in a single switch, rather then going through recursions.