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

Fix for trunk arm STM optimize bug

Browse Source
This commit is contained in:
Pierre Muller 2023-11-12 18:22:19 +00:00 committed by FPK
parent 31c8e78581
commit 6e9521d99a
1 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
compiler/arm/aoptcpu.pas
View File

@ -2213,12 +2213,22 @@ Implementation
i, LastReg: TSuperRegister;
Postfix: TOpPostfix;
OpcodeStr: shortstring;
basereg : tregister;
begin
Result := False;
{ See if STM/STR can be merged into a single STM }
{ taicpu(p).opcode is A_STM, so first operand is a memory reference }
if (taicpu(p).oper[0]^.ref^.addressmode = AM_OFFSET) then
begin
{ Only try to handle simple base reg, without index }
if (taicpu(p).oper[0]^.ref^.index = NR_NO) then
basereg:=taicpu(p).oper[0]^.ref^.base
else if (taicpu(p).oper[0]^.ref^.base = NR_NO) and
(taicpu(p).oper[0]^.ref^.shiftmode = SM_NONE) then
basereg:=taicpu(p).oper[0]^.ref^.index
else
exit;
CorrectOffset := 0;
LastReg := RS_NO;
@ -2233,18 +2243,20 @@ Implementation
hp1 := p;
while (LastReg < maxcpuregister) and
GetNextInstruction(hp1, hp1) and (hp1.typ = ait_instruction) and
(taicpu(hp1).opcode = A_STR) do
(taicpu(hp1).opcode = A_STR) and
(taicpu(hp1).oper[1]^.typ = top_ref) do
if (taicpu(hp1).condition = taicpu(p).condition) and
(taicpu(hp1).oppostfix = PF_None) and
(getregtype(taicpu(hp1).oper[0]^.reg) = R_INTREGISTER) and
(taicpu(hp1).oper[1]^.ref^.addressmode = AM_OFFSET) and
(taicpu(hp1).oper[1]^.ref^.shiftmode = SM_NONE) and
(
(
(taicpu(p).oper[1]^.ref^.base = NR_NO) and
(taicpu(hp1).oper[1]^.ref^.index = taicpu(p).oper[0]^.ref^.index)
(taicpu(hp1).oper[1]^.ref^.base = NR_NO) and
(taicpu(hp1).oper[1]^.ref^.index = basereg)
) or (
(taicpu(p).oper[1]^.ref^.index = NR_NO) and
(taicpu(hp1).oper[1]^.ref^.base = taicpu(p).oper[0]^.ref^.base)
(taicpu(hp1).oper[1]^.ref^.index = NR_NO) and
(taicpu(hp1).oper[1]^.ref^.base = basereg)
)
) and
{ Next register must be later in the set }