diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2017-12-25 09:35:10 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2017-12-25 09:35:10 +0000 |
| commit | ddb096853d008b54788eb427dd1d56387996f00a (patch) | |
| tree | 96dded39bc2f80f8e703572ed8f1dbff38887c0e /llvm/lib/Analysis/ModuleSummaryAnalysis.cpp | |
| parent | 705fef3ef3d26718f34de45e1d4c2ef0f37c9bb2 (diff) | |
| download | llvm-ddb096853d008b54788eb427dd1d56387996f00a.zip llvm-ddb096853d008b54788eb427dd1d56387996f00a.tar.gz llvm-ddb096853d008b54788eb427dd1d56387996f00a.tar.bz2 | |
[SafepointIRVerifier] Allow non-dereferencing uses of unrelocated or poisoned PHI nodes
PHI that has at least one unrelocated input cannot cause any issues by itself,
though its uses should be carefully verified. With this patch PHIs are allowed
to have any inputs but when all inputs are unrelocated the PHI is marked as
unrelocated and if not all inputs are unrelocated then the PHI is marked as
poisoned. Poisoned pointers can be used only in three ways: to derive new
pointers, in PHIs or in comparisons against constants that are exclusively
derived from null.
Patch by Daniil Suchkov!
Differential Revision: https://reviews.llvm.org/D41006
llvm-svn: 321438
Diffstat (limited to 'llvm/lib/Analysis/ModuleSummaryAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions