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

+ x86: AND/CMP -> CMP optimiziation

Browse Source
This commit is contained in:
florian 2023-03-04 21:19:45 +01:00
parent b8933dd267
commit ccbdfa9150
1 changed files with 41 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
compiler/x86/aoptx86.pas
View File

@ -13539,6 +13539,47 @@ unit aoptx86;
taicpu(hp2).condition := inverse_cond(taicpu(hp2).condition);
Result := True;
Exit;
end
else if ((taicpu(p).oper[0]^.val=$ff) or (taicpu(p).oper[0]^.val=$ffff) or (taicpu(p).oper[0]^.val=$ffffffff)) and
MatchOpType(taicpu(hp1),top_const,top_reg) and
(taicpu(p).oper[0]^.val>=taicpu(hp1).oper[0]^.val) and
SuperRegistersEqual(taicpu(p).oper[1]^.reg,taicpu(hp1).oper[1]^.reg) then
{ change
and $ff/$ff/$ffff, reg
cmp val<=$ff/val<=$ff/val<=$ffff, reg
dealloc reg
to
cmp val<=$ff/val<=$ff/val<=$ffff, resized reg
}
begin
TransferUsedRegs(TmpUsedRegs);
UpdateUsedRegs(TmpUsedRegs, tai(p.Next));
if not RegUsedAfterInstruction(taicpu(p).oper[1]^.reg, hp1, TmpUsedRegs) then
begin
DebugMsg(SPeepholeOptimization + 'AND/CMP -> CMP', p);
case taicpu(p).oper[0]^.val of
$ff:
begin
taicpu(hp1).oper[1]^.reg := newreg(R_INTREGISTER, getsupreg(taicpu(hp1).oper[1]^.reg), R_SUBL);
taicpu(hp1).opsize:=S_B;
end;
$ffff:
begin
taicpu(hp1).oper[1]^.reg := newreg(R_INTREGISTER, getsupreg(taicpu(hp1).oper[1]^.reg), R_SUBW);
taicpu(hp1).opsize:=S_W;
end;
$ffffffff:
begin
taicpu(hp1).oper[1]^.reg := newreg(R_INTREGISTER, getsupreg(taicpu(hp1).oper[1]^.reg), R_SUBD);
taicpu(hp1).opsize:=S_L;
end;
else
Internalerror(2023030401);
end;
RemoveCurrentP(p);
Result := True;
Exit;
end;
end;
A_MOVZX: