mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-12 22:29:57 +02:00
7e6eeebdf0
in the peephole optimizer by slightly modifying some function headers based
on their intended purpose, resolves #36353
* Non-virtual methods and class methods that don't need to access any fields from
the current object are now static methods, thus removing the hidden "Self"
parameter and reducing overhead. This includes a large number of
frequently-used functions such as SkipEntryExitMarker and SuperRegistersEqual.
* GetNextInstruction, GetLastInstruction, SkipEntryExitMarker and
SkipLabels have had their 'var' parameter changed to an 'out' parameter because
they shouldn't depend on its input value. This will cause the compiler to throw warnings
if you start using the value without initialising it first, and may open up optimisation
opportunities in the future (e.g. storing written values in a temporary register
and only writing it to the actual variable when the routine exits).
git-svn-id: trunk@43595 -
96 lines
2.9 KiB
ObjectPascal
96 lines
2.9 KiB
ObjectPascal
{
|
|
Copyright (c) 1998-2016 by Florian Klaempfl and Jonas Maebe
|
|
|
|
This unit contains helper procedures for the assembler peephole optimizer
|
|
|
|
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 aoptutils;
|
|
|
|
{$i fpcdefs.inc}
|
|
|
|
interface
|
|
|
|
uses
|
|
cpubase,aasmtai,aasmcpu;
|
|
|
|
function MatchOpType(const p : taicpu;type0: toptype) : Boolean;
|
|
function MatchOpType(const p : taicpu;type0,type1 : toptype) : Boolean;
|
|
{$if max_operands>2}
|
|
function MatchOpType(const p : taicpu; type0,type1,type2 : toptype) : Boolean;
|
|
{$endif max_operands>2}
|
|
|
|
{ skips all labels and returns the next "real" instruction }
|
|
function SkipLabels(hp: tai; out hp2: tai): boolean;
|
|
|
|
{ sets hp2 to hp and returns True if hp is not nil }
|
|
function SetAndTest(const hp: tai; out hp2: tai): Boolean;
|
|
|
|
implementation
|
|
|
|
uses
|
|
aasmbase;
|
|
|
|
|
|
function MatchOpType(const p : taicpu; type0: toptype) : Boolean; inline;
|
|
begin
|
|
Result:=(p.ops=1) and (p.oper[0]^.typ=type0);
|
|
end;
|
|
|
|
|
|
function MatchOpType(const p : taicpu; type0,type1 : toptype) : Boolean; inline;
|
|
begin
|
|
Result:=(p.ops=2) and (p.oper[0]^.typ=type0) and (p.oper[1]^.typ=type1);
|
|
end;
|
|
|
|
|
|
{$if max_operands>2}
|
|
function MatchOpType(const p : taicpu; type0,type1,type2 : toptype) : Boolean; inline;
|
|
begin
|
|
Result:=(p.ops=3) and (p.oper[0]^.typ=type0) and (p.oper[1]^.typ=type1) and (p.oper[2]^.typ=type2);
|
|
end;
|
|
{$endif max_operands>2}
|
|
|
|
|
|
{ skips all labels and returns the next "real" instruction }
|
|
function SkipLabels(hp: tai; out hp2: tai): boolean;
|
|
begin
|
|
while assigned(hp.next) and
|
|
(tai(hp.next).typ in SkipInstr + [ait_label,ait_align]) Do
|
|
hp := tai(hp.next);
|
|
if assigned(hp.next) then
|
|
begin
|
|
SkipLabels := True;
|
|
hp2 := tai(hp.next)
|
|
end
|
|
else
|
|
begin
|
|
hp2 := hp;
|
|
SkipLabels := False
|
|
end;
|
|
end;
|
|
|
|
{ sets hp2 to hp and returns True if hp is not nil }
|
|
function SetAndTest(const hp: tai; out hp2: tai): Boolean; inline;
|
|
begin
|
|
hp2 := hp;
|
|
Result := Assigned(hp);
|
|
end;
|
|
|
|
end.
|