MODULE Test12;

IMPORT SYSTEM;

CONST
  con  = -32;
  comp = 32;

VAR
  i, j : INTEGER;

BEGIN
  i := con;
  j := comp;

  ASSERT(ASH(i, -5) = ASH(con, -5));
  ASSERT(ASH(i,  5) = ASH(con,  5));
  ASSERT(ASH(j, -5) = ASH(comp, -5));
  ASSERT(ASH(j,  5) = ASH(comp,  5));

(*
  (* Константы вычисляются с максимальной точностью, поэтому всегда провал  *)
  ASSERT(SYSTEM.LSH(i, -5) = SYSTEM.LSH(con, -5));
*)

  ASSERT(SYSTEM.LSH(i,  5) = SYSTEM.LSH(con,  5));
  ASSERT(SYSTEM.LSH(j, -5) = SYSTEM.LSH(comp, -5));
  ASSERT(SYSTEM.LSH(j,  5) = SYSTEM.LSH(comp,  5));
END Test12.

Проверка сдвигов.