projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 865f093) | patch
Fix BasicAA's recursion detection so that it doesn't pessimize
authorDan Gohman <gohman@apple.com>
Sat, 4 Jun 2011 00:31:50 +0000 (00:31 +0000)
committerDan Gohman <gohman@apple.com>
Sat, 4 Jun 2011 00:31:50 +0000 (00:31 +0000)
commit1fc18d71deb0e23a9101c87bb7b1455098ce1c09
treec3608fae328c29f981be6de0d4c44452f0d025e6tree | snapshot
parent865f09334f67edb2000fb38c6c3c28283b88b3bfcommit | diff
Fix BasicAA's recursion detection so that it doesn't pessimize
queries in the case of a DAG, where a query reaches a node
visited earlier, but it's not on a cycle. This avoids
MayAlias results in cases where BasicAA is expected to
return MustAlias or PartialAlias in order to protect TBAA.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132609 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/AliasAnalysis.h diff | blob | history
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/dag.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors