paweld/fpc
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/fpc/source.git synced 2025-04-21 01:09:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

+ first tries at first calln testing

Browse Source
This commit is contained in:
carl 2002-04-10 16:33:18 +00:00
parent 1fde9cb39f
commit 12b2956bed
6 changed files with 4510 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

845
tests/test/cg/tcalcst1.pp Normal file
View File

@ -0,0 +1,845 @@
{****************************************************************}
{ CODE GENERATOR TEST PROGRAM }
{ By Carl Eric Codere }
{****************************************************************}
{ NODE TESTED : secondcallparan() }
{****************************************************************}
{ PRE-REQUISITES: secondload() }
{ secondassign() }
{ secondtypeconv() }
{ secondtryexcept() }
{ secondcalln() }
{ secondadd() }
{****************************************************************}
{ DEFINES: }
{ FPC = Target is FreePascal compiler }
{****************************************************************}
{ REMARKS: This tests a subset of the secondcalln() node }
{ (const parameters) }
{****************************************************************}
program tcalcst1;
{$ifdef fpc}
{$mode objfpc}
{$INLINE ON}
{$endif}
{$R+}
{ REAL should map to single or double }
{ so it is not checked, since single }
{ double nodes are checked. }
{ assumes that enumdef is the same as orddef (same storage format) }
const
{ should be defined depending on CPU target }
{$ifdef cpu68k}
BIG_INDEX = 8000;
SMALL_INDEX = 13;
{$endif}
{$ifdef cpu86}
BIG_INDEX = 33000;
SMALL_INDEX = 13; { value should not be aligned! }
{$endif}
RESULT_U8BIT = $55;
RESULT_U16BIT = $500F;
RESULT_S32BIT = $500F0000;
RESULT_S64BIT = $500F0000;
RESULT_S32REAL = 1777.12;
RESULT_S64REAL = 3444.24;
RESULT_BOOL8BIT = 1;
RESULT_BOOL16BIT = 1;
RESULT_BOOL32BIT = 1;
RESULT_PCHAR = 'Hello world';
RESULT_BIGSTRING = 'Hello world';
RESULT_SMALLSTRING = 'H';
RESULT_CHAR = 'I';
RESULT_BOOLEAN = TRUE;
type
{$ifdef fpc}
tclass1 = class
end;
{$else}
shortstring = string;
{$endif}
tprocedure = procedure;
tsmallrecord = packed record
b: byte;
w: word;
end;
tlargerecord = packed record
b: array[1..BIG_INDEX] of byte;
end;
tsmallarray = packed array[1..SMALL_INDEX] of byte;
tsmallsetenum =
(A_A,A_B,A_C,A_D);
tsmallset = set of tsmallsetenum;
tlargeset = set of char;
tsmallstring = string[2];
var
global_u8bit : byte;
global_u16bit : word;
global_s32bit : longint;
global_s32real : single;
global_s64real : double;
global_ptr : pchar;
global_proc : tprocedure;
global_bigstring : shortstring;
global_boolean : boolean;
global_char : char;
value_u8bit : byte;
value_u16bit : word;
value_s32bit : longint;
{$ifdef fpc}
global_class : tclass1;
global_s64bit : int64;
value_s64bit : int64;
value_class : tclass1;
{$endif}
value_s32real : single;
value_s64real : double;
value_proc : tprocedure;
value_ptr : pchar;
value_smallrec : tsmallrecord;
value_largerec : tlargerecord;
value_smallset : tsmallset;
value_smallstring : tsmallstring;
value_bigstring : shortstring;
value_largeset : tlargeset;
value_smallarray : tsmallarray;
value_boolean : boolean;
value_char : char;
procedure fail;
begin
WriteLn('Failure.');
halt(1);
end;
procedure clear_globals;
begin
global_u8bit := 0;
global_u16bit := 0;
global_s32bit := 0;
global_s32real := 0.0;
global_s64real := 0.0;
global_ptr := nil;
global_proc := nil;
global_bigstring := '';
global_boolean := false;
global_char := #0;
{$ifdef fpc}
global_s64bit := 0;
global_class := nil;
{$endif}
end;
procedure clear_values;
begin
value_u8bit := 0;
value_u16bit := 0;
value_s32bit := 0;
value_s32real := 0.0;
value_s64real := 0.0;
value_proc := nil;
value_ptr := nil;
{$ifdef fpc}
value_s64bit := 0;
value_class := nil;
{$endif}
fillchar(value_smallrec, sizeof(value_smallrec), #0);
fillchar(value_largerec, sizeof(value_largerec), #0);
value_smallset := [];
value_smallstring := '';
value_bigstring := '';
value_largeset := [];
fillchar(value_smallarray, sizeof(value_smallarray), #0);
value_boolean := false;
value_char:=#0;
end;
procedure testprocedure;
begin
end;
function getu8bit : byte;
begin
getu8bit:=RESULT_U8BIT;
end;
function getu16bit: word;
begin
getu16bit:=RESULT_U16BIT;
end;
function gets32bit: longint;
begin
gets32bit:=RESULT_S32BIT;
end;
function gets64bit: longint;
begin
gets64bit:=RESULT_S32BIT;
end;
function gets32real: single;
begin
gets32real:=RESULT_S32REAL;
end;
function gets64real: double;
begin
gets64real:=RESULT_S64REAL;
end;
{************************************************************************}
{ CONST PARAMETERS }
{************************************************************************}
procedure proc_const_s32bit(const v : longint);
begin
global_s32bit := v;
end;
{$ifdef fpc}
procedure proc_const_s64bit(const v: int64);
begin
global_s64bit:= v;
end;
procedure proc_const_smallarray_const_1(const arr : array of const);
var
i: integer;
begin
for i:=0 to high(arr) do
begin
case arr[i].vtype of
vtInteger : global_u8bit := arr[i].vinteger and $ff;
vtBoolean : global_boolean := arr[i].vboolean;
vtChar : global_char := arr[i].vchar;
vtExtended : global_s64real := arr[i].VExtended^;
vtString : global_bigstring := arr[i].VString^;
vtPointer : ;
vtPChar : global_ptr := arr[i].VPchar;
vtObject : ;
{ vtClass : global_class := (arr[i].VClass) as tclass1;}
vtAnsiString : ;
vtInt64 : global_s64bit := arr[i].vInt64^;
else
RunError(255);
end;
end; {endfor}
end;
procedure proc_const_smallarray_const_2(const arr : array of const);
var
i: integer;
begin
if high(arr)<0 then
global_u8bit := RESULT_U8BIT;
end;
{$endif}
procedure proc_const_smallrecord(const smallrec : tsmallrecord);
begin
if (smallrec.b = RESULT_U8BIT) and (smallrec.w = RESULT_U16BIT) then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_largerecord(const largerec : tlargerecord);
begin
if (largerec.b[1] = RESULT_U8BIT) and (largerec.b[2] = RESULT_U8BIT) then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_smallset(const smallset : tsmallset);
begin
if A_D in smallset then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_largeset(const largeset : tlargeset);
begin
if 'I' in largeset then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_smallstring(const s:tsmallstring);
begin
if s = RESULT_SMALLSTRING then
global_u8bit := RESULT_u8BIT;
end;
procedure proc_const_bigstring(const s:shortstring);
begin
if s = RESULT_BIGSTRING then
global_u8bit := RESULT_u8BIT;
end;
procedure proc_const_smallarray(const arr : tsmallarray);
begin
if arr[SMALL_INDEX] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_smallarray_open(const arr : array of byte);
begin
{ form 0 to N-1 indexes in open arrays }
if arr[SMALL_INDEX-1] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_formaldef_array(const buf);
var
p: pchar;
begin
{ array is indexed from 1 }
p := @buf;
global_u8bit := byte(p[SMALL_INDEX-1]);
end;
{************************************************************************}
{ MIXED CONST PARAMETERS }
{************************************************************************}
procedure proc_const_s32bit_mixed(b1: byte; const v : longint; b2: byte);
begin
global_s32bit := v;
value_u8bit := b2;
end;
{$ifdef fpc}
procedure proc_const_s64bit_mixed(b1 : byte; const v: int64; b2: byte);
begin
global_s64bit:= v;
value_u8bit := b2;
end;
procedure proc_const_smallarray_const_1_mixed(b1 : byte; const arr : array of const; b2: byte);
var
i: integer;
begin
for i:=0 to high(arr) do
begin
case arr[i].vtype of
vtInteger : global_u8bit := arr[i].vinteger and $ff;
vtBoolean : global_boolean := arr[i].vboolean;
vtChar : global_char := arr[i].vchar;
vtExtended : global_s64real := arr[i].VExtended^;
vtString : global_bigstring := arr[i].VString^;
vtPointer : ;
vtPChar : global_ptr := arr[i].VPchar;
vtObject : ;
{ vtClass : global_class := (arr[i].VClass) as tclass1;}
vtAnsiString : ;
vtInt64 : global_s64bit := arr[i].vInt64^;
else
RunError(255);
end;
end; {endfor}
value_u8bit := b2;
end;
procedure proc_const_smallarray_const_2_mixed(b1: byte; const arr : array of const; b2: byte);
var
i: integer;
begin
if high(arr)<0 then
global_u8bit := RESULT_U8BIT;
value_u8bit := b2;
end;
{$endif}
procedure proc_const_smallrecord_mixed(b1 : byte; const smallrec : tsmallrecord; b2: byte);
begin
if (smallrec.b = RESULT_U8BIT) and (smallrec.w = RESULT_U16BIT) then
global_u8bit := RESULT_U8BIT;
value_u8bit := b2;
end;
procedure proc_const_largerecord_mixed(b1: byte; const largerec : tlargerecord; b2: byte);
begin
if (largerec.b[1] = RESULT_U8BIT) and (largerec.b[2] = RESULT_U8BIT) then
global_u8bit := RESULT_U8BIT;
value_u8bit := b2;
end;
procedure proc_const_smallset_mixed(b1: byte; const smallset : tsmallset; b2: byte);
begin
if A_D in smallset then
global_u8bit := RESULT_U8BIT;
value_u8bit := b2;
end;
procedure proc_const_largeset_mixed(b1: byte; const largeset : tlargeset; b2: byte);
begin
if 'I' in largeset then
global_u8bit := RESULT_U8BIT;
value_u8bit := b2;
end;
procedure proc_const_smallstring_mixed(b1: byte; const s:tsmallstring; b2: byte);
begin
if s = RESULT_SMALLSTRING then
global_u8bit := RESULT_u8BIT;
value_u8bit := b2;
end;
procedure proc_const_bigstring_mixed(b1: byte; const s:shortstring; b2: byte);
begin
if s = RESULT_BIGSTRING then
global_u8bit := RESULT_u8BIT;
value_u8bit := b2;
end;
procedure proc_const_smallarray_mixed(b1: byte; const arr : tsmallarray; b2: byte);
begin
if arr[SMALL_INDEX] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
value_u8bit := b2;
end;
procedure proc_const_smallarray_open_mixed(b1: byte; const arr : array of byte; b2: byte);
begin
{ form 0 to N-1 indexes in open arrays }
if arr[high(arr)] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
value_u8bit := b2;
end;
procedure proc_const_formaldef_array_mixed(b1: byte; const buf; b2: byte);
var
p: pchar;
begin
{ array is indexed from 1 }
p := @buf;
global_u8bit := byte(p[SMALL_INDEX-1]);
value_u8bit := b2;
end;
var
failed: boolean;
pp : ^pchar;
begin
{***************************** NORMAL TESTS *******************************}
write('Const parameter test (src : LOC_REGISTER (orddef)))...');
clear_globals;
clear_values;
failed:=false;
proc_const_s32bit(gets32bit);
if global_s32bit <> RESULT_S32BIT then
failed:=true;
{$ifdef fpc}
proc_const_s64bit(gets64bit);
if global_s64bit <> RESULT_S64BIT then
failed:=true;
{$endif}
if failed then
fail
else
WriteLn('Passed!');
write('Const parameter test (src : LOC_REFERENCE (recorddef)))...');
clear_globals;
clear_values;
failed := false;
value_smallrec.b := RESULT_U8BIT;
value_smallrec.w := RESULT_U16BIT;
proc_const_smallrecord(value_smallrec);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
fillchar(value_largerec,sizeof(value_largerec),RESULT_U8BIT);
proc_const_largerecord(value_largerec);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('const parameter test (src : LOC_REFERENCE (setdef)))...');
clear_globals;
clear_values;
failed := false;
value_smallset := [A_A,A_D];
proc_const_smallset(value_smallset);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_largeset := ['I'];
proc_const_largeset(value_largeset);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('const parameter test (src : LOC_REFERENCE (stringdef)))...');
clear_globals;
clear_values;
failed := false;
value_smallstring := RESULT_SMALLSTRING;
proc_const_smallstring(value_smallstring);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_bigstring := RESULT_BIGSTRING;
proc_const_bigstring(value_bigstring);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Const parameter test (src : LOC_REFERENCE (formaldef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_formaldef_array(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Const parameter test (src : LOC_REFERENCE (arraydef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_smallarray(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_smallarray_open(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
{$ifdef fpc}
clear_globals;
clear_values;
value_u8bit := RESULT_U8BIT;
value_ptr := RESULT_PCHAR;
value_s64bit := RESULT_S64BIT;
value_smallstring := RESULT_SMALLSTRING;
value_class := tclass1.create;
value_boolean := RESULT_BOOLEAN;
value_char := RESULT_CHAR;
value_s64real:=RESULT_S64REAL;
proc_const_smallarray_const_1([value_u8bit,value_ptr,value_s64bit,value_char,value_smallstring,value_s64real,
value_boolean,value_class]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if global_char <> RESULT_CHAR then
failed := true;
if global_boolean <> RESULT_BOOLEAN then
failed:=true;
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed := true;
if global_bigstring <> RESULT_SMALLSTRING then
failed := true;
if global_ptr <> value_ptr then
failed := true;
{ if value_class <> global_class then
failed := true;!!!!!!!!!!!!!!!!!!!!}
if global_s64bit <> RESULT_S64BIT then
failed := true;
if assigned(value_class) then
value_class.destroy;
global_u8bit := 0;
proc_const_smallarray_const_2([]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
{$endif}
if failed then
fail
else
WriteLn('Passed!');
{***************************** MIXED TESTS *******************************}
write('Mixed const parameter test (src : LOC_REGISTER (orddef)))...');
clear_globals;
clear_values;
failed:=false;
proc_const_s32bit_mixed(RESULT_U8BIT,gets32bit,RESULT_U8BIT);
if global_s32bit <> RESULT_S32BIT then
failed:=true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
{$ifdef fpc}
proc_const_s64bit_mixed(RESULT_U8BIT,gets64bit,RESULT_U8BIT);
if global_s64bit <> RESULT_S64BIT then
failed:=true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
{$endif}
if failed then
fail
else
WriteLn('Passed!');
write('Mixed const parameter test (src : LOC_REFERENCE (recorddef)))...');
clear_globals;
clear_values;
failed := false;
value_smallrec.b := RESULT_U8BIT;
value_smallrec.w := RESULT_U16BIT;
proc_const_smallrecord_mixed(RESULT_U8BIT,value_smallrec,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
fillchar(value_largerec,sizeof(value_largerec),RESULT_U8BIT);
proc_const_largerecord_mixed(RESULT_U8BIT,value_largerec,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Mixed const parameter test (src : LOC_REFERENCE (setdef)))...');
clear_globals;
clear_values;
failed := false;
value_smallset := [A_A,A_D];
proc_const_smallset_mixed(RESULT_U8BIT,value_smallset,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_largeset := ['I'];
proc_const_largeset_mixed(RESULT_U8BIT,value_largeset,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Mixed const parameter test (src : LOC_REFERENCE (stringdef)))...');
clear_globals;
clear_values;
failed := false;
value_smallstring := RESULT_SMALLSTRING;
proc_const_smallstring_mixed(RESULT_U8BIT,value_smallstring,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_bigstring := RESULT_BIGSTRING;
proc_const_bigstring_mixed(RESULT_U8BIT,value_bigstring,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Mixed const parameter test (src : LOC_REFERENCE (formaldef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_formaldef_array_mixed(RESULT_U8BIT,value_smallarray,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Mixed const parameter test (src : LOC_REFERENCE (arraydef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_smallarray_mixed(RESULT_U8BIt,value_smallarray,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_smallarray_open_mixed(RESULT_U8BIT,value_smallarray,RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
{$ifdef fpc}
clear_globals;
clear_values;
value_u8bit := RESULT_U8BIT;
value_ptr := RESULT_PCHAR;
value_s64bit := RESULT_S64BIT;
value_smallstring := RESULT_SMALLSTRING;
value_class := tclass1.create;
value_boolean := RESULT_BOOLEAN;
value_char := RESULT_CHAR;
value_s64real:=RESULT_S64REAL;
proc_const_smallarray_const_1_mixed(RESULT_U8BIT, [value_u8bit,value_ptr,value_s64bit,value_char,value_smallstring,
value_s64real,value_boolean,value_class],RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if global_char <> RESULT_CHAR then
failed := true;
if global_boolean <> RESULT_BOOLEAN then
failed:=true;
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed := true;
if global_bigstring <> RESULT_SMALLSTRING then
failed := true;
if global_ptr <> value_ptr then
failed := true;
{ if value_class <> global_class then
failed := true;!!!!!!!!!!!!!!!!!!!!}
if global_s64bit <> RESULT_S64BIT then
failed := true;
if assigned(value_class) then
value_class.destroy;
if value_u8bit <> RESULT_U8BIT then
failed := true;
global_u8bit := 0;
proc_const_smallarray_const_2_mixed(RESULT_U8BIT,[],RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
{$endif}
if failed then
fail
else
WriteLn('Passed!');
end.
{
$Log$
Revision 1.1 2002-04-10 16:34:30 carl
+ first tries at first calln testing
}

476
tests/test/cg/tcalcst2.pp Normal file
View File

@ -0,0 +1,476 @@
{****************************************************************}
{ CODE GENERATOR TEST PROGRAM }
{ By Carl Eric Codere }
{****************************************************************}
{ NODE TESTED : secondcallparan() }
{****************************************************************}
{ PRE-REQUISITES: secondload() }
{ secondassign() }
{ secondtypeconv() }
{ secondtryexcept() }
{ secondcalln() }
{ secondadd() }
{****************************************************************}
{ DEFINES: }
{ FPC = Target is FreePascal compiler }
{****************************************************************}
{ REMARKS: This tests a subset of the secondcalln() node }
{ (const parameters) }
{****************************************************************}
program tcalcst2;
{$mode objfpc}
{$INLINE ON}
{$R+}
{ REAL should map to single or double }
{ so it is not checked, since single }
{ double nodes are checked. }
{ assumes that enumdef is the same as orddef (same storage format) }
const
{ should be defined depending on CPU target }
{$ifdef cpu68k}
BIG_INDEX = 8000;
SMALL_INDEX = 13;
{$endif}
{$ifdef cpui386}
BIG_INDEX = 33000;
SMALL_INDEX = 13; { value should not be aligned! }
{$endif}
RESULT_U8BIT = $55;
RESULT_U16BIT = $500F;
RESULT_S32BIT = $500F0000;
RESULT_S64BIT = $500F0000;
RESULT_S32REAL = 1777.12;
RESULT_S64REAL = 3444.24;
RESULT_BOOL8BIT = 1;
RESULT_BOOL16BIT = 1;
RESULT_BOOL32BIT = 1;
RESULT_PCHAR = 'Hello world';
RESULT_BIGSTRING = 'Hello world';
RESULT_SMALLSTRING = 'H';
RESULT_CHAR = 'I';
RESULT_BOOLEAN = TRUE;
type
tclass1 = class
end;
tprocedure = procedure;
tsmallrecord = packed record
b: byte;
w: word;
end;
tlargerecord = packed record
b: array[1..BIG_INDEX] of byte;
end;
tsmallarray = packed array[1..SMALL_INDEX] of byte;
tsmallsetenum =
(A_A,A_B,A_C,A_D);
tsmallset = set of tsmallsetenum;
tlargeset = set of char;
tsmallstring = string[2];
var
global_u8bit : byte;
global_u16bit : word;
global_s32bit : longint;
global_s64bit : int64;
global_s32real : single;
global_s64real : double;
global_ptr : pchar;
global_proc : tprocedure;
global_class : tclass1;
global_bigstring : shortstring;
global_boolean : boolean;
global_char : char;
value_u8bit : byte;
value_u16bit : word;
value_s32bit : longint;
value_s64bit : int64;
value_s32real : single;
value_s64real : double;
value_proc : tprocedure;
value_ptr : pchar;
value_class : tclass1;
value_smallrec : tsmallrecord;
value_largerec : tlargerecord;
value_smallset : tsmallset;
value_smallstring : tsmallstring;
value_bigstring : shortstring;
value_largeset : tlargeset;
value_smallarray : tsmallarray;
value_boolean : boolean;
value_char : char;
procedure fail;
begin
WriteLn('Failure.');
halt(1);
end;
procedure clear_globals;
begin
global_u8bit := 0;
global_u16bit := 0;
global_s32bit := 0;
global_s64bit := 0;
global_s32real := 0.0;
global_s64real := 0.0;
global_ptr := nil;
global_proc := nil;
global_class := nil;
global_bigstring := '';
global_boolean := false;
global_char := #0;
end;
procedure clear_values;
begin
value_u8bit := 0;
value_u16bit := 0;
value_s32bit := 0;
value_s64bit := 0;
value_s32real := 0.0;
value_s64real := 0.0;
value_proc := nil;
value_ptr := nil;
value_class := nil;
fillchar(value_smallrec, sizeof(value_smallrec), #0);
fillchar(value_largerec, sizeof(value_largerec), #0);
value_smallset := [];
value_smallstring := '';
value_bigstring := '';
value_largeset := [];
fillchar(value_smallarray, sizeof(value_smallarray), #0);
value_boolean := false;
value_char:=#0;
end;
procedure testprocedure;
begin
end;
function getu8bit : byte;
begin
getu8bit:=RESULT_U8BIT;
end;
function getu16bit: word;
begin
getu16bit:=RESULT_U16BIT;
end;
function gets32bit: longint;
begin
gets32bit:=RESULT_S32BIT;
end;
function gets64bit: longint;
begin
gets64bit:=RESULT_S32BIT;
end;
function gets32real: single;
begin
gets32real:=RESULT_S32REAL;
end;
function gets64real: double;
begin
gets64real:=RESULT_S64REAL;
end;
{************************************************************************}
{ CONST PARAMETERS (INLINE) }
{************************************************************************}
procedure proc_const_smallrecord_inline(const smallrec : tsmallrecord);inline;
begin
if (smallrec.b = RESULT_U8BIT) and (smallrec.w = RESULT_U16BIT) then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_largerecord_inline(const largerec : tlargerecord);inline;
begin
if (largerec.b[1] = RESULT_U8BIT) and (largerec.b[2] = RESULT_U8BIT) then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_smallset_inline(const smallset : tsmallset);inline;
begin
if A_D in smallset then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_largeset_inline(const largeset : tlargeset);inline;
begin
if 'I' in largeset then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_smallstring_inline(const s:tsmallstring);inline;
begin
if s = RESULT_SMALLSTRING then
global_u8bit := RESULT_u8BIT;
end;
procedure proc_const_bigstring_inline(const s:shortstring);inline;
begin
if s = RESULT_BIGSTRING then
global_u8bit := RESULT_u8BIT;
end;
procedure proc_const_smallarray_inline(const arr : tsmallarray);inline;
begin
if arr[SMALL_INDEX] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_smallarray_open_inline(const arr : array of byte);inline;
begin
{ form 0 to N-1 indexes in open arrays }
if arr[SMALL_INDEX-1] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_smallarray_const_1_inline(const arr : array of const);inline;
var
i: integer;
begin
global_u8bit := arr[0].vinteger and $ff;
global_ptr := arr[1].VPchar;
global_s64bit := arr[2].vInt64^;
global_char := arr[3].vchar;
global_bigstring := arr[4].VString^;
global_s64real := arr[5].VExtended^;
global_boolean := arr[6].vboolean;
(*
for i:=0 to high(arr) do
begin
case arr[i].vtype of
vtInteger : global_u8bit := arr[i].vinteger and $ff;
vtBoolean : global_boolean := arr[i].vboolean;
vtChar : global_char := arr[i].vchar;
vtExtended : global_s64real := arr[i].VExtended^;
vtString : global_bigstring := arr[i].VString^;
vtPointer : ;
vtPChar : global_ptr := arr[i].VPchar;
vtObject : ;
{ vtClass : global_class := tclass1(arr[i].VClass);}
vtAnsiString : ;
vtInt64 : global_s64bit := arr[i].vInt64^;
else
RunError(255);
end;
end; {endfor}
*)
end;
procedure proc_const_smallarray_const_2_inline(const arr : array of const);inline;
var
i: integer;
begin
if high(arr)<0 then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_const_formaldef_array_inline(const buf);inline;
var
p: ^byte;
begin
{ array is indexed from 1 }
p := @buf;
global_u8bit := p[SMALL_INDEX-1];
end;
var
failed: boolean;
pp : ^pchar;
begin
{***************************** INLINE TESTS *******************************}
write('(Inline) const parameter test (src : LOC_REFERENCE (recorddef)))...');
clear_globals;
clear_values;
failed := false;
value_smallrec.b := RESULT_U8BIT;
value_smallrec.w := RESULT_U16BIT;
proc_const_smallrecord_inline(value_smallrec);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
fillchar(value_largerec,sizeof(value_largerec),RESULT_U8BIT);
proc_const_largerecord_inline(value_largerec);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) const parameter test (src : LOC_REFERENCE (setdef)))...');
clear_globals;
clear_values;
failed := false;
value_smallset := [A_A,A_D];
proc_const_smallset_inline(value_smallset);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_largeset := ['I'];
proc_const_largeset_inline(value_largeset);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
clear_globals;
clear_values;
write('(Inline) const parameter test (src : LOC_REFERENCE (stringdef)))...');
failed := false;
value_smallstring := RESULT_SMALLSTRING;
proc_const_smallstring_inline(value_smallstring);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_bigstring := RESULT_BIGSTRING;
proc_const_bigstring_inline(value_bigstring);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Const parameter test (src : LOC_REFERENCE (formaldef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_formaldef_array_inline(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Inline const parameter test (src : LOC_REFERENCE (arraydef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_smallarray_inline(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_const_smallarray_open_inline(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_u8bit := RESULT_U8BIT;
value_ptr := RESULT_PCHAR;
value_s64bit := RESULT_S64BIT;
value_smallstring := RESULT_SMALLSTRING;
value_class := tclass1.create;
value_boolean := RESULT_BOOLEAN;
value_char := RESULT_CHAR;
value_s64real:=RESULT_S64REAL;
proc_const_smallarray_const_1_inline([value_u8bit,value_ptr,value_s64bit,value_char,value_smallstring,value_s64real,value_boolean,value_class]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if global_char <> RESULT_CHAR then
failed := true;
if global_boolean <> RESULT_BOOLEAN then
failed:=true;
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed := true;
if global_bigstring <> RESULT_SMALLSTRING then
failed := true;
if global_ptr <> value_ptr then
failed := true;
{ if value_class <> global_class then
failed := true;!!!!!!!!!!!!!!!!!!!!}
if global_s64bit <> RESULT_S64BIT then
failed := true;
if assigned(value_class) then
value_class.destroy;
global_u8bit := 0;
proc_const_smallarray_const_2_inline([]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
end.
{
$Log$
Revision 1.1 2002-04-10 16:34:30 carl
+ first tries at first calln testing
Revision 1.1 2002/04/01 18:05:39 carl
+ const parameter passing tests (currently crashes)
}

1287
tests/test/cg/tcalval1.pp Normal file
View File

File diff suppressed because it is too large Load Diff

604
tests/test/cg/tcalval2.pp Normal file
View File

@ -0,0 +1,604 @@
{****************************************************************}
{ CODE GENERATOR TEST PROGRAM }
{ By Carl Eric Codere }
{****************************************************************}
{ NODE TESTED : secondcallparan() }
{****************************************************************}
{ PRE-REQUISITES: secondload() }
{ secondassign() }
{ secondtypeconv() }
{ secondtryexcept() }
{ secondcalln() }
{ secondadd() }
{****************************************************************}
{ DEFINES: }
{ FPC = Target is FreePascal compiler }
{****************************************************************}
{ REMARKS: This tests a subset of the secondcalln() node }
{ (value parameters with inline calls) }
{****************************************************************}
program tcalval2;
{$mode objfpc}
{$INLINE ON}
{$R+}
{$P-}
{ REAL should map to single or double }
{ so it is not checked, since single }
{ double nodes are checked. }
{ assumes that enumdef is the same as orddef (same storage format) }
const
{ should be defined depending on CPU target }
{$ifdef cpu68k}
BIG_INDEX = 8000;
SMALL_INDEX = 13;
{$endif}
{$ifdef cpui386}
BIG_INDEX = 33000;
SMALL_INDEX = 13; { value should not be aligned! }
{$endif}
RESULT_U8BIT = $55;
RESULT_U16BIT = $500F;
RESULT_S32BIT = $500F0000;
RESULT_S64BIT = $500F0000;
RESULT_S32REAL = 1777.12;
RESULT_S64REAL = 3444.24;
RESULT_BOOL8BIT = 1;
RESULT_BOOL16BIT = 1;
RESULT_BOOL32BIT = 1;
RESULT_PCHAR = 'Hello world';
RESULT_BIGSTRING = 'Hello world';
RESULT_SMALLSTRING = 'H';
RESULT_CHAR = 'I';
RESULT_BOOLEAN = TRUE;
type
tclass1 = class
end;
tprocedure = procedure;
tsmallrecord = packed record
b: byte;
w: word;
end;
tlargerecord = packed record
b: array[1..BIG_INDEX] of byte;
end;
tsmallarray = packed array[1..SMALL_INDEX] of byte;
tsmallsetenum =
(A_A,A_B,A_C,A_D);
tsmallset = set of tsmallsetenum;
tlargeset = set of char;
tsmallstring = string[2];
var
global_u8bit : byte;
global_u16bit : word;
global_s32bit : longint;
global_s64bit : int64;
global_s32real : single;
global_s64real : double;
global_ptr : pchar;
global_proc : tprocedure;
global_class : tclass1;
global_bigstring : shortstring;
global_boolean : boolean;
global_char : char;
value_u8bit : byte;
value_u16bit : word;
value_s32bit : longint;
value_s64bit : int64;
value_s32real : single;
value_s64real : double;
value_proc : tprocedure;
value_ptr : pchar;
value_class : tclass1;
value_smallrec : tsmallrecord;
value_largerec : tlargerecord;
value_smallset : tsmallset;
value_smallstring : tsmallstring;
value_bigstring : shortstring;
value_largeset : tlargeset;
value_smallarray : tsmallarray;
value_boolean : boolean;
value_char : char;
procedure fail;
begin
WriteLn('Failure.');
halt(1);
end;
procedure clear_globals;
begin
global_u8bit := 0;
global_u16bit := 0;
global_s32bit := 0;
global_s64bit := 0;
global_s32real := 0.0;
global_s64real := 0.0;
global_ptr := nil;
global_proc := nil;
global_class := nil;
global_bigstring := '';
global_boolean := false;
global_char := #0;
end;
procedure clear_values;
begin
value_u8bit := 0;
value_u16bit := 0;
value_s32bit := 0;
value_s64bit := 0;
value_s32real := 0.0;
value_s64real := 0.0;
value_proc := nil;
value_ptr := nil;
value_class := nil;
fillchar(value_smallrec, sizeof(value_smallrec), #0);
fillchar(value_largerec, sizeof(value_largerec), #0);
value_smallset := [];
value_smallstring := '';
value_bigstring := '';
value_largeset := [];
fillchar(value_smallarray, sizeof(value_smallarray), #0);
value_boolean := false;
value_char:=#0;
end;
procedure testprocedure;
begin
end;
function getu8bit : byte;
begin
getu8bit:=RESULT_U8BIT;
end;
function getu16bit: word;
begin
getu16bit:=RESULT_U16BIT;
end;
function gets32bit: longint;
begin
gets32bit:=RESULT_S32BIT;
end;
function gets64bit: longint;
begin
gets64bit:=RESULT_S32BIT;
end;
function gets32real: single;
begin
gets32real:=RESULT_S32REAL;
end;
function gets64real: double;
begin
gets64real:=RESULT_S64REAL;
end;
procedure proc_value_u8bit_inline(v: byte);inline;
begin
global_u8bit := v;
end;
procedure proc_value_u16bit_inline(v: word);inline;
begin
global_u16bit := v;
end;
procedure proc_value_s32bit_inline(v : longint);inline;
begin
global_s32bit := v;
end;
procedure proc_value_s64bit_inline(v: int64);inline;
begin
global_s64bit:= v;
end;
procedure proc_value_s32real_inline(v : single);inline;
begin
global_s32real := v;
end;
procedure proc_value_s64real_inline(v: double);inline;
begin
global_s64real:= v;
end;
procedure proc_value_pointerdef_inline(p : pchar);inline;
begin
global_ptr:=p;
end;
procedure proc_value_procvardef_inline(p : tprocedure);inline;
begin
global_proc:=p;
end;
procedure proc_value_classrefdef_inline(obj : tclass1);inline;
begin
global_class:=obj;
end;
procedure proc_value_bool8bit_inline(v: boolean);inline;
begin
{ boolean should be 8-bit always! }
if sizeof(boolean) <> 1 then RunError(255);
global_u8bit := byte(v);
end;
procedure proc_value_smallrecord_inline(smallrec : tsmallrecord);inline;
begin
if (smallrec.b = RESULT_U8BIT) and (smallrec.w = RESULT_U16BIT) then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_value_largerecord_inline(largerec : tlargerecord);inline;
begin
if (largerec.b[1] = RESULT_U8BIT) and (largerec.b[2] = RESULT_U8BIT) then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_value_smallset_inline(smallset : tsmallset);inline;
begin
if A_D in smallset then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_value_largeset_inline(largeset : tlargeset);inline;
begin
if 'I' in largeset then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_value_smallstring_inline(s:tsmallstring);inline;
begin
if s = RESULT_SMALLSTRING then
global_u8bit := RESULT_u8BIT;
end;
procedure proc_value_bigstring_inline(s:shortstring);inline;
begin
if s = RESULT_BIGSTRING then
global_u8bit := RESULT_u8BIT;
end;
procedure proc_value_smallarray_inline(arr : tsmallarray);inline;
begin
if arr[SMALL_INDEX] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_value_smallarray_open_inline(arr : array of byte);inline;
begin
{ form 0 to N-1 indexes in open arrays }
if arr[SMALL_INDEX-1] = RESULT_U8BIT then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_value_smallarray_const_1_inline(arr : array of const);inline;
var
i: integer;
begin
global_u8bit := arr[0].vinteger and $ff;
global_ptr := arr[1].VPchar;
global_s64bit := arr[2].vInt64^;
global_char := arr[3].vchar;
global_bigstring := arr[4].VString^;
global_s64real := arr[5].VExtended^;
global_boolean := arr[6].vboolean;
(*
for i:=0 to high(arr) do
begin
case arr[i].vtype of
vtInteger : global_u8bit := arr[i].vinteger and $ff;
vtBoolean : global_boolean := arr[i].vboolean;
vtChar : global_char := arr[i].vchar;
vtExtended : global_s64real := arr[i].VExtended^;
vtString : global_bigstring := arr[i].VString^;
vtPointer : ;
vtPChar : global_ptr := arr[i].VPchar;
vtObject : ;
{ vtClass : global_class := tclass1(arr[i].VClass);}
vtAnsiString : ;
vtInt64 : global_s64bit := arr[i].vInt64^;
else
RunError(255);
end;
end; {endfor}
*)
end;
procedure proc_value_smallarray_const_2_inline(arr : array of const);inline;
var
i: integer;
begin
if high(arr)<0 then
global_u8bit := RESULT_U8BIT;
end;
var
failed: boolean;
begin
{***************************** INLINE TESTS *******************************}
write('(Inline) Value parameter test (src : LOC_REGISTER)...');
clear_globals;
clear_values;
failed:=false;
proc_value_u8bit_inline(getu8bit);
if global_u8bit <> RESULT_U8BIT then
failed:=true;
proc_value_u16bit_inline(getu16bit);
if global_u16bit <> RESULT_U16BIT then
failed:=true;
proc_value_s32bit_inline(gets32bit);
if global_s32bit <> RESULT_S32BIT then
failed:=true;
proc_value_s64bit_inline(gets64bit);
if global_s64bit <> RESULT_S64BIT then
failed:=true;
if failed then
fail
else
WriteLn('Passed!');
clear_globals;
clear_values;
failed:=false;
write('(Inline) Value parameter test (src : LOC_FPUREGISTER)...');
proc_value_s32real_inline(gets32real);
if trunc(global_s32real) <> trunc(RESULT_S32REAL) then
failed:=true;
proc_value_s64real_inline(gets64real);
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed:=true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Value parameter test (src : LOC_REFERENCE (orddef/enumdef))...');
clear_globals;
failed:=false;
proc_value_u8bit_inline(value_u8bit);
if global_u8bit <> RESULT_U8BIT then
failed:=true;
proc_value_u16bit_inline(value_u16bit);
if global_u16bit <> RESULT_U16BIT then
failed:=true;
proc_value_s32bit_inline(value_s32bit);
if global_s32bit <> RESULT_S32BIT then
failed:=true;
proc_value_s64bit_inline(value_s64bit);
if global_s64bit <> RESULT_S64BIT then
failed:=true;
if failed then
fail
else
WriteLn('Passed!');
clear_globals;
failed:=false;
write('(Inline) Value parameter test (src : LOC_REFERENCE (floatdef))...');
proc_value_s32real_inline(value_s32real);
if trunc(global_s32real) <> trunc(RESULT_S32REAL) then
failed:=true;
proc_value_s64real_inline(value_s64real);
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed:=true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Value parameter test (src : LOC_REFERENCE (pointer))...');
clear_globals;
clear_values;
value_ptr := RESULT_PCHAR;
failed:=false;
proc_value_pointerdef_inline(value_ptr);
if global_ptr <> value_ptr then
failed := true;
value_proc := @testprocedure;
proc_value_procvardef_inline(value_proc);
if value_proc <> global_proc then
failed := true;
value_class := tclass1.create;
proc_value_classrefdef_inline(value_class);
if value_class <> global_class then
failed := true;
value_class.destroy;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Value parameter test (src : LOC_FLAGS (orddef))...');
clear_globals;
clear_values;
failed:=false;
value_u8bit := 0;
failed:=false;
proc_value_bool8bit_inline(value_u8bit = 0);
if global_u8bit <> RESULT_BOOL8BIT then
failed:=true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Value parameter test (src : LOC_REFERENCE (recorddef)))...');
failed := false;
clear_globals;
clear_values;
value_smallrec.b := RESULT_U8BIT;
value_smallrec.w := RESULT_U16BIT;
proc_value_smallrecord_inline(value_smallrec);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
fillchar(value_largerec,sizeof(value_largerec),RESULT_U8BIT);
proc_value_largerecord_inline(value_largerec);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Value parameter test (src : LOC_REFERENCE (setdef)))...');
clear_globals;
clear_values;
failed := false;
value_smallset := [A_A,A_D];
proc_value_smallset_inline(value_smallset);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_largeset := ['I'];
proc_value_largeset_inline(value_largeset);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Value parameter test (src : LOC_REFERENCE (stringdef)))...');
clear_globals;
clear_values;
failed := false;
value_smallstring := RESULT_SMALLSTRING;
proc_value_smallstring_inline(value_smallstring);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_bigstring := RESULT_BIGSTRING;
proc_value_bigstring_inline(value_bigstring);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) value parameter test (src : LOC_REFERENCE (arraydef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_value_smallarray_inline(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_value_smallarray_open_inline(value_smallarray);
if global_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
value_u8bit := RESULT_U8BIT;
value_ptr := RESULT_PCHAR;
value_s64bit := RESULT_S64BIT;
value_smallstring := RESULT_SMALLSTRING;
value_class := tclass1.create;
value_boolean := RESULT_BOOLEAN;
value_char := RESULT_CHAR;
value_s64real:=RESULT_S64REAL;
proc_value_smallarray_const_1_inline([value_u8bit,value_ptr,value_s64bit,value_char,value_smallstring,value_s64real,value_boolean,value_class]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if global_char <> RESULT_CHAR then
failed := true;
if global_boolean <> RESULT_BOOLEAN then
failed:=true;
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed := true;
if global_bigstring <> RESULT_SMALLSTRING then
failed := true;
if global_ptr <> value_ptr then
failed := true;
{ if value_class <> global_class then
failed := true;!!!!!!!!!!!!!!!!!!!!}
if global_s64bit <> RESULT_S64BIT then
failed := true;
if assigned(value_class) then
value_class.destroy;
global_u8bit := 0;
proc_value_smallarray_const_2_inline([]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
end.

814
tests/test/cg/tcalvar1.pp Normal file
View File

@ -0,0 +1,814 @@
{****************************************************************}
{ CODE GENERATOR TEST PROGRAM }
{ By Carl Eric Codere }
{****************************************************************}
{ NODE TESTED : secondcallparan() }
{****************************************************************}
{ PRE-REQUISITES: secondload() }
{ secondassign() }
{ secondtypeconv() }
{ secondtryexcept() }
{ secondcalln() }
{ secondadd() }
{****************************************************************}
{ DEFINES: }
{ FPC = Target is FreePascal compiler }
{****************************************************************}
{ REMARKS: This tests a subset of the secondcalln() node }
{ (var parameters with standard calling convention) }
{****************************************************************}
program tcalvar1;
{$mode objfpc}
{$INLINE ON}
{$R+}
{$P-}
{$V+}
{ REAL should map to single or double }
{ so it is not checked, since single }
{ double nodes are checked. }
{ assumes that enumdef is the same as orddef (same storage format) }
const
{ should be defined depending on CPU target }
{$ifdef cpu68k}
BIG_INDEX = 8000;
SMALL_INDEX = 13;
{$endif}
{$ifdef cpui386}
BIG_INDEX = 33000;
SMALL_INDEX = 13; { value should not be aligned! }
{$endif}
RESULT_U8BIT = $55;
RESULT_U16BIT = $500F;
RESULT_S32BIT = $500F0000;
RESULT_S64BIT = $500F0000;
RESULT_S32REAL = 1777.12;
RESULT_S64REAL = 3444.24;
RESULT_BOOL8BIT = 1;
RESULT_BOOL16BIT = 1;
RESULT_BOOL32BIT = 1;
RESULT_PCHAR = 'Hello world';
RESULT_BIGSTRING = 'Hello world';
RESULT_SMALLSTRING = 'H';
RESULT_CHAR = 'I';
RESULT_BOOLEAN = TRUE;
type
tclass1 = class
end;
tprocedure = procedure;
tsmallrecord = packed record
b: byte;
w: word;
end;
tlargerecord = packed record
b: array[1..BIG_INDEX] of byte;
end;
tsmallarray = packed array[1..SMALL_INDEX] of byte;
tsmallsetenum =
(A_A,A_B,A_C,A_D);
tsmallset = set of tsmallsetenum;
tlargeset = set of char;
tsmallstring = string[2];
var
global_u8bit : byte;
global_u16bit : word;
global_s32bit : longint;
global_s64bit : int64;
global_s32real : single;
global_s64real : double;
global_ptr : pchar;
global_proc : tprocedure;
global_class : tclass1;
global_bigstring : shortstring;
global_boolean : boolean;
global_char : char;
value_u8bit : byte;
value_u16bit : word;
value_s32bit : longint;
value_s64bit : int64;
value_s32real : single;
value_s64real : double;
value_proc : tprocedure;
value_ptr : pchar;
value_class : tclass1;
value_smallrec : tsmallrecord;
value_largerec : tlargerecord;
value_smallset : tsmallset;
value_smallstring : tsmallstring;
value_bigstring : shortstring;
value_largeset : tlargeset;
value_smallarray : tsmallarray;
value_boolean : boolean;
value_char : char;
procedure fail;
begin
WriteLn('Failure.');
halt(1);
end;
procedure clear_globals;
begin
global_u8bit := 0;
global_u16bit := 0;
global_s32bit := 0;
global_s64bit := 0;
global_s32real := 0.0;
global_s64real := 0.0;
global_ptr := nil;
global_proc := nil;
global_class := nil;
global_bigstring := '';
global_boolean := false;
global_char := #0;
end;
procedure clear_values;
begin
value_u8bit := 0;
value_u16bit := 0;
value_s32bit := 0;
value_s64bit := 0;
value_s32real := 0.0;
value_s64real := 0.0;
value_proc := nil;
value_ptr := nil;
value_class := nil;
fillchar(value_smallrec, sizeof(value_smallrec), #0);
fillchar(value_largerec, sizeof(value_largerec), #0);
value_smallset := [];
value_smallstring := '';
value_bigstring := '';
value_largeset := [];
fillchar(value_smallarray, sizeof(value_smallarray), #0);
value_boolean := false;
value_char:=#0;
end;
procedure testprocedure;
begin
end;
function getu8bit : byte;
begin
getu8bit:=RESULT_U8BIT;
end;
function getu16bit: word;
begin
getu16bit:=RESULT_U16BIT;
end;
function gets32bit: longint;
begin
gets32bit:=RESULT_S32BIT;
end;
function gets64bit: longint;
begin
gets64bit:=RESULT_S32BIT;
end;
function gets32real: single;
begin
gets32real:=RESULT_S32REAL;
end;
function gets64real: double;
begin
gets64real:=RESULT_S64REAL;
end;
{************************************************************************}
{ VAR PARAMETERS }
{************************************************************************}
procedure proc_var_s32bit(var v : longint);
begin
v:=RESULT_S32BIT;
end;
procedure proc_var_s64bit(var v: int64);
begin
v:=RESULT_S64BIT;
end;
procedure proc_var_u8bit(var v: byte);
begin
v:=RESULT_U8BIT;
end;
procedure proc_var_smallrecord(var smallrec : tsmallrecord);
begin
smallrec.b := RESULT_U8BIT;
smallrec.w := RESULT_U16BIT;
end;
procedure proc_var_largerecord(var largerec : tlargerecord);
begin
largerec.b[1] := RESULT_U8BIT;
largerec.b[2] := RESULT_U8BIT;
end;
procedure proc_var_smallset(var smallset : tsmallset);
begin
smallset := [A_A,A_D];
end;
procedure proc_var_largeset(var largeset : tlargeset);
begin
largeset:= largeset + ['I'];
end;
procedure proc_var_smallstring(var s:tsmallstring);
begin
s:=RESULT_SMALLSTRING;
end;
procedure proc_var_bigstring(var s:shortstring);
begin
s:=RESULT_BIGSTRING;
end;
procedure proc_var_openstring(var s: OpenString);
begin
global_u8bit := high(s);
s:=RESULT_SMALLSTRING;
end;
procedure proc_var_smallarray(var arr : tsmallarray);
begin
arr[SMALL_INDEX] := RESULT_U8BIT;
arr[1] := RESULT_U8BIT;
end;
procedure proc_var_smallarray_open(var arr : array of byte);
begin
arr[high(arr)] := RESULT_U8BIT;
arr[low(arr)] := RESULT_U8BIT;
end;
procedure proc_var_smallarray_const_1(var arr : array of const);
var
i: integer;
begin
for i:=0 to high(arr) do
begin
case arr[i].vtype of
vtInteger : arr[i].vinteger := RESULT_U8BIT;
vtBoolean : arr[i].vboolean := RESULT_BOOLEAN;
else
RunError(255);
end;
end; {endfor}
end;
procedure proc_var_smallarray_const_2(var arr : array of const);
var
i: integer;
begin
if high(arr)<0 then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_var_formaldef_array(var buf);
var
p: ^byte;
begin
{ array is indexed from 1 }
p := @buf;
p[SMALL_INDEX-1] := RESULT_U8BIT;
p[0] := RESULT_U8BIT;
end;
procedure proc_var_formaldef_string(var buf);
var
p: ^byte;
begin
{ array is indexed from 1 }
p := @buf;
p[SMALL_INDEX-1] := RESULT_U8BIT;
p[0] := RESULT_U8BIT;
end;
{************************************************************************}
{ MIXED VAR PARAMETERS }
{************************************************************************}
procedure proc_var_s32bit_mixed(b1 : byte;var v : longint; b2: byte);
begin
v:=RESULT_S32BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_s64bit_mixed(b1 : byte;var v: int64; b2: byte);
begin
v:=RESULT_S64BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_u8bit_mixed(b1 : byte;var v: byte; b2: byte);
begin
v:=RESULT_U8BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_smallrecord_mixed(b1 : byte; var smallrec : tsmallrecord; b2: byte);
begin
smallrec.b := RESULT_U8BIT;
smallrec.w := RESULT_U16BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_largerecord_mixed(b1 : byte; var largerec : tlargerecord; b2: byte);
begin
largerec.b[1] := RESULT_U8BIT;
largerec.b[2] := RESULT_U8BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_smallset_mixed(b1 : byte; var smallset : tsmallset; b2: byte);
begin
smallset := [A_A,A_D];
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_largeset_mixed(b1 : byte; var largeset : tlargeset; b2: byte);
begin
largeset:= largeset + ['I'];
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_smallstring_mixed(b1 : byte; var s:tsmallstring; b2: byte);
begin
s:=RESULT_SMALLSTRING;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_bigstring_mixed(b1 : byte; var s:shortstring; b2: byte);
begin
s:=RESULT_BIGSTRING;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_openstring_mixed(b1 : byte; var s: OpenString; b2: byte);
begin
global_u8bit := high(s);
s:=RESULT_SMALLSTRING;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_smallarray_mixed(b1 : byte; var arr : tsmallarray; b2: byte);
begin
arr[SMALL_INDEX] := RESULT_U8BIT;
arr[1] := RESULT_U8BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_smallarray_open_mixed(b1 : byte; var arr : array of byte; b2: byte);
begin
arr[high(arr)] := RESULT_U8BIT;
arr[low(arr)] := RESULT_U8BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_smallarray_const_1_mixed(b1 : byte; var arr : array of const; b2: byte);
var
i: integer;
begin
for i:=0 to high(arr) do
begin
case arr[i].vtype of
vtInteger : arr[i].vinteger := RESULT_U8BIT;
vtBoolean : arr[i].vboolean := RESULT_BOOLEAN;
else
RunError(255);
end;
end; {endfor}
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_smallarray_const_2_mixed(b1 : byte; var arr : array of const; b2: byte);
var
i: integer;
begin
if high(arr)<0 then
global_u8bit := RESULT_U8BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_formaldef_array_mixed(b1 : byte; var buf; b2: byte);
var
p: ^byte;
begin
{ array is indexed from 1 }
p := @buf;
p[SMALL_INDEX-1] := RESULT_U8BIT;
p[0] := RESULT_U8BIT;
value_u8bit := RESULT_U8BIT;
end;
procedure proc_var_formaldef_string_mixed(b1 : byte; var buf; b2: byte);
var
p: ^byte;
begin
{ array is indexed from 1 }
p := @buf;
p[SMALL_INDEX-1] := RESULT_U8BIT;
p[0] := RESULT_U8BIT;
value_u8bit := RESULT_U8BIT;
end;
var
failed: boolean;
pp : ^pchar;
begin
{***************************** NORMAL TESTS *******************************}
clear_globals;
clear_values;
failed:=false;
write('Var parameter test (src : LOC_REFERENCE (orddef)))...');
proc_var_s32bit(global_s32bit);
if global_s32bit <> RESULT_S32BIT then
failed:=true;
clear_globals;
clear_values;
proc_var_s64bit(global_s64bit);
if global_s64bit <> RESULT_S64BIT then
failed:=true;
clear_globals;
clear_values;
proc_var_u8bit(global_u8bit);
if global_u8bit <> RESULT_U8BIT then
failed:=true;
if failed then
fail
else
WriteLn('Passed!');
write('Var parameter test (src : LOC_REFERENCE (recorddef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallrecord(value_smallrec);
if (value_smallrec.b <> RESULT_U8BIT) or (value_smallrec.w <> RESULT_U16BIT) then
failed := true;
clear_globals;
clear_values;
proc_var_largerecord(value_largerec);
if (value_largerec.b[1] <> RESULT_U8BIT) or (value_largerec.b[2] <> RESULT_U8BIT) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('var parameter test (src : LOC_REFERENCE (setdef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallset(value_smallset);
if (not (A_A in value_smallset)) or (not (A_D in value_smallset)) then
failed := true;
clear_globals;
clear_values;
proc_var_largeset(value_largeset);
if not ('I' in value_largeset) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('var parameter test (src : LOC_REFERENCE (stringdef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallstring(value_smallstring);
if value_smallstring <> RESULT_SMALLSTRING then
failed := true;
clear_globals;
clear_values;
proc_var_bigstring(value_bigstring);
if value_bigstring <> RESULT_BIGSTRING then
failed := true;
clear_globals;
clear_values;
proc_var_openstring(value_smallstring);
if (value_smallstring <> RESULT_SMALLSTRING) or (global_u8bit <> high(value_smallstring)) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Var parameter test (src : LOC_REFERENCE (formaldef)))...');
clear_globals;
clear_values;
failed:=false;
proc_var_formaldef_array(value_smallarray);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Var parameter test (src : LOC_REFERENCE (arraydef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_var_smallarray(value_smallarray);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
clear_globals;
clear_values;
proc_var_smallarray_open(value_smallarray);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
(* HOW CAN ARRAY OF CONST VAR PARAMETERS BE TESTED?
clear_globals;
clear_values;
value_u8bit := RESULT_U8BIT;
value_ptr := RESULT_PCHAR;
value_s64bit := RESULT_S64BIT;
value_smallstring := RESULT_SMALLSTRING;
value_class := tclass1.create;
value_boolean := RESULT_BOOLEAN;
value_char := RESULT_CHAR;
value_s64real:=RESULT_S64REAL;
proc_var_smallarray_var_1([value_u8bit,value_ptr,value_s64bit,value_char,value_smallstring,value_s64real,value_boolean,value_class]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if global_char <> RESULT_CHAR then
failed := true;
if global_boolean <> RESULT_BOOLEAN then
failed:=true;
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed := true;
if global_bigstring <> RESULT_SMALLSTRING then
failed := true;
if global_ptr <> value_ptr then
failed := true;
{ if value_class <> global_class then
failed := true;!!!!!!!!!!!!!!!!!!!!}
if global_s64bit <> RESULT_S64BIT then
failed := true;
if assigned(value_class) then
value_class.destroy;
global_u8bit := 0;
proc_var_smallarray_const_2([]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
*)
if failed then
fail
else
WriteLn('Passed!');
{***************************** MIXED TESTS *******************************}
clear_globals;
clear_values;
failed:=false;
write('Var parameter test (src : LOC_REFERENCE (orddef)))...');
proc_var_s32bit_mixed(RESULT_U8BIT, global_s32bit, RESULT_U8BIT);
if global_s32bit <> RESULT_S32BIT then
failed:=true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
proc_var_s64bit_mixed(RESULT_U8BIT, global_s64bit, RESULT_U8BIT);
if global_s64bit <> RESULT_S64BIT then
failed:=true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
proc_var_u8bit_mixed(RESULT_U8BIT, global_u8bit, RESULT_U8BIT);
if global_u8bit <> RESULT_U8BIT then
failed:=true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Var parameter test (src : LOC_REFERENCE (recorddef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallrecord_mixed(RESULT_U8BIT,value_smallrec, RESULT_U8BIT);
if (value_smallrec.b <> RESULT_U8BIT) or (value_smallrec.w <> RESULT_U16BIT) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
proc_var_largerecord_mixed(RESULT_U8BIT, value_largerec, RESULT_U8BIT);
if (value_largerec.b[1] <> RESULT_U8BIT) or (value_largerec.b[2] <> RESULT_U8BIT) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('var parameter test (src : LOC_REFERENCE (setdef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallset_mixed(RESULT_U8BIT, value_smallset, RESULT_U8BIT);
if (not (A_A in value_smallset)) or (not (A_D in value_smallset)) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
proc_var_largeset_mixed(RESULT_U8BIT, value_largeset, RESULT_U8BIT);
if not ('I' in value_largeset) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('var parameter test (src : LOC_REFERENCE (stringdef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallstring_mixed(RESULT_U8BIT, value_smallstring, RESULT_U8BIT);
if value_smallstring <> RESULT_SMALLSTRING then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
proc_var_bigstring_mixed(RESULT_U8BIT, value_bigstring,RESULT_U8BIT);
if value_bigstring <> RESULT_BIGSTRING then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
proc_var_openstring_mixed(RESULT_U8BIT, value_smallstring, RESULT_U8BIT);
if (value_smallstring <> RESULT_SMALLSTRING) or (global_u8bit <> high(value_smallstring)) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Var parameter test (src : LOC_REFERENCE (formaldef)))...');
clear_globals;
clear_values;
failed:=false;
proc_var_formaldef_array_mixed(RESULT_U8BIT, value_smallarray, RESULT_U8BIT);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('Var parameter test (src : LOC_REFERENCE (arraydef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_var_smallarray_mixed(RESULT_U8BIT, value_smallarray, RESULT_U8BIT);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
clear_globals;
clear_values;
proc_var_smallarray_open_mixed(RESULT_U8BIT, value_smallarray, RESULT_U8BIT);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
if value_u8bit <> RESULT_U8BIT then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
end.
{
$Log$
Revision 1.1 2002-04-10 16:33:19 carl
+ first tries at first calln testing
}

484
tests/test/cg/tcalvar2.pp Normal file
View File

@ -0,0 +1,484 @@
{****************************************************************}
{ CODE GENERATOR TEST PROGRAM }
{ By Carl Eric Codere }
{****************************************************************}
{ NODE TESTED : secondcallparan() }
{****************************************************************}
{ PRE-REQUISITES: secondload() }
{ secondassign() }
{ secondtypeconv() }
{ secondtryexcept() }
{ secondcalln() }
{ secondadd() }
{****************************************************************}
{ DEFINES: }
{ FPC = Target is FreePascal compiler }
{****************************************************************}
{ REMARKS: This tests a subset of the secondcalln() node }
{ (var with inline calling convention) }
{****************************************************************}
program tcalvar2;
{$mode objfpc}
{$INLINE ON}
{$P-}
{$V+}
{$R+}
{ REAL should map to single or double }
{ so it is not checked, since single }
{ double nodes are checked. }
{ assumes that enumdef is the same as orddef (same storage format) }
const
{ should be defined depending on CPU target }
{$ifdef cpu68k}
BIG_INDEX = 8000;
SMALL_INDEX = 13;
{$endif}
{$ifdef cpui386}
BIG_INDEX = 33000;
SMALL_INDEX = 13; { value should not be aligned! }
{$endif}
RESULT_U8BIT = $55;
RESULT_U16BIT = $500F;
RESULT_S32BIT = $500F0000;
RESULT_S64BIT = $500F0000;
RESULT_S32REAL = 1777.12;
RESULT_S64REAL = 3444.24;
RESULT_BOOL8BIT = 1;
RESULT_BOOL16BIT = 1;
RESULT_BOOL32BIT = 1;
RESULT_PCHAR = 'Hello world';
RESULT_BIGSTRING = 'Hello world';
RESULT_SMALLSTRING = 'H';
RESULT_CHAR = 'I';
RESULT_BOOLEAN = TRUE;
type
tclass1 = class
end;
tprocedure = procedure;
tsmallrecord = packed record
b: byte;
w: word;
end;
tlargerecord = packed record
b: array[1..BIG_INDEX] of byte;
end;
tsmallarray = packed array[1..SMALL_INDEX] of byte;
tsmallsetenum =
(A_A,A_B,A_C,A_D);
tsmallset = set of tsmallsetenum;
tlargeset = set of char;
tsmallstring = string[2];
var
global_u8bit : byte;
global_u16bit : word;
global_s32bit : longint;
global_s64bit : int64;
global_s32real : single;
global_s64real : double;
global_ptr : pchar;
global_proc : tprocedure;
global_class : tclass1;
global_bigstring : shortstring;
global_boolean : boolean;
global_char : char;
value_u8bit : byte;
value_u16bit : word;
value_s32bit : longint;
value_s64bit : int64;
value_s32real : single;
value_s64real : double;
value_proc : tprocedure;
value_ptr : pchar;
value_class : tclass1;
value_smallrec : tsmallrecord;
value_largerec : tlargerecord;
value_smallset : tsmallset;
value_smallstring : tsmallstring;
value_bigstring : shortstring;
value_largeset : tlargeset;
value_smallarray : tsmallarray;
value_boolean : boolean;
value_char : char;
procedure fail;
begin
WriteLn('Failure.');
halt(1);
end;
procedure clear_globals;
begin
global_u8bit := 0;
global_u16bit := 0;
global_s32bit := 0;
global_s64bit := 0;
global_s32real := 0.0;
global_s64real := 0.0;
global_ptr := nil;
global_proc := nil;
global_class := nil;
global_bigstring := '';
global_boolean := false;
global_char := #0;
end;
procedure clear_values;
begin
value_u8bit := 0;
value_u16bit := 0;
value_s32bit := 0;
value_s64bit := 0;
value_s32real := 0.0;
value_s64real := 0.0;
value_proc := nil;
value_ptr := nil;
value_class := nil;
fillchar(value_smallrec, sizeof(value_smallrec), #0);
fillchar(value_largerec, sizeof(value_largerec), #0);
value_smallset := [];
value_smallstring := '';
value_bigstring := '';
value_largeset := [];
fillchar(value_smallarray, sizeof(value_smallarray), #0);
value_boolean := false;
value_char:=#0;
end;
procedure testprocedure;
begin
end;
function getu8bit : byte;
begin
getu8bit:=RESULT_U8BIT;
end;
function getu16bit: word;
begin
getu16bit:=RESULT_U16BIT;
end;
function gets32bit: longint;
begin
gets32bit:=RESULT_S32BIT;
end;
function gets64bit: longint;
begin
gets64bit:=RESULT_S32BIT;
end;
function gets32real: single;
begin
gets32real:=RESULT_S32REAL;
end;
function gets64real: double;
begin
gets64real:=RESULT_S64REAL;
end;
{************************************************************************}
{ VAR PARAMETERS (INLINE) }
{************************************************************************}
procedure proc_var_s32bit_inline(var v : longint);inline;
begin
v:=RESULT_S32BIT;
end;
procedure proc_var_s64bit_inline(var v: int64);inline;
begin
v:=RESULT_S64BIT;
end;
procedure proc_var_u8bit_inline(var v: byte);inline;
begin
v:=RESULT_U8BIT;
end;
procedure proc_var_smallrecord_inline(var smallrec : tsmallrecord);inline;
begin
smallrec.b := RESULT_U8BIT;
smallrec.w := RESULT_U16BIT;
end;
procedure proc_var_largerecord_inline(var largerec : tlargerecord);inline;
begin
largerec.b[1] := RESULT_U8BIT;
largerec.b[2] := RESULT_U8BIT;
end;
procedure proc_var_smallset_inline(var smallset : tsmallset);inline;
begin
smallset := [A_A,A_D];
end;
procedure proc_var_largeset_inline(var largeset : tlargeset);inline;
begin
largeset:= largeset + ['I'];
end;
procedure proc_var_smallstring_inline(var s:tsmallstring);inline;
begin
s:=RESULT_SMALLSTRING;
end;
procedure proc_var_bigstring_inline(var s:shortstring);inline;
begin
s:=RESULT_BIGSTRING;
end;
procedure proc_var_openstring_inline(var s: OpenString);inline;
begin
global_u8bit := high(s);
s:=RESULT_SMALLSTRING;
end;
procedure proc_var_smallarray_inline(var arr : tsmallarray);inline;
begin
arr[SMALL_INDEX] := RESULT_U8BIT;
arr[1] := RESULT_U8BIT;
end;
procedure proc_var_smallarray_open_inline(var arr : array of byte);inline;
begin
arr[high(arr)] := RESULT_U8BIT;
arr[low(arr)] := RESULT_U8BIT;
end;
{!!!!!!!!!!!!!!!!!! DON'T KNOW HOWTO TEST}
procedure proc_var_smallarray_const_1_inline(var arr : array of const);inline;
var
i: integer;
begin
for i:=0 to high(arr) do
begin
case arr[i].vtype of
vtInteger : arr[i].vinteger := RESULT_U8BIT;
vtBoolean : arr[i].vboolean := RESULT_BOOLEAN;
else
RunError(255);
end;
end; {endfor}
end;
procedure proc_var_smallarray_const_2_inline(var arr : array of const);inline;
var
i: integer;
begin
if high(arr)<0 then
global_u8bit := RESULT_U8BIT;
end;
procedure proc_var_formaldef_array_inline(var buf);inline;
var
p: ^byte;
begin
{ array is indexed from 1 }
p := @buf;
p[SMALL_INDEX-1] := RESULT_U8BIT;
p[0] := RESULT_U8BIT;
end;
procedure proc_var_formaldef_string_inline(var buf);inline;
var
p: ^byte;
begin
{ array is indexed from 1 }
p := @buf;
p[SMALL_INDEX-1] := RESULT_U8BIT;
p[0] := RESULT_U8BIT;
end;
var
failed: boolean;
pp : ^pchar;
begin
{***************************** INLINE TESTS *******************************}
write('(Inline) var parameter test (src : LOC_REFERENCE (recorddef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallrecord_inline(value_smallrec);
if (value_smallrec.b <> RESULT_U8BIT) or (value_smallrec.w <> RESULT_U16BIT) then
failed := true;
clear_globals;
clear_values;
proc_var_largerecord_inline(value_largerec);
if (value_largerec.b[1] <> RESULT_U8BIT) or (value_largerec.b[2] <> RESULT_U8BIT) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) var parameter test (src : LOC_REFERENCE (setdef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallset_inline(value_smallset);
if (not (A_A in value_smallset)) or (not (A_D in value_smallset)) then
failed := true;
clear_globals;
clear_values;
proc_var_largeset_inline(value_largeset);
if not ('I' in value_largeset) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) var parameter test (src : LOC_REFERENCE (stringdef)))...');
clear_globals;
clear_values;
failed := false;
proc_var_smallstring_inline(value_smallstring);
if value_smallstring <> RESULT_SMALLSTRING then
failed := true;
clear_globals;
clear_values;
proc_var_bigstring_inline(value_bigstring);
if value_bigstring <> RESULT_BIGSTRING then
failed := true;
clear_globals;
clear_values;
proc_var_openstring_inline(value_smallstring);
if (value_smallstring <> RESULT_SMALLSTRING) or (global_u8bit <> high(value_smallstring)) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Var parameter test (src : LOC_REFERENCE (formaldef)))...');
clear_globals;
clear_values;
failed:=false;
proc_var_formaldef_array_inline(value_smallarray);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
if failed then
fail
else
WriteLn('Passed!');
write('(Inline) Var parameter test (src : LOC_REFERENCE (arraydef)))...');
clear_globals;
clear_values;
failed:=false;
value_smallarray[SMALL_INDEX] := RESULT_U8BIT;
proc_var_smallarray_inline(value_smallarray);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
clear_globals;
clear_values;
proc_var_smallarray_open_inline(value_smallarray);
if (value_smallarray[SMALL_INDEX] <> RESULT_U8BIT) or (value_smallarray[1] <> RESULT_U8BIT) then
failed := true;
(* HOW CAN ARRAY OF CONST VAR PARAMETERS BE TESTED?
clear_globals;
clear_values;
value_u8bit := RESULT_U8BIT;
value_ptr := RESULT_PCHAR;
value_s64bit := RESULT_S64BIT;
value_smallstring := RESULT_SMALLSTRING;
value_class := tclass1.create;
value_boolean := RESULT_BOOLEAN;
value_char := RESULT_CHAR;
value_s64real:=RESULT_S64REAL;
proc_var_smallarray_var_1_inline([value_u8bit,value_ptr,value_s64bit,value_char,value_smallstring,value_s64real,value_boolean,value_class]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
if global_char <> RESULT_CHAR then
failed := true;
if global_boolean <> RESULT_BOOLEAN then
failed:=true;
if trunc(global_s64real) <> trunc(RESULT_S64REAL) then
failed := true;
if global_bigstring <> RESULT_SMALLSTRING then
failed := true;
if global_ptr <> value_ptr then
failed := true;
{ if value_class <> global_class then
failed := true;!!!!!!!!!!!!!!!!!!!!}
if global_s64bit <> RESULT_S64BIT then
failed := true;
if assigned(value_class) then
value_class.destroy;
global_u8bit := 0;
proc_var_smallarray_const_2_inline([]);
if global_u8bit <> RESULT_U8BIT then
failed := true;
*)
if failed then
fail
else
WriteLn('Passed!');
end.
{
$Log$
Revision 1.1 2002-04-10 16:33:19 carl
+ first tries at first calln testing
}