[llvm] [SROA] Prevent poison propagation in insertInteger() (PR #109240)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 19 00:37:02 PDT 2024
https://github.com/nikic requested changes to this pull request.
Our current de-facto model is that memory cannot contain poison values. I'm not willing to accept patches handling poison in memory before we have reached an actual consensus on the broader uninitialized memory question. Two of the more recent discussions of interest are https://discourse.llvm.org/t/rfc-add-nopoison-attribute-metadata/79833 and https://discourse.llvm.org/t/rfc-load-instruction-uninitialized-memory-semantics/67481.
Freezing all bit insertions in SROA is a very big hammer, and exactly one of the things we'd rather avoid doing.
https://github.com/llvm/llvm-project/pull/109240
More information about the llvm-commits
mailing list