Lines Matching defs:staticVerifierEmitter

591            const StaticVerifierFunctionEmitter &staticVerifierEmitter);
594           const StaticVerifierFunctionEmitter &staticVerifierEmitter);
598             const StaticVerifierFunctionEmitter &staticVerifierEmitter);
782   const StaticVerifierFunctionEmitter &staticVerifierEmitter;
881                      const StaticVerifierFunctionEmitter &staticVerifierEmitter,
948         (constraintFn = staticVerifierEmitter.getAttrConstraintFn(attr))) {
1127                      const StaticVerifierFunctionEmitter &staticVerifierEmitter)
1131       staticVerifierEmitter(staticVerifierEmitter),
1169     const StaticVerifierFunctionEmitter &staticVerifierEmitter) {
1170   OpEmitter(op, staticVerifierEmitter).emitDecl(os);
1175     const StaticVerifierFunctionEmitter &staticVerifierEmitter) {
1176   OpEmitter(op, staticVerifierEmitter).emitDef(os);
1704         staticVerifierEmitter.getAttrConstraintFn(attr);
3785   genAttributeVerifier(emitHelper, verifyCtx, implBody, staticVerifierEmitter,
3901         staticVerifierEmitter.getTypeConstraintFn(value.constraint);
3944         staticVerifierEmitter.getRegionConstraintFn(region.constraint);
3981         staticVerifierEmitter.getSuccessorConstraintFn(successor.constraint);
4135            const StaticVerifierFunctionEmitter &staticVerifierEmitter,
4139           const StaticVerifierFunctionEmitter &staticVerifierEmitter,
4145       const StaticVerifierFunctionEmitter &staticVerifierEmitter);
4160   const StaticVerifierFunctionEmitter &staticVerifierEmitter;
4169     const StaticVerifierFunctionEmitter &staticVerifierEmitter)
4172       staticVerifierEmitter(staticVerifierEmitter),
4576   genAttributeVerifier(emitHelper, verifyCtx, body, staticVerifierEmitter,
4584     const StaticVerifierFunctionEmitter &staticVerifierEmitter,
4586   OpOperandAdaptorEmitter emitter(op, staticVerifierEmitter);
4597     const StaticVerifierFunctionEmitter &staticVerifierEmitter,
4599   OpOperandAdaptorEmitter emitter(op, staticVerifierEmitter);
4612               const StaticVerifierFunctionEmitter &staticVerifierEmitter,
4624         OpOperandAdaptorEmitter::emitDecl(op, staticVerifierEmitter, os);
4625         OpEmitter::emitDecl(op, os, staticVerifierEmitter);
4635         OpOperandAdaptorEmitter::emitDef(op, staticVerifierEmitter, os);
4636         OpEmitter::emitDef(op, os, staticVerifierEmitter);
4662   StaticVerifierFunctionEmitter staticVerifierEmitter(os, records);
4663   staticVerifierEmitter.collectOpConstraints(defs);
4664   emitOpClasses(records, defs, os, staticVerifierEmitter,
4676   StaticVerifierFunctionEmitter staticVerifierEmitter(os, records,
4679   staticVerifierEmitter.collectOpConstraints(defs);
4680   staticVerifierEmitter.emitOpConstraints(defs);
4683   emitOpClasses(records, defs, os, staticVerifierEmitter,