fpc/compiler/ncgcal.pas

1696 lines
75 KiB
ObjectPascal

{
Id: ncgcal.pas,v 1.10 2002/08/17 09:23:35 florian Exp $
Copyright (c) 1998-2002 by Florian Klaempfl
Generate i386 assembler for in call nodes
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published bymethodpointer
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 ncgcal;
{$i fpcdefs.inc}
interface
{ $define AnsiStrRef}
uses
cpubase,
globtype,
symdef,node,ncal;
type
tcgcallparanode = class(tcallparanode)
procedure secondcallparan(push_from_left_to_right:boolean;calloption:tproccalloption;
para_alignment,para_offset : longint);override;
end;
tcgcallnode = class(tcallnode)
protected
funcretref : treference;
refcountedtemp : treference;
procedure handle_return_value(inlined,extended_new:boolean);
procedure load_framepointer;virtual;abstract;
procedure extra_interrupt_code;virtual;
public
procedure pass_2;override;
end;
tcgprocinlinenode = class(tprocinlinenode)
procedure pass_2;override;
end;
implementation
uses
systems,
cutils,verbose,globals,
symconst,symbase,symsym,symtable,defutil,paramgr,
{$ifdef GDB}
{$ifdef delphi}
sysutils,
{$else}
strings,
{$endif}
gdb,
{$endif GDB}
cginfo,cgbase,pass_2,
cpuinfo,cpupi,aasmbase,aasmtai,aasmcpu,
nmem,nld,ncnv,
{$ifdef i386}
cga,
{$endif i386}
cg64f32,ncgutil,cgobj,tgobj,regvars,rgobj,rgcpu,cgcpu;
{*****************************************************************************
TCGCALLPARANODE
*****************************************************************************}
procedure tcgcallparanode.secondcallparan(push_from_left_to_right:boolean;calloption:tproccalloption;para_alignment,para_offset : longint);
{$ifndef VS_HIDDEN}
{ goes to pass 1 }
procedure maybe_push_high;
begin
{ open array ? }
{ defcoll.data can be nil for read/write }
if assigned(paraitem.paratype.def) and
assigned(hightree) then
begin
secondpass(hightree);
{ this is a longint anyway ! }
push_value_para(hightree,calloption,para_offset,4,paraitem.paraloc);
end;
end;
{$endif VS_HIDDEN}
var
otlabel,oflabel : tasmlabel;
{ temporary variables: }
tempdeftype : tdeftype;
tmpreg : tregister;
href : treference;
begin
{ push from left to right if specified }
if push_from_left_to_right and assigned(right) then
begin
if (nf_varargs_para in flags) then
tcallparanode(right).secondcallparan(push_from_left_to_right,
calloption,para_alignment,para_offset)
else
tcallparanode(right).secondcallparan(push_from_left_to_right,
calloption,para_alignment,para_offset);
end;
otlabel:=truelabel;
oflabel:=falselabel;
objectlibrary.getlabel(truelabel);
objectlibrary.getlabel(falselabel);
secondpass(left);
{ handle varargs first, because defcoll is not valid }
if (nf_varargs_para in flags) then
begin
if paramanager.push_addr_param(left.resulttype.def,calloption) then
begin
inc(pushedparasize,4);
cg.a_paramaddr_ref(exprasmlist,left.location.reference,paraitem.paraloc);
location_release(exprasmlist,left.location);
end
else
push_value_para(left,calloption,para_offset,para_alignment,paraitem.paraloc);
end
{ filter array constructor with c styled args }
else if is_array_constructor(left.resulttype.def) and (nf_cargs in left.flags) then
begin
{ nothing, everything is already pushed }
end
{ in codegen.handleread.. paraitem.data is set to nil }
else if assigned(paraitem.paratype.def) and
(paraitem.paratype.def.deftype=formaldef) then
begin
{ allow passing of a constant to a const formaldef }
if (paraitem.paratyp=vs_const) and
(left.location.loc=LOC_CONSTANT) then
location_force_mem(exprasmlist,left.location);
{ allow @var }
inc(pushedparasize,4);
if (left.nodetype=addrn) and
(not(nf_procvarload in left.flags)) then
begin
if calloption=pocall_inline then
begin
reference_reset_base(href,procinfo.framepointer,para_offset-pushedparasize);
cg.a_load_loc_ref(exprasmlist,left.location,href);
end
else
cg.a_param_loc(exprasmlist,left.location,paraitem.paraloc);
location_release(exprasmlist,left.location);
end
else
begin
if not(left.location.loc in [LOC_CREFERENCE,LOC_REFERENCE]) then
begin
CGMessage(type_e_mismatch)
end
else
begin
if calloption=pocall_inline then
begin
tmpreg:=cg.get_scratch_reg_address(exprasmlist);
cg.a_loadaddr_ref_reg(exprasmlist,left.location.reference,tmpreg);
reference_reset_base(href,procinfo.framepointer,para_offset-pushedparasize);
cg.a_load_reg_ref(exprasmlist,OS_ADDR,tmpreg,href);
cg.free_scratch_reg(exprasmlist,tmpreg);
end
else
cg.a_paramaddr_ref(exprasmlist,left.location.reference,paraitem.paraloc);
location_release(exprasmlist,left.location);
end;
end;
end
{ handle call by reference parameter }
else if (paraitem.paratyp in [vs_var,vs_out]) then
begin
if (left.location.loc<>LOC_REFERENCE) then
begin
{ passing self to a var parameter is allowed in
TP and delphi }
if not((left.location.loc=LOC_CREFERENCE) and
(left.nodetype=selfn)) then
internalerror(200106041);
end;
{$ifdef unused}
if not push_from_left_to_right then
{$endif unused}
{$ifndef VS_HIDDEN}
maybe_push_high;
{$endif VS_HIDDEN}
if (paraitem.paratyp=vs_out) and
assigned(paraitem.paratype.def) and
not is_class(paraitem.paratype.def) and
paraitem.paratype.def.needs_inittable then
cg.g_finalize(exprasmlist,paraitem.paratype.def,left.location.reference,false);
inc(pushedparasize,4);
if calloption=pocall_inline then
begin
tmpreg:=cg.get_scratch_reg_address(exprasmlist);
cg.a_loadaddr_ref_reg(exprasmlist,left.location.reference,tmpreg);
reference_reset_base(href,procinfo.framepointer,para_offset-pushedparasize);
cg.a_load_reg_ref(exprasmlist,OS_ADDR,tmpreg,href);
cg.free_scratch_reg(exprasmlist,tmpreg);
end
else
cg.a_paramaddr_ref(exprasmlist,left.location.reference,paraitem.paraloc);
location_release(exprasmlist,left.location);
{$ifdef unused}
if push_from_left_to_right then
maybe_push_high;
{$endif unused}
end
else
begin
tempdeftype:=resulttype.def.deftype;
if tempdeftype=filedef then
CGMessage(cg_e_file_must_call_by_reference);
{ open array must always push the address, this is needed to
also push addr of small open arrays and with cdecl functions (PFV) }
if (
assigned(paraitem.paratype.def) and
(is_open_array(paraitem.paratype.def) or
is_array_of_const(paraitem.paratype.def))
) or
(
paramanager.push_addr_param(resulttype.def,calloption)
) then
begin
if not(left.location.loc in [LOC_CREFERENCE,LOC_REFERENCE]) then
begin
{ allow passing nil to a procvardef (methodpointer) }
(* if (left.nodetype=typeconvn) and
(left.resulttype.def.deftype=procvardef) and
(ttypeconvnode(left).left.nodetype=niln) then
*)
if (left.location.size <> OS_NO) then
begin
tg.GetTemp(exprasmlist,tcgsize2size[left.location.size],tt_normal,href);
if not (left.location.size in [OS_64,OS_S64]) then
cg.a_load_loc_ref(exprasmlist,left.location,href)
else
cg64.a_load64_loc_ref(exprasmlist,left.location,href);
location_reset(left.location,LOC_REFERENCE,left.location.size);
left.location.reference:=href;
end
else
internalerror(200204011);
end;
{$ifdef unused}
if not push_from_left_to_right then
{$endif unused}
{$ifndef VS_HIDDEN}
maybe_push_high;
{$endif VS_HIDDEN}
inc(pushedparasize,4);
if calloption=pocall_inline then
begin
tmpreg:=cg.get_scratch_reg_address(exprasmlist);
cg.a_loadaddr_ref_reg(exprasmlist,left.location.reference,tmpreg);
reference_reset_base(href,procinfo.framepointer,para_offset-pushedparasize);
cg.a_load_reg_ref(exprasmlist,OS_ADDR,tmpreg,href);
cg.free_scratch_reg(exprasmlist,tmpreg);
end
else
cg.a_paramaddr_ref(exprasmlist,left.location.reference,paraitem.paraloc);
location_release(exprasmlist,left.location);
{$ifdef unused}
if push_from_left_to_right then
maybe_push_high;
{$endif unused}
end
else
begin
push_value_para(left,calloption,
para_offset,para_alignment,paraitem.paraloc);
end;
end;
truelabel:=otlabel;
falselabel:=oflabel;
{ push from right to left }
if not push_from_left_to_right and assigned(right) then
begin
if (nf_varargs_para in flags) then
tcallparanode(right).secondcallparan(push_from_left_to_right,
calloption,para_alignment,para_offset)
else
tcallparanode(right).secondcallparan(push_from_left_to_right,
calloption,para_alignment,para_offset);
end;
end;
{*****************************************************************************
TCGCALLNODE
*****************************************************************************}
procedure tcgcallnode.extra_interrupt_code;
begin
{$ifdef i386}
{ if the i386 ever uses tcgcal, we've to move this into an overriden method }
emit_none(A_PUSHF,S_L);
emit_reg(A_PUSH,S_L,R_CS);
{$endif i386}
end;
procedure tcgcallnode.handle_return_value(inlined,extended_new:boolean);
var
cgsize : tcgsize;
hregister : tregister;
begin
{ structured results are easy to handle.... }
{ needed also when result_no_used !! }
if paramanager.ret_in_param(resulttype.def,procdefinition.proccalloption) then
begin
location_reset(location,LOC_CREFERENCE,def_cgsize(resulttype.def));
location.reference.symbol:=nil;
location.reference:=funcretref;
end
else
{ ansi/widestrings must be registered, so we can dispose them }
if is_ansistring(resulttype.def) or
is_widestring(resulttype.def) then
begin
location_reset(location,LOC_CREFERENCE,OS_ADDR);
location.reference:=refcountedtemp;
cg.a_reg_alloc(exprasmlist,accumulator);
cg.a_load_reg_ref(exprasmlist,OS_ADDR,accumulator,location.reference);
cg.a_reg_dealloc(exprasmlist,accumulator);
end
else
{ we have only to handle the result if it is used }
if (nf_return_value_used in flags) then
begin
case resulttype.def.deftype of
enumdef,
orddef :
begin
cgsize:=def_cgsize(resulttype.def);
{ an object constructor is a function with boolean result }
if (inlined or (right=nil)) and
(procdefinition.proctypeoption=potype_constructor) then
begin
{$ifdef x86}
if extended_new then
cgsize:=OS_INT
else
begin
cgsize:=OS_NO;
{ this fails if popsize > 0 PM }
location_reset(location,LOC_FLAGS,OS_NO);
location.resflags:=F_NE;
end;
{$else x86}
cgsize:=OS_INT
{$endif x86}
end;
if cgsize<>OS_NO then
begin
location_reset(location,LOC_REGISTER,cgsize);
cg.a_reg_alloc(exprasmlist,accumulator);
{$ifndef cpu64bit}
if cgsize in [OS_64,OS_S64] then
begin
cg.a_reg_alloc(exprasmlist,accumulatorhigh);
location.registerhigh:=rg.getexplicitregisterint(exprasmlist,accumulatorhigh);
location.registerlow:=rg.getexplicitregisterint(exprasmlist,accumulator);
cg64.a_load64_reg_reg(exprasmlist,joinreg64(accumulator,accumulatorhigh),
location.register64);
end
else
{$endif cpu64bit}
begin
location.register:=rg.getexplicitregisterint(exprasmlist,accumulator);
hregister:=rg.makeregsize(accumulator,cgsize);
location.register:=rg.makeregsize(location.register,cgsize);
cg.a_load_reg_reg(exprasmlist,cgsize,cgsize,hregister,location.register);
end;
end;
end;
floatdef :
begin
location_reset(location,LOC_FPUREGISTER,def_cgsize(resulttype.def));
location.register:=fpu_result_reg;
{$ifdef x86}
inc(trgcpu(rg).fpuvaroffset);
{$endif x86}
end;
{$ifdef TEST_WIN32_RECORDS}
recorddef :
begin
if (target_info.system=system_i386_win32) then
begin
location_reset(location,LOC_REFERENCE,def_cgsize(resulttype.def));
tg.GetTemp(exprasmlist,resulttype.size,tt_normal,location);
{$ifndef cpu64bit}
if cgsize in [OS_64,OS_S64] then
cg64.a_load64_reg_loc(exprasmlist,joinreg64(accumulator,accumulatorhigh),location)
else
{$endif cpu64bit}
cg.a_load_reg_loc(exprasmlist,accumulator,location);
end
else
internalerror(200211141);
end;
{$endif TEST_WIN32_RECORDS}
else
begin
location_reset(location,LOC_REGISTER,OS_INT);
location.register:=rg.getexplicitregisterint(exprasmlist,accumulator);
cg.a_load_reg_reg(exprasmlist,OS_INT,OS_INT,accumulator,location.register);
end;
end;
end;
end;
procedure tcgcallnode.pass_2;
var
regs_to_push : tregisterset;
unusedstate: pointer;
pushed : tpushedsaved;
tmpreg : tregister;
hregister : tregister;
hregister64 : tregister64;
oldpushedparasize : longint;
{ true if ESI must be loaded again after the subroutine }
loadesi : boolean;
{ true if a virtual method must be called directly }
no_virtual_call : boolean;
{ true if we produce a con- or destrutor in a call }
is_con_or_destructor : boolean;
{ true if a constructor is called again }
extended_new : boolean;
{ adress returned from an I/O-error }
iolabel : tasmlabel;
{ lexlevel count }
i : longint;
{ help reference pointer }
href : treference;
hrefvmt : treference;
hp : tnode;
pp : tbinarynode;
params : tnode;
inlined : boolean;
inlinecode : tprocinlinenode;
store_parast_fixup,
para_alignment,
para_offset : longint;
cgsize : tcgsize;
{ instruction for alignement correction }
{ corr : paicpu;}
{ we must pop this size also after !! }
{ must_pop : boolean; }
pop_size : longint;
{$ifdef OPTALIGN}
pop_esp : boolean;
push_size : longint;
{$endif OPTALIGN}
pop_allowed : boolean;
release_tmpreg : boolean;
constructorfailed : tasmlabel;
resultloc : tparalocation;
returnref,
pararef : treference;
label
dont_call;
begin
extended_new:=false;
iolabel:=nil;
inlinecode:=nil;
inlined:=false;
loadesi:=true;
no_virtual_call:=false;
rg.saveunusedstate(unusedstate);
{ if we allocate the temp. location for ansi- or widestrings }
{ already here, we avoid later a push/pop }
if is_widestring(resulttype.def) then
begin
tg.GetTemp(exprasmlist,pointer_size,tt_widestring,refcountedtemp);
cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp);
end
else if is_ansistring(resulttype.def) then
begin
tg.GetTemp(exprasmlist,pointer_size,tt_ansistring,refcountedtemp);
cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp);
end;
if (procdefinition.proccalloption in [pocall_cdecl,pocall_cppdecl,pocall_stdcall]) then
para_alignment:=4
else
para_alignment:=aktalignment.paraalign;
if not assigned(procdefinition) then
exit;
{ Deciding whether we may still need the parameters happens next (JM) }
if assigned(left) then
params:=left.getcopy
else
params := nil;
if (procdefinition.proccalloption=pocall_inline) then
begin
inlined:=true;
inlinecode:=tprocinlinenode(right);
right:=nil;
{ set it to the same lexical level as the local symtable, becuase
the para's are stored there }
tprocdef(procdefinition).parast.symtablelevel:=aktprocdef.localst.symtablelevel;
if assigned(params) then
begin
inlinecode.para_size:=tprocdef(procdefinition).para_size(para_alignment);
tg.GetTemp(exprasmlist,inlinecode.para_size,tt_persistant,pararef);
inlinecode.para_offset:=pararef.offset;
end;
store_parast_fixup:=tprocdef(procdefinition).parast.address_fixup;
tprocdef(procdefinition).parast.address_fixup:=inlinecode.para_offset;
{$ifdef extdebug}
Comment(V_debug,
'inlined parasymtable is at offset '
+tostr(tprocdef(procdefinition).parast.address_fixup));
exprasmList.concat(tai_comment.Create(
strpnew('inlined parasymtable is at offset '
+tostr(tprocdef(procdefinition).parast.address_fixup))));
{$endif extdebug}
end;
{ only if no proc var }
if inlined or
not(assigned(right)) then
is_con_or_destructor:=(procdefinition.proctypeoption in [potype_constructor,potype_destructor]);
{ proc variables destroy all registers }
if (inlined or
(right=nil)) and
{ virtual methods too }
not(po_virtualmethod in procdefinition.procoptions) then
begin
if (cs_check_io in aktlocalswitches) and
(po_iocheck in procdefinition.procoptions) and
not(po_iocheck in aktprocdef.procoptions) then
begin
objectlibrary.getaddrlabel(iolabel);
cg.a_label(exprasmlist,iolabel);
end
else
iolabel:=nil;
{ save all used registers and possible registers
used for the return value }
regs_to_push := tprocdef(procdefinition).usedregisters;
if (not is_void(resulttype.def)) and
(not paramanager.ret_in_param(resulttype.def,procdefinition.proccalloption)) then
begin
include(regs_to_push,accumulator);
{$ifndef cpu64bit}
if resulttype.def.size>sizeof(aword) then
include(regs_to_push,accumulatorhigh);
{$endif cpu64bit}
end;
rg.saveusedregisters(exprasmlist,pushed,regs_to_push);
{ give used registers through }
rg.usedinproc:=rg.usedinproc + tprocdef(procdefinition).usedregisters;
end
else
begin
regs_to_push := all_registers;
rg.saveusedregisters(exprasmlist,pushed,regs_to_push);
rg.usedinproc:=all_registers;
{ no IO check for methods and procedure variables }
iolabel:=nil;
end;
{ generate the code for the parameter and push them }
oldpushedparasize:=pushedparasize;
pushedparasize:=0;
pop_size:=0;
{$ifdef dummy}
{ no inc esp for inlined procedure
and for objects constructors PM }
if inlined or
((procdefinition.proctypeoption=potype_constructor) and
{ quick'n'dirty check if it is a class or an object }
(resulttype.def.deftype=orddef)) then
pop_allowed:=false
else
pop_allowed:=true;
if pop_allowed then
begin
{ Old pushedsize aligned on 4 ? }
i:=oldpushedparasize and 3;
if i>0 then
inc(pop_size,4-i);
{ This parasize aligned on 4 ? }
i:=procdefinition.para_size(para_alignment) and 3;
if i>0 then
inc(pop_size,4-i);
{ insert the opcode and update pushedparasize }
{ never push 4 or more !! }
pop_size:=pop_size mod 4;
if pop_size>0 then
begin
inc(pushedparasize,pop_size);
cg.a_const_reg(A_SUB,S_L,pop_size,R_ESP);
{$ifdef GDB}
if (cs_debuginfo in aktmoduleswitches) and
(exprasmList.first=exprasmList.last) then
exprasmList.concat(Tai_force_line.Create);
{$endif GDB}
end;
end;
{$endif dummy}
{$ifdef OPTALIGN}
if pop_allowed and (cs_align in aktglobalswitches) then
begin
pop_esp:=true;
push_size:=procdefinition.para_size(para_alignment);
{ !!!! here we have to take care of return type, self
and nested procedures
}
inc(push_size,12);
emit_reg_reg(A_MOV,S_L,R_ESP,R_EDI);
if (push_size mod 8)=0 then
emit_const_reg(A_AND,S_L,$fffffff8,R_ESP)
else
begin
emit_const_reg(A_SUB,S_L,push_size,R_ESP);
emit_const_reg(A_AND,S_L,$fffffff8,R_ESP);
emit_const_reg(A_SUB,S_L,push_size,R_ESP);
end;
emit_reg(A_PUSH,S_L,R_EDI);
end
else
pop_esp:=false;
{$endif OPTALIGN}
{ Push parameters }
if assigned(params) then
begin
{ be found elsewhere }
if inlined then
para_offset:=tprocdef(procdefinition).parast.address_fixup+
tprocdef(procdefinition).parast.datasize
else
para_offset:=0;
if not(inlined) and
assigned(right) then
tcallparanode(params).secondcallparan(
{ TParaItem(tabstractprocdef(right.resulttype.def).Para.first), }
(po_leftright in procdefinition.procoptions),procdefinition.proccalloption,
para_alignment,para_offset)
else
tcallparanode(params).secondcallparan(
{ TParaItem(procdefinition.Para.first), }
(po_leftright in procdefinition.procoptions),procdefinition.proccalloption,
para_alignment,para_offset);
end;
{ Allocate return value for inlined routines }
if inlined and
(resulttype.def.size>0) then
begin
tg.GetTemp(exprasmlist,Align(resulttype.def.size,aktalignment.paraalign),tt_persistant,returnref);
inlinecode.retoffset:=returnref.offset;
end;
{ Allocate return value when returned in argument }
if paramanager.ret_in_param(resulttype.def,procdefinition.proccalloption) then
begin
if assigned(funcretrefnode) then
begin
secondpass(funcretrefnode);
if codegenerror then
exit;
if (funcretrefnode.location.loc<>LOC_REFERENCE) then
internalerror(200204246);
funcretref:=funcretrefnode.location.reference;
end
else
begin
if inlined then
begin
tg.GetTemp(exprasmlist,resulttype.def.size,tt_persistant,funcretref);
{$ifdef extdebug}
Comment(V_debug,'function return value is at offset '
+tostr(funcretref.offset));
exprasmlist.concat(tai_comment.create(
strpnew('function return value is at offset '
+tostr(funcretref.offset))));
{$endif extdebug}
end
else
tg.GetTemp(exprasmlist,resulttype.def.size,tt_normal,funcretref);
end;
{ This must not be counted for C code
complex return address is removed from stack
by function itself ! }
{$ifdef OLD_C_STACK}
inc(pushedparasize,4); { lets try without it PM }
{$endif not OLD_C_STACK}
if inlined then
begin
hregister:=cg.get_scratch_reg_address(exprasmlist);
cg.a_loadaddr_ref_reg(exprasmlist,funcretref,hregister);
reference_reset_base(href,procinfo.framepointer,inlinecode.retoffset);
cg.a_load_reg_ref(exprasmlist,OS_ADDR,hregister,href);
cg.free_scratch_reg(exprasmlist,hregister);
end
else
cg.a_paramaddr_ref(exprasmlist,funcretref,
paramanager.getfuncretparaloc(procdefinition));
end;
{ procedure variable or normal function call ? }
if inlined or
(right=nil) then
begin
{ Normal function call }
{$ifdef dummy}
{ overloaded operator has no symtable }
{ push self }
if assigned(symtableproc) and
(symtableproc.symtabletype=withsymtable) then
begin
{ dirty trick to avoid the secondcall below }
methodpointer:=ccallparanode.create(nil,nil);
location_reset(methodpointer.location,LOC_REGISTER,OS_ADDR);
rg.getexplicitregisterint(exprasmlist,R_ESI);
methodpointer.location.register:=R_ESI;
{ ARGHHH this is wrong !!!
if we can init from base class for a child
class that the wrong VMT will be
transfered to constructor !! }
methodpointer.resulttype:=
twithnode(twithsymtable(symtableproc).withnode).left.resulttype;
{ make a reference }
href:=twithnode(twithsymtable(symtableproc).withnode).withreference;
if ((not(nf_islocal in twithnode(twithsymtable(symtableproc).withnode).flags)) and
(not twithsymtable(symtableproc).direct_with)) or
is_class_or_interface(methodpointer.resulttype.def) then
cg.a_load_ref_reg(exprasmlist,OS_ADDR,href,self_pointer_reg)
else
cg.a_loadaddr_ref_reg(exprasmlist,href,self_pointer_reg);
end;
{ push self }
if assigned(symtableproc) and
((symtableproc.symtabletype=objectsymtable) or
(symtableproc.symtabletype=withsymtable)) then
begin
if assigned(methodpointer) then
begin
{
if methodpointer^.resulttype.def=classrefdef then
begin
two possibilities:
1. constructor
2. class method
end
else }
begin
case methodpointer.nodetype of
typen:
begin
{ direct call to inherited method }
if (po_abstractmethod in procdefinition.procoptions) then
begin
CGMessage(cg_e_cant_call_abstract_method);
goto dont_call;
end;
{ generate no virtual call }
no_virtual_call:=true;
if (sp_static in symtableprocentry.symoptions) then
begin
{ well lets put the VMT address directly into ESI }
{ it is kind of dirty but that is the simplest }
{ way to accept virtual static functions (PM) }
loadesi:=true;
{ if no VMT just use $0 bug0214 PM }
rg.getexplicitregisterint(exprasmlist,R_ESI);
if not(oo_has_vmt in tobjectdef(methodpointer.resulttype.def).objectoptions) then
cg.a_load_const_reg(exprasmlist,OS_ADDR,0,self_pointer_reg)
else
begin
reference_reset_symbol(href,objectlibrary.newasmsymbol(tobjectdef(methodpointer.resulttype.def).vmt_mangledname),0);
cg.a_loadaddr_ref_reg(exprasmlist,href,self_pointer_reg);
end;
{ emit_reg(A_PUSH,S_L,R_ESI);
this is done below !! }
end
else
{ this is a member call, so ESI isn't modfied }
loadesi:=false;
{ a class destructor needs a flag }
if is_class(tobjectdef(methodpointer.resulttype.def)) and
(procdefinition.proctypeoption=potype_destructor) then
begin
cg.a_param_const(exprasmlist,OS_ADDR,0,2);
cg.a_param_reg(exprasmlist,OS_ADDR,self_pointer_reg,1);
end;
if not(is_con_or_destructor and
is_class(methodpointer.resulttype.def) and
(procdefinition.proctypeoption in [potype_constructor,potype_destructor])
) then
cg.a_param_reg(exprasmlist,OS_ADDR,self_pointer_reg,1);
{ if an inherited con- or destructor should be }
{ called in a con- or destructor then a warning }
{ will be made }
{ con- and destructors need a pointer to the vmt }
if is_con_or_destructor and
is_object(methodpointer.resulttype.def) and
assigned(aktprocdef) then
begin
if not(aktprocdef.proctypeoption in
[potype_constructor,potype_destructor]) then
CGMessage(cg_w_member_cd_call_from_method);
end;
{ class destructors get there flag above }
{ constructor flags ? }
if is_con_or_destructor and
not(
is_class(methodpointer.resulttype.def) and
assigned(aktprocdef) and
(aktprocdef.proctypeoption=potype_destructor)) then
begin
{ a constructor needs also a flag }
if is_class(methodpointer.resulttype.def) then
cg.a_param_const(exprasmlist,OS_ADDR,0,2);
cg.a_param_const(exprasmlist,OS_ADDR,0,1);
end;
end;
hnewn:
begin
{ extended syntax of new }
{ ESI must be zero }
rg.getexplicitregisterint(exprasmlist,R_ESI);
cg.a_load_const_reg(exprasmlist,OS_ADDR,0,self_pointer_reg);
cg.a_param_reg(exprasmlist,OS_ADDR,self_pointer_reg,2);
{ insert the vmt }
reference_reset_symbol(href,objectlibrary.newasmsymbol(tobjectdef(methodpointer.resulttype.def).vmt_mangledname),0);
cg.a_paramaddr_ref(exprasmlist,href,1);
extended_new:=true;
end;
hdisposen:
begin
secondpass(methodpointer);
{ destructor with extended syntax called from dispose }
{ hdisposen always deliver LOC_REFERENCE }
rg.getexplicitregisterint(exprasmlist,R_ESI);
emit_ref_reg(A_LEA,S_L,methodpointer.location.reference,R_ESI);
reference_release(exprasmlist,methodpointer.location.reference);
cg.a_param_reg(exprasmlist,OS_ADDR,self_pointer_reg,2);
reference_reset_symbol(href,objectlibrary.newasmsymbol(tobjectdef(methodpointer.resulttype.def).vmt_mangledname),0);
cg.a_paramaddr_ref(exprasmlist,href,1);
end;
else
begin
{ call to an instance member }
if (symtableproc.symtabletype<>withsymtable) then
begin
secondpass(methodpointer);
rg.getexplicitregisterint(exprasmlist,R_ESI);
case methodpointer.location.loc of
LOC_CREGISTER,
LOC_REGISTER:
begin
cg.a_load_reg_reg(exprasmlist,OS_ADDR,OS_ADDR,methodpointer.location.register,R_ESI);
rg.ungetregisterint(exprasmlist,methodpointer.location.register);
end;
else
begin
if (methodpointer.resulttype.def.deftype=classrefdef) or
is_class_or_interface(methodpointer.resulttype.def) then
cg.a_load_ref_reg(exprasmlist,OS_ADDR,methodpointer.location.reference,R_ESI)
else
cg.a_loadaddr_ref_reg(exprasmlist,methodpointer.location.reference,R_ESI);
reference_release(exprasmlist,methodpointer.location.reference);
end;
end;
end;
{ when calling a class method, we have to load ESI with the VMT !
But, not for a class method via self }
if not(po_containsself in procdefinition.procoptions) then
begin
if (po_classmethod in procdefinition.procoptions) and
not(methodpointer.resulttype.def.deftype=classrefdef) then
begin
{ class method needs current VMT }
rg.getexplicitregisterint(exprasmlist,R_ESI);
reference_reset_base(href,R_ESI,tprocdef(procdefinition)._class.vmt_offset);
cg.a_maybe_testself(exprasmlist);
cg.a_load_ref_reg(exprasmlist,OS_ADDR,href,self_pointer_reg);
end;
{ direct call to destructor: remove data }
if (procdefinition.proctypeoption=potype_destructor) and
is_class(methodpointer.resulttype.def) then
cg.a_param_const(exprasmlist,OS_INT,1,1);
{ direct call to class constructor, don't allocate memory }
if (procdefinition.proctypeoption=potype_constructor) and
is_class(methodpointer.resulttype.def) then
begin
cg.a_param_const(exprasmlist,OS_INT,0,2);
cg.a_param_const(exprasmlist,OS_INT,0,1);
end
else
begin
{ constructor call via classreference => allocate memory }
if (procdefinition.proctypeoption=potype_constructor) and
(methodpointer.resulttype.def.deftype=classrefdef) and
is_class(tclassrefdef(methodpointer.resulttype.def).pointertype.def) then
cg.a_param_const(exprasmlist,OS_INT,1,1);
cg.a_param_reg(exprasmlist,OS_ADDR,self_pointer_reg,1);
end;
end;
if is_con_or_destructor then
begin
{ classes don't get a VMT pointer pushed }
if is_object(methodpointer.resulttype.def) then
begin
if (procdefinition.proctypeoption=potype_constructor) then
begin
{ it's no bad idea, to insert the VMT }
reference_reset_symbol(href,objectlibrary.newasmsymbol(
tobjectdef(methodpointer.resulttype.def).vmt_mangledname),0);
cg.a_paramaddr_ref(exprasmlist,href,1);
end
{ destructors haven't to dispose the instance, if this is }
{ a direct call }
else
cg.a_param_const(exprasmlist,OS_INT,0,1);
end;
end;
end;
end;
end;
end
else
begin
if (po_classmethod in procdefinition.procoptions) and
not(
assigned(aktprocdef) and
(po_classmethod in aktprocdef.procoptions)
) then
begin
{ class method needs current VMT }
rg.getexplicitregisterint(exprasmlist,R_ESI);
reference_reset_base(href,R_ESI,tprocdef(procdefinition)._class.vmt_offset);
cg.a_maybe_testself(exprasmlist);
cg.a_load_ref_reg(exprasmlist,OS_ADDR,href,R_ESI);
end
else
begin
{ member call, ESI isn't modified }
loadesi:=false;
end;
{ direct call to destructor: don't remove data! }
if is_class(procinfo._class) then
begin
if (procdefinition.proctypeoption=potype_destructor) then
begin
cg.a_param_const(exprasmlist,OS_INT,0,2);
cg.a_param_reg(exprasmlist,OS_ADDR,R_ESI,1);
end
else if (procdefinition.proctypeoption=potype_constructor) then
begin
cg.a_param_const(exprasmlist,OS_INT,0,2);
cg.a_param_const(exprasmlist,OS_INT,0,1);
end
else
cg.a_param_reg(exprasmlist,OS_ADDR,R_ESI,1);
end
else if is_object(procinfo._class) then
begin
cg.a_param_reg(exprasmlist,OS_ADDR,R_ESI,1);
if is_con_or_destructor then
begin
if (procdefinition.proctypeoption=potype_constructor) then
begin
{ it's no bad idea, to insert the VMT }
reference_reset_symbol(href,objectlibrary.newasmsymbol(procinfo._class.vmt_mangledname),0);
cg.a_paramaddr_ref(exprasmlist,href,1);
end
{ destructors haven't to dispose the instance, if this is }
{ a direct call }
else
cg.a_param_const(exprasmlist,OS_INT,0,1);
end;
end
else
Internalerror(200006165);
end;
end;
{$endif dummy}
{ call to BeforeDestruction? }
if (procdefinition.proctypeoption=potype_destructor) and
assigned(methodpointer) and
(methodpointer.nodetype<>typen) and
is_class(tobjectdef(methodpointer.resulttype.def)) and
(inlined or
(right=nil)) then
begin
cg.a_param_reg(exprasmlist,OS_ADDR,self_pointer_reg,paramanager.getintparaloc(1));
reference_reset_base(href,self_pointer_reg,0);
tmpreg:=cg.get_scratch_reg_address(exprasmlist);
cg.a_load_ref_reg(exprasmlist,OS_ADDR,href,tmpreg);
reference_reset_base(href,tmpreg,72);
cg.a_call_ref(exprasmlist,href);
cg.free_scratch_reg(exprasmlist,tmpreg);
end;
{ push base pointer ?}
{ never when inlining, since if necessary, the base pointer }
{ can/will be gottten from the current procedure's symtable }
{ (JM) }
if not inlined then
if (lexlevel>=normal_function_level) and assigned(tprocdef(procdefinition).parast) and
((tprocdef(procdefinition).parast.symtablelevel)>normal_function_level) then
load_framepointer;
rg.saveregvars(exprasmlist,regs_to_push);
{$ifdef dummy}
if (po_virtualmethod in procdefinition.procoptions) and
not(no_virtual_call) then
begin
{ static functions contain the vmt_address in ESI }
{ also class methods }
{ Here it is quite tricky because it also depends }
{ on the methodpointer PM }
release_tmpreg:=false;
rg.getexplicitregisterint(exprasmlist,R_ESI);
if assigned(aktprocdef) then
begin
if (((sp_static in aktprocdef.procsym.symoptions) or
(po_classmethod in aktprocdef.procoptions)) and
((methodpointer=nil) or (methodpointer.nodetype=typen)))
or
(po_staticmethod in procdefinition.procoptions) or
((procdefinition.proctypeoption=potype_constructor) and
{ esi contains the vmt if we call a constructor via a class ref }
assigned(methodpointer) and
(methodpointer.resulttype.def.deftype=classrefdef)
) or
{ is_interface(tprocdef(procdefinition)._class) or }
{ ESI is loaded earlier }
(po_classmethod in procdefinition.procoptions) then
begin
reference_reset_base(href,R_ESI,0);
end
else
begin
{ this is one point where we need vmt_offset (PM) }
reference_reset_base(href,R_ESI,tprocdef(procdefinition)._class.vmt_offset);
cg.a_maybe_testself(exprasmlist);
tmpreg:=cg.get_scratch_reg_address(exprasmlist);
cg.a_load_ref_reg(exprasmlist,OS_ADDR,href,tmpreg);
reference_reset_base(href,tmpreg,0);
release_tmpreg:=true;
end;
end
else
{ aktprocdef should be assigned, also in main program }
internalerror(12345);
if tprocdef(procdefinition).extnumber=-1 then
internalerror(44584);
href.offset:=tprocdef(procdefinition)._class.vmtmethodoffset(tprocdef(procdefinition).extnumber);
if not(is_interface(tprocdef(procdefinition)._class)) and
not(is_cppclass(tprocdef(procdefinition)._class)) then
begin
if (cs_check_object in aktlocalswitches) then
begin
reference_reset_symbol(hrefvmt,objectlibrary.newasmsymbol(tprocdef(procdefinition)._class.vmt_mangledname),0);
cg.a_paramaddr_ref(exprasmlist,hrefvmt,2);
cg.a_param_reg(exprasmlist,OS_ADDR,href.base,1);
cg.a_call_name(exprasmlist,'FPC_CHECK_OBJECT_EXT');
end
else if (cs_check_range in aktlocalswitches) then
begin
cg.a_param_reg(exprasmlist,OS_ADDR,href.base,1);
cg.a_call_name(exprasmlist,'FPC_CHECK_OBJECT');
end;
end;
cg.a_call_ref(exprasmlist,href);
if release_tmpreg then
cg.free_scratch_reg(exprasmlist,tmpreg);
end
else
{$endif dummy}
if not inlined then
begin
{ We can call interrupts from within the smae code
by just pushing the flags and CS PM }
if (po_interrupt in procdefinition.procoptions) then
extra_interrupt_code;
cg.a_call_name(exprasmlist,tprocdef(procdefinition).mangledname);
end
else { inlined proc }
{ inlined code is in inlinecode }
begin
{ process the inlinecode }
secondpass(tnode(inlinecode));
{ free the args }
if tprocdef(procdefinition).parast.datasize>0 then
tg.UnGetTemp(exprasmlist,pararef);
end;
end
else
{ now procedure variable case }
begin
secondpass(right);
if (po_interrupt in procdefinition.procoptions) then
extra_interrupt_code;
{ procedure of object? }
if (po_methodpointer in procdefinition.procoptions) then
begin
{$ifdef dummy}
{ method pointer can't be in a register }
hregister:=R_NO;
{ do some hacking if we call a method pointer }
{ which is a class member }
{ else ESI is overwritten ! }
if (right.location.reference.base=R_ESI) or
(right.location.reference.index=R_ESI) then
begin
reference_release(exprasmlist,right.location.reference);
hregister:=cg.get_scratch_reg_address(exprasmlist);
cg.a_load_ref_reg(exprasmlist,OS_ADDR,right.location.reference,hregister);
end;
{ load self, but not if it's already explicitly pushed }
if not(po_containsself in procdefinition.procoptions) then
begin
{ load ESI }
href:=right.location.reference;
inc(href.offset,4);
rg.getexplicitregisterint(exprasmlist,R_ESI);
cg.a_load_ref_reg(exprasmlist,OS_ADDR,href,self_pointer_reg);
{ push self pointer }
cg.a_param_reg(exprasmlist,OS_ADDR,self_pointer_reg,-1);
end;
rg.saveregvars(exprasmlist,ALL_REGISTERS);
if hregister<>R_NO then
cg.a_call_reg(exprasmlist,hregister)
else
cg.a_call_ref(exprasmlist,right.location.reference);
if hregister<>R_NO then
cg.free_scratch_reg(exprasmlist,hregister);
reference_release(exprasmlist,right.location.reference);
tg.Ungetiftemp(exprasmlist,right.location.reference);
{$endif dummy}
end
else
begin
rg.saveregvars(exprasmlist,ALL_REGISTERS);
cg.a_call_loc(exprasmlist,right.location);
location_release(exprasmlist,right.location);
location_freetemp(exprasmlist,right.location);
end;
end;
{$ifdef dummy}
{ this was only for normal functions
displaced here so we also get
it to work for procvars PM }
if (not inlined) and (po_clearstack in procdefinition.procoptions) then
begin
{ we also add the pop_size which is included in pushedparasize }
pop_size:=0;
{ better than an add on all processors }
if pushedparasize=4 then
begin
rg.getexplicitregisterint(exprasmlist,R_EDI);
emit_reg(A_POP,S_L,R_EDI);
rg.ungetregisterint(exprasmlist,R_EDI);
end
{ the pentium has two pipes and pop reg is pairable }
{ but the registers must be different! }
else if (pushedparasize=8) and
not(cs_littlesize in aktglobalswitches) and
{$ifdef i386}
(aktoptprocessor=ClassP5) and
{$endif}
(procinfo._class=nil) then
begin
rg.getexplicitregisterint(exprasmlist,R_EDI);
emit_reg(A_POP,S_L,R_EDI);
rg.ungetregisterint(exprasmlist,R_EDI);
exprasmList.concat(tai_regalloc.Alloc(R_ESI));
emit_reg(A_POP,S_L,R_ESI);
exprasmList.concat(tai_regalloc.DeAlloc(R_ESI));
end
else if pushedparasize<>0 then
emit_const_reg(A_ADD,S_L,pushedparasize,R_ESP);
end;
{$endif dummy}
{$ifdef powerpc}
{ this calculation must be done in pass_1 anyway, so don't worry }
if tppcprocinfo(procinfo).maxpushedparasize<pushedparasize then
tppcprocinfo(procinfo).maxpushedparasize:=pushedparasize;
{$endif powerpc}
{$ifdef OPTALIGN}
if pop_esp then
emit_reg(A_POP,S_L,R_ESP);
{$endif OPTALIGN}
dont_call:
pushedparasize:=oldpushedparasize;
rg.restoreunusedstate(unusedstate);
{$ifdef TEMPREGDEBUG}
testregisters32;
{$endif TEMPREGDEBUG}
{ a constructor could be a function with boolean result }
{ if calling constructor called fail we
must jump directly to quickexitlabel PM
but only if it is a call of an inherited constructor }
if (inlined or
(right=nil)) and
(procdefinition.proctypeoption=potype_constructor) and
assigned(methodpointer) and
(methodpointer.nodetype=typen) and
(aktprocdef.proctypeoption=potype_constructor) then
begin
cg.a_cmp_const_reg_label(exprasmlist,OS_ADDR,OC_EQ,0,accumulator,faillabel);
end;
{ call to AfterConstruction? }
if is_class(resulttype.def) and
(inlined or
(right=nil)) and
(procdefinition.proctypeoption=potype_constructor) and
assigned(methodpointer) and
(methodpointer.nodetype<>typen) then
begin
objectlibrary.getlabel(constructorfailed);
cg.a_cmp_const_reg_label(exprasmlist,OS_ADDR,OC_EQ,0,self_pointer_reg,constructorfailed);
cg.a_param_reg(exprasmlist,OS_ADDR,accumulator,paramanager.getintparaloc(1));
reference_reset_base(href,self_pointer_reg,0);
tmpreg:=cg.get_scratch_reg_address(exprasmlist);
cg.a_load_ref_reg(exprasmlist,OS_ADDR,href,tmpreg);
reference_reset_base(href,tmpreg,17*pointer_size);
cg.a_call_ref(exprasmlist,href);
cg.free_scratch_reg(exprasmlist,tmpreg);
exprasmList.concat(tai_regalloc.Alloc(accumulator));
cg.a_label(exprasmlist,constructorfailed);
cg.a_load_reg_reg(exprasmlist,OS_ADDR,OS_ADDR,self_pointer_reg,accumulator);
end;
{ handle function results }
if (not is_void(resulttype.def)) then
handle_return_value(inlined,extended_new);
{ perhaps i/o check ? }
if iolabel<>nil then
begin
reference_reset_symbol(href,iolabel,0);
cg.a_paramaddr_ref(exprasmlist,href,paramanager.getintparaloc(1));
cg.a_call_name(exprasmlist,'FPC_IOCHECK');
end;
{$ifdef i386}
if pop_size>0 then
emit_const_reg(A_ADD,S_L,pop_size,R_ESP);
{$endif i386}
{ restore registers }
rg.restoreusedregisters(exprasmlist,pushed);
{ at last, restore instance pointer (SELF) }
if loadesi then
cg.g_maybe_loadself(exprasmlist);
pp:=tbinarynode(params);
while assigned(pp) do
begin
if assigned(pp.left) then
begin
location_freetemp(exprasmlist,pp.left.location);
{ process also all nodes of an array of const }
if pp.left.nodetype=arrayconstructorn then
begin
if assigned(tarrayconstructornode(pp.left).left) then
begin
hp:=pp.left;
while assigned(hp) do
begin
location_freetemp(exprasmlist,tarrayconstructornode(hp).left.location);
hp:=tarrayconstructornode(hp).right;
end;
end;
end;
end;
pp:=tbinarynode(pp.right);
end;
if inlined then
begin
if (resulttype.def.size>0) then
tg.UnGetTemp(exprasmlist,returnref);
tprocdef(procdefinition).parast.address_fixup:=store_parast_fixup;
right:=inlinecode;
end;
if assigned(params) then
params.free;
{ from now on the result can be freed normally }
if inlined and paramanager.ret_in_param(resulttype.def,procdefinition.proccalloption) then
tg.ChangeTempType(exprasmlist,funcretref,tt_normal);
{ if return value is not used }
if (not(nf_return_value_used in flags)) and (not is_void(resulttype.def)) then
begin
if location.loc in [LOC_CREFERENCE,LOC_REFERENCE] then
begin
{ data which must be finalized ? }
if (resulttype.def.needs_inittable) then
cg.g_finalize(exprasmlist,resulttype.def,location.reference,false);
{ release unused temp }
tg.ungetiftemp(exprasmlist,location.reference)
end
else if location.loc=LOC_FPUREGISTER then
begin
{$ifdef i386}
{ release FPU stack }
emit_reg(A_FSTP,S_NO,R_ST);
{
dec(trgcpu(rg).fpuvaroffset);
do NOT decrement as the increment before
is not called for unused results PM }
{$endif i386}
end;
end;
end;
{*****************************************************************************
TCGPROCINLINENODE
*****************************************************************************}
procedure tcgprocinlinenode.pass_2;
var st : tsymtable;
oldprocdef : tprocdef;
ps, i : longint;
tmpreg: tregister;
oldprocinfo : tprocinfo;
oldinlining_procedure,
nostackframe,make_global : boolean;
inlineentrycode,inlineexitcode : TAAsmoutput;
oldexitlabel,oldexit2label,oldquickexitlabel:tasmlabel;
oldregstate: pointer;
localsref : treference;
{$ifdef GDB}
startlabel,endlabel : tasmlabel;
pp : pchar;
mangled_length : longint;
{$endif GDB}
begin
{ deallocate the registers used for the current procedure's regvars }
if assigned(aktprocdef.regvarinfo) then
begin
with pregvarinfo(aktprocdef.regvarinfo)^ do
for i := 1 to maxvarregs do
if assigned(regvars[i]) then
store_regvar(exprasmlist,regvars[i].reg);
rg.saveStateForInline(oldregstate);
{ make sure the register allocator knows what the regvars in the }
{ inlined code block are (JM) }
rg.resetusableregisters;
rg.clearregistercount;
rg.cleartempgen;
if assigned(inlineprocdef.regvarinfo) then
with pregvarinfo(inlineprocdef.regvarinfo)^ do
for i := 1 to maxvarregs do
if assigned(regvars[i]) then
begin
tmpreg:=rg.makeregsize(regvars[i].reg,OS_INT);
rg.makeregvar(tmpreg);
end;
end;
oldinlining_procedure:=inlining_procedure;
oldexitlabel:=aktexitlabel;
oldexit2label:=aktexit2label;
oldquickexitlabel:=quickexitlabel;
oldprocdef:=aktprocdef;
oldprocinfo:=procinfo;
objectlibrary.getlabel(aktexitlabel);
objectlibrary.getlabel(aktexit2label);
{ we're inlining a procedure }
inlining_procedure:=true;
aktprocdef:=inlineprocdef;
{ clone procinfo, but not the asmlists }
procinfo:=tprocinfo(cprocinfo.newinstance);
move(pointer(oldprocinfo)^,pointer(procinfo)^,cprocinfo.InstanceSize);
procinfo.aktentrycode:=nil;
procinfo.aktexitcode:=nil;
procinfo.aktproccode:=nil;
procinfo.aktlocaldata:=nil;
{ set new procinfo }
procinfo.return_offset:=retoffset;
procinfo.para_offset:=para_offset;
procinfo.no_fast_exit:=false;
{ arg space has been filled by the parent secondcall }
st:=aktprocdef.localst;
{ set it to the same lexical level }
st.symtablelevel:=oldprocdef.localst.symtablelevel;
if st.datasize>0 then
begin
tg.GetTemp(exprasmlist,st.datasize,tt_persistant,localsref);
st.address_fixup:=localsref.offset+st.datasize;
{$ifdef extdebug}
Comment(V_debug,'local symtable is at offset '+tostr(st.address_fixup));
exprasmList.concat(tai_comment.Create(strpnew(
'local symtable is at offset '+tostr(st.address_fixup))));
{$endif extdebug}
end;
exprasmList.concat(Tai_Marker.Create(InlineStart));
{$ifdef extdebug}
exprasmList.concat(tai_comment.Create(strpnew('Start of inlined proc')));
{$endif extdebug}
{$ifdef GDB}
if (cs_debuginfo in aktmoduleswitches) then
begin
objectlibrary.getaddrlabel(startlabel);
objectlibrary.getaddrlabel(endlabel);
cg.a_label(exprasmlist,startlabel);
inlineprocdef.localst.symtabletype:=inlinelocalsymtable;
inlineprocdef.parast.symtabletype:=inlineparasymtable;
{ Here we must include the para and local symtable info }
inlineprocdef.concatstabto(withdebuglist);
{ set it back for safety }
inlineprocdef.localst.symtabletype:=localsymtable;
inlineprocdef.parast.symtabletype:=parasymtable;
mangled_length:=length(oldprocdef.mangledname);
getmem(pp,mangled_length+50);
strpcopy(pp,'192,0,0,'+startlabel.name);
if (target_info.use_function_relative_addresses) then
begin
strpcopy(strend(pp),'-');
strpcopy(strend(pp),oldprocdef.mangledname);
end;
withdebugList.concat(Tai_stabn.Create(strnew(pp)));
end;
{$endif GDB}
{ takes care of local data initialization }
inlineentrycode:=TAAsmoutput.Create;
inlineexitcode:=TAAsmoutput.Create;
ps:=para_size;
make_global:=false; { to avoid warning }
genentrycode(inlineentrycode,make_global,0,ps,nostackframe,true);
if po_assembler in aktprocdef.procoptions then
inlineentrycode.insert(Tai_marker.Create(asmblockstart));
exprasmList.concatlist(inlineentrycode);
secondpass(inlinetree);
genexitcode(inlineexitcode,0,false,true);
if po_assembler in aktprocdef.procoptions then
inlineexitcode.concat(Tai_marker.Create(asmblockend));
exprasmList.concatlist(inlineexitcode);
inlineentrycode.free;
inlineexitcode.free;
{$ifdef extdebug}
exprasmList.concat(tai_comment.Create(strpnew('End of inlined proc')));
{$endif extdebug}
exprasmList.concat(Tai_Marker.Create(InlineEnd));
{we can free the local data now, reset also the fixup address }
if st.datasize>0 then
begin
tg.UnGetTemp(exprasmlist,localsref);
st.address_fixup:=0;
end;
{ restore procinfo }
procinfo.free;
procinfo:=oldprocinfo;
{$ifdef GDB}
if (cs_debuginfo in aktmoduleswitches) then
begin
cg.a_label(exprasmlist,endlabel);
strpcopy(pp,'224,0,0,'+endlabel.name);
if (target_info.use_function_relative_addresses) then
begin
strpcopy(strend(pp),'-');
strpcopy(strend(pp),oldprocdef.mangledname);
end;
withdebugList.concat(Tai_stabn.Create(strnew(pp)));
freemem(pp,mangled_length+50);
end;
{$endif GDB}
{ restore }
aktprocdef:=oldprocdef;
aktexitlabel:=oldexitlabel;
aktexit2label:=oldexit2label;
quickexitlabel:=oldquickexitlabel;
inlining_procedure:=oldinlining_procedure;
{ reallocate the registers used for the current procedure's regvars, }
{ since they may have been used and then deallocated in the inlined }
{ procedure (JM) }
if assigned(aktprocdef.regvarinfo) then
begin
rg.restoreStateAfterInline(oldregstate);
end;
end;
begin
ccallparanode:=tcgcallparanode;
ccallnode:=tcgcallnode;
cprocinlinenode:=tcgprocinlinenode;
end.
{
$Log$
Revision 1.32 2002-12-15 22:50:00 florian
+ some stuff for the new hidden parameter handling added
Revision 1.31 2002/12/15 21:30:12 florian
* tcallnode.paraitem introduced, all references to defcoll removed
Revision 1.30 2002/11/27 20:04:39 peter
* cdecl array of const fixes
Revision 1.29 2002/11/25 17:43:17 peter
* splitted defbase in defutil,symutil,defcmp
* merged isconvertable and is_equal into compare_defs(_ext)
* made operator search faster by walking the list only once
Revision 1.28 2002/11/18 17:31:54 peter
* pass proccalloption to ret_in_xxx and push_xxx functions
Revision 1.27 2002/11/16 15:34:30 florian
* generic location for float results
Revision 1.26 2002/11/15 01:58:51 peter
* merged changes from 1.0.7 up to 04-11
- -V option for generating bug report tracing
- more tracing for option parsing
- errors for cdecl and high()
- win32 import stabs
- win32 records<=8 are returned in eax:edx (turned off by default)
- heaptrc update
- more info for temp management in .s file with EXTDEBUG
Revision 1.25 2002/10/05 12:43:25 carl
* fixes for Delphi 6 compilation
(warning : Some features do not work under Delphi)
Revision 1.24 2002/09/30 07:00:45 florian
* fixes to common code to get the alpha compiler compiled applied
Revision 1.23 2002/09/17 18:54:02 jonas
* a_load_reg_reg() now has two size parameters: source and dest. This
allows some optimizations on architectures that don't encode the
register size in the register name.
Revision 1.22 2002/09/07 15:25:02 peter
* old logs removed and tabs fixed
Revision 1.21 2002/09/07 11:50:02 jonas
* fixed small regalloction info bug
Revision 1.20 2002/09/02 11:25:20 florian
* fixed generic procedure variable calling
Revision 1.19 2002/09/01 21:04:48 florian
* several powerpc related stuff fixed
Revision 1.18 2002/09/01 18:43:27 peter
* include accumulator in regs_to_push list
Revision 1.17 2002/09/01 12:13:00 peter
* use a_call_reg
* ungetiftemp for procvar of object temp
Revision 1.16 2002/08/25 19:25:18 peter
* sym.insert_in_data removed
* symtable.insertvardata/insertconstdata added
* removed insert_in_data call from symtable.insert, it needs to be
called separatly. This allows to deref the address calculation
* procedures now calculate the parast addresses after the procedure
directives are parsed. This fixes the cdecl parast problem
* push_addr_param has an extra argument that specifies if cdecl is used
or not
Revision 1.15 2002/08/23 16:14:48 peter
* tempgen cleanup
* tt_noreuse temp type added that will be used in genentrycode
Revision 1.14 2002/08/20 16:55:38 peter
* don't write (stabs)line info when inlining a procedure
Revision 1.13 2002/08/19 19:36:42 peter
* More fixes for cross unit inlining, all tnodes are now implemented
* Moved pocall_internconst to po_internconst because it is not a
calling type at all and it conflicted when inlining of these small
functions was requested
Revision 1.12 2002/08/18 20:06:23 peter
* inlining is now also allowed in interface
* renamed write/load to ppuwrite/ppuload
* tnode storing in ppu
* nld,ncon,nbas are already updated for storing in ppu
Revision 1.11 2002/08/17 22:09:44 florian
* result type handling in tcgcal.pass_2 overhauled
* better tnode.dowrite
* some ppc stuff fixed
Revision 1.10 2002/08/17 09:23:35 florian
* first part of procinfo rewrite
Revision 1.9 2002/08/13 21:40:55 florian
* more fixes for ppc calling conventions
Revision 1.8 2002/08/13 18:01:51 carl
* rename swatoperands to swapoperands
+ m68k first compilable version (still needs a lot of testing):
assembler generator, system information , inline
assembler reader.
Revision 1.7 2002/08/12 15:08:39 carl
+ stab register indexes for powerpc (moved from gdb to cpubase)
+ tprocessor enumeration moved to cpuinfo
+ linker in target_info is now a class
* many many updates for m68k (will soon start to compile)
- removed some ifdef or correct them for correct cpu
Revision 1.6 2002/08/11 14:32:26 peter
* renamed current_library to objectlibrary
Revision 1.5 2002/08/11 13:24:11 peter
* saving of asmsymbols in ppu supported
* asmsymbollist global is removed and moved into a new class
tasmlibrarydata that will hold the info of a .a file which
corresponds with a single module. Added librarydata to tmodule
to keep the library info stored for the module. In the future the
objectfiles will also be stored to the tasmlibrarydata class
* all getlabel/newasmsymbol and friends are moved to the new class
Revision 1.4 2002/08/06 20:55:20 florian
* first part of ppc calling conventions fix
Revision 1.3 2002/07/20 11:57:53 florian
* types.pas renamed to defbase.pas because D6 contains a types
unit so this would conflicts if D6 programms are compiled
+ Willamette/SSE2 instructions to assembler added
Revision 1.2 2002/07/13 19:38:43 florian
* some more generic calling stuff fixed
}