diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-07-07 22:50:12 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-08-04 20:20:52 +0200 |
| commit | 456497450482153afe86838ac2e2be395206d377 (patch) | |
| tree | 18256f489624beea0f0735061afa827bd37b7f7c /lldb/source/Plugins/ScriptInterpreter/Python/PythonDataObjects.cpp | |
| parent | f8cc94a61afe48a4b77f111a8ad313fc3b9417de (diff) | |
[SCCP] Propagate inequalities
Teach SCCP to create notconstant lattice values from inequality
assumes and nonnull metadata, and update getConstant() to make
use of them. Additionally isOverdefined() needs to be changed to
consider notconstant an overdefined value.
Handling inequality branches is delayed until our branch on undef
story in other passes has been improved.
Differential Revision: https://reviews.llvm.org/D83643
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/PythonDataObjects.cpp')
0 files changed, 0 insertions, 0 deletions