[llvm] [SDAG] Introduce inbounds flag for ISD::PTRADD (PR #162477)

Eli Friedman via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 10 13:16:04 PDT 2025


efriedma-quic wrote:

> and the inbounds-ness of the outer ptradd / the last gep hinges on the something_... addition that was optimized away?

Slightly more realistically, you'd have pointers to objects that are adjacent, or have non-overlapping lifetimes, that happen to compare equal, and you swap one integer value for the other.  But that's the basic idea, yes.

https://github.com/llvm/llvm-project/pull/162477


More information about the llvm-commits mailing list