fpc/compiler/symppu.pas
2002-05-18 13:34:04 +00:00

421 lines
12 KiB
ObjectPascal

{
$Id$
Copyright (c) 1998-2002 by Florian Klaempfl, Pierre Muller
Implementation of the reading of PPU Files for the symtable
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 symppu;
{$i fpcdefs.inc}
interface
uses
globtype,globals,
symbase,symtype,
ppu;
type
tcompilerppufile=class(tppufile)
procedure checkerror;
procedure getguid(var g: tguid);
procedure getposinfo(var p:tfileposinfo);
function getderef : pointer;
function getsymlist:tsymlist;
procedure gettype(var t:ttype);
procedure putguid(const g: tguid);
procedure putposinfo(const p:tfileposinfo);
procedure putderef(p : tsymtableentry);
procedure putsymlist(p:tsymlist);
procedure puttype(const t:ttype);
end;
implementation
uses
symconst,
verbose;
{*****************************************************************************
TCompilerPPUFile
*****************************************************************************}
procedure tcompilerppufile.checkerror;
begin
if error then
Message(unit_f_ppu_read_error);
end;
procedure tcompilerppufile.getguid(var g: tguid);
begin
getdata(g,sizeof(g));
end;
procedure tcompilerppufile.getposinfo(var p:tfileposinfo);
var
info : byte;
begin
{
info byte layout in bits:
0-1 - amount of bytes for fileindex
2-3 - amount of bytes for line
4-5 - amount of bytes for column
}
info:=getbyte;
case (info and $03) of
0 : p.fileindex:=getbyte;
1 : p.fileindex:=getword;
2 : p.fileindex:=(getbyte shl 16) or getword;
3 : p.fileindex:=getlongint;
end;
case ((info shr 2) and $03) of
0 : p.line:=getbyte;
1 : p.line:=getword;
2 : p.line:=(getbyte shl 16) or getword;
3 : p.line:=getlongint;
end;
case ((info shr 4) and $03) of
0 : p.column:=getbyte;
1 : p.column:=getword;
2 : p.column:=(getbyte shl 16) or getword;
3 : p.column:=getlongint;
end;
end;
function tcompilerppufile.getderef : pointer;
var
hp,p : tderef;
b : tdereftype;
begin
p:=nil;
repeat
hp:=p;
b:=tdereftype(getbyte);
case b of
derefnil :
break;
derefunit,
derefaktrecordindex,
derefaktlocal,
derefaktstaticindex :
begin
p:=tderef.create(b,getword);
p.next:=hp;
break;
end;
derefindex,
dereflocal,
derefpara,
derefrecord :
begin
p:=tderef.create(b,getword);
p.next:=hp;
end;
end;
until false;
getderef:=p;
end;
function tcompilerppufile.getsymlist:tsymlist;
var
sym : tsym;
slt : tsltype;
idx : longint;
p : tsymlist;
begin
p:=tsymlist.create;
p.def:=tdef(getderef);
repeat
slt:=tsltype(getbyte);
case slt of
sl_none :
break;
sl_call,
sl_load,
sl_subscript :
begin
sym:=tsym(getderef);
p.addsym(slt,sym);
end;
sl_vec :
begin
idx:=getlongint;
p.addconst(slt,idx);
end;
else
internalerror(200110204);
end;
until false;
getsymlist:=tsymlist(p);
end;
procedure tcompilerppufile.gettype(var t:ttype);
begin
t.def:=tdef(getderef);
t.sym:=tsym(getderef);
end;
procedure tcompilerppufile.putposinfo(const p:tfileposinfo);
var
oldcrc : boolean;
info : byte;
begin
{ posinfo is not relevant for changes in PPU }
oldcrc:=do_crc;
do_crc:=false;
{
info byte layout in bits:
0-1 - amount of bytes for fileindex
2-3 - amount of bytes for line
4-5 - amount of bytes for column
}
info:=0;
{ calculate info byte }
if (p.fileindex>$ff) then
begin
if (p.fileindex<=$ffff) then
info:=info or $1
else
if (p.fileindex<=$ffffff) then
info:=info or $2
else
info:=info or $3;
end;
if (p.line>$ff) then
begin
if (p.line<=$ffff) then
info:=info or $4
else
if (p.line<=$ffffff) then
info:=info or $8
else
info:=info or $c;
end;
if (p.column>$ff) then
begin
if (p.column<=$ffff) then
info:=info or $10
else
if (p.column<=$ffffff) then
info:=info or $20
else
info:=info or $30;
end;
{ write data }
putbyte(info);
case (info and $03) of
0 : putbyte(p.fileindex);
1 : putword(p.fileindex);
2 : begin
putbyte(p.fileindex shr 16);
putword(p.fileindex and $ffff);
end;
3 : putlongint(p.fileindex);
end;
case ((info shr 2) and $03) of
0 : putbyte(p.line);
1 : putword(p.line);
2 : begin
putbyte(p.line shr 16);
putword(p.line and $ffff);
end;
3 : putlongint(p.line);
end;
case ((info shr 4) and $03) of
0 : putbyte(p.column);
1 : putword(p.column);
2 : begin
putbyte(p.column shr 16);
putword(p.column and $ffff);
end;
3 : putlongint(p.column);
end;
do_crc:=oldcrc;
end;
procedure tcompilerppufile.putguid(const g: tguid);
begin
putdata(g,sizeof(g));
end;
procedure tcompilerppufile.putderef(p : tsymtableentry);
begin
if p=nil then
putbyte(ord(derefnil))
else
begin
{ Static symtable ? }
if p.owner.symtabletype=staticsymtable then
begin
putbyte(ord(derefaktstaticindex));
putword(p.indexnr);
end
{ Local record/object symtable ? }
else if (p.owner=aktrecordsymtable) then
begin
putbyte(ord(derefaktrecordindex));
putword(p.indexnr);
end
{ Local local/para symtable ? }
else if (p.owner=aktlocalsymtable) then
begin
putbyte(ord(derefaktlocal));
putword(p.indexnr);
end
else
begin
putbyte(ord(derefindex));
putword(p.indexnr);
{ Current unit symtable ? }
repeat
if not assigned(p) then
internalerror(556655);
case p.owner.symtabletype of
{ when writing the pseudo PPU file
to get CRC values the globalsymtable is not yet
a unitsymtable PM }
globalsymtable :
begin
{ check if the unit is available in the uses
clause, else it's an error }
if p.owner.unitid=$ffff then
internalerror(55665566);
putbyte(ord(derefunit));
putword(p.owner.unitid);
break;
end;
staticsymtable :
begin
putbyte(ord(derefaktstaticindex));
putword(p.indexnr);
break;
end;
localsymtable :
begin
p:=p.owner.defowner;
putbyte(ord(dereflocal));
putword(p.indexnr);
end;
parasymtable :
begin
p:=p.owner.defowner;
putbyte(ord(derefpara));
putword(p.indexnr);
end;
objectsymtable,
recordsymtable :
begin
p:=p.owner.defowner;
putbyte(ord(derefrecord));
putword(p.indexnr);
end;
else
internalerror(556656);
end;
until false;
end;
end;
end;
procedure tcompilerppufile.putsymlist(p:tsymlist);
var
hp : psymlistitem;
begin
putderef(p.def);
hp:=p.firstsym;
while assigned(hp) do
begin
putbyte(byte(hp^.sltype));
case hp^.sltype of
sl_call,
sl_load,
sl_subscript :
putderef(hp^.sym);
sl_vec :
putlongint(hp^.value);
else
internalerror(200110205);
end;
hp:=hp^.next;
end;
putbyte(byte(sl_none));
end;
procedure tcompilerppufile.puttype(const t:ttype);
begin
{ Don't write symbol references for the current unit
and for the system unit }
if assigned(t.sym) and
(t.sym.owner.unitid<>0) and
(t.sym.owner.unitid<>1) then
begin
putderef(nil);
putderef(t.sym);
end
else
begin
putderef(t.def);
putderef(nil);
end;
end;
end.
{
$Log$
Revision 1.12 2002-05-18 13:34:18 peter
* readded missing revisions
Revision 1.11 2002/05/16 19:46:45 carl
+ defines.inc -> fpcdefs.inc to avoid conflicts if compiling by hand
+ try to fix temp allocation (still in ifdef)
+ generic constructor calls
+ start of tassembler / tmodulebase class cleanup
Revision 1.9 2002/05/12 16:53:15 peter
* moved entry and exitcode to ncgutil and cgobj
* foreach gets extra argument for passing local data to the
iterator function
* -CR checks also class typecasts at runtime by changing them
into as
* fixed compiler to cycle with the -CR option
* fixed stabs with elf writer, finally the global variables can
be watched
* removed a lot of routines from cga unit and replaced them by
calls to cgobj
* u32bit-s32bit updates for and,or,xor nodes. When one element is
u32bit then the other is typecasted also to u32bit without giving
a rangecheck warning/error.
* fixed pascal calling method with reversing also the high tree in
the parast, detected by tcalcst3 test
Revision 1.8 2002/04/19 15:40:40 peter
* optimize tfileposinfo writing, this reduces the ppu size with 20%
}