M2compiler-V3/compiler/tests/t_arrrecbig.mod

MODULE TArrRecBig;
(* Regression for the run-time path of the array-of-record inline
   length-word fix: a record array larger than the inline-expansion
   budget is emitted compactly and its element length words are set by a
   generated init loop (QbeGen.InitRecArray).  Exit 42. *)
VAR ExitCode : INTEGER;

TYPE
  ProcEnt = RECORD
    name : ARRAY [0..63] OF CHAR;
  END;
VAR
  procs  : ARRAY [0..4999] OF ProcEnt;
  nProcs : CARDINAL;

PROCEDURE CopyN (src : ARRAY OF CHAR; VAR dst : ARRAY OF CHAR);
  VAR i : CARDINAL;
BEGIN
  i := 0;
  WHILE (i < 63) AND (src[i] # CHR(0)) DO dst[i] := src[i]; INC(i) END;
  dst[i] := CHR(0)
END CopyN;

PROCEDURE NoteProc (name : ARRAY OF CHAR);
BEGIN
  CopyN(name, procs[nProcs].name);
  INC(nProcs)
END NoteProc;

BEGIN
  NoteProc("hello");
  IF (procs[0].name[0] = "h") AND (procs[0].name[4] = "o") THEN
    ExitCode := 42
  ELSE ExitCode := 1
  END
END TArrRecBig.