fabianmcg wrote: @Moxinilian I improved the docs. I also changed the names of the methods to `requiresAmendingMutatedDefs` and `amendMutatedDefs`, as I think the previous names sparked some confusion. https://github.com/llvm/llvm-project/pull/86792