[llvm] [SCCP] Consider provenance when propagating constant ptrs (PR #160083)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Wed Oct 29 09:08:21 PDT 2025


nikic wrote:

I think the only fully correct way to handle this is to encode this in the ValueLatticeElement directly. Otherwise it's not really possible to distinguish situations like a constant being propagated through a predicate (rather than derived from the predicate).

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


More information about the llvm-commits mailing list