[LLVMdev] Address space extension

[Eric Christopher]

On Thu, Aug 8, 2013 at 1:26 PM, Michele Scandale
<michele.scandale at gmail.com> wrote:
> 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?
>

Wish I had one here. I completely defer to Chris for any IR design
issues here. I just wanted to make sure that you didn't waste time
going down the metadata for correctness path. :)

-eric