[llvm-dev] [RFC] Allow allocas to produce a non-0 address space pointer

[David Chisnall via llvm-dev]

On 16 Mar 2017, at 17:51, Arsenault, Matthew <Matthew.Arsenault at amd.com> wrote:
> 
> This has been implemented out of tree before before for CHERI.
> 
> This has also been proposed before but for different reasons: http://lists.llvm.org/pipermail/llvm-dev/2015-August/089706.html
> 
> My current proposal is more focused than the previous proposal. Instead of allowing specifying address spaces on individual allocas, this restricts it to one chosen address space specified in the datalayout. I think the work to support different address spaces per-alloca is a strict superset of this proposal, so if people are interested in that I think that is a separate step beyond this.

This is exactly what we do for CHERI (one address space for all allocas) and the changes are quite small.  If they’re useful, please feel free to pull them out from our tree - we’ve just done a merge from upstream, so they should apply cleanly.

David