[PATCH] D16343: [BasicAA] Fix for missing must alias information

[Philip Reames via llvm-commits]

reames added a subscriber: reames.
reames requested changes to this revision.
reames added a reviewer: reames.
reames added a comment.
This revision now requires changes to proceed.

This looks like it should be two separate patches.  The mustalias logic should be expressible on 64 bit pointers independent of the wrap around.  The 32 bit wrap around logic I'm a bit unclear on.  I think that it's correct per the lang ref.  At minimum, should be using uint32_t types.  Preferably, you'd rephrase this in a generic way which worked for other pointer sizes (i.e. 48 bit?).


http://reviews.llvm.org/D16343