Searched refs:getSuccessorConstraintFn (Results 1 – 3 of 3) sorted by relevance
154 StringRef getSuccessorConstraintFn(const Constraint &constraint) const;
89 StringRef StaticVerifierFunctionEmitter::getSuccessorConstraintFn( in getSuccessorConstraintFn() function in StaticVerifierFunctionEmitter
2673 staticVerifierEmitter.getSuccessorConstraintFn(successor.constraint); in genSuccessorVerifier()