diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2021-03-13 09:12:26 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2021-03-13 16:05:34 +0300 |
| commit | 78b8ce40efeb578534543fcb948cb9db22e5b81f (patch) | |
| tree | f65d73960b6ada859090a997c95b3c2cbf15b6d7 /llvm/lib/ExecutionEngine/Orc/DebugObjectManagerPlugin.cpp | |
| parent | 6e9b9978cfb71b3c5de315dbc628e5909baa71da (diff) | |
| download | llvm-78b8ce40efeb578534543fcb948cb9db22e5b81f.zip llvm-78b8ce40efeb578534543fcb948cb9db22e5b81f.tar.gz llvm-78b8ce40efeb578534543fcb948cb9db22e5b81f.tar.bz2 | |
Reland [SCEV] Improve modelling for (null) pointer constants
This reverts commit 329aeb5db43f5e69df038fb20d2def77fe6f8595,
and relands commit 61f006ac655431bd44b9e089f74c73bec0c1a48c.
This is a continuation of D89456.
As it was suggested there, now that SCEV models `PtrToInt`,
we can try to improve SCEV's pointer handling.
In particular, i believe, i will need this in the future
to further fix `SCEVAddExpr`operation type handling.
This removes special handling of `ConstantPointerNull`
from `ScalarEvolution::createSCEV()`, and add constant folding
into `ScalarEvolution::getPtrToIntExpr()`.
This way, `null` constants stay as such in SCEV's,
but gracefully become zero integers when asked.
Reviewed By: Meinersbur
Differential Revision: https://reviews.llvm.org/D98147
Diffstat (limited to 'llvm/lib/ExecutionEngine/Orc/DebugObjectManagerPlugin.cpp')
0 files changed, 0 insertions, 0 deletions