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

[Taewook Oh via llvm-commits]

twoh added a comment.

So I'm thinking of adding metadata that indicates the original type of the pointer operand to GEP instructions. With metadata, an analysis can tell if GEP's pointer operand is transformed from bitcast operation or not. What do you think?


Repository:
  rL LLVM

http://reviews.llvm.org/D20665