[PATCH] D144563: [SimplifyCFG] Improve the precision of `PtrValueMayBeModified`

[DianQK via Phabricator via llvm-commits]

DianQK added a comment.

Thank you very much for your review!

Further, we should remove the `bool GetElementPtrInst::hasAllZeroIndices()` method altogether. Then we don't need to consider the `gep zero` case anymore.
What do you think?

Although this may require additional work, possibly:

- add assertions created by GEP instructions or automatically convert them to other instructions
- automatically convert GEP directives after optimizations like constant propagation


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D144563