Lines Matching refs:staticVerifierEmitter

388            const StaticVerifierFunctionEmitter &staticVerifierEmitter);
391 const StaticVerifierFunctionEmitter &staticVerifierEmitter);
395 const StaticVerifierFunctionEmitter &staticVerifierEmitter);
566 const StaticVerifierFunctionEmitter &staticVerifierEmitter; member in __anon5e0e87940811::OpEmitter
647 const StaticVerifierFunctionEmitter &staticVerifierEmitter) { in genAttributeVerifier() argument
726 (constraintFn = staticVerifierEmitter.getAttrConstraintFn(attr))) { in genAttributeVerifier()
804 const StaticVerifierFunctionEmitter &staticVerifierEmitter) in OpEmitter() argument
808 staticVerifierEmitter(staticVerifierEmitter), in OpEmitter()
843 const StaticVerifierFunctionEmitter &staticVerifierEmitter) { in emitDecl() argument
844 OpEmitter(op, staticVerifierEmitter).emitDecl(os); in emitDecl()
849 const StaticVerifierFunctionEmitter &staticVerifierEmitter) { in emitDef() argument
850 OpEmitter(op, staticVerifierEmitter).emitDef(os); in emitDef()
2478 genAttributeVerifier(emitHelper, verifyCtx, implBody, staticVerifierEmitter); in genVerifier()
2593 staticVerifierEmitter.getTypeConstraintFn(value.constraint); in genOperandResultVerifier()
2636 staticVerifierEmitter.getRegionConstraintFn(region.constraint); in genRegionVerifier()
2673 staticVerifierEmitter.getSuccessorConstraintFn(successor.constraint); in genSuccessorVerifier()
2813 const StaticVerifierFunctionEmitter &staticVerifierEmitter,
2817 const StaticVerifierFunctionEmitter &staticVerifierEmitter,
2823 const StaticVerifierFunctionEmitter &staticVerifierEmitter);
2836 const StaticVerifierFunctionEmitter &staticVerifierEmitter; member in __anon5e0e87941f11::OpOperandAdaptorEmitter
2845 const StaticVerifierFunctionEmitter &staticVerifierEmitter) in OpOperandAdaptorEmitter() argument
2847 staticVerifierEmitter(staticVerifierEmitter), in OpOperandAdaptorEmitter()
2983 genAttributeVerifier(emitHelper, verifyCtx, body, staticVerifierEmitter); in addVerification()
2990 const StaticVerifierFunctionEmitter &staticVerifierEmitter, in emitDecl() argument
2992 OpOperandAdaptorEmitter(op, staticVerifierEmitter).adaptor.writeDeclTo(os); in emitDecl()
2997 const StaticVerifierFunctionEmitter &staticVerifierEmitter, in emitDef() argument
2999 OpOperandAdaptorEmitter(op, staticVerifierEmitter).adaptor.writeDefTo(os); in emitDef()
3024 StaticVerifierFunctionEmitter staticVerifierEmitter(os, recordKeeper); in emitOpClasses() local
3026 staticVerifierEmitter.emitOpConstraints(defs, emitDecl); in emitOpClasses()
3035 OpOperandAdaptorEmitter::emitDecl(op, staticVerifierEmitter, os); in emitOpClasses()
3036 OpEmitter::emitDecl(op, os, staticVerifierEmitter); in emitOpClasses()
3046 OpOperandAdaptorEmitter::emitDef(op, staticVerifierEmitter, os); in emitOpClasses()
3047 OpEmitter::emitDef(op, os, staticVerifierEmitter); in emitOpClasses()