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

* LdiMov/Cp2Ldi/Cpi may not be performed if reg0=reg1

Browse Source 
* cleanup of MovOp2Op
* fixed MovMov2Mov

git-svn-id: trunk@37607 -
This commit is contained in:
florian 2017-11-19 18:05:19 +00:00
parent 010a6f5016
commit 366360d36c
1 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
compiler/avr/aoptcpu.pas
View File

@ -312,7 +312,8 @@ Implementation
(not RegModifiedBetween(taicpu(p).oper[0]^.reg, p, hp1)) and (not RegModifiedBetween(taicpu(p).oper[0]^.reg, p, hp1)) and
MatchOpType(taicpu(hp1),top_reg,top_reg) and MatchOpType(taicpu(hp1),top_reg,top_reg) and
(getsupreg(taicpu(hp1).oper[0]^.reg) in [16..31]) and (getsupreg(taicpu(hp1).oper[0]^.reg) in [16..31]) and
(taicpu(hp1).oper[1]^.reg=taicpu(p).oper[0]^.reg) then (taicpu(hp1).oper[1]^.reg=taicpu(p).oper[0]^.reg) and
not(MatchOperand(taicpu(hp1).oper[0]^,taicpu(hp1).oper[1]^)) then
begin begin
CopyUsedRegs(TmpUsedRegs); CopyUsedRegs(TmpUsedRegs);
if not(RegUsedAfterInstruction(taicpu(hp1).oper[1]^.reg, hp1, TmpUsedRegs)) then if not(RegUsedAfterInstruction(taicpu(hp1).oper[1]^.reg, hp1, TmpUsedRegs)) then
@ -706,21 +707,17 @@ Implementation
begin begin
{ turn { turn
mov reg0, reg1 mov reg0, reg1
push reg0 <op> reg2,reg0
dealloc reg0 dealloc reg0
into into
push reg1 <op> reg2,reg1
} }
if (taicpu(p).ops=2) and if MatchOpType(taicpu(p),top_reg,top_reg) and
(taicpu(p).oper[0]^.typ = top_reg) and
(taicpu(p).oper[1]^.typ = top_reg) and
GetNextInstructionUsingReg(p,hp1,taicpu(p).oper[0]^.reg) and GetNextInstructionUsingReg(p,hp1,taicpu(p).oper[0]^.reg) and
(not RegModifiedBetween(taicpu(p).oper[1]^.reg, p, hp1)) and (not RegModifiedBetween(taicpu(p).oper[1]^.reg, p, hp1)) and
(hp1.typ = ait_instruction) and MatchInstruction(hp1,[A_PUSH,A_MOV,A_CP,A_CPC,A_ADD,A_SUB,A_ADC,A_SBC,A_EOR,A_AND,A_OR,
(taicpu(hp1).opcode in [A_PUSH,A_MOV,A_CP,A_CPC,A_ADD,A_SUB,A_ADC,A_SBC,A_EOR,A_AND,A_OR,
A_STD,A_ST, A_STD,A_ST,
A_OUT,A_IN]) and A_OUT,A_IN]) and
RegInInstruction(taicpu(p).oper[0]^.reg, hp1) and
(not RegModifiedByInstruction(taicpu(p).oper[0]^.reg, hp1)) and (not RegModifiedByInstruction(taicpu(p).oper[0]^.reg, hp1)) and
{(taicpu(hp1).ops=1) and {(taicpu(hp1).ops=1) and
(taicpu(hp1).oper[0]^.typ = top_reg) and (taicpu(hp1).oper[0]^.typ = top_reg) and
@ -921,8 +918,8 @@ Implementation
mov rX,... mov rX,...
mov rX,... mov rX,...
} }
else if (hp1.typ=ait_instruction) and (taicpu(hp1).opcode=A_MOV) then else if GetNextInstruction(p,hp1) and MatchInstruction(hp1,A_MOV) then
while (hp1.typ=ait_instruction) and (taicpu(hp1).opcode=A_MOV) and while MatchInstruction(hp1,A_MOV) and
MatchOperand(taicpu(p).oper[0]^, taicpu(hp1).oper[0]^) and MatchOperand(taicpu(p).oper[0]^, taicpu(hp1).oper[0]^) and
{ don't remove the first mov if the second is a mov rX,rX } { don't remove the first mov if the second is a mov rX,rX }
not(MatchOperand(taicpu(hp1).oper[0]^,taicpu(hp1).oper[1]^)) do not(MatchOperand(taicpu(hp1).oper[0]^,taicpu(hp1).oper[1]^)) do