gcc/testsuite/gm2/pimlib/logitech/run/pass/bbits.mod

   1 (* Copyright (C) 2005 Free Software Foundation, Inc. *)
   2 (* This file is part of GNU Modula-2.
   3
   4 GNU Modula-2 is free software; you can redistribute it and/or modify it under
   5 the terms of the GNU General Public License as published by the Free
   6 Software Foundation; either version 2, or (at your option) any later
   7 version.
   8
   9 GNU Modula-2 is distributed in the hope that it will be useful, but WITHOUT ANY
  10 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12 for more details.
  13
  14 You should have received a copy of the GNU General Public License along
  15 with gm2; see the file COPYING.  If not, write to the Free Software
  16 Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. *)
  17
  18 MODULE bbits ;
  19
  20 FROM BitBlockOps IMPORT BlockAnd, BlockOr, BlockXor, BlockNot, BlockShr ;
  21 FROM SYSTEM IMPORT ADDRESS, BYTE, WORD, SIZE, ADR, SHIFT ;
  22 FROM libc IMPORT exit, printf ;
  23 FROM StrLib IMPORT StrEqual ;
  24
  25
  26 PROCEDURE Assert (v: BOOLEAN; f: ARRAY OF CHAR; l: CARDINAL; e: ARRAY OF CHAR) ;
  27 VAR
  28    r: INTEGER ;
  29 BEGIN
  30    IF v
  31    THEN
  32       r := printf("successfully evaluated assertion (%s)\n", ADR(e))
  33    ELSE
  34       r := printf("%s:%d assertion failed when evaluating %s\n", ADR(f), l, ADR(e)) ;
  35       res := 1
  36    END
  37 END Assert ;
  38
  39
  40 PROCEDURE clear (a: ADDRESS; n: CARDINAL) ;
  41 VAR
  42    p: POINTER TO BYTE ;
  43 BEGIN
  44    p := a ;
  45    WHILE n>0 DO
  46       p^ := BYTE(0) ;
  47       INC(p) ;
  48       DEC(n)
  49    END
  50 END clear ;
  51
  52
  53 PROCEDURE byteTest ;
  54 VAR
  55    byte: BYTE ;
  56 BEGIN
  57    byte := VAL(BYTE, BITSET{0, 3, 5, 7}) ;
  58    BlockShr(ADR(byte), SIZE(byte), 1) ;
  59    Assert(byte=VAL(BYTE, BITSET{2, 4, 6}), __FILE__, __LINE__, 'BlockShr on BYTE') ;
  60    BlockXor(ADR(byte), ADR(byte), SIZE(byte)) ;
  61    Assert(byte=BYTE(0), __FILE__, __LINE__, 'BlockXor on BYTE')
  62 END byteTest ;
  63
  64
  65 PROCEDURE bitsetTest ;
  66 VAR
  67    bytes : POINTER TO ARRAY [0..SIZE(BITSET)-1] OF BYTE ;
  68    bitset: BITSET ;
  69 BEGIN
  70    bytes := ADR(bitset) ;
  71    bytes^[0] := BYTE(0A3H) ;
  72    bytes^[1] := BYTE(053H) ;
  73    bytes^[2] := BYTE(031H) ;
  74    bytes^[3] := BYTE(01AH) ;
  75
  76    BlockShr(ADR(bitset), SIZE(bitset), 1) ;
  77
  78    Assert(bytes^[0]=BYTE(051H), __FILE__, __LINE__, 'BlockShr on byte[0]') ;
  79    Assert(bytes^[1]=BYTE(0A9H), __FILE__, __LINE__, 'BlockShr on byte[1]') ;
  80    Assert(bytes^[2]=BYTE(098H), __FILE__, __LINE__, 'BlockShr on byte[2]') ;
  81    Assert(bytes^[3]=BYTE(08DH), __FILE__, __LINE__, 'BlockShr on byte[3]') ;
  82    BlockXor(ADR(bitset), ADR(bitset), SIZE(bitset)) ;
  83    Assert(bitset=BITSET(0), __FILE__, __LINE__, 'BlockXor on BITSET')
  84 END bitsetTest ;
  85
  86
  87 VAR
  88    res: INTEGER ;
  89 BEGIN
  90    res := 0 ;
  91    byteTest ;
  92    bitsetTest ;
  93    exit(res)
  94 END bbits.