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

* simplified TX86AsmOptimizer.OptPass1Movx

Browse Source 
git-svn-id: trunk@44162 -
This commit is contained in:
florian 2020-02-12 20:23:06 +00:00
parent 21565c2284
commit f632e2e7be
1 changed files with 15 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
compiler/x86/aoptx86.pas
View File

@ -5038,16 +5038,18 @@ unit aoptx86;
function TX86AsmOptimizer.OptPass1Movx(var p : tai) : boolean; function TX86AsmOptimizer.OptPass1Movx(var p : tai) : boolean;
var var
hp1,hp2: tai; hp1,hp2: tai;
reg_and_hp1_is_instr: Boolean;
begin begin
result:=false; result:=false;
if (taicpu(p).oper[1]^.typ = top_reg) and reg_and_hp1_is_instr:=(taicpu(p).oper[1]^.typ = top_reg) and
GetNextInstruction(p,hp1) and GetNextInstruction(p,hp1) and
(hp1.typ = ait_instruction) and (hp1.typ = ait_instruction);
IsFoldableArithOp(taicpu(hp1),taicpu(p).oper[1]^.reg) and if reg_and_hp1_is_instr and
GetNextInstruction(hp1,hp2) and IsFoldableArithOp(taicpu(hp1),taicpu(p).oper[1]^.reg) and
MatchInstruction(hp2,A_MOV,[]) and GetNextInstruction(hp1,hp2) and
(taicpu(hp2).oper[0]^.typ = top_reg) and MatchInstruction(hp2,A_MOV,[]) and
OpsEqual(taicpu(hp2).oper[1]^,taicpu(p).oper[0]^) and (taicpu(hp2).oper[0]^.typ = top_reg) and
OpsEqual(taicpu(hp2).oper[1]^,taicpu(p).oper[0]^) and
{$ifdef i386} {$ifdef i386}
{ not all registers have byte size sub registers on i386 } { not all registers have byte size sub registers on i386 }
((taicpu(hp2).opsize<>S_B) or (getsupreg(taicpu(hp1).oper[0]^.reg) in [RS_EAX, RS_EBX, RS_ECX, RS_EDX])) and ((taicpu(hp2).opsize<>S_B) or (getsupreg(taicpu(hp1).oper[0]^.reg) in [RS_EAX, RS_EBX, RS_ECX, RS_EDX])) and
@ -5105,12 +5107,9 @@ unit aoptx86;
else if taicpu(p).opcode=A_MOVZX then else if taicpu(p).opcode=A_MOVZX then
begin begin
{ removes superfluous And's after movzx's } { removes superfluous And's after movzx's }
if (taicpu(p).oper[1]^.typ = top_reg) and if reg_and_hp1_is_instr and
GetNextInstruction(p, hp1) and
(tai(hp1).typ = ait_instruction) and
(taicpu(hp1).opcode = A_AND) and (taicpu(hp1).opcode = A_AND) and
(taicpu(hp1).oper[0]^.typ = top_const) and MatchOpType(taicpu(hp1),top_const,top_reg) and
(taicpu(hp1).oper[1]^.typ = top_reg) and
(taicpu(hp1).oper[1]^.reg = taicpu(p).oper[1]^.reg) then (taicpu(hp1).oper[1]^.reg = taicpu(p).oper[1]^.reg) then
begin begin
case taicpu(p).opsize Of case taicpu(p).opsize Of
@ -5144,8 +5143,7 @@ unit aoptx86;
end; end;
{ changes some movzx constructs to faster synonyms (all examples { changes some movzx constructs to faster synonyms (all examples
are given with eax/ax, but are also valid for other registers)} are given with eax/ax, but are also valid for other registers)}
if (taicpu(p).oper[1]^.typ = top_reg) then if MatchOpType(taicpu(p),top_reg,top_reg) then
if (taicpu(p).oper[0]^.typ = top_reg) then
begin begin
case taicpu(p).opsize of case taicpu(p).opsize of
{ Technically, movzbw %al,%ax cannot be encoded in 32/64-bit mode { Technically, movzbw %al,%ax cannot be encoded in 32/64-bit mode
@ -5176,8 +5174,7 @@ unit aoptx86;
GetNextInstruction(p, hp1) and GetNextInstruction(p, hp1) and
(tai(hp1).typ = ait_instruction) and (tai(hp1).typ = ait_instruction) and
(taicpu(hp1).opcode = A_AND) and (taicpu(hp1).opcode = A_AND) and
(taicpu(hp1).oper[0]^.typ = top_const) and MatchOpType(taicpu(hp1),top_const,top_reg) and
(taicpu(hp1).oper[1]^.typ = top_reg) and
(taicpu(hp1).oper[1]^.reg = taicpu(p).oper[1]^.reg) then (taicpu(hp1).oper[1]^.reg = taicpu(p).oper[1]^.reg) then
{ Change "movzbw %reg1, %reg2; andw $const, %reg2" { Change "movzbw %reg1, %reg2; andw $const, %reg2"
to "movw %reg1, reg2; andw $(const1 and $ff), %reg2"} to "movw %reg1, reg2; andw $(const1 and $ff), %reg2"}
@ -5214,8 +5211,7 @@ unit aoptx86;
GetNextInstruction(p, hp1) and GetNextInstruction(p, hp1) and
(tai(hp1).typ = ait_instruction) and (tai(hp1).typ = ait_instruction) and
(taicpu(hp1).opcode = A_AND) and (taicpu(hp1).opcode = A_AND) and
(taicpu(hp1).oper[0]^.typ = top_const) and MatchOpType(taicpu(hp1),top_const,top_reg) and
(taicpu(hp1).oper[1]^.typ = top_reg) and
(taicpu(hp1).oper[1]^.reg = taicpu(p).oper[1]^.reg) then (taicpu(hp1).oper[1]^.reg = taicpu(p).oper[1]^.reg) then
{ Change "movzbl %reg1, %reg2; andl $const, %reg2" { Change "movzbl %reg1, %reg2; andl $const, %reg2"
to "movl %reg1, reg2; andl $(const1 and $ff), %reg2"} to "movl %reg1, reg2; andl $(const1 and $ff), %reg2"}