banach-space wrote: For those of us less familiar with the fusion logic, could you please provide a high level example with "BEFORE" and "AFTER"? You can use pseudo IR for that (I can use the implementation to reason about the finer details). https://github.com/llvm/llvm-project/pull/89893