[LLVMdev] Address space extension

[Michele Scandale]

On 08/08/2013 09:59 PM, Eric Christopher wrote:
> I don't believe so, no. Metadata should not be required for correct
> program behavior. It can be necessary for fast program behavior, but
> not for correct. The IR level handles the proper semantics of the
> program, metadata can provide extra optimization information. As an
> example see the TBAA work that was done.
>
> -eric

Perfectly fine with this. My question was ignoring the implementation 
detail (the use of metadata to represent mapping infos).

I think that the mapping should be a requirement for the correctness, so 
I think we need another way to represent this...

What is your opinion on this?

Thanks.

-Michele