diff options
| author | Shinji Okumura <okuraofvegetable@gmail.com> | 2020-04-04 11:38:09 -0500 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2020-04-04 19:08:44 -0500 |
| commit | 475abe14a59f43a976f479091798e879cfc739d0 (patch) | |
| tree | be93bfe3181cae8a7cf08c7623393f5dd0c8f4f4 /llvm/tools/llvm-objdump | |
| parent | 221890d709276a7315222f470f9f9a2d908b5327 (diff) | |
| download | llvm-475abe14a59f43a976f479091798e879cfc739d0.zip llvm-475abe14a59f43a976f479091798e879cfc739d0.tar.gz llvm-475abe14a59f43a976f479091798e879cfc739d0.tar.bz2 | |
[Attributor] Make use of analysis in the MustBeExecutedExplorer
This commit was made to settle [[ https://github.com/llvm/llvm-project/issues/175 | this issue on GitHub ]].
I added analysis getters for LoopInfo, DominatorTree, and
PostDominatorTree. And I added a test to show an improvement of the
deduction of `dereferenceable` attribute.
Reviewed By: jdoerfert, uenoku
Differential Revision: https://reviews.llvm.org/D76378
Diffstat (limited to 'llvm/tools/llvm-objdump')
0 files changed, 0 insertions, 0 deletions