[lld] [llvm] [IPSCCP] Track returns of non-interposable definitions (PR #210374)

via llvm-commits llvm-commits at lists.llvm.org
Sat Jul 18 01:26:10 PDT 2026


michaelselehov wrote:

> I don't think this is correct. If the return value is non-deterministic, we may refine to a specific value, which IPSCCP will propagate after this change. However, the prevailing definition may end up doing a different non-deterministic choice.

@nikic you're right. I don't see a good way to fix this problem in this patch. Closing the PR. I'll think of a different solution.

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


More information about the llvm-commits mailing list