paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-09-05 21:50:32 +02:00
Code Issues Packages Projects Releases Wiki Activity

+ SPARC: two more peephole optimizations

Browse Source 
git-svn-id: trunk@26795 -
This commit is contained in:
sergei 2014-02-16 12:29:31 +00:00
parent cbefdcf887
commit da910d654c
1 changed files with 35 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
compiler/sparc/aoptcpu.pas
View File

@ -261,6 +261,41 @@ unit aoptcpu;
TryRemoveMov(p,A_MOV);
end;
A_SRL:
begin
{ happens with a_load_const_ref(...,0), where %g0 is used instead of 0 }
{ TODO: override a_load_reg_ref_unaligned and don't generate such shifts }
if (taicpu(p).oper[2]^.typ=top_reg) and
(taicpu(p).oper[2]^.reg=NR_G0) then
begin
next:=tai(p.next);
asml.remove(p);
p.free;
p:=next;
end
{ kill zero extension after right shift (e.g. happens with "high(dword)")}
else if (taicpu(p).oper[1]^.typ=top_const) and
(taicpu(p).oper[1]^.val>=16) and
GetNextInstruction(p,next) and
MatchInstruction(next,A_SLL) and
GetNextInstruction(next,next2) and
MatchInstruction(next2,A_SRL) and
IsSameReg(taicpu(p),taicpu(next)) and
IsSameReg(taicpu(p),taicpu(next2)) and
(taicpu(next).oper[1]^.typ=top_const) and
(taicpu(next2).oper[1]^.typ=top_const) and
(taicpu(next).oper[1]^.val=taicpu(next2).oper[1]^.val) and
(taicpu(next).oper[1]^.val=16) then
begin
asml.remove(next);
asml.remove(next2);
next.free;
next2.free;
end
else
TryRemoveMov(p,A_MOV);
end;
A_AND:
begin
{ Remove sign extension after 'and' if bit 7 of const operand is clear }
@ -312,7 +347,6 @@ unit aoptcpu;
A_ADD,A_ADDcc,A_ADDX,
A_SUB,A_SUBcc,A_SUBX,
A_SRA,
A_SRL,
A_ANDcc,A_OR,A_ORcc,A_XOR,A_XORcc:
TryRemoveMov(p,A_MOV);