[PATCH] D12802: [BasicAA] Non-equal indices in a GEP of a SequentialType don't overlap
firstname.lastname@example.org via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 22 14:17:27 PDT 2015
hfinkel accepted this revision.
hfinkel added a comment.
This revision is now accepted and ready to land.
There are some comment changes, but otherwise, LGTM.
Comment at: lib/Analysis/BasicAliasAnalysis.cpp:768
@@ +767,3 @@
+ // - both GEPs begin indexing from the exact same pointer;
+ // - the last indices in both GEPs are constants, indexing into a sequential
+ // type (array or pointer);
We don't seem to know that here, only below, because of how you've modified the C1,C2 check above. Here, we know only that we don't have equal constants.
Comment at: lib/Analysis/BasicAliasAnalysis.cpp:780
@@ +779,3 @@
+ // Now we know that the array/pointer that GEP1 indexes into and that
+ // that GEP2 indexes into must either precisely overlap or be disjoint.
final 'that' -> 'the array/pointer', or similar, to eliminate the 'that that'
More information about the llvm-commits