[llvm-commits] [PATCH] Optimistically analyse phi cycles in BasicAA

[Arnold Schwaighofer]

Analyse Phis under the starting assumption that they are NoAlias (we
used to require the first operand to be NoAlias). This is correct
because we recursively look at their inputs. If the Phis
MayAlias/MustAlias there must be an input that makes them so.

This addresses bug 14351.

Bootstrapped clang passes the test-suite.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-Optimistically-analyse-Phi-cycles.patch
Type: application/octet-stream
Size: 6244 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20121120/8e8437e9/attachment.obj>