[llvm-branch-commits] [llvm] [SDAG] Introduce inbounds flag for pointer arithmetic (PR #131862)

[Fabian Ritter via llvm-branch-commits]

ritter-x2a wrote:


> I think if we add something called "inbounds" to SelectionDAG, it will inevitably get misused for other purposes, though.

Wouldn't we have any problems that would introduce already with inbounds GEPs in the IR? Assuming we introduce ISD::PTRADD and only give inbounds a meaning for those nodes, the situation should be the same as in the middle end, right?


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