[mlir][scf][bufferize] Update verifyAnalysis error message
authorMatthias Springer <springerm@google.com>
Thu, 5 May 2022 07:49:56 +0000 (16:49 +0900)
committerMatthias Springer <springerm@google.com>
Thu, 5 May 2022 07:56:50 +0000 (16:56 +0900)
commite300682597470ffc88b59a6187cdd763f1595d3a
tree31bfb1a147e730524796d590b77cbbe65c54730a
parent417e1c7d520c5fb1868794341e8926f8037ef2a0
[mlir][scf][bufferize] Update verifyAnalysis error message

The previous error message was technically incorrect. We do not compare equivalence of YieldOp operands and ForOp operands.

Differential Revision: https://reviews.llvm.org/D124934
mlir/lib/Dialect/SCF/Transforms/BufferizableOpInterfaceImpl.cpp
mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize-invalid.mlir