1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714 |
- {
- $Id$
- Copyright (c) 1998-2002 by Florian Klaempfl
- Generate assembler for 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 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 ncgcal;
- {$i fpcdefs.inc}
- interface
- uses
- cpubase,
- globtype,
- symdef,node,ncal;
- type
- tcgcallparanode = class(tcallparanode)
- private
- tempparaloc : tparalocation;
- procedure allocate_tempparaloc;
- procedure push_addr_para;
- procedure push_value_para;
- public
- procedure secondcallparan;override;
- end;
- tcgcallnode = class(tcallnode)
- private
- procedure release_para_temps;
- procedure normal_pass_2;
- procedure inlined_pass_2;
- protected
- { save the size of pushed parameter, needed po_clearstack
- and alignment }
- pushedparasize : longint;
- framepointer_paraloc : tparalocation;
- refcountedtemp : treference;
- procedure handle_return_value;
- {# This routine is used to push the current frame pointer
- on the stack. This is used in nested routines where the
- value of the frame pointer is always pushed as an extra
- parameter.
- The default handling is the standard handling used on
- most stack based machines, where the frame pointer is
- the first invisible parameter.
- }
- function align_parasize:longint;virtual;
- procedure pop_parasize(pop_size:longint);virtual;
- procedure extra_interrupt_code;virtual;
- public
- procedure pass_2;override;
- end;
- implementation
- uses
- systems,
- cutils,verbose,globals,
- symconst,symsym,symtable,defutil,paramgr,
- {$ifdef GDB}
- {$ifdef delphi}
- sysutils,
- {$else}
- strings,
- {$endif}
- gdb,
- {$endif GDB}
- cgbase,pass_2,
- cpuinfo,aasmbase,aasmtai,
- nbas,nmem,nld,ncnv,
- {$ifdef x86}
- cga,cgx86,
- {$endif x86}
- ncgutil,cgobj,tgobj,
- procinfo;
- {*****************************************************************************
- TCGCALLPARANODE
- *****************************************************************************}
- procedure tcgcallparanode.allocate_tempparaloc;
- begin
- { Allocate (temporary) paralocation }
- tempparaloc:=paraitem.paraloc[callerside];
- if (tempparaloc.loc in [LOC_REGISTER,LOC_FPUREGISTER,LOC_MMREGISTER]) then
- paramanager.alloctempregs(exprasmlist,tempparaloc)
- end;
- procedure tcgcallparanode.push_addr_para;
- begin
- if not(left.location.loc in [LOC_CREFERENCE,LOC_REFERENCE]) then
- internalerror(200304235);
- location_release(exprasmlist,left.location);
- allocate_tempparaloc;
- cg.a_paramaddr_ref(exprasmlist,left.location.reference,tempparaloc);
- inc(tcgcallnode(aktcallnode).pushedparasize,POINTER_SIZE);
- end;
- procedure tcgcallparanode.push_value_para;
- var
- href : treference;
- size : longint;
- cgsize : tcgsize;
- begin
- { we've nothing to push when the size of the parameter is 0 }
- if left.resulttype.def.size=0 then
- exit;
- { Move flags and jump in register to make it less complex }
- if left.location.loc in [LOC_FLAGS,LOC_JUMP] then
- location_force_reg(exprasmlist,left.location,def_cgsize(left.resulttype.def),false);
- { Handle Floating point types differently }
- if left.resulttype.def.deftype=floatdef then
- begin
- location_release(exprasmlist,left.location);
- allocate_tempparaloc;
- {$ifdef i386}
- if tempparaloc.loc<>LOC_REFERENCE then
- internalerror(200309291);
- case left.location.loc of
- LOC_FPUREGISTER,
- LOC_CFPUREGISTER:
- begin
- size:=align(tfloatdef(left.resulttype.def).size,tempparaloc.alignment);
- inc(tcgcallnode(aktcallnode).pushedparasize,size);
- if tempparaloc.reference.index=NR_STACK_POINTER_REG then
- begin
- cg.g_stackpointer_alloc(exprasmlist,size);
- reference_reset_base(href,NR_STACK_POINTER_REG,0);
- end
- else
- reference_reset_base(href,tempparaloc.reference.index,tempparaloc.reference.offset);
- cg.a_loadfpu_reg_ref(exprasmlist,def_cgsize(left.resulttype.def),left.location.register,href);
- end;
- LOC_REFERENCE,
- LOC_CREFERENCE :
- begin
- size:=align(left.resulttype.def.size,tempparaloc.alignment);
- if tempparaloc.reference.index=NR_STACK_POINTER_REG then
- begin
- href:=left.location.reference;
- inc(href.offset,size);
- while (size>0) do
- begin
- if (size>=4) or (tempparaloc.alignment>=4) then
- begin
- cgsize:=OS_32;
- inc(tcgcallnode(aktcallnode).pushedparasize,4);
- dec(href.offset,4);
- dec(size,4);
- end
- else
- begin
- cgsize:=OS_16;
- inc(tcgcallnode(aktcallnode).pushedparasize,2);
- dec(href.offset,2);
- dec(size,2);
- end;
- cg.a_param_ref(exprasmlist,cgsize,href,tempparaloc);
- end;
- end
- else
- begin
- reference_reset_base(href,tempparaloc.reference.index,tempparaloc.reference.offset);
- cg.g_concatcopy(exprasmlist,left.location.reference,href,size,false,false);
- inc(tcgcallnode(aktcallnode).pushedparasize,size);
- end;
- end;
- else
- internalerror(200204243);
- end;
- {$else i386}
- case left.location.loc of
- LOC_FPUREGISTER,
- LOC_CFPUREGISTER:
- cg.a_paramfpu_reg(exprasmlist,def_cgsize(left.resulttype.def),left.location.register,tempparaloc);
- LOC_REFERENCE,
- LOC_CREFERENCE :
- cg.a_paramfpu_ref(exprasmlist,def_cgsize(left.resulttype.def),left.location.reference,tempparaloc)
- else
- internalerror(200204243);
- end;
- {$endif i386}
- end
- else
- begin
- { copy the value on the stack or use normal parameter push?
- Check for varargs first because that has no paraitem }
- if not(nf_varargs_para in flags) and
- paramanager.copy_value_on_stack(paraitem.paratyp,left.resulttype.def,
- aktcallnode.procdefinition.proccalloption) then
- begin
- location_release(exprasmlist,left.location);
- allocate_tempparaloc;
- {$ifdef i386}
- if tempparaloc.loc<>LOC_REFERENCE then
- internalerror(200309292);
- if not (left.location.loc in [LOC_REFERENCE,LOC_CREFERENCE]) then
- internalerror(200204241);
- { push on stack }
- size:=align(left.resulttype.def.size,tempparaloc.alignment);
- inc(tcgcallnode(aktcallnode).pushedparasize,size);
- if tempparaloc.reference.index=NR_STACK_POINTER_REG then
- begin
- cg.g_stackpointer_alloc(exprasmlist,size);
- reference_reset_base(href,NR_STACK_POINTER_REG,0);
- end
- else
- reference_reset_base(href,tempparaloc.reference.index,tempparaloc.reference.offset);
- cg.g_concatcopy(exprasmlist,left.location.reference,href,size,false,false);
- {$else i386}
- cg.a_param_copy_ref(exprasmlist,left.resulttype.def.size,left.location.reference,tempparaloc);
- {$endif i386}
- end
- else
- begin
- case left.location.loc of
- LOC_CONSTANT,
- LOC_REGISTER,
- LOC_CREGISTER,
- LOC_REFERENCE,
- LOC_CREFERENCE :
- begin
- cgsize:=def_cgsize(left.resulttype.def);
- if cgsize in [OS_64,OS_S64] then
- begin
- inc(tcgcallnode(aktcallnode).pushedparasize,8);
- allocate_tempparaloc;
- cg64.a_param64_loc(exprasmlist,left.location,tempparaloc);
- location_release(exprasmlist,left.location);
- end
- else
- begin
- location_release(exprasmlist,left.location);
- allocate_tempparaloc;
- inc(tcgcallnode(aktcallnode).pushedparasize,align(tcgsize2size[tempparaloc.size],tempparaloc.alignment));
- cg.a_param_loc(exprasmlist,left.location,tempparaloc);
- end;
- end;
- {$ifdef SUPPORT_MMX}
- LOC_MMXREGISTER,
- LOC_CMMXREGISTER:
- begin
- location_release(exprasmlist,left.location);
- allocate_tempparaloc;
- inc(tcgcallnode(aktcallnode).pushedparasize,8);
- cg.a_parammm_reg(exprasmlist,left.location.register);
- end;
- {$endif SUPPORT_MMX}
- else
- internalerror(200204241);
- end;
- end;
- end;
- end;
- procedure tcgcallparanode.secondcallparan;
- var
- otlabel,
- oflabel : tasmlabel;
- begin
- if not(assigned(paraitem)) or
- not(assigned(paraitem.paratype.def)) or
- not(assigned(paraitem.parasym) or
- (nf_varargs_para in flags)) then
- internalerror(200304242);
- { push from left to right if specified }
- if assigned(right) and
- (aktcallnode.procdefinition.proccalloption in pushleftright_pocalls) then
- tcallparanode(right).secondcallparan;
- { Skip nothingn nodes which are used after disabling
- a parameter }
- if (left.nodetype<>nothingn) then
- begin
- otlabel:=truelabel;
- oflabel:=falselabel;
- objectlibrary.getlabel(truelabel);
- objectlibrary.getlabel(falselabel);
- secondpass(left);
- { handle varargs first, because paraitem.parasym is not valid }
- if (nf_varargs_para in flags) then
- begin
- if paramanager.push_addr_param(vs_value,left.resulttype.def,
- aktcallnode.procdefinition.proccalloption) then
- push_addr_para
- else
- push_value_para;
- end
- { hidden parameters }
- else if paraitem.is_hidden then
- begin
- { don't push a node that already generated a pointer type
- by address for implicit hidden parameters }
- if (vo_is_funcret in tvarsym(paraitem.parasym).varoptions) or
- (not(left.resulttype.def.deftype in [pointerdef,classrefdef]) and
- paramanager.push_addr_param(paraitem.paratyp,paraitem.paratype.def,
- aktcallnode.procdefinition.proccalloption)) then
- push_addr_para
- else
- push_value_para;
- end
- { filter array of const c styled args }
- else if is_array_of_const(left.resulttype.def) and (nf_cargs in left.flags) then
- begin
- { nothing, everything is already pushed }
- end
- { formal def }
- else if (paraitem.paratype.def.deftype=formaldef) then
- begin
- { allow passing of a constant to a const formaldef }
- if (tvarsym(paraitem.parasym).varspez=vs_const) and
- (left.location.loc=LOC_CONSTANT) then
- location_force_mem(exprasmlist,left.location);
- { allow @var }
- if (left.nodetype=addrn) and
- (not(nf_procvarload in left.flags)) then
- begin
- inc(tcgcallnode(aktcallnode).pushedparasize,POINTER_SIZE);
- location_release(exprasmlist,left.location);
- allocate_tempparaloc;
- cg.a_param_loc(exprasmlist,left.location,tempparaloc);
- end
- else
- push_addr_para;
- end
- { Normal parameter }
- else
- begin
- { don't push a node that already generated a pointer type
- by address for implicit hidden parameters }
- if (not(
- paraitem.is_hidden and
- (left.resulttype.def.deftype in [pointerdef,classrefdef])
- ) and
- paramanager.push_addr_param(paraitem.paratyp,paraitem.paratype.def,
- aktcallnode.procdefinition.proccalloption)) then
- begin
- { Check for passing a constant to var,out parameter }
- if (paraitem.paratyp in [vs_var,vs_out]) and
- (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
- is_self_node(left)) then
- internalerror(200106041);
- end;
- { Force to be in memory }
- if not(left.location.loc in [LOC_CREFERENCE,LOC_REFERENCE]) then
- location_force_mem(exprasmlist,left.location);
- push_addr_para;
- end
- else
- push_value_para;
- end;
- truelabel:=otlabel;
- falselabel:=oflabel;
- { update return location in callnode when this is the function
- result }
- if assigned(paraitem.parasym) and
- (vo_is_funcret in tvarsym(paraitem.parasym).varoptions) then
- location_copy(aktcallnode.location,left.location);
- end;
- { push from right to left }
- if assigned(right) and
- not(aktcallnode.procdefinition.proccalloption in pushleftright_pocalls) then
- tcallparanode(right).secondcallparan;
- end;
- {*****************************************************************************
- TCGCALLNODE
- *****************************************************************************}
- procedure tcgcallnode.extra_interrupt_code;
- begin
- end;
- function tcgcallnode.align_parasize:longint;
- begin
- result:=0;
- end;
- procedure tcgcallnode.pop_parasize(pop_size:longint);
- begin
- end;
- procedure tcgcallnode.handle_return_value;
- var
- cgsize : tcgsize;
- hregister : tregister;
- tempnode: tnode;
- 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 should be setup by the funcret para }
- if location.loc<>LOC_REFERENCE then
- internalerror(200304241);
- end
- else
- { ansi/widestrings must be registered, so we can dispose them }
- if resulttype.def.needs_inittable then
- begin
- { the FUNCTION_RESULT_REG is already allocated }
- cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT_REG);
- if not assigned(funcretnode) then
- begin
- location_reset(location,LOC_CREFERENCE,OS_ADDR);
- location.reference:=refcountedtemp;
- cg.a_load_reg_ref(exprasmlist,OS_ADDR,OS_ADDR,NR_FUNCTION_RESULT_REG,location.reference);
- end
- else
- begin
- hregister := cg.getaddressregister(exprasmlist);
- cg.a_load_reg_reg(exprasmlist,OS_ADDR,OS_ADDR,NR_FUNCTION_RESULT_REG,hregister);
- { in case of a regular funcretnode with ret_in_param, the }
- { original funcretnode isn't touched -> make sure it's }
- { the same here (not sure if it's necessary) }
- tempnode := funcretnode.getcopy;
- tempnode.pass_2;
- location := tempnode.location;
- tempnode.free;
- cg.g_decrrefcount(exprasmlist,resulttype.def,location.reference, false);
- cg.a_load_reg_ref(exprasmlist,OS_ADDR,OS_ADDR,hregister,location.reference);
- cg.ungetregister(exprasmlist,hregister);
- end;
- end
- else
- { we have only to handle the result if it is used }
- if (nf_return_value_used in flags) then
- begin
- if (resulttype.def.deftype=floatdef) then
- begin
- location_reset(location,LOC_FPUREGISTER,def_cgsize(resulttype.def));
- {$ifdef cpufpemu}
- if cs_fp_emulation in aktmoduleswitches then
- location.register:=NR_FUNCTION_RESULT_REG
- else
- {$endif cpufpemu}
- location.register:=NR_FPU_RESULT_REG;
- {$ifdef x86}
- tcgx86(cg).inc_fpu_stack;
- {$else x86}
- cg.ungetregister(exprasmlist,location.register);
- hregister := cg.getfpuregister(exprasmlist,location.size);
- cg.a_loadfpu_reg_reg(exprasmlist,location.size,location.register,hregister);
- location.register := hregister;
- {$endif x86}
- end
- else
- begin
- cgsize:=def_cgsize(resulttype.def);
- if cgsize<>OS_NO then
- begin
- location_reset(location,LOC_REGISTER,cgsize);
- {$ifndef cpu64bit}
- if cgsize in [OS_64,OS_S64] then
- begin
- { Move the function result to free registers, preferably the
- FUNCTION_RESULT_REG/FUNCTION_RESULTHIGH_REG, so no move is necessary.}
- { the FUNCTION_RESULT_LOW_REG/FUNCTION_RESULT_HIGH_REG
- are already allocated }
- cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_LOW_REG);
- location.registerlow:=cg.getintregister(exprasmlist,OS_INT);
- cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,NR_FUNCTION_RESULT64_LOW_REG,location.registerlow);
- cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_HIGH_REG);
- location.registerhigh:=cg.getintregister(exprasmlist,OS_INT);
- cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,NR_FUNCTION_RESULT64_HIGH_REG,location.registerhigh);
- end
- else
- {$endif cpu64bit}
- begin
- {Move the function result to a free register, preferably the
- FUNCTION_RESULT_REG, so no move is necessary.}
- { the FUNCTION_RESULT_REG is already allocated }
- cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT_REG);
- { change register size after the unget because the
- getregister was done for the full register }
- location.register:=cg.getintregister(exprasmlist,cgsize);
- cg.a_load_reg_reg(exprasmlist,cgsize,cgsize,cg.makeregsize(NR_FUNCTION_RESULT_REG,cgsize),location.register);
- end;
- end
- else
- begin
- if resulttype.def.size>0 then
- internalerror(200305131);
- end;
- end;
- end
- else
- begin
- cgsize:=def_cgsize(resulttype.def);
- { an object constructor is a function with pointer result }
- if (procdefinition.proctypeoption=potype_constructor) then
- cgsize:=OS_ADDR;
- if cgsize<>OS_NO then
- {$ifndef cpu64bit}
- if cgsize in [OS_64,OS_S64] then
- begin
- cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_LOW_REG);
- cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT64_HIGH_REG);
- end
- else
- {$endif cpu64bit}
- cg.ungetregister(exprasmlist,NR_FUNCTION_RESULT_REG);
- location_reset(location,LOC_VOID,OS_NO);
- end;
- end;
- procedure tcgcallnode.release_para_temps;
- var
- hp : tnode;
- ppn : tcallparanode;
- begin
- { Release temps from parameters }
- ppn:=tcallparanode(left);
- while assigned(ppn) do
- begin
- if assigned(ppn.left) then
- begin
- { don't release the funcret temp }
- if not(assigned(ppn.paraitem.parasym)) or
- not(vo_is_funcret in tvarsym(ppn.paraitem.parasym).varoptions) then
- location_freetemp(exprasmlist,ppn.left.location);
- { process also all nodes of an array of const }
- if ppn.left.nodetype=arrayconstructorn then
- begin
- if assigned(tarrayconstructornode(ppn.left).left) then
- begin
- hp:=ppn.left;
- while assigned(hp) do
- begin
- location_freetemp(exprasmlist,tarrayconstructornode(hp).left.location);
- hp:=tarrayconstructornode(hp).right;
- end;
- end;
- end;
- end;
- ppn:=tcallparanode(ppn.right);
- end;
- end;
- procedure tcgcallnode.normal_pass_2;
- var
- regs_to_push_fpu,
- regs_to_alloc,
- regs_to_free : Tcpuregisterset;
- oldpushedparasize : longint;
- { adress returned from an I/O-error }
- { help reference pointer }
- href : treference;
- pop_size : longint;
- pvreg,
- vmtreg : tregister;
- oldaktcallnode : tcallnode;
- procedure pushparas;
- var
- ppn : tcgcallparanode;
- begin
- { copy all resources to the allocated registers }
- ppn:=tcgcallparanode(left);
- while assigned(ppn) do
- begin
- case ppn.tempparaloc.loc of
- LOC_REGISTER:
- begin
- paramanager.freeparaloc(exprasmlist,ppn.tempparaloc);
- paramanager.allocparaloc(exprasmlist,ppn.paraitem.paraloc[callerside]);
- {$ifdef sparc}
- case ppn.tempparaloc.size of
- OS_F32 :
- ppn.tempparaloc.size:=OS_32;
- OS_F64 :
- ppn.tempparaloc.size:=OS_64;
- end;
- {$endif sparc}
- {$ifndef cpu64bit}
- if ppn.tempparaloc.size in [OS_64,OS_S64] then
- begin
- cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,ppn.tempparaloc.registerlow,
- ppn.paraitem.paraloc[callerside].registerlow);
- cg.a_load_reg_reg(exprasmlist,OS_32,OS_32,ppn.tempparaloc.registerhigh,
- ppn.paraitem.paraloc[callerside].registerhigh);
- end
- else
- {$endif cpu64bit}
- cg.a_load_reg_reg(exprasmlist,ppn.tempparaloc.size,ppn.tempparaloc.size,
- ppn.tempparaloc.register,ppn.paraitem.paraloc[callerside].register);
- end;
- LOC_FPUREGISTER:
- begin
- paramanager.freeparaloc(exprasmlist,ppn.tempparaloc);
- paramanager.allocparaloc(exprasmlist,ppn.paraitem.paraloc[callerside]);
- cg.a_loadfpu_reg_reg(exprasmlist,ppn.tempparaloc.size,
- ppn.tempparaloc.register,ppn.paraitem.paraloc[callerside].register);
- end;
- LOC_MMREGISTER:
- begin
- {
- paramanager.freeparaloc(exprasmlist,ppn.tempparaloc);
- paramanager.allocparaloc(exprasmlist,ppn.paraitem.paraloc[callerside]);
- paramanager.freeparaloc(exprasmlist,ppn.tempparaloc);
- paramanager.allocparaloc(exprasmlist,ppn.paraitem.paraloc[callerside]);
- cg.a_loadmm_reg_reg(exprasmlist,ppn.tempparaloc.size,
- ppn.tempparaloc.size,ppn.tempparaloc.register,ppn.paraitem.paraloc[callerside].register, shuffle???);
- }
- internalerror(2003102910);
- end;
- end;
- ppn:=tcgcallparanode(ppn.right);
- end;
- end;
- procedure freeparas;
- var
- ppn : tcgcallparanode;
- begin
- { free the resources allocated for the parameters }
- ppn:=tcgcallparanode(left);
- while assigned(ppn) do
- begin
- paramanager.freeparaloc(exprasmlist,ppn.paraitem.paraloc[callerside]);
- ppn:=tcgcallparanode(ppn.right);
- end;
- end;
- begin
- if not assigned(procdefinition) then
- internalerror(200305264);
- { calculate the parameter info for the procdef }
- if not procdefinition.has_paraloc_info then
- begin
- paramanager.create_paraloc_info(procdefinition,callerside);
- procdefinition.has_paraloc_info:=true;
- end;
- { calculate the parameter info for varargs }
- if assigned(varargsparas) then
- paramanager.create_varargs_paraloc_info(procdefinition,varargsparas);
- if resulttype.def.needs_inittable and
- not paramanager.ret_in_param(resulttype.def,procdefinition.proccalloption) and
- not assigned(funcretnode) then
- begin
- tg.gettemptyped(exprasmlist,resulttype.def,tt_persistent,refcountedtemp);
- cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp,false);
- end;
- regs_to_alloc:=paramanager.get_volatile_registers_int(procdefinition.proccalloption);
- regs_to_push_fpu:=paramanager.get_volatile_registers_fpu(procdefinition.proccalloption);
- { Include Function result registers }
- if (not is_void(resulttype.def)) then
- begin
- case procdefinition.funcret_paraloc[callerside].loc of
- LOC_REGISTER,LOC_CREGISTER:
- begin
- {$ifndef cpu64bit}
- if procdefinition.funcret_paraloc[callerside].size in [OS_S64,OS_64] then
- begin
- include(regs_to_alloc,getsupreg(procdefinition.funcret_paraloc[callerside].registerlow));
- include(regs_to_alloc,getsupreg(procdefinition.funcret_paraloc[callerside].registerhigh));
- end
- else
- {$endif cpu64bit}
- include(regs_to_alloc,getsupreg(procdefinition.funcret_paraloc[callerside].register));
- end;
- LOC_FPUREGISTER,LOC_CFPUREGISTER:
- begin
- include(regs_to_push_fpu,getsupreg(procdefinition.funcret_paraloc[callerside].register));
- end;
- LOC_MMREGISTER,LOC_CMMREGISTER:
- begin
- internalerror(2003102911);
- end;
- end;
- end;
- { Initialize for pushing the parameters }
- oldpushedparasize:=pushedparasize;
- pushedparasize:=0;
- { Process parameters, register parameters will be loaded
- in imaginary registers. The actual load to the correct
- register is done just before the call }
- oldaktcallnode:=aktcallnode;
- aktcallnode:=self;
- if assigned(left) then
- tcallparanode(left).secondcallparan;
- aktcallnode:=oldaktcallnode;
- { Align stack if required }
- pop_size:=align_parasize;
- { procedure variable or normal function call ? }
- if (right=nil) then
- begin
- if (po_virtualmethod in procdefinition.procoptions) and
- assigned(methodpointer) then
- begin
- secondpass(methodpointer);
- location_force_reg(exprasmlist,methodpointer.location,OS_ADDR,false);
- { virtual methods require an index }
- if tprocdef(procdefinition).extnumber=-1 then
- internalerror(200304021);
- { VMT should already be loaded in a register }
- if methodpointer.location.register=NR_NO then
- internalerror(200304022);
- { test validity of VMT }
- if not(is_interface(tprocdef(procdefinition)._class)) and
- not(is_cppclass(tprocdef(procdefinition)._class)) then
- cg.g_maybe_testvmt(exprasmlist,methodpointer.location.register,tprocdef(procdefinition)._class);
- end;
- {$warning fixme regvars}
- { rg.saveotherregvars(exprasmlist,regs_to_push_other);}
- if (po_virtualmethod in procdefinition.procoptions) and
- assigned(methodpointer) then
- begin
- vmtreg:=methodpointer.location.register;
- { release self }
- cg.ungetregister(exprasmlist,vmtreg);
- pvreg:=cg.getintregister(exprasmlist,OS_ADDR);
- reference_reset_base(href,vmtreg,
- tprocdef(procdefinition)._class.vmtmethodoffset(tprocdef(procdefinition).extnumber));
- cg.a_load_ref_reg(exprasmlist,OS_ADDR,OS_ADDR,href,pvreg);
- { Load parameters that are in temporary registers in the
- correct parameter register }
- if assigned(left) then
- pushparas;
- { free the resources allocated for the parameters }
- freeparas;
- { Release register containing procvar }
- cg.ungetregister(exprasmlist,pvreg);
- cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_alloc);
- cg.allocexplicitregisters(exprasmlist,R_FPUREGISTER,regs_to_push_fpu);
- cg.allocexplicitregisters(exprasmlist,R_SSEREGISTER,paramanager.get_volatile_registers_mm(procdefinition.proccalloption));
- { call method }
- cg.a_call_reg(exprasmlist,pvreg);
- end
- else
- begin
- { Load parameters that are in temporary registers in the
- correct parameter register }
- if assigned(left) then
- pushparas;
- { free the resources allocated for the parameters }
- freeparas;
- cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_alloc);
- cg.allocexplicitregisters(exprasmlist,R_FPUREGISTER,regs_to_push_fpu);
- cg.allocexplicitregisters(exprasmlist,R_SSEREGISTER,paramanager.get_volatile_registers_mm(procdefinition.proccalloption));
- { Calling interrupt from the same code requires some
- extra code }
- if (po_interrupt in procdefinition.procoptions) then
- extra_interrupt_code;
- cg.a_call_name(exprasmlist,tprocdef(procdefinition).mangledname);
- end;
- end
- else
- { now procedure variable case }
- begin
- secondpass(right);
- location_release(exprasmlist,right.location);
- pvreg:=cg.getintregister(exprasmlist,OS_ADDR);
- { Only load OS_ADDR from the reference }
- if right.location.loc in [LOC_REFERENCE,LOC_CREFERENCE] then
- cg.a_load_ref_reg(exprasmlist,OS_ADDR,OS_ADDR,right.location.reference,pvreg)
- else
- cg.a_load_loc_reg(exprasmlist,OS_ADDR,right.location,pvreg);
- location_freetemp(exprasmlist,right.location);
- { Load parameters that are in temporary registers in the
- correct parameter register }
- if assigned(left) then
- pushparas;
- { free the resources allocated for the parameters }
- freeparas;
- { Release register containing procvar }
- cg.ungetregister(exprasmlist,pvreg);
- cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_alloc);
- cg.allocexplicitregisters(exprasmlist,R_FPUREGISTER,regs_to_push_fpu);
- cg.allocexplicitregisters(exprasmlist,R_MMREGISTER,paramanager.get_volatile_registers_mm(procdefinition.proccalloption));
- { Calling interrupt from the same code requires some
- extra code }
- if (po_interrupt in procdefinition.procoptions) then
- extra_interrupt_code;
- {$warning fixme regvars.}
- { rg.saveotherregvars(exprasmlist,ALL_OTHERREGISTERS);}
- cg.a_call_reg(exprasmlist,pvreg);
- end;
- { Need to remove the parameters from the stack? }
- if (procdefinition.proccalloption in clearstack_pocalls) then
- begin
- { the old pop_size was already included in pushedparasize }
- pop_size:=pushedparasize;
- { for Cdecl functions we don't need to pop the funcret when it
- was pushed by para }
- if paramanager.ret_in_param(procdefinition.rettype.def,procdefinition.proccalloption) then
- dec(pop_size,POINTER_SIZE);
- end;
- { Remove parameters/alignment from the stack }
- if pop_size>0 then
- pop_parasize(pop_size);
- { Reserve space for storing parameters that will be pushed }
- current_procinfo.allocate_push_parasize(pushedparasize);
- { Restore }
- pushedparasize:=oldpushedparasize;
- { Release registers, but not the registers that contain the
- function result }
- regs_to_free:=regs_to_alloc;
- if (not is_void(resulttype.def)) then
- begin
- case procdefinition.funcret_paraloc[callerside].loc of
- LOC_REGISTER,LOC_CREGISTER:
- begin
- {$ifndef cpu64bit}
- if procdefinition.funcret_paraloc[callerside].size in [OS_S64,OS_64] then
- begin
- exclude(regs_to_free,getsupreg(procdefinition.funcret_paraloc[callerside].registerlow));
- exclude(regs_to_free,getsupreg(procdefinition.funcret_paraloc[callerside].registerhigh));
- end
- else
- {$endif cpu64bit}
- exclude(regs_to_free,getsupreg(procdefinition.funcret_paraloc[callerside].register));
- end;
- LOC_FPUREGISTER,LOC_CFPUREGISTER:
- begin
- exclude(regs_to_push_fpu,getsupreg(procdefinition.funcret_paraloc[callerside].register));
- end;
- end;
- end;
- cg.deallocexplicitregisters(exprasmlist,R_MMREGISTER,paramanager.get_volatile_registers_mm(procdefinition.proccalloption));
- cg.deallocexplicitregisters(exprasmlist,R_FPUREGISTER,regs_to_push_fpu);
- cg.deallocexplicitregisters(exprasmlist,R_INTREGISTER,regs_to_free);
- { handle function results }
- if (not is_void(resulttype.def)) then
- handle_return_value
- else
- location_reset(location,LOC_VOID,OS_NO);
- { perhaps i/o check ? }
- if (cs_check_io in aktlocalswitches) and
- (po_iocheck in procdefinition.procoptions) and
- not(po_iocheck in current_procinfo.procdef.procoptions) and
- { no IO check for methods and procedure variables }
- (right=nil) and
- not(po_virtualmethod in procdefinition.procoptions) then
- begin
- cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
- cg.a_call_name(exprasmlist,'FPC_IOCHECK');
- cg.deallocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
- end;
- { release temps of paras }
- release_para_temps;
- { 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 x86}
- { release FPU stack }
- emit_reg(A_FSTP,S_NO,NR_FPU_RESULT_REG);
- {$endif x86}
- end;
- end;
- end;
- procedure tcgcallnode.inlined_pass_2;
- var
- oldaktcallnode : tcallnode;
- oldprocinfo : tprocinfo;
- oldinlining_procedure : boolean;
- inlineentrycode,inlineexitcode : TAAsmoutput;
- usesacc,usesacchi,usesfpu : boolean;
- {$ifdef GDB}
- startlabel,endlabel : tasmlabel;
- pp : pchar;
- mangled_length : longint;
- {$endif GDB}
- begin
- if not(assigned(procdefinition) and (procdefinition.deftype=procdef)) then
- internalerror(200305262);
- oldinlining_procedure:=inlining_procedure;
- oldprocinfo:=current_procinfo;
- { we're inlining a procedure }
- inlining_procedure:=true;
- { calculate registers to pass the parameters }
- paramanager.create_inline_paraloc_info(procdefinition);
- { create temp procinfo }
- current_procinfo:=cprocinfo.create(nil);
- current_procinfo.procdef:=tprocdef(procdefinition);
- { Add inling start }
- exprasmList.concat(Tai_Marker.Create(InlineStart));
- {$ifdef extdebug}
- exprasmList.concat(tai_comment.Create(strpnew('Start of inlined proc')));
- {$endif extdebug}
- { Allocate parameters and locals }
- gen_alloc_inline_parast(exprasmlist,tparasymtable(current_procinfo.procdef.parast));
- if current_procinfo.procdef.localst.symtabletype=localsymtable then
- gen_alloc_localst(exprasmlist,tlocalsymtable(current_procinfo.procdef.localst));
- {$ifdef GDB}
- if (cs_debuginfo in aktmoduleswitches) then
- begin
- objectlibrary.getaddrlabel(startlabel);
- objectlibrary.getaddrlabel(endlabel);
- cg.a_label(exprasmlist,startlabel);
- { Here we must include the para and local symtable info }
- procdefinition.concatstabto(withdebuglist);
- mangled_length:=length(oldprocinfo.procdef.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),oldprocinfo.procdef.mangledname);
- end;
- withdebugList.concat(Tai_stabn.Create(strnew(pp)));
- end;
- {$endif GDB}
- { if we allocate the temp. location for ansi- or widestrings }
- { already here, we avoid later a push/pop }
- if resulttype.def.needs_inittable and
- not paramanager.ret_in_param(resulttype.def,procdefinition.proccalloption) then
- begin
- tg.gettemptyped(exprasmlist,resulttype.def,tt_persistent,refcountedtemp);
- cg.g_decrrefcount(exprasmlist,resulttype.def,refcountedtemp,false);
- end;
- { Push parameters }
- oldaktcallnode:=aktcallnode;
- aktcallnode:=self;
- if assigned(left) then
- tcallparanode(left).secondcallparan;
- aktcallnode:=oldaktcallnode;
- { takes care of local data initialization }
- inlineentrycode:=TAAsmoutput.Create;
- inlineexitcode:=TAAsmoutput.Create;
- gen_load_para_value(inlineentrycode);
- gen_initialize_code(inlineentrycode,true);
- if po_assembler in current_procinfo.procdef.procoptions then
- inlineentrycode.insert(Tai_marker.Create(asmblockstart));
- exprasmList.concatlist(inlineentrycode);
- { process the inline code }
- secondpass(inlinecode);
- gen_finalize_code(inlineexitcode,true);
- gen_load_return_value(inlineexitcode,usesacc,usesacchi,usesfpu);
- if po_assembler in current_procinfo.procdef.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));
- { handle function results }
- if (not is_void(resulttype.def)) then
- handle_return_value
- else
- location_reset(location,LOC_VOID,OS_NO);
- { perhaps i/o check ? }
- if (cs_check_io in aktlocalswitches) and
- (po_iocheck in procdefinition.procoptions) and
- not(po_iocheck in current_procinfo.procdef.procoptions) and
- { no IO check for methods and procedure variables }
- (right=nil) and
- not(po_virtualmethod in procdefinition.procoptions) then
- begin
- cg.allocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
- cg.a_call_name(exprasmlist,'FPC_IOCHECK');
- cg.deallocexplicitregisters(exprasmlist,R_INTREGISTER,paramanager.get_volatile_registers_int(pocall_default));
- end;
- { release temps of paras }
- release_para_temps;
- { if return value is not used }
- if (not is_void(resulttype.def)) and
- (not(nf_return_value_used in flags)) 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 x86}
- { release FPU stack }
- emit_reg(A_FSTP,S_NO,NR_FPU_RESULT_REG);
- {$endif x86}
- end;
- end;
- { Release parameters and locals }
- gen_free_parast(exprasmlist,tparasymtable(current_procinfo.procdef.parast));
- if current_procinfo.procdef.localst.symtabletype=localsymtable then
- gen_free_localst(exprasmlist,tlocalsymtable(current_procinfo.procdef.localst));
- { release procinfo }
- current_procinfo.free;
- current_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),oldprocinfo.procdef.mangledname);
- end;
- withdebugList.concat(Tai_stabn.Create(strnew(pp)));
- freemem(pp,mangled_length+50);
- end;
- {$endif GDB}
- { restore }
- current_procinfo:=oldprocinfo;
- inlining_procedure:=oldinlining_procedure;
- end;
- procedure tcgcallnode.pass_2;
- begin
- if assigned(inlinecode) then
- inlined_pass_2
- else
- normal_pass_2;
- end;
- begin
- ccallparanode:=tcgcallparanode;
- ccallnode:=tcgcallnode;
- end.
- {
- $Log$
- Revision 1.136 2003-11-04 15:35:13 peter
- * fix for referencecounted temps
- Revision 1.135 2003/10/30 17:12:49 peter
- * fixed rangecheck error
- Revision 1.134 2003/10/29 21:24:14 jonas
- + support for fpu temp parameters
- + saving/restoring of fpu register before/after a procedure call
- Revision 1.133 2003/10/20 19:28:17 peter
- * fixed inlining float parameters for i386
- Revision 1.132 2003/10/17 14:38:32 peter
- * 64k registers supported
- * fixed some memory leaks
- Revision 1.131 2003/10/17 01:22:08 florian
- * compilation of the powerpc compiler fixed
- Revision 1.130 2003/10/11 16:06:42 florian
- * fixed some MMX<->SSE
- * started to fix ppc, needs an overhaul
- + stabs info improve for spilling, not sure if it works correctly/completly
- - MMX_SUPPORT removed from Makefile.fpc
- Revision 1.129 2003/10/10 17:48:13 peter
- * old trgobj moved to x86/rgcpu and renamed to trgx86fpu
- * tregisteralloctor renamed to trgobj
- * removed rgobj from a lot of units
- * moved location_* and reference_* to cgobj
- * first things for mmx register allocation
- Revision 1.128 2003/10/10 09:21:53 marco
- * typo fix from Wiktor
- Revision 1.127 2003/10/09 21:31:37 daniel
- * Register allocator splitted, ans abstract now
- Revision 1.126 2003/10/07 15:17:07 peter
- * inline supported again, LOC_REFERENCEs are used to pass the
- parameters
- * inlineparasymtable,inlinelocalsymtable removed
- * exitlabel inserting fixed
- Revision 1.125 2003/10/05 21:21:52 peter
- * c style array of const generates callparanodes
- * varargs paraloc fixes
- Revision 1.124 2003/10/03 22:00:33 peter
- * parameter alignment fixes
- Revision 1.123 2003/10/01 20:34:48 peter
- * procinfo unit contains tprocinfo
- * cginfo renamed to cgbase
- * moved cgmessage to verbose
- * fixed ppc and sparc compiles
- Revision 1.122 2003/09/30 21:02:37 peter
- * updates for inlining
- Revision 1.121 2003/09/30 19:55:19 peter
- * remove abt reg for vmtreg
- Revision 1.120 2003/09/29 20:58:55 peter
- * optimized releasing of registers
- Revision 1.119 2003/09/28 17:55:03 peter
- * parent framepointer changed to hidden parameter
- * tloadparentfpnode added
- Revision 1.118 2003/09/28 13:54:43 peter
- * removed a_call_ref
- Revision 1.117 2003/09/25 21:28:00 peter
- * parameter fixes
- Revision 1.116 2003/09/23 17:56:05 peter
- * locals and paras are allocated in the code generation
- * tvarsym.localloc contains the location of para/local when
- generating code for the current procedure
- Revision 1.115 2003/09/16 16:17:01 peter
- * varspez in calls to push_addr_param
- Revision 1.114 2003/09/14 19:17:39 peter
- * don't use a_call_ref because it can use a parameter register
- as temp
- Revision 1.113 2003/09/11 11:54:59 florian
- * improved arm code generation
- * move some protected and private field around
- * the temp. register for register parameters/arguments are now released
- before the move to the parameter register is done. This improves
- the code in a lot of cases.
- Revision 1.112 2003/09/10 08:31:47 marco
- * Patch from Peter for paraloc
- Revision 1.111 2003/09/07 22:09:35 peter
- * preparations for different default calling conventions
- * various RA fixes
- Revision 1.110 2003/09/04 15:39:58 peter
- * released useparatemp
- Revision 1.109 2003/09/03 15:55:00 peter
- * NEWRA branch merged
- Revision 1.108.2.4 2003/09/01 21:02:55 peter
- * sparc updates for new tregister
- Revision 1.108.2.3 2003/08/31 21:07:44 daniel
- * callparatemp ripped
- Revision 1.108.2.2 2003/08/29 17:28:59 peter
- * next batch of updates
- Revision 1.108.2.1 2003/08/27 20:23:55 peter
- * remove old ra code
- Revision 1.108 2003/08/21 22:14:16 olle
- - removed parameter from fpc_iocheck
- Revision 1.107 2003/08/17 16:59:20 jonas
- * fixed regvars so they work with newra (at least for ppc)
- * fixed some volatile register bugs
- + -dnotranslation option for -dnewra, which causes the registers not to
- be translated from virtual to normal registers. Requires support in
- the assembler writer as well, which is only implemented in aggas/
- agppcgas currently
- Revision 1.106 2003/08/16 18:56:40 marco
- * fix from Jonas.
- Revision 1.105 2003/08/11 21:18:20 peter
- * start of sparc support for newra
- Revision 1.104 2003/08/11 14:22:06 mazen
- - dupplicated code removed
- Revision 1.103 2003/07/23 11:01:14 jonas
- * several rg.allocexplicitregistersint/rg.deallocexplicitregistersint
- pairs round calls to helpers
- Revision 1.102 2003/07/21 13:51:50 jonas
- * fixed 64bit int results with -dnewra (you can't free both registers and
- then allocate two new ones, because then the registers could be reversed
- afterwards -> you get something like "movl %eax, %edx; movl %edx,%eax")
- Revision 1.101 2003/07/08 21:24:59 peter
- * sparc fixes
- Revision 1.100 2003/07/06 21:50:33 jonas
- * fixed ppc compilation problems and changed VOLATILE_REGISTERS for x86
- so that it doesn't include ebp and esp anymore
- Revision 1.99 2003/07/06 17:58:22 peter
- * framepointer fixes for sparc
- * parent framepointer code more generic
- Revision 1.98 2003/07/06 15:31:20 daniel
- * Fixed register allocator. *Lots* of fixes.
- Revision 1.97 2003/07/05 20:21:26 jonas
- * create_paraloc_info() is now called separately for the caller and
- callee info
- * fixed ppc cycle
- Revision 1.96 2003/07/02 22:18:04 peter
- * paraloc splitted in paraloc[callerside],calleeparaloc
- * sparc calling convention updates
- Revision 1.95 2003/06/17 16:34:44 jonas
- * lots of newra fixes (need getfuncretparaloc implementation for i386)!
- * renamed all_intregisters to paramanager.get_volatile_registers_int(pocall_default) and made it
- processor dependent
- Revision 1.94 2003/06/15 16:52:02 jonas
- * release function result registers if the functino result isn't used
- * don't allocate function result register with -dnewra if there is none
- * some optimizations for non-x86 processor (don't save any registers
- before a call)
- Revision 1.93 2003/06/13 21:19:30 peter
- * current_procdef removed, use current_procinfo.procdef instead
- Revision 1.92 2003/06/12 21:10:50 peter
- * newra fixes
- Revision 1.91 2003/06/12 18:38:45 jonas
- * deallocate parameter registers in time for newra
- * for non-i386, procvars and methodpointers always have to be processed
- in advance, whether or not newra is defined
- Revision 1.90 2003/06/09 14:54:26 jonas
- * (de)allocation of registers for parameters is now performed properly
- (and checked on the ppc)
- - removed obsolete allocation of all parameter registers at the start
- of a procedure (and deallocation at the end)
- Revision 1.89 2003/06/09 12:23:29 peter
- * init/final of procedure data splitted from genentrycode
- * use asmnode getposition to insert final at the correct position
- als for the implicit try...finally
- Revision 1.88 2003/06/08 20:01:53 jonas
- * optimized assignments with on the right side a function that returns
- an ansi- or widestring
- Revision 1.87 2003/06/08 18:21:47 jonas
- * fixed weird error in the copyleft statement :)
- Revision 1.86 2003/06/07 18:57:04 jonas
- + added freeintparaloc
- * ppc get/freeintparaloc now check whether the parameter regs are
- properly allocated/deallocated (and get an extra list para)
- * ppc a_call_* now internalerrors if pi_do_call is not yet set
- * fixed lot of missing pi_do_call's
- Revision 1.85 2003/06/04 06:43:36 jonas
- * fixed double secondpassing of procvar loads
- Revision 1.84 2003/06/03 21:11:09 peter
- * cg.a_load_* get a from and to size specifier
- * makeregsize only accepts newregister
- * i386 uses generic tcgnotnode,tcgunaryminus
- Revision 1.83 2003/06/03 20:27:02 daniel
- * Restored original methodpointer code for non newra case
- Revision 1.82 2003/06/03 13:01:59 daniel
- * Register allocator finished
- Revision 1.81 2003/06/01 21:38:06 peter
- * getregisterfpu size parameter added
- * op_const_reg size parameter added
- * sparc updates
- Revision 1.80 2003/05/31 15:05:28 peter
- * FUNCTION_RESULT64_LOW/HIGH_REG added for int64 results
- Revision 1.79 2003/05/31 00:59:44 peter
- * typo in FUNCTION_RESULT_REG
- Revision 1.78 2003/05/30 23:57:08 peter
- * more sparc cleanup
- * accumulator removed, splitted in function_return_reg (called) and
- function_result_reg (caller)
- Revision 1.77 2003/05/29 10:05:40 jonas
- * free callparatemps created for call-by-reference parameters
- Revision 1.76 2003/05/28 23:58:18 jonas
- * added missing initialization of rg.usedintin,byproc
- * ppc now also saves/restores used fpu registers
- * ncgcal doesn't add used registers to usedby/inproc anymore, except for
- i386
- Revision 1.75 2003/05/26 21:17:17 peter
- * procinlinenode removed
- * aktexit2label removed, fast exit removed
- + tcallnode.inlined_pass_2 added
- Revision 1.74 2003/05/25 11:34:17 peter
- * methodpointer self pushing fixed
- Revision 1.73 2003/05/25 08:59:16 peter
- * inline fixes
- Revision 1.72 2003/05/24 13:36:54 jonas
- * save fpu results in a normal fpu register on non-x86 processors
- Revision 1.71 2003/05/23 19:35:50 jonas
- - undid previous commit, it was wrong
- Revision 1.70 2003/05/23 19:11:58 jonas
- * fixed tests for whether a certain int register is unused
- Revision 1.69 2003/05/23 18:01:56 jonas
- * fixed ppc compiler
- Revision 1.68 2003/05/23 14:27:35 peter
- * remove some unit dependencies
- * current_procinfo changes to store more info
- Revision 1.67 2003/05/17 13:30:08 jonas
- * changed tt_persistant to tt_persistent :)
- * tempcreatenode now doesn't accept a boolean anymore for persistent
- temps, but a ttemptype, so you can also create ansistring temps etc
- Revision 1.66 2003/05/16 14:33:31 peter
- * regvar fixes
- Revision 1.65 2003/05/15 18:58:53 peter
- * removed selfpointer_offset, vmtpointer_offset
- * tvarsym.adjusted_address
- * address in localsymtable is now in the real direction
- * removed some obsolete globals
- Revision 1.64 2003/05/14 19:36:54 jonas
- * patch from Peter for int64 function results
- Revision 1.63 2003/05/13 19:14:41 peter
- * failn removed
- * inherited result code check moven to pexpr
- Revision 1.62 2003/05/13 15:18:18 peter
- * generate code for procvar first before pushing parameters. Made
- the already existing code for powerpc available for all platforms
- Revision 1.61 2003/05/12 18:17:55 jonas
- * moved fpc_check_object call earlier for the ppc, so it can't destroy
- already-loaded parameter registers
- Revision 1.60 2003/05/11 21:48:38 jonas
- * fixed procvar bug on the ppc (load procvar before loading para's,
- because the procvar may otherwise destroy the already loaded paras)
- Revision 1.59 2003/05/09 17:47:02 peter
- * self moved to hidden parameter
- * removed hdisposen,hnewn,selfn
- Revision 1.58 2003/05/05 14:53:16 peter
- * vs_hidden replaced by is_hidden boolean
- Revision 1.57 2003/04/30 20:53:32 florian
- * error when address of an abstract method is taken
- * fixed some x86-64 problems
- * merged some more x86-64 and i386 code
- Revision 1.56 2003/04/29 07:28:52 michael
- + Patch from peter to fix wrong pushing of ansistring function results in open array
- Revision 1.55 2003/04/27 11:21:33 peter
- * aktprocdef renamed to current_procinfo.procdef
- * procinfo renamed to current_procinfo
- * procinfo will now be stored in current_module so it can be
- cleaned up properly
- * gen_main_procsym changed to create_main_proc and release_main_proc
- to also generate a tprocinfo structure
- * fixed unit implicit initfinal
- Revision 1.54 2003/04/27 07:29:50 peter
- * current_procinfo.procdef cleanup, current_procinfo.procdef is now always nil when parsing
- a new procdef declaration
- * aktprocsym removed
- * lexlevel removed, use symtable.symtablelevel instead
- * implicit init/final code uses the normal genentry/genexit
- * funcret state checking updated for new funcret handling
- Revision 1.53 2003/04/25 20:59:33 peter
- * removed funcretn,funcretsym, function result is now in varsym
- and aliases for result and function name are added using absolutesym
- * vs_hidden parameter for funcret passed in parameter
- * vs_hidden fixes
- * writenode changed to printnode and released from extdebug
- * -vp option added to generate a tree.log with the nodetree
- * nicer printnode for statements, callnode
- Revision 1.52 2003/04/25 08:25:26 daniel
- * Ifdefs around a lot of calls to cleartempgen
- * Fixed registers that are allocated but not freed in several nodes
- * Tweak to register allocator to cause less spills
- * 8-bit registers now interfere with esi,edi and ebp
- Compiler can now compile rtl successfully when using new register
- allocator
- Revision 1.51 2003/04/22 23:50:22 peter
- * firstpass uses expectloc
- * checks if there are differences between the expectloc and
- location.loc from secondpass in EXTDEBUG
- Revision 1.50 2003/04/22 14:33:38 peter
- * removed some notes/hints
- Revision 1.49 2003/04/22 13:47:08 peter
- * fixed C style array of const
- * fixed C array passing
- * fixed left to right with high parameters
- Revision 1.48 2003/04/22 10:09:34 daniel
- + Implemented the actual register allocator
- + Scratch registers unavailable when new register allocator used
- + maybe_save/maybe_restore unavailable when new register allocator used
- Revision 1.47 2003/04/22 09:49:44 peter
- * do not load self when calling a non-inherited class constructor
- Revision 1.46 2003/04/21 20:03:32 peter
- * forgot to copy vmtrefaddr to selfrefaddr when self=vmt
- Revision 1.45 2003/04/21 13:53:16 jonas
- - removed copying of all paras when secondpassing a callnode (this used
- to be necessary for inlinign support, but currently the whole inlined
- procedure is already copied in advance). Note that the compiler crashes
- when compiling ucomplex with -dTEST_INLINE (also after fixing the
- syntax errors), but that was also the case before this change.
- Revision 1.44 2003/04/10 17:57:52 peter
- * vs_hidden released
- Revision 1.43 2003/04/06 21:11:23 olle
- * changed newasmsymbol to newasmsymboldata for data symbols
- Revision 1.42 2003/04/04 15:38:56 peter
- * moved generic code from n386cal to ncgcal, i386 now also
- uses the generic ncgcal
- Revision 1.41 2003/03/28 19:16:56 peter
- * generic constructor working for i386
- * remove fixed self register
- * esi added as address register for i386
- Revision 1.40 2003/03/06 11:35:50 daniel
- * Fixed internalerror 7843 issue
- Revision 1.39 2003/02/19 22:00:14 daniel
- * Code generator converted to new register notation
- - Horribily outdated todo.txt removed
- Revision 1.38 2003/02/15 22:17:38 carl
- * bugfix of FPU emulation code
- Revision 1.37 2003/02/12 22:10:07 carl
- * load_frame_pointer is now generic
- * change fpu emulation routine names
- Revision 1.36 2003/01/30 21:46:57 peter
- * self fixes for static methods (merged)
- Revision 1.35 2003/01/22 20:45:15 mazen
- * making math code in RTL compiling.
- *NB : This does NOT mean necessary that it will generate correct code!
- Revision 1.34 2003/01/17 12:03:45 daniel
- * Optalign conditional code adapted to record Tregister
- Revision 1.33 2003/01/08 18:43:56 daniel
- * Tregister changed into a record
- 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 FUNCTION_RETURN_REG 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
- }
|