OutOfCache wrote: Is there a way to add a test demonstrating this behavior or is that not possible/necessary? I could add the IR test based on this scenario, but is that enough to prove the illegality of the transform? https://github.com/llvm/llvm-project/pull/69209