mirror of
https://gitlab.com/freepascal.org/fpc/source.git
synced 2025-04-21 00:49:30 +02:00
627 lines
20 KiB
ObjectPascal
627 lines
20 KiB
ObjectPascal
{
|
|
$Id$
|
|
Copyright (c) 1998-2000 by Florian Klaempfl
|
|
|
|
This unit implements an abstract assembler write for GNU AT&T
|
|
assebler syntax
|
|
|
|
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 agatt;
|
|
|
|
interface
|
|
|
|
uses
|
|
globals,systems,{errors,}cobjects,aasm,strings,files,assemble,cpuasm
|
|
{$ifdef GDB}
|
|
,gdb
|
|
{$endif GDB}
|
|
,cpubase,globtype
|
|
;
|
|
|
|
type
|
|
pattasmlist=^tattasmlist;
|
|
tattasmlist=object(tasmlist)
|
|
{ convert an operand to a string }
|
|
function getopstr(const o:toper) : string;
|
|
|
|
|
|
{ convert a treference to a string }
|
|
function getreferencestring(var ref : treference) : string; Virtual;
|
|
{ convert a call/jmp operand to a string }
|
|
function getopstr_jmp(const o:toper) : string; Virtual;
|
|
|
|
{ write an ait_instruction }
|
|
Procedure WriteInstruction (P : paicpu); virtual;
|
|
|
|
|
|
procedure WriteTree(p:paasmoutput);virtual;
|
|
procedure WriteAsmList;virtual;
|
|
{$ifdef GDB}
|
|
procedure WriteFileLineInfo(var fileinfo : tfileposinfo);
|
|
{$endif}
|
|
end;
|
|
|
|
implementation
|
|
|
|
|
|
function tattasmlist.getreferencestring(var ref : treference) : string;
|
|
begin
|
|
Abstract
|
|
End;
|
|
|
|
function tattasmlist.getopstr_jmp(const o:toper) : string;
|
|
Begin
|
|
Abstract
|
|
end;
|
|
|
|
Procedure tattasmlist.WriteInstruction (P : paicpu);
|
|
Begin
|
|
Abstract
|
|
End;
|
|
|
|
|
|
function tattasmlist.getopstr(const o:toper) : string;
|
|
var
|
|
hs : string;
|
|
begin
|
|
case o.typ of
|
|
top_reg :
|
|
getopstr:=att_reg2str[o.reg];
|
|
top_ref :
|
|
getopstr:=getreferencestring(o.ref^);
|
|
top_const :
|
|
getopstr:='$'+tostr(o.val);
|
|
top_symbol :
|
|
begin
|
|
if assigned(o.sym) then
|
|
hs:='$'+o.sym^.name
|
|
else
|
|
hs:='$';
|
|
if o.symofs>0 then
|
|
hs:=hs+'+'+tostr(o.symofs)
|
|
else
|
|
if o.symofs<0 then
|
|
hs:=hs+tostr(o.symofs)
|
|
else
|
|
if not(assigned(o.sym)) then
|
|
hs:=hs+'0';
|
|
getopstr:=hs;
|
|
end;
|
|
else
|
|
{$ifndef testing}
|
|
internalerror(10001);
|
|
{$else testing}
|
|
begin
|
|
writeln('internalerror 10001');
|
|
halt(1);
|
|
end;
|
|
{$endif testing}
|
|
end;
|
|
end;
|
|
|
|
|
|
|
|
|
|
{$ifdef GDB}
|
|
procedure tattasmlist.WriteFileLineInfo(var fileinfo : tfileposinfo);
|
|
var
|
|
curr_n : byte;
|
|
begin
|
|
if not (cs_debuginfo in aktmoduleswitches) then
|
|
exit;
|
|
{ file changed ? (must be before line info) }
|
|
if (fileinfo.fileindex<>0) and
|
|
(stabslastfileinfo.fileindex<>fileinfo.fileindex) then
|
|
begin
|
|
infile:=current_module^.sourcefiles^.get_file(fileinfo.fileindex);
|
|
if includecount=0 then
|
|
curr_n:=n_sourcefile
|
|
else
|
|
curr_n:=n_includefile;
|
|
if (infile^.path^<>'') then
|
|
begin
|
|
AsmWriteLn(#9'.stabs "'+lower(BsToSlash(FixPath(infile^.path^,false)))+'",'+
|
|
tostr(curr_n)+',0,0,'+'Ltext'+ToStr(IncludeCount));
|
|
end;
|
|
AsmWriteLn(#9'.stabs "'+lower(FixFileName(infile^.name^))+'",'+
|
|
tostr(curr_n)+',0,0,'+'Ltext'+ToStr(IncludeCount));
|
|
AsmWriteLn('Ltext'+ToStr(IncludeCount)+':');
|
|
inc(includecount);
|
|
end;
|
|
{ line changed ? }
|
|
if (stabslastfileinfo.line<>fileinfo.line) and (fileinfo.line<>0) then
|
|
begin
|
|
if (n_line=n_textline) and assigned(funcname) and
|
|
(target_os.use_function_relative_addresses) then
|
|
begin
|
|
AsmWriteLn(target_asm.labelprefix+'l'+tostr(linecount)+':');
|
|
AsmWrite(#9'.stabn '+tostr(n_line)+',0,'+tostr(fileinfo.line)+','+
|
|
target_asm.labelprefix+'l'+tostr(linecount)+' - ');
|
|
AsmWritePChar(FuncName);
|
|
AsmLn;
|
|
inc(linecount);
|
|
end
|
|
else
|
|
AsmWriteLn(#9'.stabd'#9+tostr(n_line)+',0,'+tostr(fileinfo.line));
|
|
end;
|
|
stabslastfileinfo:=fileinfo;
|
|
end;
|
|
{$endif GDB}
|
|
|
|
procedure tattasmlist.WriteTree(p:paasmoutput);
|
|
const
|
|
allocstr : array[boolean] of string[10]=(' released',' allocated');
|
|
type
|
|
t64bitarray = array[0..7] of byte;
|
|
t32bitarray = array[0..3] of byte;
|
|
var
|
|
ch : char;
|
|
hp : pai;
|
|
consttyp : tait;
|
|
s : string;
|
|
found : boolean;
|
|
i,pos,l : longint;
|
|
co : comp;
|
|
sin : single;
|
|
d : double;
|
|
e : extended;
|
|
op : tasmop;
|
|
calljmp,
|
|
do_line : boolean;
|
|
sep : char;
|
|
begin
|
|
if not assigned(p) then
|
|
exit;
|
|
do_line:=(cs_debuginfo in aktmoduleswitches) or (cs_asm_source in aktglobalswitches);
|
|
hp:=pai(p^.first);
|
|
while assigned(hp) do
|
|
begin
|
|
aktfilepos:=hp^.fileinfo;
|
|
if do_line then
|
|
begin
|
|
{ I think it is better to write stabs before source line PM }
|
|
{$ifdef GDB}
|
|
{ write stabs }
|
|
if cs_debuginfo in aktmoduleswitches then
|
|
begin
|
|
if not (hp^.typ in [
|
|
ait_label,
|
|
ait_regalloc,ait_tempalloc,
|
|
ait_stabn,ait_stabs,ait_section,
|
|
ait_cut,ait_marker,ait_align,ait_stab_function_name]) then
|
|
begin
|
|
WriteFileLineInfo(hp^.fileinfo);
|
|
end;
|
|
end;
|
|
{$endif GDB}
|
|
{ load infile }
|
|
if lastfileinfo.fileindex<>hp^.fileinfo.fileindex then
|
|
begin
|
|
infile:=current_module^.sourcefiles^.get_file(hp^.fileinfo.fileindex);
|
|
{ open only if needed !! }
|
|
if (cs_asm_source in aktglobalswitches) then
|
|
infile^.open;
|
|
{ avoid unnecessary reopens of the same file !! }
|
|
lastfileinfo.fileindex:=hp^.fileinfo.fileindex;
|
|
{ be sure to change line !! }
|
|
lastfileinfo.line:=-1;
|
|
end;
|
|
{ write source }
|
|
if (cs_asm_source in aktglobalswitches) and
|
|
not (hp^.typ in [
|
|
ait_label,
|
|
ait_stabn,ait_stabs,ait_section,
|
|
ait_cut,ait_align,ait_stab_function_name]) then
|
|
begin
|
|
if (infile<>lastinfile) and assigned(lastinfile) then
|
|
begin
|
|
AsmWriteLn(target_asm.comment+'['+infile^.name^+']');
|
|
lastinfile^.close;
|
|
end;
|
|
if (hp^.fileinfo.line<>lastfileinfo.line) and
|
|
(hp^.fileinfo.line<infile^.maxlinebuf) then
|
|
begin
|
|
if (hp^.fileinfo.line<>0) and
|
|
(infile^.linebuf^[hp^.fileinfo.line]>=0) then
|
|
AsmWriteLn(target_asm.comment+'['+tostr(hp^.fileinfo.line)+'] '+
|
|
fixline(infile^.GetLineStr(hp^.fileinfo.line)));
|
|
{ set it to a negative value !
|
|
to make that is has been read already !! PM }
|
|
infile^.linebuf^[hp^.fileinfo.line]:=-infile^.linebuf^[hp^.fileinfo.line]-1;
|
|
end;
|
|
lastfileinfo:=hp^.fileinfo;
|
|
lastinfile:=infile;
|
|
end;
|
|
end;
|
|
|
|
case hp^.typ of
|
|
|
|
ait_comment :
|
|
Begin
|
|
AsmWrite(target_asm.comment);
|
|
AsmWritePChar(pai_asm_comment(hp)^.str);
|
|
AsmLn;
|
|
End;
|
|
|
|
ait_regalloc :
|
|
begin
|
|
if (cs_asm_regalloc in aktglobalswitches) then
|
|
AsmWriteLn(target_asm.comment+'Register '+att_reg2str[pairegalloc(hp)^.reg]+
|
|
allocstr[pairegalloc(hp)^.allocation]);
|
|
end;
|
|
|
|
ait_tempalloc :
|
|
begin
|
|
if (cs_asm_tempalloc in aktglobalswitches) then
|
|
AsmWriteLn(target_asm.comment+'Temp '+tostr(paitempalloc(hp)^.temppos)+','+
|
|
tostr(paitempalloc(hp)^.tempsize)+allocstr[paitempalloc(hp)^.allocation]);
|
|
end;
|
|
|
|
ait_align :
|
|
begin
|
|
AsmWrite(#9'.balign '+tostr(pai_align(hp)^.aligntype));
|
|
if pai_align(hp)^.use_op then
|
|
AsmWrite(','+tostr(pai_align(hp)^.fillop));
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_section :
|
|
begin
|
|
if pai_section(hp)^.sec<>sec_none then
|
|
begin
|
|
AsmLn;
|
|
AsmWriteLn(ait_section2str(pai_section(hp)^.sec));
|
|
{$ifdef GDB}
|
|
lastfileinfo.line:=-1;
|
|
{$endif GDB}
|
|
end;
|
|
end;
|
|
|
|
ait_datablock :
|
|
begin
|
|
if pai_datablock(hp)^.is_global then
|
|
AsmWrite(#9'.comm'#9)
|
|
else
|
|
AsmWrite(#9'.lcomm'#9);
|
|
AsmWrite(pai_datablock(hp)^.sym^.name);
|
|
AsmWriteLn(','+tostr(pai_datablock(hp)^.size));
|
|
end;
|
|
|
|
ait_const_32bit,
|
|
ait_const_16bit,
|
|
ait_const_8bit :
|
|
begin
|
|
AsmWrite(ait_const2str[hp^.typ]+tostr(pai_const(hp)^.value));
|
|
consttyp:=hp^.typ;
|
|
l:=0;
|
|
repeat
|
|
found:=(not (Pai(hp^.next)=nil)) and (Pai(hp^.next)^.typ=consttyp);
|
|
if found then
|
|
begin
|
|
hp:=Pai(hp^.next);
|
|
s:=','+tostr(pai_const(hp)^.value);
|
|
AsmWrite(s);
|
|
inc(l,length(s));
|
|
end;
|
|
until (not found) or (l>line_length);
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_const_symbol :
|
|
begin
|
|
AsmWrite(#9'.long'#9+pai_const_symbol(hp)^.sym^.name);
|
|
if pai_const_symbol(hp)^.offset>0 then
|
|
AsmWrite('+'+tostr(pai_const_symbol(hp)^.offset))
|
|
else if pai_const_symbol(hp)^.offset<0 then
|
|
AsmWrite(tostr(pai_const_symbol(hp)^.offset));
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_const_rva :
|
|
AsmWriteLn(#9'.rva'#9+pai_const_symbol(hp)^.sym^.name);
|
|
|
|
ait_real_64bit :
|
|
begin
|
|
if do_line then
|
|
AsmWriteLn(target_asm.comment+double2str(pai_real_64bit(hp)^.value));
|
|
d:=pai_real_64bit(hp)^.value;
|
|
AsmWrite(#9'.byte'#9);
|
|
for i:=0 to 7 do
|
|
begin
|
|
if i<>0 then
|
|
AsmWrite(',');
|
|
AsmWrite(tostr(t64bitarray(d)[i]));
|
|
end;
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_real_32bit :
|
|
begin
|
|
if do_line then
|
|
AsmWriteLn(target_asm.comment+single2str(pai_real_32bit(hp)^.value));
|
|
sin:=pai_real_32bit(hp)^.value;
|
|
AsmWrite(#9'.byte'#9);
|
|
for i:=0 to 3 do
|
|
begin
|
|
if i<>0 then
|
|
AsmWrite(',');
|
|
AsmWrite(tostr(t32bitarray(sin)[i]));
|
|
end;
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_comp_64bit :
|
|
begin
|
|
if do_line then
|
|
AsmWriteLn(target_asm.comment+comp2str(pai_comp_64bit(hp)^.value));
|
|
AsmWrite(#9'.byte'#9);
|
|
{$ifdef FPC}
|
|
co:=comp(pai_comp_64bit(hp)^.value);
|
|
{$else}
|
|
co:=pai_comp_64bit(hp)^.value;
|
|
{$endif}
|
|
for i:=0 to 7 do
|
|
begin
|
|
if i<>0 then
|
|
AsmWrite(',');
|
|
AsmWrite(tostr(t64bitarray(co)[i]));
|
|
end;
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_direct :
|
|
begin
|
|
AsmWritePChar(pai_direct(hp)^.str);
|
|
AsmLn;
|
|
{$IfDef GDB}
|
|
if strpos(pai_direct(hp)^.str,'.data')<>nil then
|
|
n_line:=n_dataline
|
|
else if strpos(pai_direct(hp)^.str,'.text')<>nil then
|
|
n_line:=n_textline
|
|
else if strpos(pai_direct(hp)^.str,'.bss')<>nil then
|
|
n_line:=n_bssline;
|
|
{$endif GDB}
|
|
end;
|
|
|
|
ait_string :
|
|
begin
|
|
pos:=0;
|
|
for i:=1 to pai_string(hp)^.len do
|
|
begin
|
|
if pos=0 then
|
|
begin
|
|
AsmWrite(#9'.ascii'#9'"');
|
|
pos:=20;
|
|
end;
|
|
ch:=pai_string(hp)^.str[i-1];
|
|
case ch of
|
|
#0, {This can't be done by range, because a bug in FPC}
|
|
#1..#31,
|
|
#128..#255 : s:='\'+tostr(ord(ch) shr 6)+tostr((ord(ch) and 63) shr 3)+tostr(ord(ch) and 7);
|
|
'"' : s:='\"';
|
|
'\' : s:='\\';
|
|
else
|
|
s:=ch;
|
|
end;
|
|
AsmWrite(s);
|
|
inc(pos,length(s));
|
|
if (pos>line_length) or (i=pai_string(hp)^.len) then
|
|
begin
|
|
AsmWriteLn('"');
|
|
pos:=0;
|
|
end;
|
|
end;
|
|
end;
|
|
|
|
ait_label :
|
|
begin
|
|
if (pai_label(hp)^.l^.is_used) then
|
|
begin
|
|
if pai_label(hp)^.l^.typ=AS_GLOBAL then
|
|
AsmWriteLn('.globl'#9+pai_label(hp)^.l^.name);
|
|
AsmWriteLn(pai_label(hp)^.l^.name+':');
|
|
end;
|
|
end;
|
|
|
|
ait_symbol :
|
|
begin
|
|
if pai_symbol(hp)^.is_global then
|
|
AsmWriteLn('.globl'#9+pai_symbol(hp)^.sym^.name);
|
|
if target_info.target=target_i386_linux then
|
|
begin
|
|
AsmWrite(#9'.type'#9+pai_symbol(hp)^.sym^.name);
|
|
if assigned(pai(hp^.next)) and
|
|
(pai(hp^.next)^.typ in [ait_const_symbol,ait_const_rva,
|
|
ait_const_32bit,ait_const_16bit,ait_const_8bit,ait_datablock,
|
|
ait_real_32bit,ait_real_64bit,ait_real_80bit,ait_comp_64bit]) then
|
|
AsmWriteLn(',@object')
|
|
else
|
|
AsmWriteLn(',@function');
|
|
if pai_symbol(hp)^.sym^.size>0 then
|
|
AsmWriteLn(#9'.size'#9+pai_symbol(hp)^.sym^.name+', '+tostr(pai_symbol(hp)^.sym^.size));
|
|
end;
|
|
AsmWriteLn(pai_symbol(hp)^.sym^.name+':');
|
|
end;
|
|
|
|
ait_symbol_end :
|
|
begin
|
|
if target_info.target=target_i386_linux then
|
|
begin
|
|
s:=target_asm.labelprefix+'e'+tostr(symendcount);
|
|
inc(symendcount);
|
|
AsmWriteLn(s+':');
|
|
AsmWriteLn(#9'.size'#9+pai_symbol(hp)^.sym^.name+', '+s+' - '+pai_symbol(hp)^.sym^.name);
|
|
end;
|
|
end;
|
|
|
|
ait_instruction : WriteInstruction(Hp);
|
|
{$ifdef GDB}
|
|
ait_stabs :
|
|
begin
|
|
AsmWrite(#9'.stabs ');
|
|
AsmWritePChar(pai_stabs(hp)^.str);
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_stabn :
|
|
begin
|
|
AsmWrite(#9'.stabn ');
|
|
AsmWritePChar(pai_stabn(hp)^.str);
|
|
AsmLn;
|
|
end;
|
|
|
|
ait_force_line :
|
|
stabslastfileinfo.line:=0;
|
|
|
|
ait_stab_function_name:
|
|
funcname:=pai_stab_function_name(hp)^.str;
|
|
{$endif GDB}
|
|
|
|
ait_cut :
|
|
begin
|
|
if SmartAsm then
|
|
begin
|
|
{ only reset buffer if nothing has changed }
|
|
if AsmSize=AsmStartSize then
|
|
AsmClear
|
|
else
|
|
begin
|
|
AsmClose;
|
|
DoAssemble;
|
|
if pai_cut(hp)^.EndName then
|
|
IsEndFile:=true;
|
|
AsmCreate;
|
|
end;
|
|
{ avoid empty files }
|
|
while assigned(hp^.next) and (pai(hp^.next)^.typ in [ait_cut,ait_section,ait_comment]) do
|
|
begin
|
|
if pai(hp^.next)^.typ=ait_section then
|
|
lastsec:=pai_section(hp^.next)^.sec;
|
|
hp:=pai(hp^.next);
|
|
end;
|
|
{$ifdef GDB}
|
|
{ force write of filename }
|
|
FillChar(stabslastfileinfo,sizeof(stabslastfileinfo),0);
|
|
includecount:=0;
|
|
funcname:=nil;
|
|
WriteFileLineInfo(hp^.fileinfo);
|
|
{$endif GDB}
|
|
if lastsec<>sec_none then
|
|
AsmWriteLn(ait_section2str(lastsec));
|
|
AsmStartSize:=AsmSize;
|
|
end;
|
|
end;
|
|
|
|
ait_marker :
|
|
;
|
|
|
|
else
|
|
{$ifndef testing}
|
|
internalerror(10000);
|
|
{$else testing}
|
|
begin
|
|
writeln('internalerror 10001');
|
|
halt(1);
|
|
end;
|
|
{$endif testing}
|
|
end;
|
|
hp:=pai(hp^.next);
|
|
end;
|
|
end;
|
|
|
|
|
|
procedure tattasmlist.WriteAsmList;
|
|
var
|
|
p:dirstr;
|
|
n:namestr;
|
|
e:extstr;
|
|
{$ifdef GDB}
|
|
fileinfo : tfileposinfo;
|
|
{$endif GDB}
|
|
|
|
begin
|
|
{$ifdef EXTDEBUG}
|
|
if assigned(current_module^.mainsource) then
|
|
Comment(v_info,'Start writing att-styled assembler output for '+current_module^.mainsource^);
|
|
{$endif}
|
|
|
|
LastSec:=sec_none;
|
|
{$ifdef GDB}
|
|
FillChar(stabslastfileinfo,sizeof(stabslastfileinfo),0);
|
|
{$endif GDB}
|
|
FillChar(lastfileinfo,sizeof(lastfileinfo),0);
|
|
LastInfile:=nil;
|
|
|
|
if assigned(current_module^.mainsource) then
|
|
fsplit(current_module^.mainsource^,p,n,e)
|
|
else
|
|
begin
|
|
p:=inputdir;
|
|
n:=inputfile;
|
|
e:=inputextension;
|
|
end;
|
|
{ to get symify to work }
|
|
AsmWriteLn(#9'.file "'+FixFileName(n+e)+'"');
|
|
|
|
{$ifdef GDB}
|
|
n_line:=n_bssline;
|
|
funcname:=nil;
|
|
linecount:=1;
|
|
includecount:=0;
|
|
fileinfo.fileindex:=1;
|
|
fileinfo.line:=1;
|
|
{ Write main file }
|
|
WriteFileLineInfo(fileinfo);
|
|
{$endif GDB}
|
|
AsmStartSize:=AsmSize;
|
|
symendcount:=0;
|
|
|
|
countlabelref:=false;
|
|
If (cs_debuginfo in aktmoduleswitches) then
|
|
WriteTree(debuglist);
|
|
WriteTree(codesegment);
|
|
WriteTree(datasegment);
|
|
WriteTree(consts);
|
|
WriteTree(rttilist);
|
|
Writetree(resourcestringlist);
|
|
WriteTree(bsssegment);
|
|
Writetree(importssection);
|
|
Writetree(exportssection);
|
|
Writetree(resourcesection);
|
|
countlabelref:=true;
|
|
|
|
AsmLn;
|
|
{$ifdef EXTDEBUG}
|
|
if assigned(current_module^.mainsource) then
|
|
comment(v_info,'Done writing att-styled assembler output for '+current_module^.mainsource^);
|
|
{$endif EXTDEBUG}
|
|
end;
|
|
|
|
Procedure tattasmlist.WriteInstruction (P : Pai); virtual;
|
|
|
|
begin
|
|
RunError(255);
|
|
end;
|
|
end.
|
|
{
|
|
$Log$
|
|
Revision 1.2 2002-09-07 15:25:14 peter
|
|
* old logs removed and tabs fixed
|
|
|
|
}
|