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

+ make use of the BFI instruction in tcgaarch64.a_load_ref_reg_unaligned

Browse Source 
git-svn-id: trunk@40015 -
This commit is contained in:
florian 2018-10-22 21:23:48 +00:00
parent f76e3dc705
commit f27fee5566
1 changed files with 74 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

102
compiler/aarch64/cgcpu.pas
View File

@ -810,35 +810,80 @@ implementation
procedure tcgaarch64.a_load_ref_reg_unaligned(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; register: tregister); procedure tcgaarch64.a_load_ref_reg_unaligned(list: TAsmList; fromsize, tosize: tcgsize; const ref: treference; register: tregister);
var var
href: treference; href: treference;
hreg1, hreg2, tmpreg: tregister; hreg1, hreg2, tmpreg,tmpreg2: tregister;
i : Integer;
begin begin
if fromsize in [OS_64,OS_S64] then case fromsize of
begin OS_64,OS_S64:
{ split into two 32 bit loads } begin
hreg1:=getintregister(list,OS_32); { split into two 32 bit loads }
hreg2:=getintregister(list,OS_32); hreg1:=getintregister(list,OS_32);
if target_info.endian=endian_big then hreg2:=getintregister(list,OS_32);
begin if target_info.endian=endian_big then
tmpreg:=hreg1; begin
hreg1:=hreg2; tmpreg:=hreg1;
hreg2:=tmpreg; hreg1:=hreg2;
end; hreg2:=tmpreg;
{ can we use LDP? } end;
if (ref.alignment=4) and { can we use LDP? }
(simple_ref_type(A_LDP,OS_32,PF_None,ref)=sr_simple) then if (ref.alignment=4) and
list.concat(taicpu.op_reg_reg_ref(A_LDP,hreg1,hreg2,ref)) (simple_ref_type(A_LDP,OS_32,PF_None,ref)=sr_simple) then
else list.concat(taicpu.op_reg_reg_ref(A_LDP,hreg1,hreg2,ref))
begin else
a_load_ref_reg(list,OS_32,OS_32,ref,hreg1); begin
href:=ref; a_load_ref_reg(list,OS_32,OS_32,ref,hreg1);
inc(href.offset,4); href:=ref;
a_load_ref_reg(list,OS_32,OS_32,href,hreg2); inc(href.offset,4);
end; a_load_ref_reg(list,OS_32,OS_32,href,hreg2);
a_load_reg_reg(list,OS_32,OS_64,hreg1,register); end;
list.concat(taicpu.op_reg_reg_const_const(A_BFI,register,makeregsize(hreg2,OS_64),32,32)); a_load_reg_reg(list,OS_32,OS_64,hreg1,register);
end list.concat(taicpu.op_reg_reg_const_const(A_BFI,register,makeregsize(hreg2,OS_64),32,32));
else end;
inherited; OS_16,OS_S16,
OS_32,OS_S32:
begin
if ref.alignment=2 then
begin
href:=ref;
if target_info.endian=endian_big then
inc(href.offset,tcgsize2size[fromsize]-2);
tmpreg:=getintregister(list,OS_32);
a_load_ref_reg(list,OS_16,OS_32,href,tmpreg);
tmpreg2:=getintregister(list,OS_32);
for i:=1 to (tcgsize2size[fromsize]-1) div 2 do
begin
if target_info.endian=endian_big then
dec(href.offset,2)
else
inc(href.offset,2);
a_load_ref_reg(list,OS_16,OS_32,href,tmpreg2);
list.concat(taicpu.op_reg_reg_const_const(A_BFI,tmpreg,tmpreg2,i*16,16));
end;
a_load_reg_reg(list,fromsize,tosize,tmpreg,register);
end
else
begin
href:=ref;
if target_info.endian=endian_big then
inc(href.offset,tcgsize2size[fromsize]-1);
tmpreg:=getintregister(list,OS_32);
a_load_ref_reg(list,OS_8,OS_32,href,tmpreg);
tmpreg2:=getintregister(list,OS_32);
for i:=1 to tcgsize2size[fromsize]-1 do
begin
if target_info.endian=endian_big then
dec(href.offset)
else
inc(href.offset);
a_load_ref_reg(list,OS_8,OS_32,href,tmpreg2);
list.concat(taicpu.op_reg_reg_const_const(A_BFI,tmpreg,tmpreg2,i*8,8));
end;
a_load_reg_reg(list,fromsize,tosize,tmpreg,register);
end;
end;
else
inherited;
end;
end; end;
@ -897,6 +942,7 @@ implementation
instr:=taicpu.op_reg_reg(A_MOV,makeregsize(reg2,OS_32),makeregsize(reg1,OS_32)) instr:=taicpu.op_reg_reg(A_MOV,makeregsize(reg2,OS_32),makeregsize(reg1,OS_32))
else else
instr:=taicpu.op_reg_reg(A_MOV,reg2,reg1); instr:=taicpu.op_reg_reg(A_MOV,reg2,reg1);
list.Concat(tai_comment.Create(strpnew('====')));
list.Concat(instr); list.Concat(instr);
{ Notify the register allocator that we have written a move instruction so { Notify the register allocator that we have written a move instruction so
it can try to eliminate it. } it can try to eliminate it. }