sebpop wrote: > But what about the case where %m is a function of %n, like %n + 1? If you have a testcase that shows the issue, I will add it to the tests. I believe I addressed all your previous comments. Thanks for your reviews. https://github.com/llvm/llvm-project/pull/123436