[cfe-dev] preserving type signatures

Daniel Dunbar daniel at zuster.org
Wed Mar 24 11:44:37 PDT 2010


On Wed, Mar 24, 2010 at 4:58 AM, Renato Golin <rengolin at systemcall.org> wrote:
> On 24 March 2010 07:34, Naoya Maruyama <naoya.maruyama at gmail.com> wrote:
>> However, for example, with Clang, if a function
>> returns struct {float, float}, then the compiled function in the llvm
>> bitcode returns a double that aggregates the two floats.
>
> It's completely wrong to convert { float, float } into double.

No it isn't. Clang does this on occasion when it wants to satisfy an
ABI constraint.

> Just
> because they have the same size doesn't mean they're identical.

Just because it converts doesn't mean it is assuming they are identical.

 - Daniel

> Can you give us a simple example where this occurs?
>
>
> --
> cheers,
> --renato
>
> http://systemcall.org/
>
> Reclaim your digital rights, eliminate DRM, learn more at
> http://www.defectivebydesign.org/what_is_drm
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>



More information about the cfe-dev mailing list