test.pas

this is a lp0 compilator new

PROGRAM Compx_Test;

VAR
  x, y, i 		: INTEGER;

PROCEDURE Foo2 ( l, r: INTEGER );
VAR
  i, j 			: INTEGER;

PROCEDURE Foo1 ( Lo, Hi: INTEGER );

BEGIN { Foo1 }
   Foo2 ( Lo, Hi );
   Hi := Lo + Hi;
END;

BEGIN
   FOR i := 1 TO l DO
      FOR j := 1 to i DO
         r := r + 1;
   Foo1 ( i, j );
END;

PROCEDURE Foo1 ( Lo, Hi: INTEGER );

BEGIN { Foo1 }
   Foo2 ( Lo, Hi );
   Hi := Lo + Hi;
END;

BEGIN { Compx_Test }

   { Check assignment statements.  Should have constant complexity }
   x := 10;

   { Check FOR loops. }
   FOR i := 1 TO ( x + y + 2 ) DO
      BEGIN
         y := y + 1;
         Foo1 ( i, y );
         Foo2 ( i, y );
      END;

END.