[MDA] Don't be quite as conservative for noalias functions
authorPhilip Reames <listmail@philipreames.com>
Tue, 5 Jan 2016 00:49:14 +0000 (00:49 +0000)
committerPhilip Reames <listmail@philipreames.com>
Tue, 5 Jan 2016 00:49:14 +0000 (00:49 +0000)
commit1aeaf6cd6373dbf67d3728de0b9f4d2725571b67
treed797ab7a5813c1f276e7b9749ba562391c589410
parent8eb12ac26edfd766ace8c6152ba1fee6713fba6d
[MDA] Don't be quite as conservative for noalias functions

If we encounter a noalias call that alias analysis can't analyse, we can fall down into the generic call handling rather than giving up entirely. I noticed this while reading through the code for another purpose.

I can't seem to write a test case which changes; that sorta makes sense given any test case would have to be an inconsistency in AA. Suggestions welcome.

Differential Revision: http://reviews.llvm.org/D15825

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@256802 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/MemoryDependenceAnalysis.cpp