[PATCH] D153700: [InstSimplify] Fold icmp between GEP

[Nikita Popov via Phabricator via llvm-commits]

nikic requested changes to this revision.
nikic added a comment.
This revision now requires changes to proceed.

This needs to be split in two patches, one for the InstSimplify change and one for the ConstantFold change. In InstSimplify, you need to modify the code around the existing haveNonOverlappingStorage() call. What you need to do is subtract the offsets and reason about how the difference relates to the object size. It does not make sense to only handle the case where the offsets are the same.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D153700/new/

https://reviews.llvm.org/D153700