|
@@ -0,0 +1,721 @@
|
|
|
|
+{
|
|
|
|
+ $Id$
|
|
|
|
+ Copyright (c) 1998-2002 by Mazen NEIFER
|
|
|
|
+
|
|
|
|
+ Does the parsing for the i386 GNU AS styled inline assembler.
|
|
|
|
+
|
|
|
|
+ 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 racpugas;
|
|
|
|
+
|
|
|
|
+{$i fpcdefs.inc}
|
|
|
|
+
|
|
|
|
+Interface
|
|
|
|
+
|
|
|
|
+ uses
|
|
|
|
+ raatt,racpu;
|
|
|
|
+
|
|
|
|
+ type
|
|
|
|
+ tSparcReader = class(tattreader)
|
|
|
|
+ function is_asmopcode(const s: string):boolean;override;
|
|
|
|
+ procedure handleopcode;override;
|
|
|
|
+ procedure BuildReference(oper : tSparcoperand);
|
|
|
|
+ procedure BuildOperand(oper : tSparcoperand);
|
|
|
|
+ procedure BuildOpCode(instr : tSparcinstruction);
|
|
|
|
+ procedure ReadAt(oper : tSparcoperand);
|
|
|
|
+ procedure ReadSym(oper : tSparcoperand);
|
|
|
|
+ procedure ConvertCalljmp(instr : tSparcinstruction);
|
|
|
|
+ procedure handlepercent;override;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ Implementation
|
|
|
|
+
|
|
|
|
+ uses
|
|
|
|
+ { helpers }
|
|
|
|
+ cutils,
|
|
|
|
+ { global }
|
|
|
|
+ globtype,globals,verbose,
|
|
|
|
+ systems,
|
|
|
|
+ { aasm }
|
|
|
|
+ cpubase,cpuinfo,aasmbase,aasmtai,aasmcpu,
|
|
|
|
+ { symtable }
|
|
|
|
+ symconst,symbase,symtype,symsym,symtable,
|
|
|
|
+ { parser }
|
|
|
|
+ scanner,
|
|
|
|
+ procinfo,
|
|
|
|
+ itcpugas,
|
|
|
|
+ rabase,rautils,
|
|
|
|
+ cgbase,cgobj
|
|
|
|
+ ;
|
|
|
|
+
|
|
|
|
+ procedure tSparcReader.ReadSym(oper : tSparcoperand);
|
|
|
|
+ var
|
|
|
|
+ tempstr : string;
|
|
|
|
+ typesize,l,k : longint;
|
|
|
|
+ begin
|
|
|
|
+ tempstr:=actasmpattern;
|
|
|
|
+ Consume(AS_ID);
|
|
|
|
+ { typecasting? }
|
|
|
|
+ if (actasmtoken=AS_LPAREN) and
|
|
|
|
+ SearchType(tempstr,typesize) then
|
|
|
|
+ begin
|
|
|
|
+ oper.hastype:=true;
|
|
|
|
+ Consume(AS_LPAREN);
|
|
|
|
+ BuildOperand(oper);
|
|
|
|
+ Consume(AS_RPAREN);
|
|
|
|
+ if oper.opr.typ in [OPR_REFERENCE,OPR_LOCAL] then
|
|
|
|
+ oper.SetSize(typesize,true);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ if not oper.SetupVar(tempstr,false) then
|
|
|
|
+ Message1(sym_e_unknown_id,tempstr);
|
|
|
|
+ { record.field ? }
|
|
|
|
+ if actasmtoken=AS_DOT then
|
|
|
|
+ begin
|
|
|
|
+ BuildRecordOffsetSize(tempstr,l,k);
|
|
|
|
+ inc(oper.opr.ref.offset,l);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ procedure tSparcReader.ReadAt(oper : tSparcoperand);
|
|
|
|
+ begin
|
|
|
|
+ { check for ...@ }
|
|
|
|
+ if actasmtoken=AS_AT then
|
|
|
|
+ begin
|
|
|
|
+ if (oper.opr.ref.symbol=nil) and
|
|
|
|
+ (oper.opr.ref.offset = 0) then
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ Consume(AS_AT);
|
|
|
|
+ if actasmtoken=AS_ID then
|
|
|
|
+ begin
|
|
|
|
+ if upper(actasmpattern)='L' then
|
|
|
|
+ oper.opr.ref.symaddr:=refs_lo
|
|
|
|
+ else if upper(actasmpattern)='HA' then
|
|
|
|
+ oper.opr.ref.symaddr:=refs_hi
|
|
|
|
+ else
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ Consume(AS_ID);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ Procedure tSparcReader.BuildReference(oper : tSparcoperand);
|
|
|
|
+
|
|
|
|
+ procedure Consume_RParen;
|
|
|
|
+ begin
|
|
|
|
+ if actasmtoken <> AS_RPAREN then
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ RecoverConsume(true);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ begin
|
|
|
|
+ Consume(AS_RPAREN);
|
|
|
|
+ if not (actasmtoken in [AS_COMMA,AS_SEPARATOR,AS_END]) then
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ RecoverConsume(true);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+ var
|
|
|
|
+ l : longint;
|
|
|
|
+
|
|
|
|
+ begin
|
|
|
|
+ Consume(AS_LPAREN);
|
|
|
|
+ Case actasmtoken of
|
|
|
|
+ AS_INTNUM,
|
|
|
|
+ AS_MINUS,
|
|
|
|
+ AS_PLUS:
|
|
|
|
+ Begin
|
|
|
|
+ { offset(offset) is invalid }
|
|
|
|
+ If oper.opr.Ref.Offset <> 0 Then
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ RecoverConsume(true);
|
|
|
|
+ End
|
|
|
|
+ Else
|
|
|
|
+ Begin
|
|
|
|
+ oper.opr.Ref.Offset:=BuildConstExpression(false,true);
|
|
|
|
+ Consume(AS_RPAREN);
|
|
|
|
+ if actasmtoken=AS_AT then
|
|
|
|
+ ReadAt(oper);
|
|
|
|
+ end;
|
|
|
|
+ exit;
|
|
|
|
+ End;
|
|
|
|
+ AS_REGISTER: { (reg ... }
|
|
|
|
+ Begin
|
|
|
|
+ if ((oper.opr.typ=OPR_REFERENCE) and (oper.opr.ref.base<>NR_NO)) or
|
|
|
|
+ ((oper.opr.typ=OPR_LOCAL) and (oper.opr.localsym.localloc.loc<>LOC_REGISTER)) then
|
|
|
|
+ message(asmr_e_cannot_index_relative_var);
|
|
|
|
+ oper.opr.ref.base:=actasmregister;
|
|
|
|
+ Consume(AS_REGISTER);
|
|
|
|
+ { can either be a register or a right parenthesis }
|
|
|
|
+ { (reg) }
|
|
|
|
+ if actasmtoken=AS_RPAREN then
|
|
|
|
+ Begin
|
|
|
|
+ Consume_RParen;
|
|
|
|
+ exit;
|
|
|
|
+ end;
|
|
|
|
+ { (reg,reg .. }
|
|
|
|
+ Consume(AS_COMMA);
|
|
|
|
+ if (actasmtoken=AS_REGISTER) and
|
|
|
|
+ (oper.opr.Ref.Offset = 0) then
|
|
|
|
+ Begin
|
|
|
|
+ oper.opr.ref.index:=actasmregister;
|
|
|
|
+ Consume(AS_REGISTER);
|
|
|
|
+ Consume_RParen;
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ RecoverConsume(false);
|
|
|
|
+ end;
|
|
|
|
+ end; {end case }
|
|
|
|
+ AS_ID:
|
|
|
|
+ Begin
|
|
|
|
+ ReadSym(oper);
|
|
|
|
+ { add a constant expression? }
|
|
|
|
+ if (actasmtoken=AS_PLUS) then
|
|
|
|
+ begin
|
|
|
|
+ l:=BuildConstExpression(true,true);
|
|
|
|
+ case oper.opr.typ of
|
|
|
|
+ OPR_CONSTANT :
|
|
|
|
+ inc(oper.opr.val,l);
|
|
|
|
+ OPR_LOCAL :
|
|
|
|
+ inc(oper.opr.localsymofs,l);
|
|
|
|
+ OPR_REFERENCE :
|
|
|
|
+ inc(oper.opr.ref.offset,l);
|
|
|
|
+ else
|
|
|
|
+ internalerror(200309202);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ Consume(AS_RPAREN);
|
|
|
|
+ if actasmtoken=AS_AT then
|
|
|
|
+ ReadAt(oper);
|
|
|
|
+ End;
|
|
|
|
+ AS_COMMA: { (, ... can either be scaling, or index }
|
|
|
|
+ Begin
|
|
|
|
+ Consume(AS_COMMA);
|
|
|
|
+ { Index }
|
|
|
|
+ if (actasmtoken=AS_REGISTER) then
|
|
|
|
+ Begin
|
|
|
|
+ oper.opr.ref.index:=actasmregister;
|
|
|
|
+ Consume(AS_REGISTER);
|
|
|
|
+ { check for scaling ... }
|
|
|
|
+ Consume_RParen;
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ begin
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ RecoverConsume(false);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ else
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ RecoverConsume(false);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+ procedure TSparcReader.handlepercent;
|
|
|
|
+ var
|
|
|
|
+ len : longint;
|
|
|
|
+ begin
|
|
|
|
+ len:=1;
|
|
|
|
+ actasmpattern[len]:='%';
|
|
|
|
+ c:=current_scanner.asmgetchar;
|
|
|
|
+ { to be a register there must be a letter and not a number }
|
|
|
|
+ if c in ['0'..'9'] then
|
|
|
|
+ begin
|
|
|
|
+ actasmtoken:=AS_MOD;
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ begin
|
|
|
|
+ while c in ['a'..'z','A'..'Z','0'..'9'] do
|
|
|
|
+ Begin
|
|
|
|
+ inc(len);
|
|
|
|
+ actasmpattern[len]:=c;
|
|
|
|
+ c:=current_scanner.asmgetchar;
|
|
|
|
+ end;
|
|
|
|
+ actasmpattern[0]:=chr(len);
|
|
|
|
+ uppervar(actasmpattern);
|
|
|
|
+ if (actasmpattern = '%ST') and (c='(') then
|
|
|
|
+ Begin
|
|
|
|
+ actasmpattern:=actasmpattern+c;
|
|
|
|
+ c:=current_scanner.asmgetchar;
|
|
|
|
+ if c in ['0'..'9'] then
|
|
|
|
+ actasmpattern:=actasmpattern + c
|
|
|
|
+ else
|
|
|
|
+ Message(asmr_e_invalid_fpu_register);
|
|
|
|
+ c:=current_scanner.asmgetchar;
|
|
|
|
+ if c <> ')' then
|
|
|
|
+ Message(asmr_e_invalid_fpu_register)
|
|
|
|
+ else
|
|
|
|
+ Begin
|
|
|
|
+ actasmpattern:=actasmpattern + c;
|
|
|
|
+ c:=current_scanner.asmgetchar; { let us point to next character. }
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ if is_register(actasmpattern) then
|
|
|
|
+ exit;
|
|
|
|
+ Message(asmr_e_invalid_register);
|
|
|
|
+ actasmtoken:=raatt.AS_NONE;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+ Procedure tSparcReader.BuildOperand(oper : tSparcoperand);
|
|
|
|
+ var
|
|
|
|
+ expr : string;
|
|
|
|
+ typesize,l : longint;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ procedure AddLabelOperand(hl:tasmlabel);
|
|
|
|
+ begin
|
|
|
|
+ if not(actasmtoken in [AS_PLUS,AS_MINUS,AS_LPAREN]) and
|
|
|
|
+ is_calljmp(actopcode) then
|
|
|
|
+ begin
|
|
|
|
+ oper.opr.typ:=OPR_SYMBOL;
|
|
|
|
+ oper.opr.symbol:=hl;
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ begin
|
|
|
|
+ oper.InitRef;
|
|
|
|
+ oper.opr.ref.symbol:=hl;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ procedure MaybeRecordOffset;
|
|
|
|
+ var
|
|
|
|
+ hasdot : boolean;
|
|
|
|
+ l,
|
|
|
|
+ toffset,
|
|
|
|
+ tsize : longint;
|
|
|
|
+ begin
|
|
|
|
+ if not(actasmtoken in [AS_DOT,AS_PLUS,AS_MINUS]) then
|
|
|
|
+ exit;
|
|
|
|
+ l:=0;
|
|
|
|
+ hasdot:=(actasmtoken=AS_DOT);
|
|
|
|
+ if hasdot then
|
|
|
|
+ begin
|
|
|
|
+ if expr<>'' then
|
|
|
|
+ begin
|
|
|
|
+ BuildRecordOffsetSize(expr,toffset,tsize);
|
|
|
|
+ inc(l,toffset);
|
|
|
|
+ oper.SetSize(tsize,true);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ if actasmtoken in [AS_PLUS,AS_MINUS] then
|
|
|
|
+ inc(l,BuildConstExpression(true,false));
|
|
|
|
+ case oper.opr.typ of
|
|
|
|
+ OPR_LOCAL :
|
|
|
|
+ begin
|
|
|
|
+ { don't allow direct access to fields of parameters, because that
|
|
|
|
+ will generate buggy code. Allow it only for explicit typecasting }
|
|
|
|
+ if hasdot and
|
|
|
|
+ (not oper.hastype) and
|
|
|
|
+ (tvarsym(oper.opr.localsym).owner.symtabletype=parasymtable) and
|
|
|
|
+ (current_procinfo.procdef.proccalloption<>pocall_register) then
|
|
|
|
+ Message(asmr_e_cannot_access_field_directly_for_parameters);
|
|
|
|
+ inc(oper.opr.localsymofs,l)
|
|
|
|
+ end;
|
|
|
|
+ OPR_CONSTANT :
|
|
|
|
+ inc(oper.opr.val,l);
|
|
|
|
+ OPR_REFERENCE :
|
|
|
|
+ inc(oper.opr.ref.offset,l);
|
|
|
|
+ else
|
|
|
|
+ internalerror(200309221);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ function MaybeBuildReference:boolean;
|
|
|
|
+ { Try to create a reference, if not a reference is found then false
|
|
|
|
+ is returned }
|
|
|
|
+ begin
|
|
|
|
+ MaybeBuildReference:=true;
|
|
|
|
+ case actasmtoken of
|
|
|
|
+ AS_INTNUM,
|
|
|
|
+ AS_MINUS,
|
|
|
|
+ AS_PLUS:
|
|
|
|
+ Begin
|
|
|
|
+ oper.opr.ref.offset:=BuildConstExpression(True,False);
|
|
|
|
+ if actasmtoken<>AS_LPAREN then
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax)
|
|
|
|
+ else
|
|
|
|
+ BuildReference(oper);
|
|
|
|
+ end;
|
|
|
|
+ AS_LPAREN:
|
|
|
|
+ BuildReference(oper);
|
|
|
|
+ AS_ID: { only a variable is allowed ... }
|
|
|
|
+ Begin
|
|
|
|
+ ReadSym(oper);
|
|
|
|
+ case actasmtoken of
|
|
|
|
+ AS_END,
|
|
|
|
+ AS_SEPARATOR,
|
|
|
|
+ AS_COMMA: ;
|
|
|
|
+ AS_LPAREN:
|
|
|
|
+ BuildReference(oper);
|
|
|
|
+ else
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_invalid_reference_syntax);
|
|
|
|
+ Consume(actasmtoken);
|
|
|
|
+ end;
|
|
|
|
+ end; {end case }
|
|
|
|
+ end;
|
|
|
|
+ else
|
|
|
|
+ MaybeBuildReference:=false;
|
|
|
|
+ end; { end case }
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ var
|
|
|
|
+ tempreg : tregister;
|
|
|
|
+ hl : tasmlabel;
|
|
|
|
+ ofs : longint;
|
|
|
|
+ Begin
|
|
|
|
+ expr:='';
|
|
|
|
+ case actasmtoken of
|
|
|
|
+ AS_LPAREN: { Memory reference or constant expression }
|
|
|
|
+ Begin
|
|
|
|
+ oper.InitRef;
|
|
|
|
+ BuildReference(oper);
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+ AS_INTNUM,
|
|
|
|
+ AS_MINUS,
|
|
|
|
+ AS_PLUS:
|
|
|
|
+ Begin
|
|
|
|
+ { Constant memory offset }
|
|
|
|
+ { This must absolutely be followed by ( }
|
|
|
|
+ oper.InitRef;
|
|
|
|
+ oper.opr.ref.offset:=BuildConstExpression(True,False);
|
|
|
|
+ if actasmtoken<>AS_LPAREN then
|
|
|
|
+ begin
|
|
|
|
+ ofs:=oper.opr.ref.offset;
|
|
|
|
+ BuildConstantOperand(oper);
|
|
|
|
+ inc(oper.opr.val,ofs);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ BuildReference(oper);
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+ AS_ID: { A constant expression, or a Variable ref. }
|
|
|
|
+ Begin
|
|
|
|
+ { Local Label ? }
|
|
|
|
+ if is_locallabel(actasmpattern) then
|
|
|
|
+ begin
|
|
|
|
+ CreateLocalLabel(actasmpattern,hl,false);
|
|
|
|
+ Consume(AS_ID);
|
|
|
|
+ AddLabelOperand(hl);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ { Check for label }
|
|
|
|
+ if SearchLabel(actasmpattern,hl,false) then
|
|
|
|
+ begin
|
|
|
|
+ Consume(AS_ID);
|
|
|
|
+ AddLabelOperand(hl);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ { probably a variable or normal expression }
|
|
|
|
+ { or a procedure (such as in CALL ID) }
|
|
|
|
+ Begin
|
|
|
|
+ { is it a constant ? }
|
|
|
|
+ if SearchIConstant(actasmpattern,l) then
|
|
|
|
+ Begin
|
|
|
|
+ if not (oper.opr.typ in [OPR_NONE,OPR_CONSTANT]) then
|
|
|
|
+ Message(asmr_e_invalid_operand_type);
|
|
|
|
+ BuildConstantOperand(oper);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ begin
|
|
|
|
+ expr:=actasmpattern;
|
|
|
|
+ Consume(AS_ID);
|
|
|
|
+ { typecasting? }
|
|
|
|
+ if (actasmtoken=AS_LPAREN) and
|
|
|
|
+ SearchType(expr,typesize) then
|
|
|
|
+ begin
|
|
|
|
+ oper.hastype:=true;
|
|
|
|
+ Consume(AS_LPAREN);
|
|
|
|
+ BuildOperand(oper);
|
|
|
|
+ Consume(AS_RPAREN);
|
|
|
|
+ if oper.opr.typ in [OPR_REFERENCE,OPR_LOCAL] then
|
|
|
|
+ oper.SetSize(typesize,true);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ begin
|
|
|
|
+ if oper.SetupVar(expr,false) then
|
|
|
|
+ ReadAt(oper)
|
|
|
|
+ else
|
|
|
|
+ Begin
|
|
|
|
+ { look for special symbols ... }
|
|
|
|
+ if expr= '__HIGH' then
|
|
|
|
+ begin
|
|
|
|
+ consume(AS_LPAREN);
|
|
|
|
+ if not oper.setupvar('high'+actasmpattern,false) then
|
|
|
|
+ Message1(sym_e_unknown_id,'high'+actasmpattern);
|
|
|
|
+ consume(AS_ID);
|
|
|
|
+ consume(AS_RPAREN);
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ if expr = '__RESULT' then
|
|
|
|
+ oper.SetUpResult
|
|
|
|
+ else
|
|
|
|
+ if expr = '__SELF' then
|
|
|
|
+ oper.SetupSelf
|
|
|
|
+ else
|
|
|
|
+ if expr = '__OLDEBP' then
|
|
|
|
+ oper.SetupOldEBP
|
|
|
|
+ else
|
|
|
|
+ { check for direct symbolic names }
|
|
|
|
+ { only if compiling the system unit }
|
|
|
|
+ if (cs_compilesystem in aktmoduleswitches) then
|
|
|
|
+ begin
|
|
|
|
+ if not oper.SetupDirectVar(expr) then
|
|
|
|
+ Begin
|
|
|
|
+ { not found, finally ... add it anyways ... }
|
|
|
|
+ Message1(asmr_w_id_supposed_external,expr);
|
|
|
|
+ oper.InitRef;
|
|
|
|
+ oper.opr.ref.symbol:=objectlibrary.newasmsymbol(expr);
|
|
|
|
+ end;
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ Message1(sym_e_unknown_id,expr);
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ if actasmtoken=AS_DOT then
|
|
|
|
+ MaybeRecordOffset;
|
|
|
|
+ { add a constant expression? }
|
|
|
|
+ if (actasmtoken=AS_PLUS) then
|
|
|
|
+ begin
|
|
|
|
+ l:=BuildConstExpression(true,false);
|
|
|
|
+ case oper.opr.typ of
|
|
|
|
+ OPR_CONSTANT :
|
|
|
|
+ inc(oper.opr.val,l);
|
|
|
|
+ OPR_LOCAL :
|
|
|
|
+ inc(oper.opr.localsymofs,l);
|
|
|
|
+ OPR_REFERENCE :
|
|
|
|
+ inc(oper.opr.ref.offset,l);
|
|
|
|
+ else
|
|
|
|
+ internalerror(200309202);
|
|
|
|
+ end;
|
|
|
|
+ end
|
|
|
|
+ end;
|
|
|
|
+ { Do we have a indexing reference, then parse it also }
|
|
|
|
+ if actasmtoken=AS_LPAREN then
|
|
|
|
+ BuildReference(oper);
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+ AS_REGISTER: { Register, a variable reference or a constant reference }
|
|
|
|
+ Begin
|
|
|
|
+ { save the type of register used. }
|
|
|
|
+ tempreg:=actasmregister;
|
|
|
|
+ Consume(AS_REGISTER);
|
|
|
|
+ if (actasmtoken in [AS_END,AS_SEPARATOR,AS_COMMA]) then
|
|
|
|
+ begin
|
|
|
|
+ if not (oper.opr.typ in [OPR_NONE,OPR_REGISTER]) then
|
|
|
|
+ Message(asmr_e_invalid_operand_type);
|
|
|
|
+ oper.opr.typ:=OPR_REGISTER;
|
|
|
|
+ oper.opr.reg:=tempreg;
|
|
|
|
+ end
|
|
|
|
+ else
|
|
|
|
+ Message(asmr_e_syn_operand);
|
|
|
|
+ end;
|
|
|
|
+ AS_END,
|
|
|
|
+ AS_SEPARATOR,
|
|
|
|
+ AS_COMMA: ;
|
|
|
|
+ else
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_syn_operand);
|
|
|
|
+ Consume(actasmtoken);
|
|
|
|
+ end;
|
|
|
|
+ end; { end case }
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+{*****************************************************************************
|
|
|
|
+ tSparcReader
|
|
|
|
+*****************************************************************************}
|
|
|
|
+
|
|
|
|
+ procedure tSparcReader.BuildOpCode(instr : tSparcinstruction);
|
|
|
|
+ var
|
|
|
|
+ operandnum : longint;
|
|
|
|
+ Begin
|
|
|
|
+ { opcode }
|
|
|
|
+ if (actasmtoken<>AS_OPCODE) then
|
|
|
|
+ Begin
|
|
|
|
+ Message(asmr_e_invalid_or_missing_opcode);
|
|
|
|
+ RecoverConsume(true);
|
|
|
|
+ exit;
|
|
|
|
+ end;
|
|
|
|
+ { Fill the instr object with the current state }
|
|
|
|
+ with instr do
|
|
|
|
+ begin
|
|
|
|
+ Opcode:=ActOpcode;
|
|
|
|
+ condition:=ActCondition;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+ { We are reading operands, so opcode will be an AS_ID }
|
|
|
|
+ operandnum:=1;
|
|
|
|
+ Consume(AS_OPCODE);
|
|
|
|
+ { Zero operand opcode ? }
|
|
|
|
+ if actasmtoken in [AS_SEPARATOR,AS_END] then
|
|
|
|
+ begin
|
|
|
|
+ operandnum:=0;
|
|
|
|
+ exit;
|
|
|
|
+ end;
|
|
|
|
+ { Read the operands }
|
|
|
|
+ repeat
|
|
|
|
+ case actasmtoken of
|
|
|
|
+ AS_COMMA: { Operand delimiter }
|
|
|
|
+ Begin
|
|
|
|
+ if operandnum>Max_Operands then
|
|
|
|
+ Message(asmr_e_too_many_operands)
|
|
|
|
+ else
|
|
|
|
+ begin
|
|
|
|
+ { condition operands doesn't set the operand but write to the
|
|
|
|
+ condition field of the instruction
|
|
|
|
+ }
|
|
|
|
+ if instr.Operands[operandnum].opr.typ<>OPR_NONE then
|
|
|
|
+ Inc(operandnum);
|
|
|
|
+ end;
|
|
|
|
+ Consume(AS_COMMA);
|
|
|
|
+ end;
|
|
|
|
+ AS_SEPARATOR,
|
|
|
|
+ AS_END : { End of asm operands for this opcode }
|
|
|
|
+ begin
|
|
|
|
+ break;
|
|
|
|
+ end;
|
|
|
|
+ else
|
|
|
|
+ BuildOperand(instr.Operands[operandnum] as tSparcoperand);
|
|
|
|
+ end; { end case }
|
|
|
|
+ until false;
|
|
|
|
+ if (operandnum=1) and (instr.Operands[operandnum].opr.typ=OPR_NONE) then
|
|
|
|
+ dec(operandnum);
|
|
|
|
+ instr.Ops:=operandnum;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ function TSparcReader.is_asmopcode(const s: string):boolean;
|
|
|
|
+ var
|
|
|
|
+ str2opEntry: tstr2opEntry;
|
|
|
|
+ cond:TAsmCond;
|
|
|
|
+ Begin
|
|
|
|
+ { making s a value parameter would break other assembler readers }
|
|
|
|
+ is_asmopcode:=false;
|
|
|
|
+
|
|
|
|
+ { clear op code }
|
|
|
|
+ actopcode:=A_None;
|
|
|
|
+ { clear condition }
|
|
|
|
+ fillchar(actcondition,sizeof(actcondition),0);
|
|
|
|
+
|
|
|
|
+ str2opentry:=tstr2opentry(iasmops.search(s));
|
|
|
|
+ if assigned(str2opentry) then
|
|
|
|
+ begin
|
|
|
|
+ actopcode:=str2opentry.op;
|
|
|
|
+ actasmtoken:=AS_OPCODE;
|
|
|
|
+ is_asmopcode:=true;
|
|
|
|
+ end
|
|
|
|
+ { not found, check branch instructions }
|
|
|
|
+ else if Upcase(s[1])='B' then
|
|
|
|
+ begin
|
|
|
|
+ { we can search here without an extra table which is sorted by string length
|
|
|
|
+ because we take the whole remaining string without the leading B }
|
|
|
|
+ actopcode := A_Bxx;
|
|
|
|
+ for cond:=low(TAsmCond) to high(TAsmCond) do
|
|
|
|
+ if(cond in [C_AE])and(Upper(copy(s,2,length(s)-1))=Upper(Cond2Str[cond])) then
|
|
|
|
+ begin
|
|
|
|
+ WriteLn('Bxx');
|
|
|
|
+ actasmtoken:=AS_OPCODE;
|
|
|
|
+ is_asmopcode:=true;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+ procedure tSparcReader.ConvertCalljmp(instr : tSparcinstruction);
|
|
|
|
+ var
|
|
|
|
+ newopr : toprrec;
|
|
|
|
+ begin
|
|
|
|
+ if instr.Operands[1].opr.typ=OPR_REFERENCE then
|
|
|
|
+ with newopr do
|
|
|
|
+ begin
|
|
|
|
+ typ:=OPR_SYMBOL;
|
|
|
|
+ symbol:=instr.Operands[1].opr.ref.symbol;
|
|
|
|
+ symofs:=instr.Operands[1].opr.ref.offset;
|
|
|
|
+ if (instr.Operands[1].opr.ref.base<>NR_NO) or
|
|
|
|
+ (instr.Operands[1].opr.ref.index<>NR_NO) or
|
|
|
|
+ (instr.Operands[1].opr.ref.symaddr<>refs_full) then
|
|
|
|
+ Message(asmr_e_syn_operand);
|
|
|
|
+ instr.Operands[1].opr:=newopr;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ procedure tSparcReader.handleopcode;
|
|
|
|
+ var
|
|
|
|
+ instr : tSparcinstruction;
|
|
|
|
+ begin
|
|
|
|
+ instr:=TSparcInstruction.Create(TSparcOperand);
|
|
|
|
+ BuildOpcode(instr);
|
|
|
|
+ with instr do
|
|
|
|
+ begin
|
|
|
|
+ condition := actcondition;
|
|
|
|
+ if is_calljmp(opcode) then
|
|
|
|
+ ConvertCalljmp(instr);
|
|
|
|
+ ConcatInstruction(curlist);
|
|
|
|
+ Free;
|
|
|
|
+ end;
|
|
|
|
+ end;
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+{*****************************************************************************
|
|
|
|
+ Initialize
|
|
|
|
+*****************************************************************************}
|
|
|
|
+
|
|
|
|
+const
|
|
|
|
+ asmmode_Sparc_att_info : tasmmodeinfo =
|
|
|
|
+ (
|
|
|
|
+ id : asmmode_Sparc_gas;
|
|
|
|
+ idtxt : 'GAS';
|
|
|
|
+ casmreader : tSparcReader;
|
|
|
|
+ );
|
|
|
|
+
|
|
|
|
+ asmmode_Sparc_standard_info : tasmmodeinfo =
|
|
|
|
+ (
|
|
|
|
+ id : asmmode_standard;
|
|
|
|
+ idtxt : 'DIRECT';
|
|
|
|
+ casmreader : tSparcReader;
|
|
|
|
+ );
|
|
|
|
+
|
|
|
|
+initialization
|
|
|
|
+ RegisterAsmMode(asmmode_Sparc_att_info);
|
|
|
|
+ RegisterAsmMode(asmmode_Sparc_standard_info);
|
|
|
|
+end.
|
|
|
|
+{
|
|
|
|
+ $Log$
|
|
|
|
+ Revision 1.1 2003-12-08 13:02:21 mazen
|
|
|
|
+ + support for native sparc assembler reader
|
|
|
|
+
|
|
|
|
+}
|