[PATCH] D20665: Claim NoAlias if two GEPs index different fields of the same struct

[Daniel Berlin via llvm-commits]

On Wed, Jun 1, 2016 at 7:29 PM, Eli Friedman <eli.friedman at gmail.com> wrote:

> eli.friedman added a comment.
>
> My example run through "clang -S -emit-llvm -O2 -fno-unroll-loops":
>
>
So this looks valid to me.

Sorry Taewook.

You can perform this optimization, but you need to do it by having clang
emit metadata that lets us do it (because it's not legal in C), not solely
based on LLVM IR.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160601/d1872963/attachment.html>