mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-11-04 03:39:40 +01:00
527 lines
15 KiB
ObjectPascal
527 lines
15 KiB
ObjectPascal
{
|
|
$Id$
|
|
Copyright (c) 2003 by Florian Klaempfl
|
|
|
|
Contains the assembler object for the ARM
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 2 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
|
|
|
|
****************************************************************************
|
|
}
|
|
unit aasmcpu;
|
|
|
|
{$i fpcdefs.inc}
|
|
|
|
interface
|
|
|
|
uses
|
|
cclasses,aasmtai,
|
|
aasmbase,globtype,globals,verbose,
|
|
cpubase,cpuinfo,cgbase,cgutils;
|
|
|
|
const
|
|
{ "mov reg,reg" source operand number }
|
|
O_MOV_SOURCE = 1;
|
|
{ "mov reg,reg" source operand number }
|
|
O_MOV_DEST = 0;
|
|
|
|
type
|
|
taicpu = class(tai_cpu_abstract)
|
|
oppostfix : TOpPostfix;
|
|
roundingmode : troundingmode;
|
|
procedure loadshifterop(opidx:longint;const so:tshifterop);
|
|
procedure loadregset(opidx:longint;const s:tcpuregisterset);
|
|
constructor op_none(op : tasmop);
|
|
|
|
constructor op_reg(op : tasmop;_op1 : tregister);
|
|
constructor op_const(op : tasmop;_op1 : longint);
|
|
|
|
constructor op_reg_reg(op : tasmop;_op1,_op2 : tregister);
|
|
constructor op_reg_ref(op : tasmop;_op1 : tregister;const _op2 : treference);
|
|
constructor op_reg_const(op:tasmop; _op1: tregister; _op2: aint);
|
|
|
|
constructor op_ref_regset(op:tasmop; _op1: treference; _op2: tcpuregisterset);
|
|
|
|
constructor op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
|
|
constructor op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: aint);
|
|
constructor op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: longint);
|
|
constructor op_reg_reg_ref(op : tasmop;_op1,_op2 : tregister; const _op3: treference);
|
|
constructor op_reg_reg_shifterop(op : tasmop;_op1,_op2 : tregister;_op3 : tshifterop);
|
|
{ SFM/LFM }
|
|
constructor op_reg_const_ref(op : tasmop;_op1 : tregister;_op2 : aint;_op3 : treference);
|
|
|
|
{ this is for Jmp instructions }
|
|
constructor op_cond_sym(op : tasmop;cond:TAsmCond;_op1 : tasmsymbol);
|
|
|
|
constructor op_sym(op : tasmop;_op1 : tasmsymbol);
|
|
constructor op_sym_ofs(op : tasmop;_op1 : tasmsymbol;_op1ofs:longint);
|
|
constructor op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : longint);
|
|
constructor op_sym_ofs_ref(op : tasmop;_op1 : tasmsymbol;_op1ofs:longint;const _op2 : treference);
|
|
|
|
function is_same_reg_move(regtype: Tregistertype):boolean; override;
|
|
|
|
function spilling_get_operation_type(opnr: longint): topertype;override;
|
|
end;
|
|
tai_align = class(tai_align_abstract)
|
|
{ nothing to add }
|
|
end;
|
|
|
|
function spilling_create_load(const ref:treference;r:tregister): tai;
|
|
function spilling_create_store(r:tregister; const ref:treference): tai;
|
|
|
|
function setoppostfix(i : taicpu;pf : toppostfix) : taicpu;
|
|
function setroundingmode(i : taicpu;rm : troundingmode) : taicpu;
|
|
function setcondition(i : taicpu;c : tasmcond) : taicpu;
|
|
|
|
{ inserts pc relative symbols at places where they are reachable }
|
|
procedure insertpcrelativedata(list,listtoinsert : taasmoutput);
|
|
|
|
procedure InitAsm;
|
|
procedure DoneAsm;
|
|
|
|
|
|
implementation
|
|
|
|
uses
|
|
cutils,rgobj,itcpugas;
|
|
|
|
|
|
procedure taicpu.loadshifterop(opidx:longint;const so:tshifterop);
|
|
begin
|
|
allocate_oper(opidx+1);
|
|
with oper[opidx]^ do
|
|
begin
|
|
if typ<>top_shifterop then
|
|
begin
|
|
clearop(opidx);
|
|
new(shifterop);
|
|
end;
|
|
shifterop^:=so;
|
|
typ:=top_shifterop;
|
|
if assigned(add_reg_instruction_hook) then
|
|
add_reg_instruction_hook(self,shifterop^.rs);
|
|
end;
|
|
end;
|
|
|
|
|
|
procedure taicpu.loadregset(opidx:longint;const s:tcpuregisterset);
|
|
var
|
|
i : byte;
|
|
begin
|
|
allocate_oper(opidx+1);
|
|
with oper[opidx]^ do
|
|
begin
|
|
if typ<>top_regset then
|
|
clearop(opidx);
|
|
new(regset);
|
|
regset^:=s;
|
|
typ:=top_regset;
|
|
for i:=RS_R0 to RS_R15 do
|
|
begin
|
|
if assigned(add_reg_instruction_hook) and (i in regset^) then
|
|
add_reg_instruction_hook(self,newreg(R_INTREGISTER,i,R_SUBWHOLE));
|
|
end;
|
|
end;
|
|
end;
|
|
|
|
|
|
{*****************************************************************************
|
|
taicpu Constructors
|
|
*****************************************************************************}
|
|
|
|
constructor taicpu.op_none(op : tasmop);
|
|
begin
|
|
inherited create(op);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg(op : tasmop;_op1 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadreg(0,_op1);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_const(op : tasmop;_op1 : longint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadconst(0,aint(_op1));
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg(op : tasmop;_op1,_op2 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_const(op:tasmop; _op1: tregister; _op2: aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadconst(1,aint(_op2));
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_ref_regset(op:tasmop; _op1: treference; _op2: tcpuregisterset);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadref(0,_op1);
|
|
loadregset(1,_op2);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_ref(op : tasmop;_op1 : tregister;const _op2 : treference);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadref(1,_op2);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_reg(op : tasmop;_op1,_op2,_op3 : tregister);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadreg(2,_op3);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_const(op : tasmop;_op1,_op2 : tregister; _op3: aint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadconst(2,aint(_op3));
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_const_ref(op : tasmop;_op1 : tregister;_op2 : aint;_op3 : treference);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadconst(1,_op2);
|
|
loadref(2,_op3);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_sym_ofs(op : tasmop;_op1,_op2 : tregister; _op3: tasmsymbol;_op3ofs: longint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadsymbol(0,_op3,_op3ofs);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_ref(op : tasmop;_op1,_op2 : tregister; const _op3: treference);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadref(2,_op3);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_reg_shifterop(op : tasmop;_op1,_op2 : tregister;_op3 : tshifterop);
|
|
begin
|
|
inherited create(op);
|
|
ops:=3;
|
|
loadreg(0,_op1);
|
|
loadreg(1,_op2);
|
|
loadshifterop(2,_op3);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_cond_sym(op : tasmop;cond:TAsmCond;_op1 : tasmsymbol);
|
|
begin
|
|
inherited create(op);
|
|
condition:=cond;
|
|
ops:=1;
|
|
loadsymbol(0,_op1,0);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_sym(op : tasmop;_op1 : tasmsymbol);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadsymbol(0,_op1,0);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_sym_ofs(op : tasmop;_op1 : tasmsymbol;_op1ofs:longint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=1;
|
|
loadsymbol(0,_op1,_op1ofs);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_reg_sym_ofs(op : tasmop;_op1 : tregister;_op2:tasmsymbol;_op2ofs : longint);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadreg(0,_op1);
|
|
loadsymbol(1,_op2,_op2ofs);
|
|
end;
|
|
|
|
|
|
constructor taicpu.op_sym_ofs_ref(op : tasmop;_op1 : tasmsymbol;_op1ofs:longint;const _op2 : treference);
|
|
begin
|
|
inherited create(op);
|
|
ops:=2;
|
|
loadsymbol(0,_op1,_op1ofs);
|
|
loadref(1,_op2);
|
|
end;
|
|
|
|
|
|
{ ****************************** newra stuff *************************** }
|
|
|
|
function taicpu.is_same_reg_move(regtype: Tregistertype):boolean;
|
|
begin
|
|
{ allow the register allocator to remove unnecessary moves }
|
|
result:=(((opcode=A_MOV) and (regtype = R_INTREGISTER)) or
|
|
((opcode=A_MVF) and (regtype = R_FPUREGISTER))
|
|
) and
|
|
(condition=C_None) and
|
|
(ops=2) and
|
|
(oper[0]^.typ=top_reg) and
|
|
(oper[1]^.typ=top_reg) and
|
|
(oper[0]^.reg=oper[1]^.reg);
|
|
end;
|
|
|
|
|
|
function spilling_create_load(const ref:treference;r:tregister): tai;
|
|
begin
|
|
case getregtype(r) of
|
|
R_INTREGISTER :
|
|
result:=taicpu.op_reg_ref(A_LDR,r,ref);
|
|
R_FPUREGISTER :
|
|
{ use lfm because we don't know the current internal format
|
|
and avoid exceptions
|
|
}
|
|
result:=taicpu.op_reg_const_ref(A_LFM,r,1,ref);
|
|
else
|
|
internalerror(200401041);
|
|
end;
|
|
end;
|
|
|
|
|
|
function spilling_create_store(r:tregister; const ref:treference): tai;
|
|
begin
|
|
case getregtype(r) of
|
|
R_INTREGISTER :
|
|
result:=taicpu.op_reg_ref(A_STR,r,ref);
|
|
R_FPUREGISTER :
|
|
{ use sfm because we don't know the current internal format
|
|
and avoid exceptions
|
|
}
|
|
result:=taicpu.op_reg_const_ref(A_SFM,r,1,ref);
|
|
else
|
|
internalerror(200401041);
|
|
end;
|
|
end;
|
|
|
|
|
|
function taicpu.spilling_get_operation_type(opnr: longint): topertype;
|
|
begin
|
|
case opcode of
|
|
A_ADC,A_ADD,A_AND,
|
|
A_EOR,A_CLZ,
|
|
A_LDR,A_LDRB,A_LDRD,A_LDRBT,A_LDRH,A_LDRSB,
|
|
A_LDRSH,A_LDRT,
|
|
A_MOV,A_MVN,A_MLA,A_MUL,
|
|
A_ORR,A_RSB,A_RSC,A_SBC,A_SUB,
|
|
A_SWP,A_SWPB,
|
|
A_LDF,A_FLT,A_FIX,
|
|
A_ADF,A_DVF,A_FDV,A_FML,
|
|
A_RFS,A_RFC,A_RDF,
|
|
A_RMF,A_RPW,A_RSF,A_SUF,A_ABS,A_ACS,A_ASN,A_ATN,A_COS,
|
|
A_EXP,A_LOG,A_LGN,A_MVF,A_MNF,A_FRD,A_MUF,A_POL,A_RND,A_SIN,A_SQT,A_TAN,
|
|
A_LFM:
|
|
if opnr=0 then
|
|
result:=operand_write
|
|
else
|
|
result:=operand_read;
|
|
A_BIC,A_BKPT,A_B,A_BL,A_BLX,A_BX,
|
|
A_CMN,A_CMP,A_TEQ,A_TST,
|
|
A_CMF,A_CMFE,A_WFS,A_CNF:
|
|
result:=operand_read;
|
|
A_SMLAL,A_UMLAL:
|
|
if opnr in [0,1] then
|
|
result:=operand_readwrite
|
|
else
|
|
result:=operand_read;
|
|
A_SMULL,A_UMULL:
|
|
if opnr in [0,1] then
|
|
result:=operand_write
|
|
else
|
|
result:=operand_read;
|
|
A_STR,A_STRB,A_STRBT,A_STRD,
|
|
A_STRH,A_STRT,A_STF,A_SFM:
|
|
{ important is what happens with the involved registers }
|
|
if opnr=0 then
|
|
result := operand_read
|
|
else
|
|
{ check for pre/post indexed }
|
|
result := operand_read;
|
|
else
|
|
internalerror(200403151);
|
|
end;
|
|
end;
|
|
|
|
|
|
procedure InitAsm;
|
|
begin
|
|
end;
|
|
|
|
|
|
procedure DoneAsm;
|
|
begin
|
|
end;
|
|
|
|
|
|
function setoppostfix(i : taicpu;pf : toppostfix) : taicpu;
|
|
begin
|
|
i.oppostfix:=pf;
|
|
result:=i;
|
|
end;
|
|
|
|
|
|
function setroundingmode(i : taicpu;rm : troundingmode) : taicpu;
|
|
begin
|
|
i.roundingmode:=rm;
|
|
result:=i;
|
|
end;
|
|
|
|
|
|
function setcondition(i : taicpu;c : tasmcond) : taicpu;
|
|
begin
|
|
i.condition:=c;
|
|
result:=i;
|
|
end;
|
|
|
|
|
|
procedure insertpcrelativedata(list,listtoinsert : taasmoutput);
|
|
var
|
|
curpos : longint;
|
|
lastpos : longint;
|
|
curop : longint;
|
|
curtai : tai;
|
|
curdatatai,hp : tai;
|
|
curdata : taasmoutput;
|
|
l : tasmlabel;
|
|
begin
|
|
curdata:=taasmoutput.create;
|
|
lastpos:=-1;
|
|
curpos:=0;
|
|
curtai:=tai(list.first);
|
|
while assigned(curtai) do
|
|
begin
|
|
{ instruction? }
|
|
if curtai.typ=ait_instruction then
|
|
begin
|
|
{ walk through all operand of the instruction }
|
|
for curop:=0 to taicpu(curtai).ops-1 do
|
|
begin
|
|
{ reference? }
|
|
if (taicpu(curtai).oper[curop]^.typ=top_ref) then
|
|
begin
|
|
{ pc relative symbol? }
|
|
curdatatai:=tai(taicpu(curtai).oper[curop]^.ref^.symboldata);
|
|
if assigned(curdatatai) then
|
|
begin
|
|
{ if yes, insert till next symbol }
|
|
repeat
|
|
hp:=tai(curdatatai.next);
|
|
listtoinsert.remove(curdatatai);
|
|
curdata.concat(curdatatai);
|
|
curdatatai:=hp;
|
|
until (curdatatai=nil) or (curdatatai.typ=ait_label);
|
|
if lastpos=-1 then
|
|
lastpos:=curpos;
|
|
end;
|
|
end;
|
|
end;
|
|
inc(curpos);
|
|
end;
|
|
|
|
if (curpos-lastpos)>1020 then
|
|
begin
|
|
lastpos:=curpos;
|
|
hp:=tai(curtai.next);
|
|
objectlibrary.getlabel(l);
|
|
curdata.insert(taicpu.op_sym(A_B,l));
|
|
curdata.concat(tai_label.create(l));
|
|
list.insertlistafter(curtai,curdata);
|
|
curtai:=hp;
|
|
end
|
|
else
|
|
curtai:=tai(curtai.next);
|
|
end;
|
|
list.concatlist(curdata);
|
|
curdata.free;
|
|
end;
|
|
|
|
end.
|
|
{
|
|
$Log$
|
|
Revision 1.36 2004-11-01 17:41:28 florian
|
|
* fixed arm compilation with cgutils
|
|
* ...
|
|
|
|
Revision 1.35 2004/10/24 17:32:53 florian
|
|
* fixed several arm compiler bugs
|
|
|
|
Revision 1.34 2004/07/04 15:22:34 florian
|
|
* fixed float spilling to use sfm/lfm instead of stf/ldf
|
|
|
|
Revision 1.33 2004/06/20 08:55:31 florian
|
|
* logs truncated
|
|
|
|
Revision 1.32 2004/06/16 20:07:10 florian
|
|
* dwarf branch merged
|
|
|
|
Revision 1.31.2.2 2004/06/13 10:51:17 florian
|
|
* fixed several register allocator problems (sparc/arm)
|
|
|
|
Revision 1.31.2.1 2004/06/12 17:01:01 florian
|
|
* fixed compilation of arm compiler
|
|
|
|
Revision 1.31 2004/03/29 19:19:35 florian
|
|
+ arm floating point register saving implemented
|
|
* hopefully stabs generation for MacOSX fixed
|
|
+ some defines for arm added
|
|
|
|
Revision 1.30 2004/03/15 22:20:13 florian
|
|
* handling of spilling improved
|
|
|
|
}
|