123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797 |
- {
- Copyright (c) 2002 by Florian Klaempfl
- Generates the argument location information for i386
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 2 of the License, or
- (at your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program; if not, write to the Free Software
- Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
- ****************************************************************************
- }
- unit cpupara;
- {$i fpcdefs.inc}
- interface
- uses
- globtype,
- aasmtai,aasmdata,cpubase,cgbase,cgutils,
- symconst,symtype,symsym,symdef,
- parabase,paramgr;
- type
- tcpuparamanager = class(tparamanager)
- function param_use_paraloc(const cgpara:tcgpara):boolean;override;
- function ret_in_param(def:tdef;pd:tabstractprocdef):boolean;override;
- function push_addr_param(varspez:tvarspez;def : tdef;calloption : tproccalloption) : boolean;override;
- function get_para_align(calloption : tproccalloption):byte;override;
- function get_volatile_registers_int(calloption : tproccalloption):tcpuregisterset;override;
- function get_volatile_registers_fpu(calloption : tproccalloption):tcpuregisterset;override;
- function get_volatile_registers_mm(calloption : tproccalloption):tcpuregisterset;override;
- function get_saved_registers_int(calloption : tproccalloption):tcpuregisterarray;override;
- function create_paraloc_info(p : tabstractprocdef; side: tcallercallee):longint;override;
- function create_varargs_paraloc_info(p : tabstractprocdef; varargspara:tvarargsparalist):longint;override;
- procedure createtempparaloc(list: TAsmList;calloption : tproccalloption;parasym : tparavarsym;can_use_final_stack_loc : boolean;var cgpara:TCGPara);override;
- function get_funcretloc(p : tabstractprocdef; side: tcallercallee; forcetempdef: tdef): TCGPara;override;
- private
- procedure create_stdcall_paraloc_info(p : tabstractprocdef; side: tcallercallee;paras:tparalist;var parasize:longint);
- procedure create_register_paraloc_info(p : tabstractprocdef; side: tcallercallee;paras:tparalist;var parareg,parasize:longint);
- end;
- implementation
- uses
- cutils,sysutils,
- systems,verbose,
- symtable,
- defutil;
- const
- parasupregs : array[0..2] of tsuperregister = (RS_EAX,RS_EDX,RS_ECX);
- {****************************************************************************
- tcpuparamanager
- ****************************************************************************}
- function tcpuparamanager.param_use_paraloc(const cgpara:tcgpara):boolean;
- var
- paraloc : pcgparalocation;
- begin
- if not assigned(cgpara.location) then
- internalerror(200410102);
- result:=true;
- { All locations are LOC_REFERENCE }
- paraloc:=cgpara.location;
- while assigned(paraloc) do
- begin
- if (paraloc^.loc<>LOC_REFERENCE) then
- begin
- result:=false;
- exit;
- end;
- paraloc:=paraloc^.next;
- end;
- end;
- function tcpuparamanager.ret_in_param(def:tdef;pd:tabstractprocdef):boolean;
- var
- size: longint;
- begin
- if handle_common_ret_in_param(def,pd,result) then
- exit;
- case target_info.system of
- system_i386_win32 :
- begin
- case def.typ of
- recorddef :
- begin
- { Win32 GCC returns small records in the FUNCTION_RETURN_REG up to 8 bytes in registers.
- For stdcall and register we follow delphi instead of GCC which returns
- only records of a size of 1,2 or 4 bytes in FUNCTION_RETURN_REG }
- if ((pd.proccalloption in [pocall_stdcall,pocall_register]) and
- (def.size in [1,2,4])) or
- ((pd.proccalloption in cdecl_pocalls) and
- (def.size>0) and
- (def.size<=8)) then
- begin
- result:=false;
- exit;
- end;
- end;
- end;
- end;
- system_i386_os2,
- system_i386_emx:
- begin
- case def.typ of
- recorddef :
- begin
- { EMX port of GCC returns small records in the FUNCTION_RETURN_REG up to 4 bytes in registers. }
- if ((pd.proccalloption in cdecl_pocalls) and
- (def.size>0) and
- (def.size<=4)) then
- begin
- result:=false;
- exit;
- end;
- end;
- end;
- end;
- system_i386_freebsd,
- system_i386_openbsd,
- system_i386_darwin,
- system_i386_iphonesim :
- begin
- if pd.proccalloption in cdecl_pocalls then
- begin
- case def.typ of
- recorddef :
- begin
- size:=def.size;
- if (size>0) and
- (size<=8) and
- { only if size is a power of 2 }
- ((size and (size-1)) = 0) then
- begin
- result:=false;
- exit;
- end;
- end;
- procvardef:
- begin
- result:=false;
- exit;
- end;
- end;
- end;
- end;
- end;
- result:=inherited ret_in_param(def,pd);
- end;
- function tcpuparamanager.push_addr_param(varspez:tvarspez;def : tdef;calloption : tproccalloption) : boolean;
- begin
- result:=false;
- { var,out,constref always require address }
- if varspez in [vs_var,vs_out,vs_constref] then
- begin
- result:=true;
- exit;
- end;
- { Only vs_const, vs_value here }
- case def.typ of
- variantdef :
- begin
- { variants are small enough to be passed by value except if
- required by the windows api
- variants are somethings very delphi/windows specific so do it like
- windows/delphi (FK)
- }
- if ((target_info.system=system_i386_win32) and
- (calloption in [pocall_stdcall,pocall_safecall]) and
- (varspez=vs_const)) or
- (calloption=pocall_register) then
- result:=true
- else
- result:=false;
- end;
- formaldef :
- result:=true;
- recorddef :
- begin
- { Delphi stdcall passes records on the stack for call by value }
- if (target_info.system=system_i386_win32) and
- (calloption=pocall_stdcall) and
- (varspez=vs_value) then
- result:=false
- else
- result:=
- (not(calloption in (cdecl_pocalls)) and
- (def.size>sizeof(aint))) or
- (((calloption = pocall_mwpascal) or (target_info.system=system_i386_wince)) and
- (varspez=vs_const));
- end;
- arraydef :
- begin
- { array of const values are pushed on the stack as
- well as dyn. arrays }
- if (calloption in cdecl_pocalls) then
- result:=not(is_array_of_const(def) or
- is_dynamic_array(def))
- else
- begin
- result:=(
- (tarraydef(def).highrange>=tarraydef(def).lowrange) and
- (def.size>sizeof(aint))
- ) or
- is_open_array(def) or
- is_array_of_const(def) or
- is_array_constructor(def);
- end;
- end;
- objectdef :
- result:=is_object(def);
- stringdef :
- result:= (tstringdef(def).stringtype in [st_shortstring,st_longstring]);
- procvardef :
- result:=not(calloption in cdecl_pocalls) and not tprocvardef(def).is_addressonly;
- setdef :
- result:=not(calloption in cdecl_pocalls) and (not is_smallset(def));
- end;
- end;
- function tcpuparamanager.get_para_align(calloption : tproccalloption):byte;
- begin
- if calloption=pocall_oldfpccall then
- begin
- if target_info.system in [system_i386_go32v2,system_i386_watcom] then
- result:=2
- else
- result:=4;
- end
- else
- result:=std_param_align;
- end;
- function tcpuparamanager.get_volatile_registers_int(calloption : tproccalloption):tcpuregisterset;
- begin
- case calloption of
- pocall_internproc :
- result:=[];
- pocall_register,
- pocall_safecall,
- pocall_stdcall,
- pocall_cdecl,
- pocall_syscall,
- pocall_cppdecl,
- pocall_mwpascal,
- pocall_pascal:
- result:=[RS_EAX,RS_EDX,RS_ECX];
- pocall_far16,
- pocall_oldfpccall :
- result:=[RS_EAX,RS_EDX,RS_ECX,RS_ESI,RS_EDI,RS_EBX];
- else
- internalerror(200309071);
- end;
- end;
- function tcpuparamanager.get_volatile_registers_fpu(calloption : tproccalloption):tcpuregisterset;
- begin
- result:=[0..first_fpu_imreg-1];
- end;
- function tcpuparamanager.get_volatile_registers_mm(calloption : tproccalloption):tcpuregisterset;
- begin
- result:=[0..first_mm_imreg-1];
- end;
- function tcpuparamanager.get_saved_registers_int(calloption : tproccalloption):tcpuregisterarray;
- const
- saveregs : array[0..3] of tsuperregister = (RS_EBX,RS_ESI,RS_EDI,RS_EBP);
- saveregs_oldfpccall : array[0..0] of tsuperregister = (RS_EBP);
- begin
- case calloption of
- pocall_internproc,
- pocall_register,
- pocall_safecall,
- pocall_stdcall,
- pocall_cdecl,
- pocall_syscall,
- pocall_cppdecl,
- pocall_mwpascal,
- pocall_pascal:
- result:=saveregs;
- pocall_far16,
- pocall_oldfpccall :
- result:=saveregs_oldfpccall;
- else
- internalerror(2018050401);
- end;
- end;
- function tcpuparamanager.get_funcretloc(p : tabstractprocdef; side: tcallercallee; forcetempdef: tdef): TCGPara;
- var
- retcgsize : tcgsize;
- paraloc : pcgparalocation;
- fdef,
- usedef: tdef;
- handled: boolean;
- begin
- if not assigned(forcetempdef) then
- usedef:=p.returndef
- else
- usedef:=forcetempdef;
- { on darwin/i386, if a record has only one field and that field is a
- single or double, it has to be returned like a single/double }
- if (target_info.system in [system_i386_darwin,system_i386_iphonesim,
- system_i386_freebsd,system_i386_openbsd,
- system_i386_os2,system_i386_emx]) and
- ((usedef.typ=recorddef) or
- is_object(usedef)) and
- tabstractrecordsymtable(tabstractrecorddef(usedef).symtable).has_single_field(fdef) and
- (fdef.typ=floatdef) and
- (tfloatdef(fdef).floattype in [s32real,s64real]) then
- usedef:=fdef;
- handled:=set_common_funcretloc_info(p,usedef,retcgsize,result);
- { normally forcetempdef is passed straight through to
- set_common_funcretloc_info and that one will correctly determine whether
- the location is a temporary one, but that doesn't work here because we
- sometimes have to change the type }
- result.temporary:=assigned(forcetempdef);
- if handled then
- exit;
- { darwin/x86 requires that results < sizeof(aint) are sign/zero
- extended to sizeof(aint) }
- if (target_info.system in [system_i386_darwin,system_i386_iphonesim]) and
- (side=calleeside) and
- (result.intsize>0) and
- (result.intsize<sizeof(aint)) then
- begin
- result.def:=sinttype;
- result.intsize:=sizeof(aint);
- retcgsize:=OS_SINT;
- result.size:=retcgsize;
- end;
- { Return in FPU register? }
- if result.def.typ=floatdef then
- begin
- paraloc:=result.add_location;
- paraloc^.loc:=LOC_FPUREGISTER;
- paraloc^.register:=NR_FPU_RESULT_REG;
- paraloc^.size:=retcgsize;
- paraloc^.def:=result.def;
- end
- else
- { Return in register }
- begin
- paraloc:=result.add_location;
- paraloc^.loc:=LOC_REGISTER;
- if retcgsize in [OS_64,OS_S64] then
- begin
- { low 32bits }
- if side=callerside then
- paraloc^.register:=NR_FUNCTION_RESULT64_LOW_REG
- else
- paraloc^.register:=NR_FUNCTION_RETURN64_LOW_REG;
- paraloc^.size:=OS_32;
- paraloc^.def:=u32inttype;
- { high 32bits }
- paraloc:=result.add_location;
- paraloc^.loc:=LOC_REGISTER;
- if side=callerside then
- paraloc^.register:=NR_FUNCTION_RESULT64_HIGH_REG
- else
- paraloc^.register:=NR_FUNCTION_RETURN64_HIGH_REG;
- paraloc^.size:=OS_32;
- paraloc^.def:=u32inttype;
- end
- else
- begin
- paraloc^.size:=retcgsize;
- paraloc^.def:=result.def;
- if side=callerside then
- paraloc^.register:=newreg(R_INTREGISTER,RS_FUNCTION_RESULT_REG,cgsize2subreg(R_INTREGISTER,retcgsize))
- else
- paraloc^.register:=newreg(R_INTREGISTER,RS_FUNCTION_RETURN_REG,cgsize2subreg(R_INTREGISTER,retcgsize));
- end;
- end;
- end;
- procedure tcpuparamanager.create_stdcall_paraloc_info(p : tabstractprocdef; side: tcallercallee;paras:tparalist;var parasize:longint);
- var
- i : integer;
- hp : tparavarsym;
- paradef : tdef;
- paraloc : pcgparalocation;
- l,
- paralen,
- varalign : longint;
- paraalign : shortint;
- paracgsize : tcgsize;
- firstparaloc,
- pushaddr : boolean;
- begin
- paraalign:=get_para_align(p.proccalloption);
- { we push Flags and CS as long
- to cope with the IRETD
- and we save 6 register + 4 selectors }
- if (po_interrupt in p.procoptions) and (side=calleeside) then
- inc(parasize,8+6*4+4*2);
- { Offset is calculated like:
- sub esp,12
- mov [esp+8],para3
- mov [esp+4],para2
- mov [esp],para1
- call function
- That means for pushes the para with the
- highest offset (see para3) needs to be pushed first
- }
- if p.proccalloption in pushleftright_pocalls then
- i:=paras.count-1
- else
- i:=0;
- while ((p.proccalloption in pushleftright_pocalls) and (i>=0)) or
- (not(p.proccalloption in pushleftright_pocalls) and (i<=paras.count-1)) do
- begin
- hp:=tparavarsym(paras[i]);
- paradef:=hp.vardef;
- { syscall for AROS can have already a paraloc set }
- if (vo_has_explicit_paraloc in hp.varoptions) then
- begin
- if not(vo_is_syscall_lib in hp.varoptions) then
- internalerror(2016090105);
- if p.proccalloption in pushleftright_pocalls then
- dec(i)
- else
- inc(i);
- continue;
- end;
- pushaddr:=push_addr_param(hp.varspez,paradef,p.proccalloption);
- if pushaddr then
- begin
- paralen:=sizeof(aint);
- paracgsize:=OS_ADDR;
- paradef:=cpointerdef.getreusable_no_free(paradef);
- end
- else
- begin
- paralen:=push_size(hp.varspez,paradef,p.proccalloption);
- { darwin/x86 requires that parameters < sizeof(aint) are sign/ }
- { zero extended to sizeof(aint) }
- if (target_info.system in [system_i386_darwin,system_i386_iphonesim]) and
- (side = callerside) and
- (paralen > 0) and
- (paralen < sizeof(aint)) then
- begin
- paralen:=sizeof(aint);
- paracgsize:=OS_SINT;
- paradef:=sinttype;
- end
- else
- paracgsize:=def_cgsize(paradef);
- end;
- hp.paraloc[side].reset;
- hp.paraloc[side].size:=paracgsize;
- hp.paraloc[side].intsize:=paralen;
- hp.paraloc[side].def:=paradef;
- hp.paraloc[side].Alignment:=paraalign;
- { Copy to stack? }
- if (paracgsize=OS_NO) or
- (use_fixed_stack) then
- begin
- paraloc:=hp.paraloc[side].add_location;
- paraloc^.loc:=LOC_REFERENCE;
- paraloc^.size:=paracgsize;
- paraloc^.def:=paradef;
- if side=callerside then
- paraloc^.reference.index:=NR_STACK_POINTER_REG
- else
- paraloc^.reference.index:=NR_FRAME_POINTER_REG;
- varalign:=used_align(size_2_align(paralen),paraalign,paraalign);
- { don't let push_size return 16, because then we can }
- { read past the end of the heap since the value is only }
- { 10 bytes long (JM) }
- if (paracgsize = OS_F80) and
- (target_info.system in [system_i386_darwin,system_i386_iphonesim]) then
- paralen:=16;
- paraloc^.reference.offset:=parasize;
- if side=calleeside then
- inc(paraloc^.reference.offset,target_info.first_parm_offset);
- parasize:=align(parasize+paralen,varalign);
- end
- else
- begin
- if paralen=0 then
- internalerror(200501163);
- firstparaloc:=true;
- while (paralen>0) do
- begin
- paraloc:=hp.paraloc[side].add_location;
- paraloc^.loc:=LOC_REFERENCE;
- { single and double need a single location }
- if (paracgsize in [OS_F64,OS_F32]) then
- begin
- paraloc^.size:=paracgsize;
- paraloc^.def:=paradef;
- l:=paralen;
- end
- else
- begin
- { We can allocate at maximum 32 bits per location }
- if paralen>sizeof(aint) then
- begin
- l:=sizeof(aint);
- paraloc^.def:=uinttype;
- end
- else
- begin
- l:=paralen;
- paraloc^.def:=get_paraloc_def(paradef,l,firstparaloc);
- end;
- paraloc^.size:=int_cgsize(l);
- end;
- if (side=callerside) or
- (po_nostackframe in p.procoptions) then
- paraloc^.reference.index:=NR_STACK_POINTER_REG
- else
- paraloc^.reference.index:=NR_FRAME_POINTER_REG;
- varalign:=used_align(size_2_align(l),paraalign,paraalign);
- paraloc^.reference.offset:=parasize;
- if side=calleeside then
- if not(po_nostackframe in p.procoptions) then
- inc(paraloc^.reference.offset,target_info.first_parm_offset)
- else
- { return addres }
- inc(paraloc^.reference.offset,4);
- parasize:=align(parasize+l,varalign);
- dec(paralen,l);
- firstparaloc:=false;
- end;
- end;
- if p.proccalloption in pushleftright_pocalls then
- dec(i)
- else
- inc(i);
- end;
- end;
- procedure tcpuparamanager.create_register_paraloc_info(p : tabstractprocdef; side: tcallercallee;paras:tparalist;
- var parareg,parasize:longint);
- var
- hp : tparavarsym;
- paradef : tdef;
- paraloc : pcgparalocation;
- paracgsize : tcgsize;
- i : integer;
- l,
- paralen,
- varalign : longint;
- paraalign : shortint;
- pass : byte;
- firstparaloc,
- pushaddr : boolean;
- begin
- if paras.count=0 then
- exit;
- paraalign:=get_para_align(p.proccalloption);
- { clean up here so we can later detect properly if a parameter has been
- assigned or not
- }
- for i:=0 to paras.count-1 do
- tparavarsym(paras[i]).paraloc[side].reset;
- { Register parameters are assigned from left to right,
- stack parameters from right to left so assign first the
- register parameters in a first pass, in the second
- pass all unhandled parameters are done }
- for pass:=1 to 2 do
- begin
- if pass=1 then
- i:=0
- else
- i:=paras.count-1;
- while true do
- begin
- hp:=tparavarsym(paras[i]);
- paradef:=hp.vardef;
- if not(assigned(hp.paraloc[side].location)) then
- begin
- pushaddr:=push_addr_param(hp.varspez,hp.vardef,p.proccalloption);
- if pushaddr then
- begin
- paralen:=sizeof(aint);
- paracgsize:=OS_ADDR;
- paradef:=cpointerdef.getreusable_no_free(paradef);
- end
- else
- begin
- paralen:=push_size(hp.varspez,hp.vardef,p.proccalloption);
- paracgsize:=def_cgsize(hp.vardef);
- end;
- hp.paraloc[side].size:=paracgsize;
- hp.paraloc[side].intsize:=paralen;
- hp.paraloc[side].Alignment:=paraalign;
- hp.paraloc[side].def:=paradef;
- {
- EAX
- EDX
- ECX
- Stack
- Stack
- 64bit values,floats,arrays and records are always
- on the stack.
- In case of po_delphi_nested_cc, the parent frame pointer
- is also always passed on the stack.
- }
- if (parareg<=high(parasupregs)) and
- (paralen<=sizeof(aint)) and
- (not(hp.vardef.typ in [floatdef,recorddef,arraydef]) or
- pushaddr or
- is_dynamic_array(hp.vardef)) and
- (not(vo_is_parentfp in hp.varoptions) or
- not(po_delphi_nested_cc in p.procoptions)) then
- begin
- if pass=1 then
- begin
- paraloc:=hp.paraloc[side].add_location;
- paraloc^.size:=paracgsize;
- paraloc^.def:=paradef;
- paraloc^.loc:=LOC_REGISTER;
- paraloc^.register:=newreg(R_INTREGISTER,parasupregs[parareg],cgsize2subreg(R_INTREGISTER,paracgsize));
- inc(parareg);
- end;
- end
- else
- if pass=2 then
- begin
- { Copy to stack? }
- if (use_fixed_stack) or
- (paracgsize=OS_NO) then
- begin
- paraloc:=hp.paraloc[side].add_location;
- paraloc^.loc:=LOC_REFERENCE;
- paraloc^.size:=paracgsize;
- paraloc^.def:=paradef;
- if side=callerside then
- paraloc^.reference.index:=NR_STACK_POINTER_REG
- else
- paraloc^.reference.index:=NR_FRAME_POINTER_REG;
- varalign:=used_align(size_2_align(paralen),paraalign,paraalign);
- paraloc^.reference.offset:=parasize;
- if side=calleeside then
- inc(paraloc^.reference.offset,target_info.first_parm_offset);
- parasize:=align(parasize+paralen,varalign);
- end
- else
- begin
- if paralen=0 then
- internalerror(200501163);
- firstparaloc:=true;
- while (paralen>0) do
- begin
- paraloc:=hp.paraloc[side].add_location;
- paraloc^.loc:=LOC_REFERENCE;
- { Extended and double need a single location }
- if (paracgsize in [OS_F64,OS_F32]) then
- begin
- paraloc^.size:=paracgsize;
- paraloc^.def:=paradef;
- l:=paralen;
- end
- else
- begin
- { We can allocate at maximum 32 bits per location }
- if paralen>sizeof(aint) then
- begin
- l:=sizeof(aint);
- paraloc^.def:=uinttype;
- end
- else
- begin
- l:=paralen;
- paraloc^.def:=get_paraloc_def(paradef,l,firstparaloc);
- end;
- paraloc^.size:=int_cgsize(l);
- end;
- if side=callerside then
- paraloc^.reference.index:=NR_STACK_POINTER_REG
- else
- paraloc^.reference.index:=NR_FRAME_POINTER_REG;
- varalign:=used_align(size_2_align(l),paraalign,paraalign);
- paraloc^.reference.offset:=parasize;
- if side=calleeside then
- inc(paraloc^.reference.offset,target_info.first_parm_offset);
- parasize:=align(parasize+l,varalign);
- dec(paralen,l);
- firstparaloc:=false;
- end;
- end;
- end;
- end;
- case pass of
- 1:
- begin
- if i=paras.count-1 then
- break;
- inc(i);
- end;
- 2:
- begin
- if i=0 then
- break;
- dec(i);
- end;
- end;
- end;
- end;
- end;
- function tcpuparamanager.create_paraloc_info(p : tabstractprocdef; side: tcallercallee):longint;
- var
- parasize,
- parareg : longint;
- begin
- parasize:=0;
- parareg:=0;
- case p.proccalloption of
- pocall_register :
- create_register_paraloc_info(p,side,p.paras,parareg,parasize);
- pocall_internproc :
- begin
- { Use default calling }
- {$warnings off}
- if (pocall_default=pocall_register) then
- create_register_paraloc_info(p,side,p.paras,parareg,parasize)
- else
- create_stdcall_paraloc_info(p,side,p.paras,parasize);
- {$warnings on}
- end;
- else
- create_stdcall_paraloc_info(p,side,p.paras,parasize);
- end;
- create_funcretloc_info(p,side);
- result:=parasize;
- end;
- function tcpuparamanager.create_varargs_paraloc_info(p : tabstractprocdef; varargspara:tvarargsparalist):longint;
- var
- parasize : longint;
- begin
- parasize:=0;
- { calculate the registers for the normal parameters }
- create_stdcall_paraloc_info(p,callerside,p.paras,parasize);
- { append the varargs }
- create_stdcall_paraloc_info(p,callerside,varargspara,parasize);
- result:=parasize;
- end;
- procedure tcpuparamanager.createtempparaloc(list: TAsmList;calloption : tproccalloption;parasym : tparavarsym;can_use_final_stack_loc : boolean;var cgpara:TCGPara);
- begin
- { Never a need for temps when value is pushed (calls inside parameters
- will simply allocate even more stack space for their parameters) }
- if not(use_fixed_stack) then
- can_use_final_stack_loc:=true;
- inherited createtempparaloc(list,calloption,parasym,can_use_final_stack_loc,cgpara);
- end;
- begin
- paramanager:=tcpuparamanager.create;
- end.
|