RE: FW: RE: x86_64 port

2005-03-08 Thread Simon Marlow
On 07 March 2005 18:01, Kurt Roeckx wrote: On Mon, Mar 07, 2005 at 11:47:31AM -, Simon Marlow wrote: $ cat bug.c register void * R1 __asm__(%r13); extern void g(void); static void f(void) { R1 = g; goto *R1; } $ gcc -S -O bug.c $ And take a look at the generated assembly

RE: FW: RE: x86_64 port

2005-03-07 Thread Simon Marlow
On 04 March 2005 17:32, Kurt Roeckx wrote: I have no idea what ghc has too do with gcc, A bit of background: GHC uses gcc as a backend compiler. GHC generates C code that is compiled using gcc (we also have a native code generator for some platforms; but not for x86_64 yet). or what the

RE: FW: RE: x86_64 port

2005-03-07 Thread Simon Marlow
On 07 March 2005 16:18, David Brown wrote: On Mon, Mar 07, 2005 at 11:47:31AM -, Simon Marlow wrote: $ cat bug.c register void * R1 __asm__(%r13); extern void g(void); static void f(void) { R1 = g; goto *R1; } $ gcc -S -O bug.c $ And take a look at the generated assembly

RE: FW: RE: x86_64 port

2005-03-07 Thread Simon Marlow
On 07 March 2005 16:40, Simon Marlow wrote: On 07 March 2005 16:18, David Brown wrote: On Mon, Mar 07, 2005 at 11:47:31AM -, Simon Marlow wrote: $ cat bug.c register void * R1 __asm__(%r13); extern void g(void); static void f(void) { R1 = g; goto *R1; } $ gcc -S -O bug.c