jayfoad wrote: By the way I think the lack of fast-forward detection was the main reason that this pass did not look at implicit operands in the first place, so hopefully this PR will make it much easier to fix that. https://github.com/llvm/llvm-project/pull/205481