paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-04-15 16:19:28 +02:00
Code Issues Packages Projects Releases Wiki Activity

* make sure live_start and live_end are correctly updated while

Browse Source 
generating the initialisation and entry code

git-svn-id: trunk@2185 -
This commit is contained in:
Jonas Maebe 2006-01-05 17:46:16 +00:00
parent 24c3ec1095
commit b769a968e3
3 changed files with 37 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/cgobj.pas
View File

@ -68,6 +68,8 @@ unit cgobj;
procedure init_register_allocators;virtual;
{# Clean up the register allocators needed for the codegenerator.}
procedure done_register_allocators;virtual;
{# Set whether live_start or live_end should be updated when allocating registers, needed when e.g. generating initcode after the rest of the code. }
procedure set_regalloc_extend_backwards(b: boolean);
{$ifdef flowgraph}
procedure init_flowgraph;
@ -691,6 +693,18 @@ implementation
end;
procedure tcg.set_regalloc_extend_backwards(b: boolean);
var
rt : tregistertype;
begin
for rt:=low(rg) to high(rg) do
begin
if assigned(rg[rt]) then
rg[rt].extend_live_range_backwards := b;;
end;
end;
procedure tcg.do_register_allocation(list:Taasmoutput;headertai:tai);
var
rt : tregistertype;

9
compiler/psub.pas
View File

@ -805,6 +805,9 @@ implementation
position and switches }
aktfilepos:=entrypos;
aktlocalswitches:=entryswitches;
cg.set_regalloc_extend_backwards(true);
gen_entry_code(templist);
aktproccode.insertlistafter(entry_asmnode.currenttai,templist);
gen_initialize_code(templist);
@ -814,6 +817,9 @@ implementation
and switches }
aktfilepos:=exitpos;
aktlocalswitches:=exitswitches;
cg.set_regalloc_extend_backwards(false);
gen_finalize_code(templist);
{ the finalcode must be concated if there was no position available,
using insertlistafter will result in an insert at the start
@ -876,10 +882,13 @@ implementation
end;
{ load got if necessary }
cg.set_regalloc_extend_backwards(true);
aktfilepos:=entrypos;
gen_got_load(templist);
aktproccode.insertlistafter(headertai,templist);
cg.set_regalloc_extend_backwards(false);
{ The procedure body is finished, we can now
allocate the registers }
cg.do_register_allocation(aktproccode,headertai);

17
compiler/rgobj.pas
View File

@ -122,6 +122,7 @@ unit rgobj;
--------------------------------------------------------------------}
trgobj=class
extend_live_range_backwards: boolean;
preserved_by_proc : tcpuregisterset;
used_in_proc : tcpuregisterset;
@ -358,6 +359,7 @@ unit rgobj;
{ empty super register sets can cause very strange problems }
if high(Ausable)=0 then
internalerror(200210181);
extend_live_range_backwards := false;
first_imaginary:=Afirst_imaginary;
maxreg:=Afirst_imaginary;
regtype:=Aregtype;
@ -674,9 +676,18 @@ unit rgobj;
if supreg>=first_imaginary then
with reginfo[supreg] do
begin
if not assigned(live_start) then
live_start:=instr;
live_end:=instr;
if not(extend_live_range_backwards) then
begin
if not assigned(live_start) then
live_start:=instr;
live_end:=instr;
end
else
begin
live_start := instr;
if not assigned(live_end) then
live_end := instr;
end
end;
end;