diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2017-08-12 16:41:08 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2017-08-12 16:41:08 +0000 |
| commit | fe346f9f5be976838c05174b7c5bba17af06d4c6 (patch) | |
| tree | e9e8f067e9b4b2795d62d7521878dcf4c69a34f9 /llvm/lib/Object/ELFObjectFile.cpp | |
| parent | d23dd6c633b1865cfabd548099814f6943e1760e (diff) | |
| download | llvm-fe346f9f5be976838c05174b7c5bba17af06d4c6.zip llvm-fe346f9f5be976838c05174b7c5bba17af06d4c6.tar.gz llvm-fe346f9f5be976838c05174b7c5bba17af06d4c6.tar.bz2 | |
[BDCE] clear poison generators after turning a value into zero (PR33695, PR34037)
nsw, nuw, and exact carry implicit assumptions about their operands, so we need
to clear those after trivializing a value. We decided there was no danger for
llvm.assume or metadata, so there's just a comment about that.
This fixes miscompiles as shown in:
https://bugs.llvm.org/show_bug.cgi?id=33695
https://bugs.llvm.org/show_bug.cgi?id=34037
Differential Revision: https://reviews.llvm.org/D36592
llvm-svn: 310779
Diffstat (limited to 'llvm/lib/Object/ELFObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions