[M3devel] stdcall naming discrepancy?

[Tony Hosking]

Jay,

I'm not on Windows so I can't diagnose the stdcall problem.  I want  
to see the .mc file so I can get a sense of what is going on.

On Feb 4, 2008, at 4:01 PM, Jay wrote:

> This is without your most recent changes.
>
>
>
>
> > CC: m3devel at elegosoft.com
> > From: hosking at cs.purdue.edu
> > Subject: Re: stdcall naming discrepancy?
> > Date: Mon, 4 Feb 2008 15:30:23 -0500
> > To: jayk123 at hotmail.com
> >
> > OK. Not sure I understand what is going on then -- I would like to
> > see the .mc file to get a sense of things.
> >
> > On Feb 4, 2008, at 2:43 PM, Jay wrote:
> >
> > > I think they are being passed correctly, by value. pop_struct and
> > > not pop_param is used.
> > > When I get time, I will put my parse.c back (uncommited) and then
> > > just try some tests with "__cdecl" passing and returning structs.
> > > That removes the naming issue and PART of the calling convention
> > > issue and tests what is left.
> > > Then I'll see if I can hack something up to test the rest.
> > >
> > > - Jay
> > >
> > >
> > >
> > > > CC: m3devel at elegosoft.com
> > > > From: hosking at cs.purdue.edu
> > > > Subject: Re: stdcall naming discrepancy?
> > > > Date: Mon, 4 Feb 2008 09:52:31 -0500
> > > > To: jayk123 at hotmail.com
> > > >
> > > > Any chance that standard_structs in Target.i3 is causing the  
> front-
> > > > end to pass structs by reference (standard structs=TRUE)? Also,
> > > > looking at pop_struct in parse.c it seems to want to pass  
> them by
> > > > reference (standard_structs=FALSE)? In any case, what does the
> > > > integrated back-end do with pop_struct? I bet it is passing by
> > > > value... whereas parse.c passes by ref. Blurgh! Looks like we  
> need
> > > > to smarten things up for calls to non-M3 stdcall procedures.
> > > >
> > > > On Feb 4, 2008, at 1:23 AM, Jay wrote:
> > > >
> > > > > (and codegen..)
> > > > >
> > > > > C:\dev2\j\m3\t>type t.c
> > > > >
> > > > > typedef struct {
> > > > > int a,b,c,d,e,f;
> > > > > } Foo_t;
> > > > >
> > > > > void __stdcall Sleep(Foo_t foo);
> > > > >
> > > > > extern Foo_t a;
> > > > >
> > > > > void F1()
> > > > > {
> > > > > Sleep(a);
> > > > > }
> > > > >
> > > > > C:\dev2\j\m3\t>gcc -c -S t.c
> > > > >
> > > > > C:\dev2\j\m3\t>type t.s
> > > > > .file "t.c"
> > > > > .text
> > > > > .globl _F1
> > > > > .def _F1; .scl 2; .type 32; .endef
> > > > > _F1:
> > > > > pushl %ebp
> > > > > movl %esp, %ebp
> > > > > subl $24, %esp
> > > > > movl _a, %eax
> > > > > movl %eax, (%esp)
> > > > > movl _a+4, %eax
> > > > > movl %eax, 4(%esp)
> > > > > movl _a+8, %eax
> > > > > movl %eax, 8(%esp)
> > > > > movl _a+12, %eax
> > > > > movl %eax, 12(%esp)
> > > > > movl _a+16, %eax
> > > > > movl %eax, 16(%esp)
> > > > > movl _a+20, %eax
> > > > > movl %eax, 20(%esp)
> > > > > call _Sleep at 24
> > > > > subl $24, %esp
> > > > > leave
> > > > > ret
> > > > > C:\dev2\j\m3\t>
> > > > >
> > > > > (NOTE: This is NOT the correct declaration of Sleep, but ok  
> for
> > > > > testing purposes.)
> > > > >
> > > > > C:\dev2\j\m3\t>type t.i3
> > > > > INTERFACE T;
> > > > >
> > > > > TYPE Foo_t = RECORD
> > > > > a,b,c,d,e,f : INTEGER;
> > > > > END;
> > > > >
> > > > > <*EXTERNAL Sleep:WINAPI*>
> > > > > PROCEDURE Sleep (dwMilliseconds1: Foo_t);
> > > > > END T.
> > > > >
> > > > > C:\dev2\j\m3\t>type t.m3
> > > > >
> > > > > MODULE T;
> > > > > VAR
> > > > > Foo: Foo_t;
> > > > >
> > > > > BEGIN
> > > > > Sleep(Foo);
> > > > > END T.
> > > > >
> > > > >
> > > > > LM1:
> > > > > movl 8(%ebp), %eax
> > > > > xorl $1, %eax
> > > > > testb %al, %al
> > > > > jne L2
> > > > > .stabn 68,0,6,LM2-_T_M3
> > > > > LM2:
> > > > > movl $_MM_T+52, %eax
> > > > > movl %eax, %edx
> > > > > subl $8, %esp
> > > > > subl $24, %esp
> > > > > movl %esp, %eax
> > > > > movl %eax, %edi
> > > > > movl %edx, %esi
> > > > > cld
> > > > > movl $6, %eax
> > > > > movl %eax, %ecx
> > > > > rep
> > > > > movsl
> > > > > call _Sleep at 4
> > > > > addl $8, %esp
> > > > > L2:
> > > > > movl $_MM_T, %eax
> > > > > LBE2:
> > > > > leal -8(%ebp), %esp
> > > > > popl %esi
> > > > > popl %edi
> > > > > leave
> > > > > ret
> > > > >
> > > > > ?
> > > > >
> > > > > - Jay
> > > > >
> > > > > Connect and share in new ways with Windows Live. Get it now!
> > > >
> > >
> > >
> > > Climb to the top of the charts! Play the word scramble challenge
> > > with star power. Play now!
> >
>
>
> Connect and share in new ways with Windows Live. Get it now! 
> <t.tar.bz2>