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

m68k: try to fold two consecutive AND instructions into one. This usually happens when a zero extension is followed by another AND.

Browse Source
This commit is contained in:
Karoly Balogh 2024-05-25 00:01:35 +03:00
parent d9c786fee6
commit 627734e104
1 changed files with 33 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
compiler/m68k/aoptcpu.pas
View File

@ -38,6 +38,7 @@ unit aoptcpu;
function RegLoadedWithNewValue(reg: tregister; hp: tai): boolean; override; function RegLoadedWithNewValue(reg: tregister; hp: tai): boolean; override;
function PeepHoleOptPass1Cpu(var p: tai): boolean; override; function PeepHoleOptPass1Cpu(var p: tai): boolean; override;
function TryToFoldDoubleAND(var p: tai): boolean;
function TryToRemoveTST(var p: tai): boolean; function TryToRemoveTST(var p: tai): boolean;
function TryToOptimizeMove(var p: tai): boolean; function TryToOptimizeMove(var p: tai): boolean;
function MaybeRealConstOperSimplify(var p: tai): boolean; function MaybeRealConstOperSimplify(var p: tai): boolean;
@ -219,6 +220,26 @@ unit aoptcpu;
end; end;
{$endif DEBUG_AOPTCPU} {$endif DEBUG_AOPTCPU}
function TCpuAsmOptimizer.TryToFoldDoubleAND(var p: tai): boolean;
var
next, next2: tai;
opstr: string[15];
begin
result:=false;
if ((taicpu(p).oper[0]^.typ=top_const) and (taicpu(p).oper[1]^.typ=top_reg)) and
GetNextInstruction(p,next) and
MatchInstruction(next,A_AND,[taicpu(p).opsize]) and
(taicpu(next).oper[0]^.typ=top_const) and
MatchOperand(taicpu(p).oper[1]^,taicpu(next).oper[1]^) then
begin
DebugMsg('Optimizer: folding double AND',p);
taicpu(p).oper[0]^.val:=taicpu(p).oper[0]^.val and taicpu(next).oper[0]^.val;
RemoveInstruction(next);
result:=true;
end;
end;
function TCpuAsmOptimizer.TryToRemoveTST(var p: tai): boolean; function TCpuAsmOptimizer.TryToRemoveTST(var p: tai): boolean;
var var
next, next2: tai; next, next2: tai;
@ -433,7 +454,18 @@ unit aoptcpu;
function TCpuAsmOptimizer.OptPass1Bitwise(var p: tai): Boolean; function TCpuAsmOptimizer.OptPass1Bitwise(var p: tai): Boolean;
begin begin
Result:=TryToRemoveTST(p); result:=false;
case p.typ of
ait_instruction:
begin
if taicpu(p).opcode = A_AND then
result:=TryToFoldDoubleAND(p);
if not result then
result:=TryToRemoveTST(p);
end;
else
;
end;
end; end;
function TCpuAsmOptimizer.PeepHoleOptPass1Cpu(var p: tai): boolean; function TCpuAsmOptimizer.PeepHoleOptPass1Cpu(var p: tai): boolean;