fpc/compiler/x86/agx86att.pas
2023-07-19 19:00:30 +02:00

685 lines
25 KiB
ObjectPascal

{
Copyright (c) 1998-2002 by Florian Klaempfl
This unit implements an asmoutput class for i386 AT&T 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.
****************************************************************************
}
{ This unit implements an asmoutput class for i386 AT&T syntax
}
unit agx86att;
{$i fpcdefs.inc}
interface
uses
cpubase,systems,
globtype,cgutils,
aasmtai,assemble,aggas;
type
Tx86ATTAssembler=class(TGNUassembler)
constructor CreateWithWriter(info: pasminfo; wr: TExternalAssemblerOutputFile; freewriter, smart: boolean); override;
function MakeCmdLine: TCmdStr; override;
end;
Tx86AppleGNUAssembler=class(TAppleGNUassembler)
constructor CreateWithWriter(info: pasminfo; wr: TExternalAssemblerOutputFile; freewriter, smart: boolean); override;
end;
Tx86AoutGNUAssembler=class(TAoutGNUassembler)
constructor CreateWithWriter(info: pasminfo; wr: TExternalAssemblerOutputFile; freewriter, smart: boolean); override;
end;
Tx86InstrWriter=class(TCPUInstrWriter)
private
procedure WriteReference(var ref : treference);
procedure WriteOper(const o:toper);
procedure WriteOper_jmp(const o:toper);
protected
fskipPopcountSuffix: boolean;
{ http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56656 }
fNoInterUnitMovQ: boolean;
public
procedure WriteInstruction(hp: tai);override;
end;
implementation
uses
cutils,
verbose,
itcpugas,
cgbase,
aasmcpu;
{****************************************************************************
Tx86ATTAssembler
****************************************************************************}
constructor Tx86ATTAssembler.CreateWithWriter(info: pasminfo; wr: TExternalAssemblerOutputFile; freewriter, smart: boolean);
begin
inherited;
InstrWriter := Tx86InstrWriter.create(self);
end;
function TX86ATTAssembler.MakeCmdLine: TCmdStr;
var
FormatName : string;
begin
result:=Inherited MakeCmdLine;
{$ifdef i386}
case target_info.system of
system_i386_go32v2:
FormatName:='coff';
system_i386_wdosx,
system_i386_win32:
FormatName:='win32';
system_i386_embedded:
FormatName:='obj';
system_i386_linux,
system_i386_beos:
FormatName:='elf';
system_i386_darwin:
FormatName:='macho32';
else
FormatName:='elf';
end;
{$endif i386}
{$ifdef x86_64}
case target_info.system of
system_x86_64_win64:
FormatName:='win64';
system_x86_64_darwin:
FormatName:='macho64';
system_x86_64_embedded:
FormatName:='obj';
system_x86_64_linux:
FormatName:='elf64';
else
FormatName:='elf64';
end;
{$endif x86_64}
Replace(result,'$FORMAT',FormatName);
end;
{****************************************************************************
Tx86AppleGNUAssembler
****************************************************************************}
constructor Tx86AppleGNUAssembler.CreateWithWriter(info: pasminfo; wr: TExternalAssemblerOutputFile; freewriter, smart: boolean);
begin
inherited;
InstrWriter := Tx86InstrWriter.create(self);
{ Apple's assembler does not support a size suffix for popcount }
Tx86InstrWriter(InstrWriter).fskipPopcountSuffix := true;
{ Apple's assembler is broken regarding some movq suffix handling }
Tx86InstrWriter(InstrWriter).fNoInterUnitMovQ := true;
end;
{****************************************************************************
Tx86AoutGNUAssembler
****************************************************************************}
constructor Tx86AoutGNUAssembler.CreateWithWriter(info: pasminfo; wr: TExternalAssemblerOutputFile; freewriter, smart: boolean);
begin
inherited;
InstrWriter := Tx86InstrWriter.create(self);
end;
{****************************************************************************
Tx86InstrWriter
****************************************************************************}
procedure Tx86InstrWriter.WriteReference(var ref : treference);
begin
with ref do
begin
{ do we have a segment prefix ? }
{ These are probably not correctly handled under GAS }
{ should be replaced by coding the segment override }
{ directly! - DJGPP FAQ }
if segment<>NR_NO then
owner.writer.AsmWrite(gas_regname(segment)+':');
if assigned(symbol) then
owner.writer.AsmWrite(symbol.name);
if assigned(relsymbol) then
owner.writer.AsmWrite('-'+relsymbol.name);
case ref.refaddr of
addr_pic:
begin
{ @GOT and @GOTPCREL references are only allowed for symbol alone,
indexing, relsymbol or offset cannot be present. }
if assigned(relsymbol) or (offset<>0) or (index<>NR_NO) then
InternalError(2015011801);
{$ifdef x86_64}
if (base<>NR_RIP) then
InternalError(2015011802);
owner.writer.AsmWrite('@GOTPCREL');
{$else x86_64}
owner.writer.AsmWrite('@GOT');
{$endif x86_64}
end;
{$ifdef i386}
addr_ntpoff:
owner.writer.AsmWrite('@ntpoff');
addr_tlsgd:
owner.writer.AsmWrite('@tlsgd');
{$endif i386}
{$ifdef x86_64}
addr_tpoff:
owner.writer.AsmWrite('@tpoff');
addr_tlsgd:
owner.writer.AsmWrite('@tlsgd');
{$endif x86_64}
else
;
end;
if offset<0 then
owner.writer.AsmWrite(tostr(offset))
else
if (offset>0) then
begin
if assigned(symbol) then
owner.writer.AsmWrite('+'+tostr(offset))
else
owner.writer.AsmWrite(tostr(offset));
end
else if (index=NR_NO) and (base=NR_NO) and (not assigned(symbol)) then
owner.writer.AsmWrite('0');
if (index<>NR_NO) and (base=NR_NO) then
begin
owner.writer.AsmWrite('(,'+gas_regname(index));
if scalefactor<>0 then
owner.writer.AsmWrite(','+tostr(scalefactor));
owner.writer.AsmWrite(')');
end
else
if (index=NR_NO) and (base<>NR_NO) then
owner.writer.AsmWrite('('+gas_regname(base)+')')
else
if (index<>NR_NO) and (base<>NR_NO) then
begin
owner.writer.AsmWrite('('+gas_regname(base)+','+gas_regname(index));
if scalefactor<>0 then
owner.writer.AsmWrite(','+tostr(scalefactor));
owner.writer.AsmWrite(')');
end;
end;
end;
procedure Tx86InstrWriter.WriteOper(const o:toper);
begin
if o.vopext and OTVE_VECTOR_SAE = OTVE_VECTOR_SAE then
owner.writer.AsmWrite('{sae},');
if o.vopext and OTVE_VECTOR_ER_MASK = OTVE_VECTOR_RNSAE then
owner.writer.AsmWrite('{rn-sae},');
if o.vopext and OTVE_VECTOR_ER_MASK = OTVE_VECTOR_RDSAE then
owner.writer.AsmWrite('{rd-sae},');
if o.vopext and OTVE_VECTOR_ER_MASK = OTVE_VECTOR_RUSAE then
owner.writer.AsmWrite('{ru-sae},');
if o.vopext and OTVE_VECTOR_ER_MASK = OTVE_VECTOR_RZSAE then
owner.writer.AsmWrite('{rz-sae},');
case o.typ of
top_reg :
{ Solaris assembler does not accept %st instead of %st(0) }
if (owner.asminfo^.id=as_solaris_as) and (o.reg=NR_ST) then
owner.writer.AsmWrite(gas_regname(NR_ST0))
else
owner.writer.AsmWrite(gas_regname(o.reg));
top_ref :
if o.ref^.refaddr in [addr_no,addr_pic,addr_pic_no_got
{$ifdef i386},addr_ntpoff,addr_tlsgd{$endif i386}
{$ifdef x86_64},addr_tpoff,addr_tlsgd{$endif x86_64}
] then
WriteReference(o.ref^)
else
begin
owner.writer.AsmWrite('$');
if assigned(o.ref^.symbol) then
owner.writer.AsmWrite(o.ref^.symbol.name);
if o.ref^.offset>0 then
owner.writer.AsmWrite('+'+tostr(o.ref^.offset))
else
if o.ref^.offset<0 then
owner.writer.AsmWrite(tostr(o.ref^.offset))
else
if not(assigned(o.ref^.symbol)) then
owner.writer.AsmWrite('0');
end;
top_const :
owner.writer.AsmWrite('$'+tostr(o.val));
else
internalerror(2020100810);
end;
if o.vopext and OTVE_VECTOR_WRITEMASK = OTVE_VECTOR_WRITEMASK then
begin
owner.writer.AsmWrite('{%k' + tostr(o.vopext and $07) + '} ');
if o.vopext and OTVE_VECTOR_ZERO = OTVE_VECTOR_ZERO then
owner.writer.AsmWrite('{z}');
end;
if o.vopext and OTVE_VECTOR_BCST = OTVE_VECTOR_BCST then
begin
case o.vopext and (OTVE_VECTOR_BCST2 or OTVE_VECTOR_BCST4 or OTVE_VECTOR_BCST8 or OTVE_VECTOR_BCST16) of
OTVE_VECTOR_BCST2: owner.writer.AsmWrite('{1to2}');
OTVE_VECTOR_BCST4: owner.writer.AsmWrite('{1to4}');
OTVE_VECTOR_BCST8: owner.writer.AsmWrite('{1to8}');
OTVE_VECTOR_BCST16: owner.writer.AsmWrite('{1to16}');
else ; //TG TODO errormsg
end;
end;
end;
procedure Tx86InstrWriter.WriteOper_jmp(const o:toper);
begin
case o.typ of
top_reg :
owner.writer.AsmWrite('*'+gas_regname(o.reg));
top_ref :
begin
if o.ref^.refaddr in [addr_no,addr_pic_no_got] then
begin
owner.writer.AsmWrite('*');
WriteReference(o.ref^);
end
else
begin
owner.writer.AsmWrite(o.ref^.symbol.name);
if o.ref^.refaddr=addr_pic then
owner.writer.AsmWrite('@PLT');
if o.ref^.offset>0 then
owner.writer.AsmWrite('+'+tostr(o.ref^.offset))
else
if o.ref^.offset<0 then
owner.writer.AsmWrite(tostr(o.ref^.offset));
end;
end;
top_const :
owner.writer.AsmWrite(tostr(o.val));
else
internalerror(2020100811);
end;
end;
procedure Tx86InstrWriter.WriteInstruction(hp: tai);
var
op : tasmop;
calljmp : boolean;
i : integer;
begin
if hp.typ <> ait_instruction then
exit;
taicpu(hp).SetOperandOrder(op_att);
op:=taicpu(hp).opcode;
calljmp:=is_calljmp(op);
{ see fNoInterUnitMovQ declaration comment }
if fNoInterUnitMovQ then
begin
if ((op=A_MOVQ) or
(op=A_VMOVQ)) and
(((taicpu(hp).oper[0]^.typ=top_reg) and
(getregtype(taicpu(hp).oper[0]^.reg)=R_INTREGISTER)) or
((taicpu(hp).oper[1]^.typ=top_reg) and
(getregtype(taicpu(hp).oper[1]^.reg)=R_INTREGISTER))) then
begin
if op=A_MOVQ then
op:=A_MOVD
else
op:=A_VMOVD;
taicpu(hp).opcode:=op;
end;
end;
owner.writer.AsmWrite(#9);
{ movsd should not be translated to movsl when there
are (xmm) arguments }
if (op=A_MOVSD) and (taicpu(hp).ops>0) then
owner.writer.AsmWrite('movsd')
{ the same applies to cmpsd as well }
else if (op=A_CMPSD) and (taicpu(hp).ops>0) then
owner.writer.AsmWrite('cmpsd')
else
owner.writer.AsmWrite(gas_op2str[op]);
owner.writer.AsmWrite(cond2str[taicpu(hp).condition]);
{ suffix needed ? fnstsw,fldcw don't support suffixes
with binutils 2.9.5 under linux }
{ if (Taicpu(hp).oper[0]^.typ=top_reg) and
(Taicpu(hp).oper[0]^.reg.enum>lastreg) then
internalerror(200301081);}
if (not calljmp) and
(gas_needsuffix[op]<>AttSufNONE) and
(op<>A_FNSTSW) and
(op<>A_FSTSW) and
(op<>A_FNSTCW) and
(op<>A_FSTCW) and
(op<>A_FLDCW) and
(not fskipPopcountSuffix or
(op<>A_POPCNT)) and
((owner.asminfo^.id<>as_solaris_as) or ((op<>A_Jcc) and (op<>A_SETcc) and (op<>A_CMOVCC))) and
not(
(taicpu(hp).ops<>0) and
(taicpu(hp).oper[0]^.typ=top_reg) and
(getregtype(taicpu(hp).oper[0]^.reg)=R_FPUREGISTER)
) then
begin
if (gas_needsuffix[op]<>AttSufMMX) or
(taicpu(hp).opsize in [S_XMM,S_YMM]) then
owner.writer.AsmWrite(gas_opsize2str[taicpu(hp).opsize]);
end;
{ process operands }
if taicpu(hp).ops<>0 then
begin
if calljmp then
begin
owner.writer.AsmWrite(#9);
WriteOper_jmp(taicpu(hp).oper[0]^);
end
else
begin
for i:=0 to taicpu(hp).ops-1 do
begin
if i=0 then
owner.writer.AsmWrite(#9)
else
owner.writer.AsmWrite(',');
WriteOper(taicpu(hp).oper[i]^);
end;
end;
end;
owner.writer.AsmLn;
end;
{*****************************************************************************
Initialize
*****************************************************************************}
const
{$ifdef x86_64}
as_x86_64_as_info : tasminfo =
(
id : as_gas;
idtxt : 'AS';
asmbin : 'as';
asmcmd : '--64 -o $OBJ $BIGOBJ $EXTRAOPT $ASM';
supported_targets : [system_x86_64_linux,system_x86_64_freebsd,
system_x86_64_win64,system_x86_64_embedded,
system_x86_64_openbsd,system_x86_64_netbsd,
system_x86_64_dragonfly,system_x86_64_aros,
system_x86_64_android,system_x86_64_haiku];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_x86_64_yasm_info : tasminfo =
(
id : as_yasm;
idtxt : 'YASM';
asmbin : 'yasm';
asmcmd : '-a x86 -p gas -f $FORMAT -o $OBJ $EXTRAOPT $ASM';
supported_targets : [system_x86_64_linux,system_x86_64_freebsd,system_x86_64_win64,system_x86_64_embedded];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_x86_64_gas_info : tasminfo =
(
id : as_ggas;
idtxt : 'GAS';
asmbin : 'gas';
asmcmd : '--64 -o $OBJ $EXTRAOPT $ASM';
supported_targets : [system_x86_64_solaris];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_x86_64_solaris_info : tasminfo =
(
id : as_solaris_as;
idtxt : 'AS-SOL';
asmbin : 'as';
asmcmd : ' -m64 -o $OBJ $PIC $EXTRAOPT $ASM';
supported_targets : [system_x86_64_solaris];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_x86_64_gas_darwin_info : tasminfo =
(
id : as_darwin;
idtxt : 'AS-DARWIN';
asmbin : 'as';
asmcmd : '-o $OBJ $EXTRAOPT $ASM -arch x86_64';
supported_targets : [system_x86_64_darwin,system_x86_64_iphonesim];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : 'L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_x86_64_clang_darwin_info : tasminfo =
(
id : as_clang_asdarwin;
idtxt : 'CLANG';
asmbin : 'clang';
asmcmd : '-x assembler -c -target $TRIPLET -o $OBJ $EXTRAOPT -x assembler $ASM';
supported_targets : [system_x86_64_darwin,system_x86_64_iphonesim];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf,af_no_stabs,af_llvm,af_supports_hlcfi];
labelprefix : 'L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_x86_64_clang_gas_info : tasminfo =
(
id : as_clang_gas;
idtxt : 'AS-CLANG';
asmbin : 'clang';
asmcmd : '-x assembler -c -target $TRIPLET -o $OBJ $EXTRAOPT -x assembler $ASM';
supported_targets : [system_x86_64_linux, system_x86_64_freebsd, system_x86_64_netbsd, system_x86_64_openbsd];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf,af_llvm,af_supports_hlcfi];
labelprefix : '.L';
labelmaxlen : -1;
comment : '// ';
dollarsign: '$';
);
{$else x86_64}
as_i386_as_info : tasminfo =
(
id : as_gas;
idtxt : 'AS';
asmbin : 'as';
asmcmd : '--32 -o $OBJ $BIGOBJ $EXTRAOPT $ASM';
supported_targets : [system_i386_GO32V2,system_i386_linux,system_i386_Win32,system_i386_freebsd,system_i386_solaris,system_i386_beos,
system_i386_netbsd,system_i386_Netware,system_i386_wdosx,system_i386_openbsd,
system_i386_netwlibc,system_i386_wince,system_i386_embedded,system_i386_symbian,system_i386_haiku,system_x86_6432_linux,
system_i386_nativent,system_i386_android,system_i386_aros];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_i386_yasm_info : tasminfo =
(
id : as_yasm;
idtxt : 'YASM';
asmbin : 'yasm';
asmcmd : '-a x86 -p gas -f $FORMAT -o $OBJ $EXTRAOPT $ASM';
supported_targets : [system_i386_GO32V2,system_i386_linux,system_i386_Win32,system_i386_freebsd,system_i386_solaris,system_i386_beos,
system_i386_netbsd,system_i386_Netware,system_i386_wdosx,system_i386_openbsd,
system_i386_netwlibc,system_i386_wince,system_i386_embedded,system_i386_symbian,system_i386_haiku,system_x86_6432_linux,
system_i386_nativent];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_i386_as_aout_info : tasminfo =
(
id : as_i386_as_aout;
idtxt : 'AS_AOUT';
asmbin : 'as';
asmcmd : '-o $OBJ $EXTRAOPT $ASM';
supported_targets : [system_i386_linux,system_i386_OS2,system_i386_freebsd,system_i386_netbsd,system_i386_openbsd,system_i386_EMX,system_i386_embedded];
flags : [af_needar,af_stabs_use_function_absolute_addresses];
labelprefix : 'L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_i386_gas_darwin_info : tasminfo =
(
id : as_darwin;
idtxt : 'AS-DARWIN';
asmbin : 'as';
asmcmd : '-o $OBJ $EXTRAOPT $ASM -arch i386';
supported_targets : [system_i386_darwin,system_i386_iphonesim];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf,af_stabs_use_function_absolute_addresses];
labelprefix : 'L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_i386_clang_darwin_info : tasminfo =
(
id : as_clang_asdarwin;
idtxt : 'CLANG';
asmbin : 'clang';
asmcmd : '-x assembler -c -target $TRIPLET -o $OBJ $EXTRAOPT -x assembler $ASM';
supported_targets : [system_i386_darwin,system_i386_iphonesim];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf,af_no_stabs,af_llvm,af_supports_hlcfi];
labelprefix : 'L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_i386_clang_gas_info : tasminfo =
(
id : as_clang_gas;
idtxt : 'AS-CLANG';
asmbin : 'clang';
asmcmd : '-x assembler -c -target $TRIPLET -o $OBJ $EXTRAOPT -x assembler $ASM';
supported_targets : [system_i386_linux, system_i386_freebsd, system_i386_netbsd, system_i386_openbsd];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf,af_llvm,af_supports_hlcfi];
labelprefix : '.L';
labelmaxlen : -1;
comment : '// ';
dollarsign: '$';
);
as_i386_gas_info : tasminfo =
(
id : as_ggas;
idtxt : 'GAS';
asmbin : 'gas';
asmcmd : '--32 -o $OBJ $EXTRAOPT $ASM';
supported_targets : [system_i386_GO32V2,system_i386_linux,system_i386_Win32,system_i386_freebsd,system_i386_solaris,system_i386_beos,
system_i386_netbsd,system_i386_Netware,system_i386_wdosx,system_i386_openbsd,
system_i386_netwlibc,system_i386_wince,system_i386_embedded,system_i386_symbian,system_i386_haiku,
system_x86_6432_linux,system_i386_android];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
as_i386_solaris_info : tasminfo =
(
id : as_solaris_as;
idtxt : 'AS-SOL';
asmbin : 'as';
asmcmd : ' -m32 -o $OBJ $PIC $EXTRAOPT $ASM';
supported_targets : [system_i386_solaris];
flags : [af_needar,af_smartlink_sections,af_supports_dwarf];
labelprefix : '.L';
labelmaxlen : -1;
comment : '# ';
dollarsign: '$';
);
{$endif x86_64}
initialization
{$ifdef x86_64}
RegisterAssembler(as_x86_64_as_info,Tx86ATTAssembler);
RegisterAssembler(as_x86_64_yasm_info,Tx86ATTAssembler);
RegisterAssembler(as_x86_64_gas_info,Tx86ATTAssembler);
RegisterAssembler(as_x86_64_gas_darwin_info,Tx86AppleGNUAssembler);
RegisterAssembler(as_x86_64_clang_darwin_info,Tx86AppleGNUAssembler);
RegisterAssembler(as_x86_64_clang_gas_info,Tx86ATTAssembler);
RegisterAssembler(as_x86_64_solaris_info,Tx86ATTAssembler);
{$else x86_64}
RegisterAssembler(as_i386_as_info,Tx86ATTAssembler);
RegisterAssembler(as_i386_gas_info,Tx86ATTAssembler);
RegisterAssembler(as_i386_yasm_info,Tx86ATTAssembler);
RegisterAssembler(as_i386_gas_darwin_info,Tx86AppleGNUAssembler);
RegisterAssembler(as_i386_clang_darwin_info,Tx86AppleGNUAssembler);
RegisterAssembler(as_i386_clang_gas_info,Tx86ATTAssembler);
RegisterAssembler(as_i386_as_aout_info,Tx86AoutGNUAssembler);
RegisterAssembler(as_i386_solaris_info,Tx86ATTAssembler);
{$endif x86_64}
end.