mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-11-08 02:39:37 +01:00
7fb55bf4e4
* register allocation is now handled by a class and is mostly processor
independent (+rgobj.pas and i386/rgcpu.pas)
* temp allocation is now handled by a class (+tgobj.pas, -i386\tgcpu.pas)
* some small improvements and fixes to the optimizer
* some register allocation fixes
* some fpuvaroffset fixes in the unary minus node
* push/popusedregisters is now called rg.save/restoreusedregisters and
(for i386) uses temps instead of push/pop's when using -Op3 (that code is
also better optimizable)
* fixed and optimized register saving/restoring for new/dispose nodes
* LOC_FPU locations now also require their "register" field to be set to
R_ST, not R_ST0 (the latter is used for LOC_CFPUREGISTER locations only)
- list field removed of the tnode class because it's not used currently
and can cause hard-to-find bugs
243 lines
9.1 KiB
ObjectPascal
243 lines
9.1 KiB
ObjectPascal
{
|
|
$Id$
|
|
Copyright (c) 1998-2000 by Florian Klaempfl
|
|
|
|
Helper routines for all code generators
|
|
|
|
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 ncgutil;
|
|
|
|
{$i defines.inc}
|
|
|
|
interface
|
|
|
|
uses
|
|
node;
|
|
|
|
type
|
|
tloadregvars = (lr_dont_load_regvars, lr_load_regvars);
|
|
|
|
{$ifdef TEMPS_NOT_PUSH}
|
|
function maybe_savetotemp(needed : byte;p : tnode;isint64 : boolean) : boolean;
|
|
procedure restorefromtemp(p : tnode;isint64 : boolean);
|
|
{$endif TEMPS_NOT_PUSH}
|
|
|
|
procedure maketojumpbool(p : tnode; loadregvars: tloadregvars);
|
|
|
|
implementation
|
|
|
|
uses
|
|
globals,globtype,systems,verbose,
|
|
types,
|
|
aasm,cgbase,regvars,
|
|
ncon,
|
|
cpubase,cpuinfo,tgobj,cgobj,cgcpu,cg64f32,rgobj;
|
|
|
|
|
|
{$ifdef TEMPS_NOT_PUSH}
|
|
function maybe_savetotemp(needed : byte;p : tnode;isint64 : boolean) : boolean;
|
|
var
|
|
href : treference;
|
|
scratchreg : tregister;
|
|
saved : boolean;
|
|
begin
|
|
if needed>usablereg32 then
|
|
begin
|
|
if (p.location.loc=LOC_REGISTER) then
|
|
begin
|
|
if isint64 then
|
|
begin
|
|
tg.gettempofsizereference(8,href);
|
|
p.temp_offset:=href.offset;
|
|
{ do we have a 64bit processor? }
|
|
if sizeof(aword) < 8 then
|
|
begin
|
|
tcg64f32(cg).a_load64_reg_ref(exprasmlist,
|
|
p.location.registerlow,p.location.registerhigh,
|
|
href);
|
|
rg.ungetregister(exprasmlist,p.location.registerhigh);
|
|
rg.ungetregister(exprasmlist,p.location.registerlow);
|
|
end
|
|
else
|
|
begin
|
|
cg.a_load_reg_ref(exprasmlist,OS_64,
|
|
p.location.register,href);
|
|
rg.ungetregister(exprasmlist,p.location.register);
|
|
end;
|
|
end
|
|
else
|
|
begin
|
|
tg.gettempofsizereference(4,href);
|
|
p.temp_offset:=href.offset;
|
|
cg.a_load_reg_ref(exprasmlist,OS_32,
|
|
p.location.register,href);
|
|
rg.ungetregister(exprasmlist,p.location.register);
|
|
end;
|
|
saved:=true;
|
|
end
|
|
else if (p.location.loc in [LOC_MEM,LOC_REFERENCE]) and
|
|
((p.location.reference.base<>R_NO) or
|
|
(p.location.reference.index<>R_NO)
|
|
) then
|
|
begin
|
|
scratchreg := cg.get_scratch_reg(exprasmlist);
|
|
cg.a_loadaddress_ref_reg(exprasmlist,
|
|
p.location.reference,scratchreg);
|
|
del_reference(p.location.reference);
|
|
tg.gettempofsizereference(target_info.size_of_pointer,href);
|
|
cg.a_load_reg_ref(exprasmlist,OS_ADDR,scratchreg,href);
|
|
cg.free_scratch_reg(exprasmlist,scratchreg);
|
|
p.temp_offset:=href.offset;
|
|
saved:=true;
|
|
end
|
|
else saved:=false;
|
|
end
|
|
else saved:=false;
|
|
maybe_savetotemp:=saved;
|
|
end;
|
|
|
|
|
|
procedure restorefromtemp(p : tnode;isint64 : boolean);
|
|
var
|
|
hregister : tregister;
|
|
href : treference;
|
|
|
|
begin
|
|
hregister:=rg.getregisterint(exprasmlist);
|
|
reset_reference(href);
|
|
href.base:=procinfo^.framepointer;
|
|
href.offset:=p.temp_offset;
|
|
if (p.location.loc in [LOC_REGISTER,LOC_CREGISTER]) then
|
|
begin
|
|
p.location.registerlow:=hregister;
|
|
if isint64 then
|
|
begin
|
|
if sizeof(aword) < 8 then
|
|
begin
|
|
p.location.registerhigh:=rg.getregisterint(exprasmlist);
|
|
tcg64f32(cg).a_load64_ref_reg(exprasmlist,
|
|
href,p.location.registerlow,p.location.registerhigh);
|
|
end
|
|
else
|
|
cg.a_load_ref_reg(exprasmlist,OS_64,href,
|
|
p.location.register);
|
|
end
|
|
else
|
|
cg.a_load_ref_reg(exprasmlist,OS_32,href,p.location.register);
|
|
end
|
|
else
|
|
begin
|
|
reset_reference(p.location.reference);
|
|
p.location.reference.base:=hregister;
|
|
{ Why is this done? We can never be sure about p^.left
|
|
because otherwise secondload fails PM
|
|
set_location(p^.left^.location,p^.location);}
|
|
end;
|
|
tg.ungetiftemp(href);
|
|
end;
|
|
{$endif TEMPS_NOT_PUSH}
|
|
|
|
|
|
procedure maketojumpbool(p : tnode; loadregvars: tloadregvars);
|
|
{
|
|
produces jumps to true respectively false labels using boolean expressions
|
|
|
|
depending on whether the loading of regvars is currently being
|
|
synchronized manually (such as in an if-node) or automatically (most of
|
|
the other cases where this procedure is called), loadregvars can be
|
|
"lr_load_regvars" or "lr_dont_load_regvars"
|
|
}
|
|
var
|
|
opsize : tcgsize;
|
|
storepos : tfileposinfo;
|
|
begin
|
|
if nf_error in p.flags then
|
|
exit;
|
|
storepos:=aktfilepos;
|
|
aktfilepos:=p.fileinfo;
|
|
if is_boolean(p.resulttype.def) then
|
|
begin
|
|
if loadregvars = lr_load_regvars then
|
|
load_all_regvars(exprasmlist);
|
|
if is_constboolnode(p) then
|
|
begin
|
|
if tordconstnode(p).value<>0 then
|
|
cg.a_jmp_cond(exprasmlist,OC_NONE,truelabel)
|
|
else
|
|
cg.a_jmp_cond(exprasmlist,OC_NONE,falselabel)
|
|
end
|
|
else
|
|
begin
|
|
opsize:=def_cgsize(p.resulttype.def);
|
|
case p.location.loc of
|
|
LOC_CREGISTER,LOC_REGISTER,LOC_MEM,LOC_REFERENCE :
|
|
begin
|
|
if (p.location.loc = LOC_CREGISTER) then
|
|
load_regvar_reg(exprasmlist,p.location.register);
|
|
cg.a_cmp_const_loc_label(exprasmlist,opsize,OC_NE,
|
|
0,p.location,truelabel);
|
|
{ !!! should happen right after cmp (JM) }
|
|
rg.del_location(exprasmlist,p.location);
|
|
cg.a_jmp_cond(exprasmlist,OC_NONE,falselabel);
|
|
end;
|
|
LOC_FLAGS :
|
|
begin
|
|
cg.a_jmp_flags(exprasmlist,p.location.resflags,
|
|
truelabel);
|
|
cg.a_jmp_cond(exprasmlist,OC_None,falselabel);
|
|
end;
|
|
end;
|
|
end;
|
|
end
|
|
else
|
|
internalerror(200112305);
|
|
aktfilepos:=storepos;
|
|
end;
|
|
|
|
end.
|
|
|
|
{
|
|
$Log$
|
|
Revision 1.3 2002-03-31 20:26:34 jonas
|
|
+ a_loadfpu_* and a_loadmm_* methods in tcg
|
|
* register allocation is now handled by a class and is mostly processor
|
|
independent (+rgobj.pas and i386/rgcpu.pas)
|
|
* temp allocation is now handled by a class (+tgobj.pas, -i386\tgcpu.pas)
|
|
* some small improvements and fixes to the optimizer
|
|
* some register allocation fixes
|
|
* some fpuvaroffset fixes in the unary minus node
|
|
* push/popusedregisters is now called rg.save/restoreusedregisters and
|
|
(for i386) uses temps instead of push/pop's when using -Op3 (that code is
|
|
also better optimizable)
|
|
* fixed and optimized register saving/restoring for new/dispose nodes
|
|
* LOC_FPU locations now also require their "register" field to be set to
|
|
R_ST, not R_ST0 (the latter is used for LOC_CFPUREGISTER locations only)
|
|
- list field removed of the tnode class because it's not used currently
|
|
and can cause hard-to-find bugs
|
|
|
|
Revision 1.2 2002/03/04 19:10:11 peter
|
|
* removed compiler warnings
|
|
|
|
Revision 1.1 2001/12/30 17:24:48 jonas
|
|
* range checking is now processor independent (part in cgobj,
|
|
part in cg64f32) and should work correctly again (it needed
|
|
some changes after the changes of the low and high of
|
|
tordef's to int64)
|
|
* maketojumpbool() is now processor independent (in ncgutil)
|
|
* getregister32 is now called getregisterint
|
|
} |