diff options
| author | Michael Kruse <llvm@meinersbur.de> | 2017-02-15 16:59:10 +0000 |
|---|---|---|
| committer | Michael Kruse <llvm@meinersbur.de> | 2017-02-15 16:59:10 +0000 |
| commit | e23e94a08d31f63c5b4cb27c6e08369380f08ab0 (patch) | |
| tree | d5ae080e9c96606466aeef4e2c10b652b8170cae /lldb | |
| parent | fbe32f59c2b56aba270dbb8b81891b89aded8600 (diff) | |
| download | bcm5719-llvm-e23e94a08d31f63c5b4cb27c6e08369380f08ab0.tar.gz bcm5719-llvm-e23e94a08d31f63c5b4cb27c6e08369380f08ab0.zip | |
[DeLICM] Add Knowledge class. NFC.
The Knowledge class remembers the state of data at any timepoint of a SCoP's
execution. Currently, it tracks whether an array element is unused or is
occupied by some value, and the writes to it. A future addition will be to also
remember which value it contains.
Objects are used to determine whether two Knowledge contain conflicting
information, i.e. two states cannot be true a the same time.
This commit was extracted from the DeLICM algorithm at
https://reviews.llvm.org/D24716.
llvm-svn: 295197
Diffstat (limited to 'lldb')
0 files changed, 0 insertions, 0 deletions
