paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-08-13 12:19:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

* shift folding

Browse Source 
git-svn-id: trunk@6312 -
This commit is contained in:
florian 2007-02-02 23:12:08 +00:00
parent d1f8bcc26f
commit d09295b686
1 changed files with 49 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

51
compiler/arm/aoptcpu.pas
View File

@ -28,18 +28,19 @@ Unit aoptcpu;
Interface Interface
uses cpubase, aopt, aoptcpub; uses cpubase, aasmtai, aopt, aoptcpub;
Type Type
TCpuAsmOptimizer = class(TAsmOptimizer) TCpuAsmOptimizer = class(TAsmOptimizer)
{ uses the same constructor as TAopObj } { uses the same constructor as TAopObj }
function PeepHoleOptPass1Cpu(var p: tai): boolean; override;
procedure PeepHoleOptPass2;override; procedure PeepHoleOptPass2;override;
End; End;
Implementation Implementation
uses uses
aasmbase,aasmtai,aasmcpu; aasmbase,aasmcpu;
function CanBeCond(p : tai) : boolean; function CanBeCond(p : tai) : boolean;
begin begin
@ -47,6 +48,52 @@ Implementation
end; end;
function TCpuAsmOptimizer.PeepHoleOptPass1Cpu(var p: tai): boolean;
var
next1, next2: tai;
l1, l2, shlcount: longint;
begin
result := false;
case p.typ of
ait_instruction:
begin
case taicpu(p).opcode of
A_MOV:
begin
{ fold
mov reg1,reg0, shift imm1
mov reg1,reg1, shift imm2
to
mov reg1,reg0, shift imm1+imm2
}
if (taicpu(p).ops=3) and
(taicpu(p).oper[0]^.typ = top_reg) and
(taicpu(p).oper[2]^.typ = top_shifterop) and
(taicpu(p).oper[2]^.shifterop^.rs = NR_NO) and
getnextinstruction(p,next1) and
(next1.typ = ait_instruction) and
(taicpu(next1).opcode = A_MOV) and
(taicpu(next1).ops=3) and
(taicpu(next1).oper[0]^.typ = top_reg) and
(taicpu(p).oper[0]^.reg=taicpu(next1).oper[0]^.reg) and
(taicpu(next1).oper[1]^.typ = top_reg) and
(taicpu(p).oper[0]^.reg=taicpu(next1).oper[1]^.reg) and
(taicpu(next1).oper[2]^.typ = top_shifterop) and
(taicpu(next1).oper[2]^.shifterop^.rs = NR_NO) and
(taicpu(p).oper[2]^.shifterop^.shiftmode=taicpu(next1).oper[2]^.shifterop^.shiftmode) then
begin
inc(taicpu(p).oper[2]^.shifterop^.shiftimm,taicpu(next1).oper[2]^.shifterop^.shiftimm);
asml.remove(next1);
next1.free;
result := true;
end;
end;
end;
end;
end;
end;
{ instructions modifying the CPSR can be only the last instruction } { instructions modifying the CPSR can be only the last instruction }
function MustBeLast(p : tai) : boolean; function MustBeLast(p : tai) : boolean;
begin begin