Searched refs:collectPatternConstraints (Results 1 – 2 of 2) sorted by relevance
66 collectPatternConstraints(constraints); in emitPatternConstraints()299 void StaticVerifierFunctionEmitter::collectPatternConstraints( in collectPatternConstraints() function in StaticVerifierFunctionEmitter
181 void collectPatternConstraints(ArrayRef<DagLeaf> constraints);