2271                  llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2279                 llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2288       llvm::StringMap<TypeResolutionInstance> &variableTyResolver);
2293       llvm::StringMap<TypeResolutionInstance> &variableTyResolver,
2298       llvm::StringMap<TypeResolutionInstance> &variableTyResolver,
2413   llvm::StringMap<TypeResolutionInstance> variableTyResolver;  in parse()  local
2418                                     variableTyResolver);  in parse()
2420       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/false);  in parse()
2422       handleSameTypesConstraint(variableTyResolver, /*includeResults=*/true);  in parse()
2424       handleTypesMatchConstraint(variableTyResolver, def);  in parse()
2430       failed(verifyResults(loc, variableTyResolver)) ||  in parse()
2431       failed(verifyOperands(loc, variableTyResolver)) ||  in parse()
2513     llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in verifyOperands()  argument
2534     auto varResolverIt = variableTyResolver.find(op.getOperand(i).name);  in verifyOperands()
2535     if (varResolverIt != variableTyResolver.end()) {  in verifyOperands()
2579     llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in verifyResults()  argument
2591     auto varResolverIt = variableTyResolver.find(op.getResultName(i));  in verifyResults()
2592     if (varResolverIt != variableTyResolver.end()) {  in verifyResults()
2638     llvm::StringMap<TypeResolutionInstance> &variableTyResolver) {  in handleAllTypesMatchConstraint()  argument
2647       variableTyResolver[values[j]] = {arg, llvm::None};  in handleAllTypesMatchConstraint()
2649       variableTyResolver[values[j]] = {arg, llvm::None};  in handleAllTypesMatchConstraint()
2654     llvm::StringMap<TypeResolutionInstance> &variableTyResolver,  in handleSameTypesConstraint()  argument
2670       variableTyResolver[op.getOperand(i).name] = {resolver, llvm::None};  in handleSameTypesConstraint()
2674         variableTyResolver[op.getResultName(i)] = {resolver, llvm::None};  in handleSameTypesConstraint()
2679     llvm::StringMap<TypeResolutionInstance> &variableTyResolver,  in handleTypesMatchConstraint()  argument
2685     variableTyResolver[rhsName] = {arg, transformer};  in handleTypesMatchConstraint()