[llvm-commits] [PATCH] Extend BasicAliasAnalysis to recognize cyclic NoAlias phis in loops

[Tobias Grosser]

On 08/30/2012 06:08 PM, Arnold Schwaighofer wrote:
>
> Hi Tobias,
>
> I have not looked at scev-aa (at least not further than enabling it and
> noticing that it could not show no-alias). You are right that scev-aa
> should handle this. But scev-aa is not used by clang at -O2/-O3 so I
> looked at improving basic-aa.
>
> I don't really do any deep loop analysis. The loop part is handled by
> recursion on phi nodes that is already in the basic-aa code.

OK, thanks for the explanation.
Tobi