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

* we cannot do SSA during partial writes to arrays which span multiple registers, resolves #39325

Browse Source
This commit is contained in:
florian 2021-08-31 21:24:28 +02:00
parent 4d8ecfb422
commit 1f272f8f90
2 changed files with 15 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/hlcgobj.pas
View File

@ -688,7 +688,8 @@ implementation
fmodule, fmodule,
verbose,defutil,paramgr, verbose,defutil,paramgr,
symtable, symtable,
nbas,ncon,nld,ncgrtti,pass_2, nbas,ncon,nld,nmem,
ncgrtti,pass_2,
cgobj,cutils,procinfo, cgobj,cutils,procinfo,
{$ifdef x86} {$ifdef x86}
cgx86, cgx86,
@ -4652,6 +4653,11 @@ implementation
inn, inn,
asn,isn: asn,isn:
result := fen_norecurse_false; result := fen_norecurse_false;
vecn:
{ we cannot do SSA during partial writes to arrays which span multiple registers, see also tw39325 }
if (tvecnode(n).left.location.loc in [LOC_CREGISTER,LOC_CFPUREGISTER,LOC_CMMXREGISTER,LOC_CMMREGISTER]) and
(tcgsize2size[reg_cgsize(tvecnode(n).left.location.register)]<>tvecnode(n).left.resultdef.size) then
result := fen_norecurse_false;
else else
; ;
end; end;

8
tests/webtbs/tw39325.pp Normal file
View File

@ -0,0 +1,8 @@
{ %OPT=-Ooregvar }
program testopt;
var
ar: array[0..1] of byte;
begin
ar[0] := 1;
ar[1] := 2;
end.