477         return op.emitOpError("operand cannot be used as a dimension id");  in verifyDimAndSymbolIdentifiers()
479       return op.emitOpError("operand cannot be used as a symbol");  in verifyDimAndSymbolIdentifiers()
528     return emitOpError(  in verify()
533     return emitOpError("mapping must produce one value");  in verify()
1304     return emitOpError("expected DMA source to be of memref type");  in verifyInvariantsImpl()
1306     return emitOpError("expected DMA destination to be of memref type");  in verifyInvariantsImpl()
1308     return emitOpError("expected DMA tag to be of memref type");  in verifyInvariantsImpl()
1315     return emitOpError("incorrect number of operands");  in verifyInvariantsImpl()
1321       return emitOpError("src index to dma_start must have 'index' type");  in verifyInvariantsImpl()
1323       return emitOpError("src index must be a dimension or symbol identifier");  in verifyInvariantsImpl()
1327       return emitOpError("dst index to dma_start must have 'index' type");  in verifyInvariantsImpl()
1329       return emitOpError("dst index must be a dimension or symbol identifier");  in verifyInvariantsImpl()
1333       return emitOpError("tag index to dma_start must have 'index' type");  in verifyInvariantsImpl()
1335       return emitOpError("tag index must be a dimension or symbol identifier");  in verifyInvariantsImpl()
1407     return emitOpError("expected DMA tag to be of memref type");  in verifyInvariantsImpl()
1411       return emitOpError("index to dma_wait must have 'index' type");  in verifyInvariantsImpl()
1413       return emitOpError("index must be a dimension or symbol identifier");  in verifyInvariantsImpl()
1495     return emitOpError("expected body to have a single index argument for the "  in verifyRegions()
1518     return emitOpError(  in verifyRegions()
1521     return emitOpError(  in verifyRegions()
2361     return emitOpError("requires an integer set attribute named 'condition'");  in verify()
2366     return emitOpError("operand count and condition integer set dimension and "  in verify()
2611       return op->emitOpError("affine map num results must equal memref rank");  in verifyMemoryOpIndexing()
2613       return op->emitOpError("expects as many subscripts as affine map inputs");  in verifyMemoryOpIndexing()
2616       return op->emitOpError(  in verifyMemoryOpIndexing()
2623       return op->emitOpError("index to load must have 'index' type");  in verifyMemoryOpIndexing()
2625       return op->emitOpError("index must be a dimension or symbol identifier");  in verifyMemoryOpIndexing()
2634     return emitOpError("result type must match element type of memref");  in verify()
2750     return emitOpError(  in verify()
2783     return op.emitOpError(  in verifyAffineMinMaxOp()
3198       return emitOpError("affine.prefetch affine map num results must equal"  in verify()
3201       return emitOpError("too few operands");  in verify()
3204       return emitOpError("too few operands");  in verify()
3210       return emitOpError("index must be a dimension or symbol identifier");  in verify()
3436     return emitOpError() << "the number of region arguments ("  in verify()
3450     return emitOpError() << "expected lower bounds map to have "  in verify()
3456     return emitOpError() << "expected upper bounds map to have "  in verify()
3460     return emitOpError("a reduction must be specified for each output");  in verify()
3466       return emitOpError("invalid reduction attribute");  in verify()
3835     return emitOpError() << "only terminates affine.if/for/parallel regions";  in verify()
3837     return emitOpError() << "parent of yield must have same number of "  in verify()
3841       return emitOpError() << "types mismatch between yield op and its parent";  in verify()
3927     return op->emitOpError(  in verifyVectorMemoryOp()