diff options
| author | Florian Hahn <florian.hahn@arm.com> | 2018-08-07 15:36:11 +0000 |
|---|---|---|
| committer | Florian Hahn <florian.hahn@arm.com> | 2018-08-07 15:36:11 +0000 |
| commit | 950576bdf82aba26456c24061e72cf5e8999b608 (patch) | |
| tree | 8921cd08fb1b33e9893a702229b359a7ff98b4fd /clang/unittests/Basic/VirtualFileSystemTest.cpp | |
| parent | b39cd886b9cd3e34f689e999f08b1f2bd2b149d7 (diff) | |
| download | llvm-950576bdf82aba26456c24061e72cf5e8999b608.zip llvm-950576bdf82aba26456c24061e72cf5e8999b608.tar.gz llvm-950576bdf82aba26456c24061e72cf5e8999b608.tar.bz2 | |
[GVN,NewGVN] Keep nonnull if K does not move.
In combineMetadata, we should be able to preserve K's nonnull metadata,
if K does not move. This condition should hold for all replacements by
NewGVN/GVN, but I added a bunch of assertions to verify that.
Fixes PR35038.
There probably are additional kinds of metadata that could be preserved
using similar reasoning. This is follow-up work.
Reviewers: dberlin, davide, efriedma, nlopes
Reviewed By: efriedma
Differential Revision: https://reviews.llvm.org/D47339
llvm-svn: 339149
Diffstat (limited to 'clang/unittests/Basic/VirtualFileSystemTest.cpp')
0 files changed, 0 insertions, 0 deletions