2214                  llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2222                 llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2231       llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2236       llvm::StringMap<TypeResolutionInstance> &variableTyResolver,
2241       llvm::StringMap<TypeResolutionInstance> &variableTyResolver,
2352   llvm::StringMap<TypeResolutionInstance> variableTyResolver;  in parse()  local
2357                                     variableTyResolver);  in parse()
2359       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/false);  in parse()
2361       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/true);  in parse()
2363       handleTypesMatchConstraint(variableTyResolver, def);  in parse()
2369       failed(verifyResults(loc, variableTyResolver)) ||  in parse()
2370       failed(verifyOperands(loc, variableTyResolver)) ||  in parse()
2449     llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in verifyOperands()  argument
2470     auto varResolverIt = variableTyResolver.find(op.getOperand(i).name);  in verifyOperands()
2471     if (varResolverIt != variableTyResolver.end()) {  in verifyOperands()
2515     llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in verifyResults()  argument
2527     auto varResolverIt = variableTyResolver.find(op.getResultName(i));  in verifyResults()
2528     if (varResolverIt != variableTyResolver.end()) {  in verifyResults()
2574     llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in handleAllTypesMatchConstraint()  argument
2583       variableTyResolver[values[j]] = {arg, llvm::None};  in handleAllTypesMatchConstraint()
2585       variableTyResolver[values[j]] = {arg, llvm::None};  in handleAllTypesMatchConstraint()
2590     llvm::StringMap<TypeResolutionInstance> &variableTyResolver,  in handleSameTypesConstraint()  argument
2606       variableTyResolver[op.getOperand(i).name] = {resolver, llvm::None};  in handleSameTypesConstraint()
2610         variableTyResolver[op.getResultName(i)] = {resolver, llvm::None};  in handleSameTypesConstraint()
2615     llvm::StringMap<TypeResolutionInstance> &variableTyResolver,  in handleTypesMatchConstraint()  argument
2621     variableTyResolver[rhsName] = {arg, transformer};  in handleTypesMatchConstraint()