72   void genImpl(const ast::UserConstraintDecl *decl);
73   void genImpl(const ast::UserRewriteDecl *decl);
74   void genImpl(const ast::PatternDecl *decl);
103   SmallVector<Value> genConstraintCall(const ast::UserConstraintDecl *decl,
105   SmallVector<Value> genRewriteCall(const ast::UserRewriteDecl *decl,
108   SmallVector<Value> genConstraintOrRewriteCall(const T *decl, Location loc,
137   for (const ast::Decl *decl : module.getChildren())  in generate()  local
138     gen(decl);  in generate()
265 void CodeGen::genImpl(const ast::UserConstraintDecl *decl) {  in genImpl()  argument
271 void CodeGen::genImpl(const ast::UserRewriteDecl *decl) {  in genImpl()  argument
277 void CodeGen::genImpl(const ast::PatternDecl *decl) {  in genImpl()  argument
278   const ast::Name *name = decl->getName();  in genImpl()
283       genLoc(decl->getLoc()), decl->getBenefit(),  in genImpl()
288   gen(decl->getBody());  in genImpl()
417   if (const auto *decl = dyn_cast<ast::UserConstraintDecl>(callable))  in genExprImpl()  local
418     return genConstraintCall(decl, loc, arguments);  in genExprImpl()
419   if (const auto *decl = dyn_cast<ast::UserRewriteDecl>(callable))  in genExprImpl()  local
420     return genRewriteCall(decl, loc, arguments);  in genExprImpl()
536 CodeGen::genConstraintCall(const ast::UserConstraintDecl *decl, Location loc,  in genConstraintCall()  argument
539   for (auto it : llvm::zip(decl->getInputs(), inputs))  in genConstraintCall()
544       genConstraintOrRewriteCall<pdl::ApplyNativeConstraintOp>(decl, loc,  in genConstraintCall()
548   for (auto it : llvm::zip(decl->getResults(), results))  in genConstraintCall()
553 SmallVector<Value> CodeGen::genRewriteCall(const ast::UserRewriteDecl *decl,  in genRewriteCall()  argument
555   return genConstraintOrRewriteCall<pdl::ApplyNativeRewriteOp>(decl, loc,  in genRewriteCall()
560 SmallVector<Value> CodeGen::genConstraintOrRewriteCall(const T *decl,  in genConstraintOrRewriteCall()  argument
563   const ast::CompoundStmt *cstBody = decl->getBody();  in genConstraintOrRewriteCall()
567     ast::Type declResultType = decl->getResultType();  in genConstraintOrRewriteCall()
576         loc, resultTypes, decl->getName().getName(), inputs);  in genConstraintOrRewriteCall()
586   for (auto it : llvm::zip(inputs, decl->getInputs()))  in genConstraintOrRewriteCall()