[mlir][linalg][bufferize] Op interface implementation for Bufferization dialect ops

[springerm]

Summary

This change provides BufferizableOpInterface implementations for ops from the Bufferization dialects. These ops are needed at the bufferization boundaries for partial bufferization.

Depends On D114617

[springerm]

update

[springerm]

update

[nicolasvasilache]

mlir/lib/Dialect/Linalg/ComprehensiveBufferize/BufferizationInterfaceImpl.cpp

32

These ops are not a good abstraction in general and are really implementation detail leaking in the IR due to multi-pass bufferization.
We should have very strong documentation on the fact that they alias with the world and we should not make any non-conservative assumption on them.

mlir/lib/Dialect/Linalg/ComprehensiveBufferize/ComprehensiveBufferize.cpp

244

typo hae

718

Can we make this message more descriptive and signal this is a hard error (with maybe a suggestion on what the user would have to do to get to a reasonable form?).

[springerm]

update