[Mlir-commits] [mlir] [mlir] Add `requiresAmendingMutatedDefs` and `amendMutatedDefs` to `PromotableOpInterface` (PR #86792)

[Théo Degioanni]

Moxinilian wrote:

I'm sorry but I still don't understand what those methods are about :sweat_smile: 
As a user of the interface, when I see those methods I have no idea what is happening. What does "amending the mutated definitions by a store operation" mean? What is a "mutated definition"?

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