[PATCH] D68328: Fix occurrences that size and range of pointers are assumed to be the same.

[Joseph Faulls via Phabricator via llvm-commits]

Joe added a comment.

After further review and testing, I have found that changing the effective SCEV type to be the pointer index type does not work. Though neither does it work when assumed to be pointer size. In many places, these are assumed to be the same. I'm unsure of which way to go with this. Do I force effective SCEV type to be the pointer size and enforce this, or change it to be index size and enforce this?

In my mind, SCEV would treat the evolution of a pointer to be that of it's offset, so it should bear the same type.

Does anyone have an opinion on this?


Repository:
  rL LLVM

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

https://reviews.llvm.org/D68328