[llvm] [mlir][gpu][bufferization] Implement BufferDeallocationOpInterface for gpu.terminator (PR #66880)

[Matthias Springer via llvm-commits]

================
@@ -205,6 +205,19 @@ class DeallocationState {
   Liveness liveness;
 };
 
+namespace deallocation_impl {
+/// Insert a `bufferization.dealloc` operation right before 'op' which has to be
+/// a terminator without any successors. Note that it is not required to have
+/// the ReturnLike trait attached. The MemRef values in the 'operands' argument
+/// will be added to the list of retained values and their updated ownership
+/// values will be appended to the 'updatedOperandOwnerships' list. 'op' is not
+/// modified in any way. Returns failure or the original 'op'.
----------------
matthias-springer wrote:

Mention what the meaning of "failure" is and when it would be returned.

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