paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-12 15:49:37 +02:00
Code Issues Packages Projects Releases Wiki Activity

* completed framework for register usage tracking

Browse Source 
git-svn-id: trunk@20891 -
This commit is contained in:
florian 2012-04-15 20:29:35 +00:00
parent 225cc1c1e0
commit 3c33bf4e6d
1 changed files with 47 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
compiler/aoptobj.pas
View File

@ -233,6 +233,7 @@ Unit AoptObj;
{ ********** General optimizer object, used to derive others from ********* }
{ ************************************************************************* }
TAllUsedRegs = array[TRegisterType] of TUsedRegs;
{ TAOptObj }
TAOptObj = class(TAoptBaseCpu)
@ -249,7 +250,7 @@ Unit AoptObj;
DFA: TAOptDFA;
UsedRegs: array[TRegisterType] of TUsedRegs;
UsedRegs: TAllUsedRegs;
{ _AsmL is the PAasmOutpout list that has to be optimized, }
{ _BlockStart and _BlockEnd the start and the end of the block }
@ -263,6 +264,9 @@ Unit AoptObj;
Procedure ClearUsedRegs;
Procedure UpdateUsedRegs(p : Tai);
procedure UpdateUsedRegs(var Regs: TAllUsedRegs; p: Tai);
Function CopyUsedRegs(var dest : TAllUsedRegs) : boolean;
Procedure ReleaseUsedRegs(const regs : TAllUsedRegs);
{ returns true if the label L is found between hp and the next }
{ instruction }
@ -271,7 +275,6 @@ Unit AoptObj;
{ inserts new_one between prev and foll in AsmL }
Procedure InsertLLItem(prev, foll, new_one: TLinkedListItem);
{ If P is a Tai object releveant to the optimizer, P is returned
If it is not relevant tot he optimizer, the first object after P
that is relevant is returned }
@ -285,6 +288,9 @@ Unit AoptObj;
instruction }
Function FindRegAlloc(Reg: TRegister; StartPai: Tai): Boolean;
{ reg used after p? }
function RegUsedAfterInstruction(reg: Tregister; p: tai; var AllUsedRegs: TAllUsedRegs): Boolean;
{ traces sucessive jumps to their final destination and sets it, e.g.
je l1 je l3
<code> <code>
@ -590,6 +596,7 @@ Unit AoptObj;
*)
End;
Procedure TPaiProp.DestroyAllRegs(var InstrSinceLastMod: TInstrSinceLastMod);
{Var Counter: TRegister;}
Begin {initializes/desrtoys all registers}
@ -810,6 +817,33 @@ Unit AoptObj;
end;
procedure TAOptObj.UpdateUsedRegs(var Regs : TAllUsedRegs;p : Tai);
var
i : TRegisterType;
begin
for i:=low(TRegisterType) to high(TRegisterType) do
Regs[i].Update(p);
end;
function TAOptObj.CopyUsedRegs(var dest: TAllUsedRegs): boolean;
var
i : TRegisterType;
begin
Result:=true;
for i:=low(TRegisterType) to high(TRegisterType) do
dest[i]:=TUsedRegs.Create_Regset(i,UsedRegs[i].GetUsedRegs);
end;
procedure TAOptObj.ReleaseUsedRegs(const regs: TAllUsedRegs);
var
i : TRegisterType;
begin
for i:=low(TRegisterType) to high(TRegisterType) do
regs[i].Free;
end;
Function TAOptObj.FindLabel(L: TasmLabel; Var hp: Tai): Boolean;
Var TempP: Tai;
Begin
@ -919,6 +953,17 @@ Unit AoptObj;
End;
function TAOptObj.RegUsedAfterInstruction(reg: Tregister; p: tai;
var AllUsedRegs: TAllUsedRegs): Boolean;
begin
AllUsedRegs[getregtype(reg)].Update(tai(p.Next));
RegUsedAfterInstruction :=
(AllUsedRegs[getregtype(reg)].IsUsed(reg)); { optimization and
(not(getNextInstruction(p,p)) or
not(regLoadedWithNewValue(supreg,false,p))); }
end;
function SkipLabels(hp: tai; var hp2: tai): boolean;
{skips all labels and returns the next "real" instruction}
begin