[llvm-dev] Alias Analysis with inbound GEPs

Demikhovsky, Elena via llvm-dev llvm-dev at lists.llvm.org
Mon Jul 25 07:45:55 PDT 2016


I'm checking aliasing of two pointers:

  %GEP1 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 1, i64 %indvars.iv41, i64 %indvars.iv39
  %GEP2 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 16

The result I got is "PartialAlias" because the indices of the GEP1 are variable. Shouldn't the "inbounds" keyword mean that the access to sub-array is also in-bounds?
I'm trying to reach "NoAlias" consensus between GEP1 and GEP2.


-        Elena

Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160725/42aa6d51/attachment.html>

More information about the llvm-dev mailing list