https://github.com/nikic commented: I don't think this is a good fit for ConstraintElimination. I'd expect either IPSCCP or CVP to optimize such cases. If they don't, we should fix it there. https://github.com/llvm/llvm-project/pull/76928