projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c3f335) | patch
Implement AccessesArguments checking in the two-callsite form
authorDan Gohman <gohman@apple.com>
Thu, 5 Aug 2010 23:34:50 +0000 (23:34 +0000)
committerDan Gohman <gohman@apple.com>
Thu, 5 Aug 2010 23:34:50 +0000 (23:34 +0000)
commit130073904ffc18a6700bf7a6505ed2e19fc25ff3
tree7fb302e836c8642d0977b04d5951f2bd578983e7tree | snapshot
parent0c3f3358df14dcf9b30448d9482b35fe9c657ec8commit | diff
Implement AccessesArguments checking in the two-callsite form
of BasicAA::getModRefInfo. This allows BasicAA to say that two
memset calls to non-aliasing memory locations don't interfere.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@110393 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/getmodrefinfo-cs-cs.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors