| commit | ba5e33fabcf45e5c8ab1aedecc7e819652cd6b15 | |
| author | Michael Kruse <llvm@meinersbur.de> | |
| Wed, 15 Feb 2017 16:59:10 +0000 (15 16:59 +0000) | ||
| committer | Michael Kruse <llvm@meinersbur.de> | |
| Wed, 15 Feb 2017 16:59:10 +0000 (15 16:59 +0000) | ||
| tree | ed3f24c09013db9e5abda8ec6348d4808c344439 | treesnapshot (tar.gz zip) |
| parent | 1f3bd90a6a3c1a09b02e2707d37ce9faa761b743 | commitdiff |
[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.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@295197 91177308-0d34-0410-b5e6-96231b3b80d8
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.
git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@295197 91177308-0d34-0410-b5e6-96231b3b80d8
| include/polly/DeLICM.h | diffblobblamehistory | |
| lib/Transform/DeLICM.cpp | diffblobblamehistory | |
| unittests/CMakeLists.txt | diffblobblamehistory |