[PATCH] D31924: SROA: Allow eliminating addrspacecasted allocas

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added inline comments.


================
Comment at: docs/LangRef.rst:8452
+and then indexed should give the same result as an equivalent indexing
+calculation in the original address space and then casted.
 
----------------
efriedma wrote:
> Do we need to restrict this rule to inbounds indexing?
I suppose this should specify for a defined result. The idea is only really to disallow implementations that can't round-trip likes in @sanjoy's example of implementing it with abs.


https://reviews.llvm.org/D31924