llvm dev - Jun 2012 - [LLVMdev] Big endian ARM?

>> The current design is that the frontend (if it attaches a TD string)
>> is *required* to match the code generator:
>> http://llvm.org/docs/LangRef.html#datalayout
>
> Chris,
>
> Do we actually verify this anywhere?
No.  This has been on my todo list for a long time - people regularly get bitten
by it.

Ciao, Duncan.

On Monday, June 04, 2012 09:23:09 AM Duncan Sands wrote:
> >> The current design is that the frontend (if it attaches a TD
string)
> >> is *required* to match the code generator:
> >> http://llvm.org/docs/LangRef.html#datalayout
> > 
> > Chris,
> > 
> > Do we actually verify this anywhere?
> 
> No.  This has been on my todo list for a long time - people regularly get
> bitten by it.
> 
As did I. It would be nice if, rather that just checking consistancy, the 
compiler could override the code generator's default.

-Rich

Hi Richard,

On 05/06/12 05:10, Richard Pennington wrote:
> On Monday, June 04, 2012 09:23:09 AM Duncan Sands wrote:
>>>> The current design is that the frontend (if it attaches a TD
string)
>>>> is *required* to match the code generator:
>>>> http://llvm.org/docs/LangRef.html#datalayout
>>>
>>> Chris,
>>>
>>> Do we actually verify this anywhere?
>>
>> No.  This has been on my todo list for a long time - people regularly
get
>> bitten by it.
>>
>
> As did I. It would be nice if, rather that just checking consistancy, the
> compiler could override the code generator's default.
in general overriding is too hard - all kinds of places on x86_64 know that
the size of a register is 64 bits for example: it's hard-wired.  However
there
are probably a few details that can reasonably be overridden (eg alignment of
80-bit floating point numbers) in which case it would be nice to be able to do
so.

Ciao, Duncan.