2 Commits

Author	SHA1	Message	Date
James Molloy	6472ad3426	[BasicAA] Bugfix for r251016 ... If the loaded type sizes don't match the element type of the sequential type, all bets are off and the addresses may, indeed, overlap. Surprisingly, this just got caught in one test, on one builder, out of the 30+ builders testing this change. Congratulations go to http://lab.llvm.org:8011/builders/clang-aarch64-lnt/builds/5205. llvm-svn: 251112	2015-10-23 14:17:03 +00:00
James Molloy	a87ba0206e	[BasicAA] Non-equal indices in a GEP of a SequentialType don't overlap ... If the final indices of two GEPs can be proven to not be equal, and the GEP is of a SequentialType (not a StructType), then the two GEPs do not alias. llvm-svn: 251016	2015-10-22 13:28:18 +00:00