2206                  llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2214                 llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2226       llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2231       llvm::StringMap<TypeResolutionInstance> &variableTyResolver,
2236       llvm::StringMap<TypeResolutionInstance> &variableTyResolver,
2291   llvm::StringMap<TypeResolutionInstance> variableTyResolver;  in verify()  local
2296                                     variableTyResolver);  in verify()
2298       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/false);  in verify()
2300       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/true);  in verify()
2302       handleTypesMatchConstraint(variableTyResolver, def);  in verify()
2318       failed(verifyResults(loc, variableTyResolver)) ||  in verify()
2319       failed(verifyOperands(loc, variableTyResolver)) ||  in verify()
2474     SMLoc loc, llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in verifyOperands()  argument
2495     auto varResolverIt = variableTyResolver.find(op.getOperand(i).name);  in verifyOperands()
2496     if (varResolverIt != variableTyResolver.end()) {  in verifyOperands()
2539     SMLoc loc, llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in verifyResults()  argument
2559     auto varResolverIt = variableTyResolver.find(op.getResultName(i));  in verifyResults()
2560     if (varResolverIt != variableTyResolver.end()) {  in verifyResults()
2643     llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in handleAllTypesMatchConstraint()  argument
2652       variableTyResolver[values[j]] = {arg, llvm::None};  in handleAllTypesMatchConstraint()
2654       variableTyResolver[values[j]] = {arg, llvm::None};  in handleAllTypesMatchConstraint()
2659     llvm::StringMap<TypeResolutionInstance> &variableTyResolver,  in handleSameTypesConstraint()  argument
2675       variableTyResolver[op.getOperand(i).name] = {resolver, llvm::None};  in handleSameTypesConstraint()
2679         variableTyResolver[op.getResultName(i)] = {resolver, llvm::None};  in handleSameTypesConstraint()
2684     llvm::StringMap<TypeResolutionInstance> &variableTyResolver,  in handleTypesMatchConstraint()  argument
2690     variableTyResolver[rhsName] = {arg, transformer};  in handleTypesMatchConstraint()