diff options
| author | Ehud Katz <ehudkatz@gmail.com> | 2020-03-21 14:30:32 +0200 |
|---|---|---|
| committer | Ehud Katz <ehudkatz@gmail.com> | 2020-03-21 14:30:32 +0200 |
| commit | 73cf8abbe695aede9aac804f960513bb7355004a (patch) | |
| tree | c354b8a8cb049ca30fb4de43c1d82d38c6b05abb /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | f424d51c3e195de786204a93a9ccf6367bb26c8e (diff) | |
| download | llvm-73cf8abbe695aede9aac804f960513bb7355004a.zip llvm-73cf8abbe695aede9aac804f960513bb7355004a.tar.gz llvm-73cf8abbe695aede9aac804f960513bb7355004a.tar.bz2 | |
[ADT] Implement the Waymarking as an independent utility
This is the Waymarking algorithm implemented as an independent utility.
The utility is operating on a range of sequential elements.
First we "tag" the elements, by calling `fillWaymarks`.
Then we can "follow" the tags from every element inside the tagged
range, and reach the "head" (the first element), by calling
`followWaymarks`.
Differential Revision: https://reviews.llvm.org/D74415
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
0 files changed, 0 insertions, 0 deletions