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

+ assembler optimization MovxMov2Movx

Browse Source 
git-svn-id: trunk@45057 -
This commit is contained in:
florian 2020-04-24 20:56:56 +00:00
parent 1af626817e
commit 670e778643
1 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
compiler/x86/aoptx86.pas
View File

@ -5203,6 +5203,40 @@ unit aoptx86;
hp2.free;
p:=hp1;
end
else if reg_and_hp1_is_instr and
(taicpu(hp1).opcode = A_MOV) and
MatchOpType(taicpu(hp1),top_reg,top_reg) and
(MatchOperand(taicpu(p).oper[1]^,taicpu(hp1).oper[0]^)
{$ifdef x86_64}
{ check for implicit extension to 64 bit }
or
((taicpu(p).opsize in [S_BL,S_WL]) and
(taicpu(hp1).opsize=S_Q) and
SuperRegistersEqual(taicpu(p).oper[1]^.reg,taicpu(hp1).oper[0]^.reg)
)
{$endif x86_64}
)
then
begin
{ change
movx %reg1,%reg2
mov %reg2,%reg3
dealloc %reg2
into
movx %reg,%reg3
}
TransferUsedRegs(TmpUsedRegs);
UpdateUsedRegs(TmpUsedRegs, tai(p.next));
if not(RegUsedAfterInstruction(taicpu(p).oper[1]^.reg,hp1,TmpUsedRegs)) then
begin
DebugMsg(SPeepholeOptimization + 'MovxMov2Movx',p);
taicpu(p).loadreg(1,taicpu(hp1).oper[1]^.reg);
asml.remove(hp1);
hp1.Free;
end;
end
else if taicpu(p).opcode=A_MOVZX then
begin
{ removes superfluous And's after movzx's }