OSDN Git Service

Optimistically analyse Phi cycles
authorArnold Schwaighofer <arnolds@codeaurora.org>
Mon, 10 Dec 2012 23:02:41 +0000 (23:02 +0000)
committerArnold Schwaighofer <arnolds@codeaurora.org>
Mon, 10 Dec 2012 23:02:41 +0000 (23:02 +0000)
commit2b475922e6169098606006a69d765160caa77848
tree12d990e0d636812ec2982bcd110a7b7e735abbc7
parent07f6a4fde0a1b081fbefd986345c9b2f4f85e88a
Optimistically analyse Phi cycles

Analyse Phis under the starting assumption that they are NoAlias. Recursively
look at their inputs.
If they MayAlias/MustAlias there must be an input that makes them so.

Addresses bug 14351.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@169788 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
test/Analysis/BasicAA/phi-speculation.ll