448       return op->emitOpError(  in verifyCastOp()
457     return op->emitOpError(  in verifyCastOp()
476       return memoryOp.emitOpError(  in verifyMemoryAccessAttribute()
487     return memoryOp.emitOpError("invalid memory access specifier: ")  in verifyMemoryAccessAttribute()
493       return memoryOp.emitOpError("missing alignment value");  in verifyMemoryAccessAttribute()
497       return memoryOp.emitOpError(  in verifyMemoryAccessAttribute()
520       return memoryOp.emitOpError(  in verifySourceMemoryAccessAttribute()
531     return memoryOp.emitOpError("invalid memory access specifier: ")  in verifySourceMemoryAccessAttribute()
537       return memoryOp.emitOpError("missing alignment value");  in verifySourceMemoryAccessAttribute()
541       return memoryOp.emitOpError(  in verifySourceMemoryAccessAttribute()
583     return op.emitOpError("mismatch in result type and pointer type");  in verifyLoadStorePtrAndValTypes()
596     return op.emitOpError("mismatch in result type and pointer type");  in verifyBlockReadWritePtrAndValTypes()
827     return op->emitOpError() << "pointer operand must point to an "  in verifyAtomicUpdateOp()
834       return op->emitOpError("expected value to have the same type as the "  in verifyAtomicUpdateOp()
903     return groupOp->emitOpError(  in verifyGroupNonUniformArithmeticOp()
910     return groupOp->emitOpError("cluster size operand must be provided for "  in verifyGroupNonUniformArithmeticOp()
918       return groupOp->emitOpError(  in verifyGroupNonUniformArithmeticOp()
922       return groupOp->emitOpError(  in verifyGroupNonUniformArithmeticOp()
1097     return accessChainOp.emitOpError(  in verifyAccessChain()
1102     return accessChainOp.emitOpError("invalid result type: expected ")  in verifyAccessChain()
1126     return emitOpError("expected spv.GlobalVariable symbol");  in verify()
1129     return emitOpError(  in verify()
1181     return atomOp.emitOpError("value operand must have the same type as the op "  in verifyAtomicCompareExchangeImpl()
1186     return atomOp.emitOpError(  in verifyAtomicCompareExchangeImpl()
1196     return atomOp.emitOpError(  in verifyAtomicCompareExchangeImpl()
1293     return emitOpError("value operand must have the same type as the op "  in verify()
1300     return emitOpError("pointer operand's pointee type must have the same "  in verify()
1508     return emitOpError("mismatch in result type bitwidth ")  in verify()
1606       return emitOpError("must have exactly two branch weights");  in verify()
1611       return emitOpError("branch weights cannot both be zero");  in verify()
1736     return emitOpError("invalid result type: expected ")  in verify()
1779     return emitOpError("object operand type should be ")  in verify()
1784     return emitOpError("result type should be the same as "  in verify()
1828       return op.emitOpError("result type (")  in verifyConstantType()
1838       return op.emitOpError("result or element type (")  in verifyConstantType()
1849       return op.emitOpError("only support nested array result type");  in verifyConstantType()
1853       return op.emitOpError("result element type (")  in verifyConstantType()
1859       return op.emitOpError("result number of elements (")  in verifyConstantType()
1868       return op.emitOpError("must have spv.array result type for array value");  in verifyConstantType()
1877   return op.emitOpError("cannot have value of type ") << valueType;  in verifyConstantType()
2268     return emitOpError("requires '" + getTypeAttrName() +  in verifyType()
2271     return emitOpError("cannot have more than one result");  in verifyType()
2281         return retOp.emitOpError("cannot be used in functions returning value");  in verifyBody()
2284         return retOp.emitOpError(  in verifyBody()
2291         return retOp.emitOpError(" return value's type (")  in verifyBody()
2336     return emitOpError("callee function '")  in verify()
2343     return emitOpError(  in verify()
2349     return emitOpError("has incorrect number of operands for callee: expected ")  in verify()
2356       return emitOpError("operand type mismatch: expected operand type ")  in verify()
2363     return emitOpError(  in verify()
2371     return emitOpError("result type mismatch: expected ")  in verify()
2517     return emitOpError("storage class cannot be '")  in verify()
2530       return emitOpError("initializer must be result of a "  in verify()
2545     return emitOpError("execution scope must be 'Workgroup' or 'Subgroup'");  in verify()
2549       return emitOpError("localid is a vector and can be with only "  in verify()
2563     return emitOpError("execution scope must be 'Workgroup' or 'Subgroup'");  in verify()
2575     return emitOpError("execution scope must be 'Workgroup' or 'Subgroup'");  in verify()
2587       return emitOpError("id must be the result of a constant op");  in verify()
2677     return emitOpError("execution scope must be 'Workgroup' or 'Subgroup'");  in verify()
2849     return emitOpError("expected result struct type containing two members");  in verify()
2857     return emitOpError(  in verify()
3024     return emitOpError(  in verifyRegions()
3028     return emitOpError(  in verifyRegions()
3034     return emitOpError(  in verifyRegions()
3040     return emitOpError(  in verifyRegions()
3044     return emitOpError(  in verifyRegions()
3054     return emitOpError("second to last block must be the loop continue "  in verifyRegions()
3063         return emitOpError("can only have the entry and loop continue "  in verifyRegions()
3121     return emitOpError(  in verify()
3127     return emitOpError("can only be used in the last block of "  in verify()
3305     return emitOpError(  in verify()
3309     return emitOpError("result type mismatch with the referenced "  in verify()
3341       return emitOpError("result expected to be of vector type when "  in verify()
3345       return emitOpError("result should have the same number of elements as "  in verify()
3405     return emitOpError(  in verifyRegions()
3409     return emitOpError("must have a selection header block");  in verifyRegions()
3507       return emitOpError("SpecId cannot be negative");  in verify()
3513       return emitOpError("default value bitwidth disallowed");  in verify()
3516   return emitOpError(  in verify()
3574     return emitOpError("cannot be used in reachable block");  in verify()
3646     return emitOpError(  in verify()
3653     return emitOpError(  in verify()
3663       return emitOpError("initializer must be the result of a "  in verify()
3678       return emitOpError("cannot have '")  in verify()
3694     return emitOpError("result type element count (")  in verify()
3707       return emitOpError("component selector ")  in verify()
3819     return op.emitOpError("result and third operand must have the same type");  in verifyCoopMatrixMulAdd()
3827     return op.emitOpError("matrix size must match");  in verifyCoopMatrixMulAdd()
3831     return op.emitOpError("matrix scope must match");  in verifyCoopMatrixMulAdd()
3834     return op.emitOpError("matrix element type must match");  in verifyCoopMatrixMulAdd()
3956     return emitOpError("both operands must be pointers to the same type");  in verify()
4161     return emitOpError("expected exactly 2 nested ops");  in verifyRegions()
4166     return emitOpError("invalid enclosed op");  in verifyRegions()
4171       return emitOpError(  in verifyRegions()
4232     return emitOpError("operands must both be scalars or vectors");  in verify()
4241     return emitOpError("operands must have the same number of elements");  in verify()
4257     return emitOpError("result type must be a vector of four components");  in verify()
4262     return emitOpError(  in verify()
4271     return emitOpError(  in verify()
4276     return emitOpError("the MS operand of the underlying image type must be 0");  in verify()
4481     return emitOpError("vector operand and result type mismatch");  in verify()
4484     return emitOpError("scalar operand and result element type match");  in verify()