[Mlir-commits] [mlir] [mlir][bufferization] Refine tensor-buffer compatibility checks (PR #167705)

[Andrei Golubev]

================
@@ -127,3 +127,63 @@ func.func @invalid_manual_deallocation() {
   // expected-error @below{{op attribute 'bufferization.manual_deallocation' can be used only on ops that have an allocation and/or free side effect}}
   arith.constant {bufferization.manual_deallocation} 0  : index
 }
+
+// -----
----------------
andrey-golubev wrote:

@matthias-springer I have extended these tests with rank / shape / element type checks for builtin types. now, this does "confirm" that ensureToBufferOpIsValid() removed in ::getBuffer() is indeed unnecessary.

https://github.com/llvm/llvm-project/pull/167705