projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 475abe1) | patch
[Attributor] AAReachability : use isPotentiallyReachable in isKnownReachable
authorShinji Okumura <okuraofvegetable@gmail.com>
Sun, 5 Apr 2020 00:15:26 +0000 (19:15 -0500)
committerJohannes Doerfert <johannes@jdoerfert.de>
Sun, 5 Apr 2020 00:16:17 +0000 (19:16 -0500)
commitc80cf48801be54ee008730a9fad7dbccc963fc80
tree203c05d9011d3aa92830a8b0818bf5ce1634dc4ctree | snapshot
parent475abe14a59f43a976f479091798e879cfc739d0commit | diff
[Attributor] AAReachability : use isPotentiallyReachable in isKnownReachable

`isKnownReachable` had only interface (always returns true).
 Changed it to call `isPotentiallyReachable`.
This change enables deductions of other Abstract Attributes depending on
AAReachability to use reachability information obtained from CFG, and it
can make them stronger.

Reviewed By: jdoerfert

Differential Revision: https://reviews.llvm.org/D76210
llvm/include/llvm/Transforms/IPO/Attributor.h diff | blob | history
llvm/test/Transforms/Attributor/heap_to_stack.ll diff | blob | history
llvm/test/Transforms/Attributor/misc.ll diff | blob | history
llvm/test/Transforms/Attributor/noalias.ll diff | blob | history
Domain: System / Toolchain;