{ $Id$ This file is part of the Free Pascal run time library. Copyright (c) 1999-2000 by the Free Pascal development team. Processor independent implementation for the system unit (adapted for intel i386.inc file) See the file COPYING.FPC, included in this distribution, for details about the copyright. 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. **********************************************************************} {**************************************************************************** Primitives ****************************************************************************} type pstring = ^shortstring; {$ifndef FPC_SYSTEM_HAS_MOVE} procedure Move(const source;var dest;count:longint); type bytearray = array [0..maxlongint] of byte; var i,size : longint; begin Dec(count); for i:=0 to count do bytearray(dest)[i]:=bytearray(source)[i]; end; {$endif ndef FPC_SYSTEM_HAS_MOVE} {$ifndef FPC_SYSTEM_HAS_FILLCHAR} Procedure FillChar(var x;count:longint;value:byte); type longintarray = array [0..maxlongint] of longint; bytearray = array [0..maxlongint] of byte; var i,v : longint; begin if count = 0 then exit; v := 0; v:=(value shl 8) or (value and $FF); v:=(v shl 16) or (v and $ffff); for i:=0 to (count div 4) -1 do longintarray(x)[i]:=v; for i:=(count div 4)*4 to count-1 do bytearray(x)[i]:=value; end; {$endif ndef FPC_SYSTEM_HAS_FILLCHAR} {$ifndef FPC_SYSTEM_HAS_FILLBYTE} procedure FillByte (var x;count : longint;value : byte ); begin FillChar (X,Count,CHR(VALUE)); end; {$endif ndef FPC_SYSTEM_HAS_FILLBYTE} {$ifndef FPC_SYSTEM_HAS_FILLWORD} procedure fillword(var x;count : longint;value : word); type longintarray = array [0..maxlongint] of longint; wordarray = array [0..maxlongint] of word; var i,v : longint; begin v:=value*$10000+value; for i:=0 to (count div 2) -1 do longintarray(x)[i]:=v; for i:=(count div 2)*2 to count-1 do wordarray(x)[i]:=value; end; {$endif ndef FPC_SYSTEM_HAS_FILLWORD} {$ifndef FPC_SYSTEM_HAS_FILLDWORD} procedure FillDWord(var x;count : longint;value : DWord); type longintarray = array [0..maxlongint] of longint; var I : longint; begin if Count<>0 then begin I:=Count; while I<>0 do begin longintarray(X)[I-1]:=Value; Dec(I); end; end; end; {$endif ndef FPC_SYSTEM_HAS_FILLDWORD} {$ifndef FPC_SYSTEM_HAS_INDEXCHAR} function IndexChar(Const buf;len:longint;b:char):longint; begin IndexChar:=IndexByte(Buf,Len,byte(B)); end; {$endif ndef FPC_SYSTEM_HAS_INDEXCHAR} {$ifndef FPC_SYSTEM_HAS_INDEXBYTE} function IndexByte(Const buf;len:longint;b:byte):longint; type bytearray = array [0..maxlongint] of byte; var I : longint; begin I:=0; while (bytearray(buf)[I]<>b) and (Ib) and (Ib) and (I0) and (@Buf1<>@Buf2) then begin while (bytearray(Buf1)[I]=bytearray(Buf2)[I]) and (I0 then I:=1 else if I<0 then I:=-1; end; end; CompareByte:=I; end; {$endif ndef FPC_SYSTEM_HAS_COMPAREBYTE} {$ifndef FPC_SYSTEM_HAS_COMPAREWORD} function CompareWord(Const buf1,buf2;len:longint):longint; type wordarray = array [0..maxlongint] of word; var I,J : longint; begin I:=0; if (Len<>0) and (@Buf1<>@Buf2) then begin while (wordarray(Buf1)[I]=wordarray(Buf2)[I]) and (I0 then I:=1 else if I<0 then I:=-1; end; end; CompareWord:=I; end; {$endif ndef FPC_SYSTEM_HAS_COMPAREWORD} {$ifndef FPC_SYSTEM_HAS_COMPAREDWORD} function CompareDWord(Const buf1,buf2;len:longint):longint; type longintarray = array [0..maxlongint] of longint; var I,J : longint; begin I:=0; if (Len<>0) and (@Buf1<>@Buf2) then begin while (longintarray(Buf1)[I]=longintarray(Buf2)[I]) and (I0 then I:=1 else if I<0 then I:=-1; end; end; CompareDWord:=I; end; {$endif ndef FPC_SYSTEM_HAS_COMPAREDWORD} {$ifndef FPC_SYSTEM_HAS_MOVECHAR0} procedure MoveChar0(Const buf1;var buf2;len:longint); var I : longint; begin if Len<> 0 then begin I:=IndexByte(Buf1,Len,0); if I<>0 then Move(Buf1,Buf2,I); end; end; {$endif ndef FPC_SYSTEM_HAS_MOVECHAR0} {$ifndef FPC_SYSTEM_HAS_INDEXCHAR0} function IndexChar0(Const buf;len:longint;b:Char):longint; var I : longint; begin if Len<>0 then begin I:=IndexByte(Buf,Len,0); IndexChar0:=IndexByte(Buf,I,0); end else IndexChar0:=0; end; {$endif ndef FPC_SYSTEM_HAS_INDEXCHAR0} {$ifndef FPC_SYSTEM_HAS_COMPARECHAR0} function CompareChar0(Const buf1,buf2;len:longint):longint; type bytearray = array [0..maxlongint] of byte; Var i : longint; begin I:=0; if (Len<>0) and (@Buf1<>@Buf2) then begin while (I0) and (PByte(@buf2)[i]<>0)) and (pbyte(@Buf1)[I]=pbyte(@Buf2)[I]) do inc(I); if (I=Len) or (PByte(@Buf1)[i]=0) or (PByte(@buf2)[I]=0) then {No difference or 0 reached } I:=0 else begin I:=bytearray(Buf1)[I]-bytearray(Buf2)[I]; if I>0 then I:=1 else if I<0 then I:=-1; end; end; CompareChar0:=I; end; {$endif ndef FPC_SYSTEM_HAS_COMPARECHAR0} {**************************************************************************** Object Helpers ****************************************************************************} {$ifndef FPC_SYSTEM_HAS_FPC_HELP_CONSTRUCTOR} { Generic code does not set the register used for self ! So this needs to be done by the compiler after calling FPC_HELP_CONSTRUCTOR : generic allways means aa little less efficient (PM) } { I don't think we really need to save any registers here } { since this is called at the start of the constructor (CEC) } function fpc_help_constructor(var _self : pointer; var vmt : pointer; vmt_pos : cardinal) : pointer; [public,alias:'FPC_HELP_CONSTRUCTOR']; {$ifdef hascompilerproc} compilerproc; {$endif} type ppointer = ^pointer; pvmt = ^tvmt; tvmt = packed record size,msize : longint; parent : pointer; end; var objectsize : longint; vmtcopy : pointer; begin if vmt=nil then begin int_help_constructor:=_self; exit; end; vmtcopy:=vmt; objectsize:=pvmt(vmtcopy)^.size; if _self=nil then begin getmem(_self,objectsize); longint(vmt):=-1; { needed for fail } end; fillchar(_self^,objectsize,#0); ppointer(_self+vmt_pos)^:=vmtcopy; int_help_constructor:=_self; end; {$endif ndef FPC_SYSTEM_HAS_FPC_HELP_CONSTRUCTOR} {$ifndef FPC_SYSTEM_HAS_FPC_HELP_DESTRUCTOR} procedure fpc_help_destructor(var _self : pointer; vmt : pointer; vmt_pos : cardinal);saveregisters;[public,alias:'FPC_HELP_DESTRUCTOR']; {$ifdef hascompilerproc} compilerproc; {$endif} type ppointer = ^pointer; pvmt = ^tvmt; tvmt = packed record size,msize : longint; parent : pointer; end; var objectsize : longint; begin if (_self=nil) then exit; if (pvmt(ppointer(_self+vmt_pos)^)^.size=0) or (pvmt(ppointer(_self+vmt_pos)^)^.size+pvmt(ppointer(_self+vmt_pos)^)^.msize<>0) then RunError(210); objectsize:=pvmt(vmt)^.size; { reset vmt to nil for protection } ppointer(_self+vmt_pos)^:=nil; freemem(_self,objectsize); _self:=nil; end; {$endif ndef FPC_SYSTEM_HAS_FPC_HELP_DESTRUCTOR} {$ifndef FPC_SYSTEM_HAS_FPC_HELP_FAIL} {$error No pascal version of Int_help_fail} procedure int_help_fail(var _self : pointer; var vmt : pointer; vmt_pos : cardinal); [public,alias:'FPC_HELP_FAIL']; type ppointer = ^pointer; pvmt = ^tvmt; tvmt = packed record size,msize : longint; parent : pointer; end; var objectsize : longint; begin if vmt=nil then exit; if longint(vmt)=-1 then begin if (_self=nil) or (ppointer(_self+vmt_pos)^=nil) then HandleError(210) else begin ppointer(_self+vmt_pos)^:=nil; freemem(_self); _self:=nil; vmt:=nil; end; end else ppointer(_self+vmt_pos)^:=nil; end; {$endif ndef FPC_SYSTEM_HAS_FPC_HELP_FAIL} {$ifndef FPC_SYSTEM_HAS_FPC_NEW_CLASS} {$error No pascal version of Int_new_class} {$endif ndef FPC_SYSTEM_HAS_FPC_NEW_CLASS} {$ifndef FPC_SYSTEM_HAS_FPC_DISPOSE_CLASS} {$error No pascal version of Int_dispose_class} {$endif ndef FPC_SYSTEM_HAS_FPC_DISPOSE_CLASS} {$ifndef FPC_SYSTEM_HAS_FPC_CHECK_OBJECT} procedure fpc_check_object(vmt : pointer);saveregisters;[public,alias:'FPC_CHECK_OBJECT']; {$ifdef hascompilerproc} compilerproc; {$endif} type pvmt = ^tvmt; tvmt = packed record size,msize : longint; parent : pointer; end; begin if (vmt=nil) or (pvmt(vmt)^.size=0) or (pvmt(vmt)^.size+pvmt(vmt)^.msize<>0) then RunError(210); end; {$endif ndef FPC_SYSTEM_HAS_FPC_CHECK_OBJECT} { checks for a correct vmt pointer } { deeper check to see if the current object is } { really related to the true } {$ifndef FPC_SYSTEM_HAS_FPC_CHECK_OBJECT_EXT} procedure fpc_check_object_ext(vmt, expvmt : pointer);saveregisters;[public,alias:'FPC_CHECK_OBJECT_EXT']; {$ifdef hascompilerproc} compilerproc; {$endif} type pvmt = ^tvmt; tvmt = packed record size,msize : longint; parent : pointer; end; begin if (vmt=nil) or (pvmt(vmt)^.size=0) or (pvmt(vmt)^.size+pvmt(vmt)^.msize<>0) then RunError(210); while assigned(vmt) do if vmt=expvmt then exit else vmt:=pvmt(vmt)^.parent; RunError(220); end; {$endif ndef FPC_SYSTEM_HAS_FPC_CHECK_OBJECT_EXT} {**************************************************************************** String ****************************************************************************} {$ifndef FPC_SYSTEM_HAS_FPC_SHORTSTR_COPY} function fpc_shortstr_to_shortstr(len:longint;const sstr:shortstring): shortstring;[public,alias:'FPC_SHORTSTR_TO_SHORTSTR']; {$ifdef hascompilerproc} compilerproc; {$endif} var slen : byte; begin { these are shortstrings, not pointers! (JM) if dstr=nil then exit; if sstr=nil then begin if dstr<>nil then pstring(dstr)^[0]:=#0; exit; end; } slen:=length(sstr); if slen 0 then move(sstr[0],result[0],len+1); end; procedure fpc_shortstr_copy(len:longint;sstr,dstr:pointer);[public,alias:'FPC_SHORTSTR_COPY']; var slen : byte; type pstring = ^string; begin { these are shortstrings, not pointers! (JM) if dstr=nil then exit; if sstr=nil then begin if dstr<>nil then pstring(dstr)^[0]:=#0; exit; end; } slen:=length(pstring(sstr)^); if slen 0 then move(sstr^,dstr^,len+1); { already done by the move above (JM) pstring(dstr)^[0]:=chr(len); } end; {$endif ndef FPC_SYSTEM_HAS_FPC_SHORTSTR_COPY} {$ifndef FPC_SYSTEM_HAS_FPC_SHORTSTR_CONCAT} { note: this routine is *DIFFERENT* from the routine in i386.inc and as such you } { cannot use it with the i386 compiler, unless you remove the } { ti386addnode.first_string method (JM) } function fpc_shortstr_concat(const s1,s2:shortstring): shortstring;[public,alias:'FPC_SHORTSTR_CONCAT']; var s1l, s2l : byte; begin { these are shortstrings, they can't be nil! (JM) if (s1=nil) or (s2=nil) then exit; } s1l:=length(s1); s2l:=length(s2); if s1l+s2l>255 then s2l:=255-s1l; fpc_shortstr_concat := s1; move(s2[1],fpc_shortstr_concat[s1l+1],s2l); fpc_shortstr_concat[0]:=chr(s1l+s2l); end; {$endif ndef FPC_SYSTEM_HAS_FPC_SHORTSTR_CONCAT} {$ifndef FPC_SYSTEM_HAS_FPC_SHORTSTR_COMPARE} function fpc_shortstr_compare(const rightstr,leftstr:shortstring) : longint;[public,alias:'FPC_SHORTSTR_COMPARE']; {$ifdef hascompilerproc} compilerproc; {$endif} var s1,s2,max,i : byte; d : longint; begin s1:=length(rightstr); s2:=length(leftstr); if s10 then exit(1) else if d<0 then exit(-1); end; if s1>s2 then exit(1) else if s1255 then l:=255; if l>0 then move(p^,s[1],l); s[0]:=chr(l); fpc_pchar_to_shortstr := s; end; {$endif ndef FPC_SYSTEM_HAS_FPC_PCHAR_TO_SHORTSTR} { also add a strpas alias for internal use in the system unit (JM) } function strpas(p:pchar):shortstring; [external name 'FPC_PCHAR_TO_SHORTSTR']; {$ifndef FPC_SYSTEM_HAS_FPC_CHARARRAY_TO_SHORTSTR} {$ifdef hascompilerproc} function fpc_chararray_to_shortstr(const arr: array of char):shortstring;[public,alias:'FPC_CHARARRAY_TO_SHORTSTR']; compilerproc; var l: longint; {$else hascompilerproc} function fpc_chararray_to_shortstr(p:pchar; l : longint):shortstring;[public,alias:'FPC_CHARARRAY_TO_SHORTSTR']; {$endif hascompilerproc} begin {$ifdef hascompilerproc} l := high(arr)+1; {$endif hascompilerproc} if l>=256 then l:=255 else if l<0 then l:=0; move(arr[0],fpc_chararray_to_shortstr[1],l); fpc_chararray_to_shortstr[0]:=chr(l); end; {$endif ndef FPC_SYSTEM_HAS_FPC_CHARARRAY_TO_SHORTSTR} {$ifdef hascompilerproc} {$ifndef FPC_SYSTEM_HAS_FPC_SHORTSTR_TO_CHARARRAY} { inside the compiler, the resulttype is modified to that of the actual } { chararray we're converting to (JM) } function fpc_shortstr_to_chararray(arraysize: longint; const src: ShortString): fpc_big_chararray;[public,alias: 'FPC_SHORTSTR_TO_CHARARRAY']; compilerproc; var len: longint; begin len := length(src); if len > arraysize then len := arraysize; { make sure we don't access char 1 if length is 0 (JM) } if len > 0 then move(src[1],fpc_shortstr_to_chararray[0],len); fillchar(fpc_shortstr_to_chararray[len],arraysize-len,0); end; {$endif FPC_SYSTEM_HAS_FPC_SHORTSTR_TO_CHARARRAY} {$else hascompilerproc} {$ifopt r+} {$define rangeon} {$r-} {$endif} {$ifndef FPC_SYSTEM_HAS_FPC_STR_TO_CHARARRAY} procedure fpc_str_to_chararray(strtyp, arraysize: longint; src,dest: pchar);[public,alias:'FPC_STR_TO_CHARARRAY']; {$ifdef hascompilerproc} compilerproc; {$endif} type plongint = ^longint; var len: longint; begin case strtyp of { shortstring } 0: begin len := byte(src[0]); inc(src); end; {$ifdef SUPPORT_ANSISTRING} { ansistring} 1: len := length(ansistring(pointer(src))); {$endif SUPPORT_ANSISTRING} { longstring } 2:; { widestring } 3: ; end; if len > arraysize then len := arraysize; { make sure we don't dereference src if it can be nil (JM) } if len > 0 then move(src^,dest^,len); fillchar(dest[len],arraysize-len,0); end; {$endif FPC_SYSTEM_HAS_FPC_STR_TO_CHARARRAY} {$ifdef rangeon} {$r+} {undef rangeon} {$endif rangeon} {$endif hascompilerproc} {$ifndef FPC_SYSTEM_HAS_STRLEN} function strlen(p:pchar):longint; var i : longint; begin i:=0; while p[i]<>#0 do inc(i); exit(i); end; {$endif ndef FPC_SYSTEM_HAS_STRLEN} {**************************************************************************** Caller/StackFrame Helpers ****************************************************************************} {$ifndef FPC_SYSTEM_HAS_GET_FRAME} {$error Get_frame must be defined for each processor } {$endif ndef FPC_SYSTEM_HAS_GET_FRAME} {$ifndef FPC_SYSTEM_HAS_GET_CALLER_ADDR} {$error Get_caller_addr must be defined for each processor } {$endif ndef FPC_SYSTEM_HAS_GET_CALLER_ADDR} {$ifndef FPC_SYSTEM_HAS_GET_CALLER_FRAME} {$error Get_caller_frame must be defined for each processor } {$endif ndef FPC_SYSTEM_HAS_GET_CALLER_FRAME} {**************************************************************************** Math ****************************************************************************} {$ifndef FPC_SYSTEM_HAS_ABS_LONGINT} function abs(l:longint):longint;[internconst:in_const_abs]; begin if l<0 then abs:=-l else abs:=l; end; {$endif ndef FPC_SYSTEM_HAS_ABS_LONGINT} {$ifndef FPC_SYSTEM_HAS_ODD_LONGINT} function odd(l:longint):boolean; begin odd:=boolean(l and 1); end; {$endif ndef FPC_SYSTEM_HAS_ODD_LONGINT} {$ifndef FPC_SYSTEM_HAS_ODD_CARDINAL} function odd(l:cardinal):boolean; begin odd:=boolean(l and 1); end; {$endif ndef FPC_SYSTEM_HAS_ODD_CARDINAL} {$ifndef FPC_SYSTEM_HAS_ODD_INT64} function odd(l:int64):boolean;[internconst:in_const_odd]; begin odd:=boolean(longint(l) and 1); end; {$endif ndef FPC_SYSTEM_HAS_ODD_INT64} {$ifndef FPC_SYSTEM_HAS_ODD_QWORD} function odd(l:qword):boolean; begin odd:=boolean(longint(l) and 1); end; {$endif ndef FPC_SYSTEM_HAS_ODD_QWORD} {$ifndef FPC_SYSTEM_HAS_SQR_LONGINT} function sqr(l:longint):longint;[internconst:in_const_sqr]; begin sqr:=l*l; end; {$endif ndef FPC_SYSTEM_HAS_SQR_LONGINT} {$ifndef FPC_SYSTEM_HAS_SPTR} {$error Sptr must be defined for each processor } {$endif ndef FPC_SYSTEM_HAS_SPTR} {**************************************************************************** Str() ****************************************************************************} {$ifndef FPC_SYSTEM_HAS_INT_STR_LONGINT} procedure int_str(l : longint;var s : string); var value: longint; negative: boolean; begin negative := false; s:=''; { Workaround: } if l=$80000000 then begin s:='-2147483648'; exit; end; { handle case where l = 0 } if l = 0 then begin s:='0'; exit; end; If l < 0 then begin negative := true; value:=abs(l); end else value:=l; { handle non-zero case } while value>0 do begin s:=char((value mod 10)+ord('0'))+s; value := value div 10; end; if negative then s := '-' + s; end; {$endif ndef FPC_SYSTEM_HAS_INT_STR_LONGINT} {$ifndef FPC_SYSTEM_HAS_INT_STR_CARDINAL} procedure int_str(l : cardinal;var s : string); begin s:=''; if l = 0 then begin s := '0'; exit; end; while l>0 do begin s:=char(ord('0')+(l mod 10))+s; l:=l div 10; end; end; {$endif ndef FPC_SYSTEM_HAS_INT_STR_CARDINAL} {**************************************************************************** Bounds Check ****************************************************************************} {$ifndef NOBOUNDCHECK} {$ifndef FPC_SYSTEM_HAS_FPC_BOUNDCHECK} procedure int_boundcheck(l : longint; range : pointer);[public,alias: 'FPC_BOUNDCHECK']; type prange = ^trange; trange = packed record min,max : longint; end; begin if (l < prange(range)^.min) or (l > prange(range)^.max) then HandleError(201); end; {$endif ndef FPC_SYSTEM_HAS_FPC_BOUNDCHECK} {$endif NOBOUNDCHECK} {**************************************************************************** IoCheck ****************************************************************************} { $Log$ Revision 1.21 2001-09-03 13:27:43 jonas * compilerproc implementation of set addition/substraction/... * changed the declaration of some set helpers somewhat to accomodate the above change * i386 still uses the old code for comparisons of sets, because its helpers return the results in the flags * dummy tc_normal_2_small_set type conversion because I need the original resulttype of the set add nodes NOTE: you have to start a cycle with 1.0.5! Revision 1.20 2001/08/30 15:43:15 jonas * converted adding/comparing of strings to compileproc. Note that due to the way the shortstring helpers for i386 are written, they are still handled by the old code (reason: fpc_shortstr_compare returns results in the flags instead of in eax and fpc_shortstr_concat has wierd parameter conventions). The compilerproc stuff should work fine with the generic implementations though. * removed some nested comments warnings Revision 1.19 2001/08/29 19:49:04 jonas * some fixes in compilerprocs for chararray to string conversions * conversion from string to chararray is now also done via compilerprocs Revision 1.18 2001/08/28 13:24:47 jonas + compilerproc implementation of most string-related type conversions - removed all code from the compiler which has been replaced by compilerproc implementations (using (ifdef hascompilerproc) is not necessary in the compiler) Revision 1.17 2001/08/01 15:00:10 jonas + "compproc" helpers * renamed several helpers so that their name is the same as their "public alias", which should facilitate the conversion of processor specific code in the code generator to processor independent code * some small fixes to the val_ansistring and val_widestring helpers (always immediately exit if the source string is longer than 255 chars) * fixed fpc_dynarray_high and fpc_dynarray_length if the dynarray is still nil (used to crash, now return resp -1 and 0) Revision 1.16 2001/07/31 19:36:51 peter * small cleanup of commented code (merged) Revision 1.15 2001/07/29 13:49:15 peter * m68k updates merged Revision 1.14 2001/07/08 21:00:18 peter * various widestring updates, it works now mostly without charset mapping supported Revision 1.13 2001/05/28 20:43:17 peter * more saveregisters added (merged) Revision 1.12 2001/05/18 22:59:59 peter * merged fixes branch fixes Revision 1.11 2001/05/16 17:44:25 jonas + odd() for cardinal, int64 and qword (merged) Revision 1.10 2001/05/09 19:57:07 peter *** empty log message *** Revision 1.9 2001/04/21 12:16:28 peter * int_str cardinal fix (merged) Revision 1.8 2001/04/13 18:06:28 peter * removed rtllite define Revision 1.7 2001/03/05 17:10:40 jonas * changed typecast in FPC_STR_TO_CHARARRAY so that no temp ansistring is generated anymore (merged) Revision 1.6 2001/03/03 12:41:22 jonas * simplified and optimized range checking code, FPC_BOUNDCHECK is no longer necessary Revision 1.5 2000/10/01 13:17:35 michael + Merged from fixbranch Revision 1.4 2000/08/09 11:29:01 jonas Revision 1.1.2.2 2000/10/01 13:14:50 michael + Corrected and (hopefully) improved compare0 Revision 1.1.2.1 2000/08/09 11:21:32 jonas + FPC_STR_TO_CHARARRAY routine necessary for string -> chararray conversions fix (merged fropm fixes branch) Revision 1.3 2000/07/14 10:33:10 michael + Conditionals fixed Revision 1.2 2000/07/13 11:33:43 michael + removed logs }