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

* patch by J. Gareth Moreton: x86: SETcc/TEST/SETcc -> SETcc/SETcc optimisation, resolves #39271

Browse Source
This commit is contained in:
florian 2021-09-05 22:15:57 +02:00
parent a5f6505edc
commit 3cddfb4e2f
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/x86/aoptx86.pas
View File

@ -7187,7 +7187,7 @@ unit aoptx86;
(taicpu(hp1).oper[0]^.reg = taicpu(hp1).oper[1]^.reg) and
(taicpu(p).oper[0]^.reg = taicpu(hp1).oper[1]^.reg) and
GetNextInstruction(hp1, hp2) and
MatchInstruction(hp2, A_Jcc, []) then
MatchInstruction(hp2, A_Jcc, A_SETcc, []) then
{ Change from: To:
set(C) %reg j(~C) label
@ -7198,6 +7198,8 @@ unit aoptx86;
set(C) %reg j(C) label
test %reg,%reg/cmp $0,%reg
jne label
(Also do something similar with sete/setne instead of je/jne)
}
begin
{ Before we do anything else, we need to check the instructions
@ -7423,10 +7425,16 @@ unit aoptx86;
if not TmpUsedRegs[getregtype(taicpu(p).oper[0]^.reg)].IsUsed(taicpu(p).oper[0]^.reg) then
begin
RemoveCurrentp(p, hp2);
DebugMsg(SPeepholeOptimization + 'SETcc/TEST/Jcc -> Jcc',p);
if taicpu(hp2).opcode = A_SETcc then
DebugMsg(SPeepholeOptimization + 'SETcc/TEST/SETcc -> SETcc',p)
else
DebugMsg(SPeepholeOptimization + 'SETcc/TEST/Jcc -> Jcc',p);
end
else
DebugMsg(SPeepholeOptimization + 'SETcc/TEST/Jcc -> SETcc/Jcc',p);
if taicpu(hp2).opcode = A_SETcc then
DebugMsg(SPeepholeOptimization + 'SETcc/TEST/SETcc -> SETcc/SETcc',p)
else
DebugMsg(SPeepholeOptimization + 'SETcc/TEST/Jcc -> SETcc/Jcc',p);
Result := True;
end