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

+ make use of the Reg1WriteOverwritesReg2Entirely and Reg1ReadDependsOnReg2

Browse Source 
instead of SuperRegistersEqual in TX86AsmOptimizer.RegLoadedWithNewValue, so
  it returns correct information for the 16-bit and 8-bit subregisters
  (including AH,BH,CH and DH)

git-svn-id: trunk@36066 -
This commit is contained in:
nickysn 2017-05-03 12:14:30 +00:00
parent c096b1fe6b
commit 1f5aec6d3d
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
compiler/x86/aoptx86.pas
View File

@ -427,18 +427,18 @@ unit aoptx86;
(p.opcode = A_MOVAPS)) and
(p.ops=2) and { A_MOVSD can have zero operands, so this check is needed }
(p.oper[1]^.typ = top_reg) and
(SuperRegistersEqual(p.oper[1]^.reg,reg)) and
(Reg1WriteOverwritesReg2Entirely(p.oper[1]^.reg,reg)) and
((p.oper[0]^.typ = top_const) or
((p.oper[0]^.typ = top_reg) and
not(SuperRegistersEqual(p.oper[0]^.reg,reg))) or
not(Reg1ReadDependsOnReg2(p.oper[0]^.reg,reg))) or
((p.oper[0]^.typ = top_ref) and
not RegInRef(reg,p.oper[0]^.ref^)))) or
((p.opcode = A_POP) and
(SuperRegistersEqual(p.oper[0]^.reg,reg))) or
(Reg1WriteOverwritesReg2Entirely(p.oper[0]^.reg,reg))) or
((p.opcode = A_IMUL) and
(p.ops=3) and
(SuperRegistersEqual(p.oper[2]^.reg,reg)) and
not((SuperRegistersEqual(p.oper[1]^.reg,reg))));
(Reg1WriteOverwritesReg2Entirely(p.oper[2]^.reg,reg)) and
not((Reg1ReadDependsOnReg2(p.oper[1]^.reg,reg))));
end;