[PATCH] D31924: SROA: Allow eliminating addrspacecasted allocas

[Keno Fischer via Phabricator via llvm-commits]

loladiro added a comment.

Having pondered this some more, I wonder if what we're missing is an annotation on the addrspace cast itself that indicates whether or not GEPs may be commuted past it (could call it inbounds or something else). It seems like in many cases (including allocas). The frontend (or whoever else is doing language/target specific work) can often know whether the entire object is available in the target address space (e.g. because the entire stack always is).


https://reviews.llvm.org/D31924