search for: 102472

...t equivalent to "int* b = *a;", even though the expressions have the same type and value. > > There currently isn't any way to model the aliasing behavior of the address-of operator or array-to-pointer decay in LLVM IR. See also http://lists.llvm.org/pipermail/llvm-dev/2016-July/102472.html . It seems like we might we able to use TBAA metadata with struct field information to get this then. -Hal > > -Eli -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160725/22fe4309/attachment.htm...

...that the two access to the structure have metadata nodes !1 and !6. If you look at those nodes, you'll see that (third argument), they identify the relevant field offset (0 bytes and 4 bytes in this case). -Hal > > See also > > http://lists.llvm.org/pipermail/llvm-dev/2016-July/102472.html . > It’s not, probably, the case. I need such “inbounds” for any > sub-structure. > - Elena > From: Finkel, Hal J. [mailto:hfinkel at anl.gov] > Sent: Tuesday, July 26, 2016 02:03 > To: Eli Friedman <eli.friedman at gmail.com> > Cc: llvm-dev <llvm-dev at lists.l...

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. That seems like a bug. PartialAlias should only be returned when we can prove a partial