Ver Fonte

* initial revision for the alpha

florian há 26 anos atrás
pai
commit
efa5031010
1 ficheiros alterados com 539 adições e 2 exclusões
  1. 539 2
      compiler/new/alpha/agas.pas

+ 539 - 2
compiler/new/alpha/agas.pas

@@ -31,6 +31,18 @@ unit agas;
 {$endif GDB}
        ;
 
+    type
+      palphaattasmlist=^talphaattasmlist;
+      talphaattasmlist=object(tasmlist)
+        procedure WriteTree(p:paasmoutput);virtual;
+        procedure WriteAsmList;virtual;
+{$ifdef GDB}
+        procedure WriteFileLineInfo(var fileinfo : tfileposinfo);
+{$endif}
+      end;
+
+  implementation
+
     const
        op2str : array[tasmop] of string[14] = (
           'addf','addg','addl','addq',
@@ -67,12 +79,537 @@ unit agas;
           'subq','subs','subt','trapb','umulh','unpkbl',
           'unpkbw','wh64','wmb','xor','zap','zapnot');
 
-  implementation
+{$ifdef GDB}
+      procedure talphaattasmlist.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 talphaattasmlist.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 :
+             begin
+
+               op:=pai386(hp)^.opcode;
+               calljmp:=is_calljmp(op);
+             { call maybe not translated to calll }
+               s:=#9+att_op2str[op]+cond2str[pai386(hp)^.condition];
+               if (not calljmp) and
+                  (not att_nosuffix[op]) and
+                  not(
+                   (pai386(hp)^.oper[0].typ=top_reg) and
+                   (pai386(hp)^.oper[0].reg in [R_ST..R_ST7])
+                  ) then
+                s:=s+att_opsize2str[pai386(hp)^.opsize];
+             { process operands }
+               if pai386(hp)^.ops<>0 then
+                begin
+                { call and jmp need an extra handling                          }
+                { this code is only called if jmp isn't a labeled instruction }
+                  if calljmp then
+                   s:=s+#9+getopstr_jmp(pai386(hp)^.oper[0])
+                  else
+                   begin
+                     for i:=0to pai386(hp)^.ops-1 do
+                      begin
+                        if i=0 then
+                         sep:=#9
+                        else
+                         sep:=',';
+                        s:=s+sep+getopstr(pai386(hp)^.oper[i])
+                      end;
+                   end;
+                end;
+               AsmWriteLn(s);
+             end;
+
+{$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
+             internalerror(10000);
+         end;
+         hp:=pai(hp^.next);
+       end;
+    end;
+
+
+    procedure talphaattasmlist.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;
+
 
 end.
 {
   $Log$
-  Revision 1.1  1999-08-02 23:19:53  michael
+  Revision 1.2  1999-08-03 13:20:53  florian
+    * initial revision for the alpha
+
+  Revision 1.1  1999/08/02 23:19:53  michael
   Initial implementation
 
   Revision 1.2  1998/09/09 20:14:01  peter