mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-05-30 14:22:38 +02:00
374 lines
13 KiB
ObjectPascal
374 lines
13 KiB
ObjectPascal
{
|
|
$Id$
|
|
Copyright (c) 1998-2002 by Florian Klaempfl
|
|
|
|
This unit implements an asm for the PowerPC
|
|
|
|
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.
|
|
|
|
****************************************************************************
|
|
}
|
|
{ This unit implements the GNU Assembler writer for the PowerPC
|
|
}
|
|
|
|
unit agppcgas;
|
|
|
|
{$i fpcdefs.inc}
|
|
|
|
interface
|
|
|
|
uses
|
|
aasmtai,
|
|
aggas;
|
|
|
|
type
|
|
PPPCGNUAssembler=^TPPCGNUAssembler;
|
|
TPPCGNUAssembler=class(TGNUassembler)
|
|
procedure WriteInstruction(hp : tai);override;
|
|
end;
|
|
|
|
implementation
|
|
|
|
uses
|
|
cutils,globals,verbose,
|
|
systems,
|
|
assemble,
|
|
aasmcpu,cpubase;
|
|
|
|
const
|
|
as_ppc_gas_info : tasminfo =
|
|
(
|
|
id : as_powerpc_as;
|
|
idtxt : 'AS';
|
|
asmbin : 'as';
|
|
asmcmd : '-o $OBJ $ASM';
|
|
supported_target : system_any;
|
|
outputbinary: false;
|
|
allowdirect : true;
|
|
externals : false;
|
|
needar : true;
|
|
labelprefix_only_inside_procedure : false;
|
|
labelprefix : '.L';
|
|
comment : '# ';
|
|
secnames : ('',
|
|
'.text','.data','.text',
|
|
'','','','','','',
|
|
'.stab','.stabstr','COMMON')
|
|
);
|
|
|
|
op2str : array[tasmop] of string[14] = ('<none>',
|
|
'add','add.','addo','addo.','addc','addc.','addco','addco.',
|
|
'adde','adde.','addeo','addeo.','addi','addic','addic.','addis',
|
|
'addme','addme.','addmeo','addmeo.','addze','addze.','addzeo',
|
|
'addzeo.','and','and.','andc','andc.','andi.','andis.','b',
|
|
'ba','bl','bla','bc','bca','bcl','bcla','bcctr','bcctrl','bclr',
|
|
'bclrl','cmp','cmpi','cmpl','cmpli','cntlzw','cntlzw.','crand',
|
|
'crandc','creqv','crnand','crnor','cror','crorc','crxor','dcba',
|
|
'dcbf','dcbi','dcbst','dcbt','divw','divw.','divwo','divwo.',
|
|
'divwu','divwu.','divwuo','divwuo.','eciwx','ecowx','eieio','eqv',
|
|
'eqv.','extsb','extsb.','extsh','extsh.','fabs','fabs.','fadd',
|
|
'fadd.','fadds','fadds.','fcmpo','fcmpu','fctiw','fctw.','fctwz',
|
|
'fctwz.','fdiv','fdiv.','fdivs','fdivs.','fmadd','fmadd.','fmadds',
|
|
'fmadds.','fmr','fmsub','fmsub.','fmsubs','fmsubs.','fmul','fmul.',
|
|
'fmuls','fmuls.','fnabs','fnabs.','fneg','fneg.','fnmadd',
|
|
'fnmadd.','fnmadds','fnmadds.','fnmsub','fnmsub.','fnmsubs',
|
|
'fnmsubs.','fres','fres.','frsp','frsp.','frsqrte','frsqrte.',
|
|
'fsel','fsel.','fsqrt','fsqrt.','fsqrts','fsqrts.','fsub','fsub.',
|
|
'fsubs','fsubs.','icbi','isync','lbz','lbzu','lbzux','lbzx',
|
|
'lfd','lfdu','lfdux','lfdx','lfs','lfsu','lfsux','lfsx','lha',
|
|
'lhau','lhaux','lhax','hbrx','lhz','lhzu','lhzux','lhzx','lmw',
|
|
'lswi','lswx','lwarx','lwbrx','lwz','lwzu','lwzux','lwzx','mcrf',
|
|
'mcrfs','mcrxr','lcrxe','mfcr','mffs','maffs.','mfmsr','mfspr','mfsr',
|
|
'mfsrin','mftb','mtfcrf','mtfd0','mtfsb1','mtfsf','mtfsf.',
|
|
'mtfsfi','mtfsfi.','mtmsr','mtspr','mtsr','mtsrin','mulhw',
|
|
'mulhw.','mulhwu','mulhwu.','mulli','mullw','mullw.','mullwo',
|
|
'mullwo.','nand','nand.','neg','neg.','nego','nego.','nor','nor.',
|
|
'or','or.','orc','orc.','ori','oris', 'rfi', 'rlwimi', 'rlwimi.',
|
|
'rlwinm', 'rlwinm.','rlwnm','sc','slw', 'slw.', 'sraw', 'sraw.',
|
|
'srawi', 'srawi.','srw', 'srw.', 'stb', 'stbu', 'stbux','stbx','stfd',
|
|
'stfdu', 'stfdux', 'stfdx', 'stfiwx', 'stfs', 'stfsu', 'stfsux', 'stfsx',
|
|
'sth', 'sthbrx', 'sthu', 'sthux', 'sthx', 'stmw', 'stswi', 'stswx', 'stw',
|
|
'stwbrx', 'stwx.', 'stwu', 'stwux', 'stwx', 'subf', 'subf.', 'subfo',
|
|
'subfo.', 'subfc', 'subc.', 'subfco', 'subfco.', 'subfe', 'subfe.',
|
|
'subfeo', 'subfeo.', 'subfic', 'subfme', 'subfme.', 'subfmeo', 'subfmeo.',
|
|
'subfze', 'subfze.', 'subfzeo', 'subfzeo.', 'sync', 'tlbia', 'tlbie',
|
|
'tlbsync', 'tw', 'twi', 'xor', 'xor.', 'xori', 'xoris',
|
|
{ some simplified mnemonics }
|
|
'subi', 'subis', 'subic', 'subic.', 'sub', 'sub.', 'subo', 'subo.',
|
|
'subc', 'subc.', 'subco', 'subco.', 'cmpwi', 'cmpw', 'cmplwi', 'cmplw',
|
|
'extlwi', 'extlwi.', 'extrwi', 'extrwi.', 'inslwi', 'inslwi.', 'insrwi',
|
|
'insrwi.', 'rotlwi', 'rotlwi.', 'rotlw', 'rotlw.', 'slwi', 'slwi.',
|
|
'srwi', 'srwi.', 'clrlwi', 'clrlwi.', 'clrrwi', 'clrrwi.', 'clrslwi',
|
|
'clrslwi.', 'blr', 'bctr', 'blrl', 'bctrl', 'crset', 'crclr', 'crmove',
|
|
'crnot', 'mt', 'mf','nop', 'li', 'lis', 'la', 'mr','mr.','not', 'mtcr');
|
|
|
|
reg2str : reg2strtable = ('',
|
|
'r0','r1','r2','r3','r4','r5','r6','r7','r8','r9','r10','r11','r12','r13','r14','r15','r16',
|
|
'r17','r18','r19','r20','r21','r22','r23','r24','r25','r26','r27','r28','r29','r30','r31',
|
|
'f0','f1','f2','f3','f4','f5','f6','f7', 'f8','f9','f10','f11','f12',
|
|
'f13','f14','f15','f16','f17', 'f18','f19','f20','f21','f22', 'f23','f24',
|
|
'f25','f26','f27','f28','f29','f30','f31',
|
|
'v0','v1','v2','v3','v4','v5','v6','v7','v8','v9','v10','v11','v12',
|
|
'v13','v14','v15','v16','v17','v18','v19','v20','v21','v22', 'v23','v24',
|
|
'v25','v26','v27','v28','v29','v30','v31',
|
|
'cR','cr0','cr1','cr2','cr3','cr4','cr5','cr6','cr7',
|
|
'xer','lr','ctr','fpscr'
|
|
);
|
|
|
|
symaddr2str: array[trefsymaddr] of string[4] = ('','ha16','lo16');
|
|
|
|
function getreferencestring(var ref : treference) : string;
|
|
var
|
|
s : string;
|
|
begin
|
|
with ref do
|
|
begin
|
|
inc(offset,offsetfixup);
|
|
if (offset < -32768) or (offset > 32767) then
|
|
{$ifndef testing}
|
|
internalerror(19991);
|
|
{$else testing}
|
|
begin
|
|
writeln('internalerror 19991');
|
|
halt(1);
|
|
end;
|
|
{$endif testing}
|
|
if not assigned(symbol) then
|
|
s:=''
|
|
else
|
|
s:=symaddr2str[symaddr]+'('+symbol.name + ')';
|
|
if offset<0 then
|
|
s:=s+tostr(offset)
|
|
else
|
|
if (offset>0) then
|
|
begin
|
|
if assigned(symbol) then
|
|
s:=s+'+'+tostr(offset)
|
|
else
|
|
s:=s+tostr(offset);
|
|
end;
|
|
if (index=R_NO) and (base<>R_NO) then
|
|
s:=s+'('+reg2str[base]+')'
|
|
else if (index<>R_NO) and (base<>R_NO) and (offset = 0) then
|
|
s:=s+reg2str[base]+','+reg2str[index]
|
|
else if ((index<>R_NO) or (base<>R_NO)) then
|
|
{$ifndef testing}
|
|
internalerror(19992);
|
|
{$else testing}
|
|
begin
|
|
writeln('internalerror 19992');
|
|
halt(1);
|
|
end;
|
|
{$endif testing}
|
|
end;
|
|
getreferencestring:=s;
|
|
end;
|
|
|
|
function getopstr_jmp(const o:toper) : string;
|
|
var
|
|
hs : string;
|
|
begin
|
|
case o.typ of
|
|
top_reg :
|
|
getopstr_jmp:=reg2str[o.reg];
|
|
{ no top_ref jumping for powerpc }
|
|
top_const :
|
|
getopstr_jmp:=tostr(o.val);
|
|
top_symbol :
|
|
begin
|
|
hs:=o.sym.name;
|
|
if o.symofs>0 then
|
|
hs:=hs+'+'+tostr(o.symofs)
|
|
else
|
|
if o.symofs<0 then
|
|
hs:=hs+tostr(o.symofs);
|
|
getopstr_jmp:=hs;
|
|
end;
|
|
else
|
|
{$ifndef testing}
|
|
internalerror(2002070603);
|
|
{$else testing}
|
|
begin
|
|
writeln('internalerror 10001');
|
|
halt(1);
|
|
end;
|
|
{$endif testing}
|
|
end;
|
|
end;
|
|
|
|
function getopstr(const o:toper) : string;
|
|
var
|
|
hs : string;
|
|
begin
|
|
case o.typ of
|
|
top_reg:
|
|
getopstr:=reg2str[o.reg];
|
|
{ no top_ref jumping for powerpc }
|
|
top_const:
|
|
getopstr:=tostr(longint(o.val));
|
|
top_ref:
|
|
getopstr:=getreferencestring(o.ref^);
|
|
top_symbol:
|
|
begin
|
|
hs:=o.sym.name;
|
|
if o.symofs>0 then
|
|
hs:=hs+'+'+tostr(o.symofs)
|
|
else
|
|
if o.symofs<0 then
|
|
hs:=hs+tostr(o.symofs);
|
|
getopstr:=hs;
|
|
end;
|
|
else
|
|
{$ifndef testing}
|
|
internalerror(2002070604);
|
|
{$else testing}
|
|
begin
|
|
writeln('internalerror 10001');
|
|
halt(1);
|
|
end;
|
|
{$endif testing}
|
|
end;
|
|
end;
|
|
|
|
function branchmode(o: tasmop): string[4];
|
|
var tempstr: string[4];
|
|
begin
|
|
tempstr := '';
|
|
case o of
|
|
A_BCCTR,A_BCCTRL: tempstr := 'ctr';
|
|
A_BCLR,A_BCLRL: tempstr := 'lr';
|
|
end;
|
|
case o of
|
|
A_BL,A_BLA,A_BCL,A_BCLA,A_BCCTRL,A_BCLRL: tempstr := tempstr+'l';
|
|
end;
|
|
case o of
|
|
A_BA,A_BLA,A_BCA,A_BCLA: tempstr:=tempstr+'a';
|
|
end;
|
|
branchmode := tempstr;
|
|
end;
|
|
|
|
function cond2str(op: tasmop; c: tasmcond): string;
|
|
{ note: no checking is performed whether the given combination of }
|
|
{ conditions is valid }
|
|
var tempstr: string;
|
|
begin
|
|
tempstr:=#9;
|
|
case c.simple of
|
|
false: cond2str := tempstr+op2str[op]+#9+tostr(c.bo)+','+
|
|
tostr(c.bi);
|
|
true:
|
|
if (op >= A_B) and (op <= A_BCLRL) then
|
|
case c.cond of
|
|
{ unconditional branch }
|
|
C_NONE:
|
|
cond2str := tempstr+op2str[op];
|
|
{ bdnzt etc }
|
|
else
|
|
begin
|
|
tempstr := tempstr+'b'+asmcondflag2str[c.cond]+
|
|
branchmode(op)+#9;
|
|
case c.cond of
|
|
C_LT..C_NU:
|
|
cond2str := tempstr+reg2str[c.cr];
|
|
C_T..C_DZF:
|
|
cond2str := tempstr+tostr(c.crbit);
|
|
end;
|
|
end;
|
|
end
|
|
{ we have a trap instruction }
|
|
else
|
|
begin
|
|
internalerror(2002070601);
|
|
{ not yet implemented !!!!!!!!!!!!!!!!!!!!! }
|
|
{ case tempstr := 'tw';}
|
|
end;
|
|
end;
|
|
end;
|
|
|
|
Procedure TPPCGNUAssembler.WriteInstruction(hp : tai);
|
|
var op: TAsmOp;
|
|
s: string;
|
|
i: byte;
|
|
sep: string[3];
|
|
begin
|
|
op:=taicpu(hp).opcode;
|
|
if is_calljmp(op) then
|
|
begin
|
|
{ direct BO/BI in op[0] and op[1] not supported, put them in condition! }
|
|
if op <> A_B then
|
|
s:=cond2str(op,taicpu(hp).condition)+','
|
|
else
|
|
s:=#9'b'#9;
|
|
s := s+getopstr_jmp(taicpu(hp).oper[0]);
|
|
end
|
|
else
|
|
{ process operands }
|
|
begin
|
|
s:=#9+op2str[op];
|
|
if taicpu(hp).ops<>0 then
|
|
begin
|
|
{
|
|
if not is_calljmp(op) then
|
|
sep:=','
|
|
else
|
|
}
|
|
sep:=#9;
|
|
for i:=0 to taicpu(hp).ops-1 do
|
|
begin
|
|
s:=s+sep+getopstr(taicpu(hp).oper[i]);
|
|
sep:=',';
|
|
end;
|
|
end;
|
|
end;
|
|
AsmWriteLn(s);
|
|
end;
|
|
|
|
begin
|
|
RegisterAssembler(as_ppc_gas_info,TPPCGNUAssembler);
|
|
end.
|
|
{
|
|
$Log$
|
|
Revision 1.9 2002-07-27 19:57:18 jonas
|
|
* some typo corrections in the instruction tables
|
|
* renamed the m* registers to v*
|
|
|
|
Revision 1.8 2002/07/26 21:15:45 florian
|
|
* rewrote the system handling
|
|
|
|
Revision 1.7 2002/07/26 11:19:57 jonas
|
|
* fixed range errors
|
|
|
|
Revision 1.6 2002/07/21 16:56:20 jonas
|
|
* fixed bugs with writing out unconditinal jumps
|
|
|
|
Revision 1.5 2002/07/12 10:10:01 jonas
|
|
* changed motorola syntax of references with symbols to GNU syntax
|
|
|
|
Revision 1.4 2002/07/11 14:41:34 florian
|
|
* start of the new generic parameter handling
|
|
|
|
Revision 1.3 2002/07/11 07:34:55 jonas
|
|
* fixed mullw entry in instruction list
|
|
|
|
Revision 1.2 2002/07/09 19:45:01 jonas
|
|
* unarynminus and shlshr node fixed for 32bit and smaller ordinals
|
|
* small fixes in the assembler writer
|
|
* changed scratch registers, because they were used by the linker (r11
|
|
and r12) and by the abi under linux (r31)
|
|
|
|
Revision 1.1 2002/07/07 09:44:31 florian
|
|
* powerpc target fixed, very simple units can be compiled
|
|
}
|