Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Google summer of Code proposal
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-03-21 (20:49)
From: Joel Reymont <joelr1@g...>
Subject: Re: [Caml-list] Google summer of Code proposal

On Mar 21, 2009, at 2:51 PM, Jon Harrop wrote:

> . I found that LLVM's x86 backend breaks tail calls when the return  
> type is a
> first class struct. The workaround is to use sret form, having the  
> caller
> preallocate the return struct and passing a pointer to the struct as  
> an extra
> first argument.

Returning a structure by having the caller preallocate space, etc. is  
part of the Intel ABI or something like that. This is how it's done,  

Not sure how it relates to breaking tail calls, though.