================ ---------------- nikic wrote: I don't think this is the right approach. If you want to prevent a urem used only in an assume from interfering with this pass, we should do that by ignoring ephemeral values. https://github.com/llvm/llvm-project/pull/126438