[llvm-branch-commits] [llvm] [SDAG][AMDGPU] Allow opting in to OOB-generating PTRADD transforms (PR #146074)

[Alexander Richardson via llvm-branch-commits]

https://github.com/arichardson approved this pull request.

Thanks, I like this hook and it should also work well for CHERI where similar constraints to CPA exist: you can go out of bounds by a specific amount (the exact range depends on the pointer bounds), but if you go too far the pointer becomes invalid. So for CHERI we can just return false from this hook to avoid these problematic transforms.

Would like @jrtc27 to take a look as well in case I missed something.

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