mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-06-21 23:58:31 +02:00
550 lines
21 KiB
ObjectPascal
550 lines
21 KiB
ObjectPascal
{
|
|
$Id$
|
|
Copyright (c) 1998-2000 by Florian Klaempfl and Jonas Maebe
|
|
|
|
This unit handles register variable allocation
|
|
|
|
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 regvars;
|
|
|
|
{$i defines.inc}
|
|
|
|
interface
|
|
|
|
uses
|
|
aasm,
|
|
node,
|
|
symsym,
|
|
cpubase, tgcpu;
|
|
|
|
procedure assign_regvars(p: tnode);
|
|
procedure load_regvars(asml: TAAsmoutput; p: tnode);
|
|
procedure cleanup_regvars(asml: TAAsmoutput);
|
|
procedure store_regvar(asml: TAAsmoutput; reg: tregister);
|
|
procedure load_regvar(asml: TAAsmoutput; vsym: tvarsym);
|
|
procedure load_regvar_reg(asml: TAAsmoutput; reg: tregister);
|
|
procedure load_all_regvars(asml: TAAsmoutput);
|
|
|
|
procedure sync_regvars(list1, list2: taasmoutput; const regvarsloaded1,
|
|
regvarsloaded2: regvar_booleanarray);
|
|
|
|
implementation
|
|
|
|
uses
|
|
globtype,systems,comphook,
|
|
cutils,cclasses,verbose,globals,
|
|
symconst,symbase,symtype,symdef,types,
|
|
cgbase,cpuasm,cgobj,cgcpu,cga;
|
|
|
|
var
|
|
parasym : boolean;
|
|
|
|
procedure searchregvars(p : tnamedindexitem);
|
|
var
|
|
i,j,k : longint;
|
|
begin
|
|
if (tsym(p).typ=varsym) and (vo_regable in tvarsym(p).varoptions) then
|
|
begin
|
|
j:=tvarsym(p).refs;
|
|
{ parameter get a less value }
|
|
if parasym then
|
|
begin
|
|
if cs_littlesize in aktglobalswitches then
|
|
dec(j,1)
|
|
else
|
|
dec(j,100);
|
|
end;
|
|
{ walk through all momentary register variables }
|
|
for i:=1 to maxvarregs do
|
|
begin
|
|
with pregvarinfo(aktprocdef.regvarinfo)^ do
|
|
if ((regvars[i]=nil) or (j>regvars_refs[i])) and (j>0) then
|
|
begin
|
|
for k:=maxvarregs-1 downto i do
|
|
begin
|
|
regvars[k+1]:=regvars[k];
|
|
regvars_para[k+1]:=regvars_para[k];
|
|
regvars_refs[k+1]:=regvars_refs[k];
|
|
end;
|
|
{ calc the new refs
|
|
tvarsym(p).refs:=j; }
|
|
regvars[i]:=tvarsym(p);
|
|
regvars_para[i]:=parasym;
|
|
regvars_refs[i]:=j;
|
|
break;
|
|
end;
|
|
end;
|
|
end;
|
|
end;
|
|
|
|
|
|
procedure searchfpuregvars(p : tnamedindexitem);
|
|
var
|
|
i,j,k : longint;
|
|
begin
|
|
if (tsym(p).typ=varsym) and (vo_fpuregable in tvarsym(p).varoptions) then
|
|
begin
|
|
j:=tvarsym(p).refs;
|
|
{ parameter get a less value }
|
|
if parasym then
|
|
begin
|
|
if cs_littlesize in aktglobalswitches then
|
|
dec(j,1)
|
|
else
|
|
dec(j,100);
|
|
end;
|
|
{ walk through all momentary register variables }
|
|
for i:=1 to maxfpuvarregs do
|
|
begin
|
|
with pregvarinfo(aktprocdef.regvarinfo)^ do
|
|
if ((fpuregvars[i]=nil) or (j>fpuregvars_refs[i])) and (j>0) then
|
|
begin
|
|
for k:=maxfpuvarregs-1 downto i do
|
|
begin
|
|
fpuregvars[k+1]:=fpuregvars[k];
|
|
fpuregvars_para[k+1]:=fpuregvars_para[k];
|
|
fpuregvars_refs[k+1]:=fpuregvars_refs[k];
|
|
end;
|
|
{ calc the new refs
|
|
tvarsym(p).refs:=j; }
|
|
fpuregvars[i]:=tvarsym(p);
|
|
fpuregvars_para[i]:=parasym;
|
|
fpuregvars_refs[i]:=j;
|
|
break;
|
|
end;
|
|
end;
|
|
end;
|
|
end;
|
|
|
|
procedure assign_regvars(p: tnode);
|
|
{ register variables }
|
|
var
|
|
regvarinfo: pregvarinfo;
|
|
i: longint;
|
|
begin
|
|
{ max. optimizations }
|
|
{ only if no asm is used }
|
|
{ and no try statement }
|
|
if (cs_regalloc in aktglobalswitches) and
|
|
((procinfo^.flags and (pi_uses_asm or pi_uses_exceptions))=0) then
|
|
begin
|
|
new(regvarinfo);
|
|
fillchar(regvarinfo^,sizeof(regvarinfo^),0);
|
|
aktprocdef.regvarinfo := regvarinfo;
|
|
if (p.registers32<4) then
|
|
begin
|
|
parasym:=false;
|
|
symtablestack.foreach_static({$ifdef FPCPROCVAR}@{$endif}searchregvars);
|
|
{ copy parameter into a register ? }
|
|
parasym:=true;
|
|
symtablestack.next.foreach_static({$ifdef FPCPROCVAR}@{$endif}searchregvars);
|
|
{ hold needed registers free }
|
|
for i:=maxvarregs downto maxvarregs-p.registers32+1 do
|
|
begin
|
|
regvarinfo^.regvars[i]:=nil;
|
|
regvarinfo^.regvars_para[i] := false;
|
|
end;
|
|
{ now assign register }
|
|
for i:=1 to maxvarregs-p.registers32 do
|
|
begin
|
|
if assigned(regvarinfo^.regvars[i]) and
|
|
(reg_pushes[varregs[i]] < regvarinfo^.regvars[i].refs) then
|
|
begin
|
|
{ register is no longer available for }
|
|
{ expressions }
|
|
{ search the register which is the most }
|
|
{ unused }
|
|
usableregs:=usableregs-[varregs[i]];
|
|
is_reg_var[varregs[i]]:=true;
|
|
dec(c_usableregs);
|
|
|
|
{ possibly no 32 bit register are needed }
|
|
{ call by reference/const ? }
|
|
if (regvarinfo^.regvars[i].varspez in [vs_var,vs_out]) or
|
|
((regvarinfo^.regvars[i].varspez=vs_const) and
|
|
push_addr_param(regvarinfo^.regvars[i].vartype.def)) then
|
|
begin
|
|
regvarinfo^.regvars[i].reg:=varregs[i];
|
|
end
|
|
else
|
|
{$ifdef i386}
|
|
if (regvarinfo^.regvars[i].vartype.def.deftype in [orddef,enumdef]) and
|
|
(torddef(regvarinfo^.regvars[i].vartype.def).size=1) then
|
|
begin
|
|
regvarinfo^.regvars[i].reg:=reg32toreg8(varregs[i]);
|
|
end
|
|
else
|
|
if (regvarinfo^.regvars[i].vartype.def.deftype in [orddef,enumdef]) and
|
|
(torddef(regvarinfo^.regvars[i].vartype.def).size=2) then
|
|
begin
|
|
regvarinfo^.regvars[i].reg:=reg32toreg16(varregs[i]);
|
|
end
|
|
else
|
|
{$endif i386}
|
|
begin
|
|
regvarinfo^.regvars[i].reg:=varregs[i];
|
|
end;
|
|
if regvarinfo^.regvars_para[i] then
|
|
unused:=unused - [regvarinfo^.regvars[i].reg];
|
|
{ procedure uses this register }
|
|
{$ifdef i386}
|
|
usedinproc:=usedinproc or ($80 shr byte(varregs[i]));
|
|
{$else i386}
|
|
usedinproc:=usedinproc + [varregs[i]];
|
|
{$endif i386}
|
|
end
|
|
else
|
|
begin
|
|
regvarinfo^.regvars[i] := nil;
|
|
regvarinfo^.regvars_para[i] := false;
|
|
end;
|
|
end;
|
|
end;
|
|
if ((p.registersfpu+1)<maxfpuvarregs) then
|
|
begin
|
|
parasym:=false;
|
|
symtablestack.foreach_static({$ifdef FPCPROCVAR}@{$endif}searchfpuregvars);
|
|
{$ifdef dummy}
|
|
{ copy parameter into a register ? }
|
|
parasym:=true;
|
|
symtablestack.next.foreach_static({$ifdef FPCPROCVAR}@{$endif}searchregvars);
|
|
{$endif dummy}
|
|
{ hold needed registers free }
|
|
|
|
{ in non leaf procedures we must be very careful }
|
|
{ with assigning registers }
|
|
if aktmaxfpuregisters=-1 then
|
|
begin
|
|
if (procinfo^.flags and pi_do_call)<>0 then
|
|
begin
|
|
for i:=maxfpuvarregs downto 2 do
|
|
regvarinfo^.fpuregvars[i]:=nil;
|
|
end
|
|
else
|
|
begin
|
|
for i:=maxfpuvarregs downto maxfpuvarregs-p.registersfpu do
|
|
regvarinfo^.fpuregvars[i]:=nil;
|
|
end;
|
|
end
|
|
else
|
|
begin
|
|
for i:=aktmaxfpuregisters+1 to maxfpuvarregs do
|
|
regvarinfo^.fpuregvars[i]:=nil;
|
|
end;
|
|
{ now assign register }
|
|
for i:=1 to maxfpuvarregs do
|
|
begin
|
|
if assigned(regvarinfo^.fpuregvars[i]) then
|
|
begin
|
|
{$ifdef i386}
|
|
{ reserve place on the FPU stack }
|
|
regvarinfo^.fpuregvars[i].reg:=correct_fpuregister(R_ST0,i-1);
|
|
{$else i386}
|
|
regvarinfo^.fpuregvars[i].reg:=fpuvarregs[i];
|
|
{$endif i386}
|
|
end;
|
|
end;
|
|
end;
|
|
end;
|
|
end;
|
|
|
|
|
|
procedure store_regvar(asml: TAAsmoutput; reg: tregister);
|
|
var
|
|
i: longint;
|
|
hr: treference;
|
|
regvarinfo: pregvarinfo;
|
|
vsym: tvarsym;
|
|
begin
|
|
regvarinfo := pregvarinfo(aktprocdef.regvarinfo);
|
|
if not assigned(regvarinfo) then
|
|
exit;
|
|
for i := 1 to maxvarregs do
|
|
if assigned(regvarinfo^.regvars[i]) and
|
|
(makereg32(regvarinfo^.regvars[i].reg) = reg) then
|
|
begin
|
|
if regvar_loaded[makereg32(reg)] then
|
|
begin
|
|
vsym := tvarsym(regvarinfo^.regvars[i]);
|
|
{ we only have to store the regvar back to memory if it's }
|
|
{ possible that it's been modified (JM) }
|
|
if not(vsym.varspez in [vs_const,vs_var,vs_out]) then
|
|
begin
|
|
reset_reference(hr);
|
|
if vsym.owner.symtabletype in [inlinelocalsymtable,localsymtable] then
|
|
hr.offset:=-vsym.address+vsym.owner.address_fixup
|
|
else hr.offset:=vsym.address+vsym.owner.address_fixup;
|
|
hr.base:=procinfo^.framepointer;
|
|
cg.a_load_reg_ref(asml,def_cgsize(vsym.vartype.def),vsym.reg,hr);
|
|
{ asml.concat(Taicpu.op_reg_ref(A_MOV,regsize(vsym.reg),vsym.reg,hr)); }
|
|
end;
|
|
asml.concat(Tairegalloc.dealloc(makereg32(reg)));
|
|
regvar_loaded[makereg32(reg)] := false;
|
|
end;
|
|
break;
|
|
end;
|
|
end;
|
|
|
|
procedure load_regvar(asml: TAAsmoutput; vsym: tvarsym);
|
|
var
|
|
hr: treference;
|
|
opsize: tcgsize;
|
|
begin
|
|
if not regvar_loaded[makereg32(vsym.reg)] then
|
|
begin
|
|
asml.concat(Tairegalloc.alloc(makereg32(vsym.reg)));
|
|
reset_reference(hr);
|
|
if vsym.owner.symtabletype in [inlinelocalsymtable,localsymtable] then
|
|
hr.offset:=-vsym.address+vsym.owner.address_fixup
|
|
else hr.offset:=vsym.address+vsym.owner.address_fixup;
|
|
hr.base:=procinfo^.framepointer;
|
|
if (vsym.varspez in [vs_var,vs_out]) or
|
|
((vsym.varspez=vs_const) and
|
|
push_addr_param(vsym.vartype.def)) then
|
|
{FIXME!!! Needs to be OS_SIZE_OF_POINTER (JM) }
|
|
opsize := OS_32
|
|
else
|
|
opsize := def_cgsize(vsym.vartype.def);
|
|
cg.a_load_ref_reg(asml,opsize,hr,makereg32(vsym.reg));
|
|
{ asml.concat(Taicpu.op_ref_reg(opcode,opsize,hr,makereg32(vsym.reg))); }
|
|
regvar_loaded[makereg32(vsym.reg)] := true;
|
|
end;
|
|
end;
|
|
|
|
procedure load_regvar_reg(asml: TAAsmoutput; reg: tregister);
|
|
var
|
|
i: longint;
|
|
regvarinfo: pregvarinfo;
|
|
begin
|
|
regvarinfo := pregvarinfo(aktprocdef.regvarinfo);
|
|
if not assigned(regvarinfo) then
|
|
exit;
|
|
reg := makereg32(reg);
|
|
for i := 1 to maxvarregs do
|
|
if assigned(regvarinfo^.regvars[i]) and
|
|
(makereg32(regvarinfo^.regvars[i].reg) = reg) then
|
|
load_regvar(asml,tvarsym(regvarinfo^.regvars[i]))
|
|
end;
|
|
|
|
procedure load_all_regvars(asml: TAAsmoutput);
|
|
var
|
|
i: longint;
|
|
regvarinfo: pregvarinfo;
|
|
begin
|
|
regvarinfo := pregvarinfo(aktprocdef.regvarinfo);
|
|
if not assigned(regvarinfo) then
|
|
exit;
|
|
for i := 1 to maxvarregs do
|
|
if assigned(regvarinfo^.regvars[i]) and
|
|
(makereg32(regvarinfo^.regvars[i].reg) in [R_EAX,R_EBX,R_ECX,R_EDX]) then
|
|
load_regvar(asml,tvarsym(regvarinfo^.regvars[i]))
|
|
end;
|
|
|
|
|
|
procedure load_regvars(asml: TAAsmoutput; p: tnode);
|
|
var
|
|
i: longint;
|
|
regvarinfo: pregvarinfo;
|
|
begin
|
|
if (cs_regalloc in aktglobalswitches) and
|
|
((procinfo^.flags and (pi_uses_asm or pi_uses_exceptions))=0) then
|
|
begin
|
|
regvarinfo := pregvarinfo(aktprocdef.regvarinfo);
|
|
{ can happen when inlining assembler procedures (JM) }
|
|
if not assigned(regvarinfo) then
|
|
exit;
|
|
for i:=1 to maxvarregs do
|
|
begin
|
|
if assigned(regvarinfo^.regvars[i]) then
|
|
begin
|
|
if cs_asm_source in aktglobalswitches then
|
|
asml.insert(Tai_asm_comment.Create(strpnew(regvarinfo^.regvars[i].name+
|
|
' with weight '+tostr(regvarinfo^.regvars[i].refs)+' assigned to register '+
|
|
reg2str(regvarinfo^.regvars[i].reg))));
|
|
if (status.verbosity and v_debug)=v_debug then
|
|
Message3(cg_d_register_weight,reg2str(regvarinfo^.regvars[i].reg),
|
|
tostr(regvarinfo^.regvars[i].refs),regvarinfo^.regvars[i].name);
|
|
end;
|
|
end;
|
|
for i:=1 to maxfpuvarregs do
|
|
begin
|
|
if assigned(regvarinfo^.fpuregvars[i]) then
|
|
begin
|
|
{$ifdef i386}
|
|
{ reserve place on the FPU stack }
|
|
regvarinfo^.fpuregvars[i].reg:=correct_fpuregister(R_ST0,i-1);
|
|
asml.concat(Taicpu.op_none(A_FLDZ,S_NO));
|
|
{$endif i386}
|
|
end;
|
|
end;
|
|
{$ifdef i386}
|
|
if assigned(p) then
|
|
if cs_asm_source in aktglobalswitches then
|
|
asml.insert(Tai_asm_comment.Create(strpnew(tostr(p.registersfpu)+
|
|
' registers on FPU stack used by temp. expressions')));
|
|
{$endif i386}
|
|
for i:=1 to maxfpuvarregs do
|
|
begin
|
|
if assigned(regvarinfo^.fpuregvars[i]) then
|
|
begin
|
|
if cs_asm_source in aktglobalswitches then
|
|
asml.insert(Tai_asm_comment.Create(strpnew(regvarinfo^.fpuregvars[i].name+
|
|
' with weight '+tostr(regvarinfo^.fpuregvars[i].refs)+' assigned to register '+
|
|
reg2str(regvarinfo^.fpuregvars[i].reg))));
|
|
if (status.verbosity and v_debug)=v_debug then
|
|
Message3(cg_d_register_weight,reg2str(regvarinfo^.fpuregvars[i].reg),
|
|
tostr(regvarinfo^.fpuregvars[i].refs),regvarinfo^.fpuregvars[i].name);
|
|
end;
|
|
end;
|
|
if cs_asm_source in aktglobalswitches then
|
|
asml.insert(Tai_asm_comment.Create(strpnew('Register variable assignment:')));
|
|
end;
|
|
end;
|
|
|
|
|
|
procedure sync_regvars(list1, list2: taasmoutput; const regvarsloaded1,
|
|
regvarsloaded2: regvar_booleanarray);
|
|
var
|
|
counter: tregister;
|
|
begin
|
|
for counter := low(regvar_loaded) to high(regvar_loaded) do
|
|
begin
|
|
regvar_loaded[counter] := regvarsloaded1[counter] and
|
|
regvarsloaded2[counter];
|
|
if regvarsloaded1[counter] xor regvarsloaded2[counter] then
|
|
if regvarsloaded1[counter] then
|
|
load_regvar_reg(list2,counter)
|
|
else
|
|
load_regvar_reg(list1,counter);
|
|
end;
|
|
end;
|
|
|
|
|
|
procedure cleanup_regvars(asml: TAAsmoutput);
|
|
var
|
|
i: longint;
|
|
begin
|
|
{ can happen when inlining assembler procedures (JM) }
|
|
if not assigned(aktprocdef.regvarinfo) then
|
|
exit;
|
|
if (cs_regalloc in aktglobalswitches) and
|
|
((procinfo^.flags and (pi_uses_asm or pi_uses_exceptions))=0) then
|
|
with pregvarinfo(aktprocdef.regvarinfo)^ do
|
|
begin
|
|
{$ifdef i386}
|
|
for i:=1 to maxfpuvarregs do
|
|
if assigned(fpuregvars[i]) then
|
|
{ ... and clean it up }
|
|
asml.concat(Taicpu.op_reg(A_FSTP,S_NO,R_ST0));
|
|
{$endif i386}
|
|
for i := 1 to maxvarregs do
|
|
if assigned(regvars[i]) and
|
|
(regvar_loaded[makereg32(regvars[i].reg)]) then
|
|
asml.concat(Tairegalloc.dealloc(makereg32(regvars[i].reg)));
|
|
end;
|
|
end;
|
|
|
|
end.
|
|
|
|
{
|
|
$Log$
|
|
Revision 1.21 2001-12-03 12:17:02 jonas
|
|
* forgot to commit yesterday :( (less unnecessary loading of regvars with
|
|
if-statements)
|
|
|
|
Revision 1.20 2001/11/05 16:49:32 jonas
|
|
* constant regvars (addresses of var/out para's and const para's) aren't
|
|
saved to memory anymore when their register will be destroyed
|
|
* unit has been made mostly processor independent
|
|
|
|
Revision 1.19 2001/11/02 22:58:06 peter
|
|
* procsym definition rewrite
|
|
|
|
Revision 1.18 2001/08/26 13:36:49 florian
|
|
* some cg reorganisation
|
|
* some PPC updates
|
|
|
|
Revision 1.17 2001/04/21 12:03:12 peter
|
|
* m68k updates merged from fixes branch
|
|
|
|
Revision 1.16 2001/04/13 01:22:13 peter
|
|
* symtable change to classes
|
|
* range check generation and errors fixed, make cycle DEBUG=1 works
|
|
* memory leaks fixed
|
|
|
|
Revision 1.15 2000/12/25 00:07:28 peter
|
|
+ new tlinkedlist class (merge of old tstringqueue,tcontainer and
|
|
tlinkedlist objects)
|
|
|
|
Revision 1.14 2000/12/05 11:44:32 jonas
|
|
+ new integer regvar handling, should be much more efficient
|
|
|
|
Revision 1.13 2000/11/29 00:30:39 florian
|
|
* unused units removed from uses clause
|
|
* some changes for widestrings
|
|
|
|
Revision 1.12 2000/11/04 14:25:21 florian
|
|
+ merged Attila's changes for interfaces, not tested yet
|
|
|
|
Revision 1.11 2000/10/31 22:02:51 peter
|
|
* symtable splitted, no real code changes
|
|
|
|
Revision 1.10 2000/10/14 10:14:52 peter
|
|
* moehrendorf oct 2000 rewrite
|
|
|
|
Revision 1.9 2000/10/01 19:48:25 peter
|
|
* lot of compile updates for cg11
|
|
|
|
Revision 1.8 2000/09/30 16:08:45 peter
|
|
* more cg11 updates
|
|
|
|
Revision 1.7 2000/09/30 13:08:16 jonas
|
|
* regvars are now zeroed at the start of their life if they contain an 8
|
|
or 16bit var/parameter, because the full 32bits are used if they are
|
|
necessary for a btrl instruction
|
|
|
|
Revision 1.6 2000/09/24 15:06:27 peter
|
|
* use defines.inc
|
|
|
|
Revision 1.5 2000/08/27 16:11:52 peter
|
|
* moved some util functions from globals,cobjects to cutils
|
|
* splitted files into finput,fmodule
|
|
|
|
Revision 1.4 2000/08/17 11:07:51 jonas
|
|
* fixed crash when inlining assembler procedures with -Or
|
|
|
|
Revision 1.3 2000/08/04 05:52:00 jonas
|
|
* correct version (I also had a regvars.pp locally, which was used
|
|
instead of the regvars.pas on CVS, so I didn't notice the errors :( )
|
|
|
|
Revision 1.2 2000/08/03 14:36:47 jonas
|
|
* fixed inserting of allocated register for regvars (only those for
|
|
parameters were done, and sometimes even the wrong ones)
|
|
|
|
Revision 1.1 2000/08/03 13:17:25 jonas
|
|
+ allow regvars to be used inside inlined procs, which required the
|
|
following changes:
|
|
+ load regvars in genentrycode/free them in genexitcode (cgai386)
|
|
* moved all regvar related code to new regvars unit
|
|
+ added pregvarinfo type to hcodegen
|
|
+ added regvarinfo field to tprocinfo (symdef/symdefh)
|
|
* deallocate the regvars of the caller in secondprocinline before
|
|
inlining the called procedure and reallocate them afterwards
|
|
|
|
}
|