basis/math/bitwise/bitwise-tests.factor

   1 USING: accessors math math.bitwise tools.test kernel words
   2 specialized-arrays alien.c-types alien.data math.vectors.simd
   3 sequences destructors libc literals classes.struct ;
   4 SPECIALIZED-ARRAY: int
   5 IN: math.bitwise.tests
   6
   7 [ 0 ] [ 1 0 0 bitroll ] unit-test
   8 [ 1 ] [ 1 0 1 bitroll ] unit-test
   9 [ 1 ] [ 1 1 1 bitroll ] unit-test
  10 [ 1 ] [ 1 0 2 bitroll ] unit-test
  11 [ 1 ] [ 1 0 1 bitroll ] unit-test
  12 [ 1 ] [ 1 20 2 bitroll ] unit-test
  13 [ 1 ] [ 1 8 8 bitroll ] unit-test
  14 [ 1 ] [ 1 -8 8 bitroll ] unit-test
  15 [ 1 ] [ 1 -32 8 bitroll ] unit-test
  16 [ 128 ] [ 1 -1 8 bitroll ] unit-test
  17 [ 8 ] [ 1 3 32 bitroll ] unit-test
  18
  19 [ 0 ] [ { } bitfield ] unit-test
  20 [ 256 ] [ 1 { 8 } bitfield ] unit-test
  21 [ 268 ] [ 3 1 { 8 2 } bitfield ] unit-test
  22 [ 268 ] [ 1 { 8 { 3 2 } } bitfield ] unit-test
  23 : test-1+ ( x -- y ) 1 + ;
  24 [ 512 ] [ 1 { { test-1+ 8 } } bitfield ] unit-test
  25
  26 [ 8 ] [ 0 3 toggle-bit ] unit-test
  27 [ 0 ] [ 8 3 toggle-bit ] unit-test
  28
  29 [ 4 ] [ 0b1010101 bit-count ] unit-test
  30 [ 0 ] [ 0b0 bit-count ] unit-test
  31 [ 1 ] [ 0b1 bit-count ] unit-test
  32 [ 2 ] [ B{ 1 1 } bit-count ] unit-test
  33 [ 64 ] [ 0xffffffffffffffff bit-count ] unit-test
  34
  35 STRUCT: bit-count-struct { a uint } ;
  36
  37 [ 2 ] [ S{ bit-count-struct { a 3 } } bit-count ] unit-test
  38
  39
  40 SPECIALIZED-ARRAY: uint
  41 SPECIALIZED-ARRAY: uint-4
  42
  43 [ 1 ] [ uint-4{ 1 0 0 0 } bit-count ] unit-test
  44
  45 [ 1 ] [
  46     [
  47         2 int malloc-array &free 1 0 pick set-nth bit-count
  48     ] with-destructors
  49 ] unit-test
  50
  51 [ 1 ] [ B{ 1 0 0 } bit-count ] unit-test
  52 [ 3 ] [ B{ 1 1 1 } bit-count ] unit-test
  53
  54 [ t ] [ 0b0 even-parity? ] unit-test
  55 [ f ] [ 0b1 even-parity? ] unit-test
  56 [ f ] [ 0b0 odd-parity? ] unit-test
  57 [ t ] [ 0b1 odd-parity? ] unit-test
  58
  59 [ -1 ] [ 0xff 4 >signed ] unit-test
  60 [ -1 ] [ 0xff 8 >signed ] unit-test
  61 [ 255 ] [ 0xff 16 >signed ] unit-test
  62
  63 [ 2 ] [ 3 >even ] unit-test
  64 [ 3 ] [ 3 >odd ] unit-test
  65 [ 5 ] [ 4 >odd ] unit-test
  66
  67 [ t ] [ 0b111 0b110 mask? ] unit-test
  68 [ f ] [ 0b101 0b110 mask? ] unit-test
  69 [ t ] [ 0xff 1 mask? ] unit-test
  70 [ f ] [ 0x0 1 mask? ] unit-test
  71
  72 [ 7 ] [ 5 next-odd ] unit-test
  73 [ 7 ] [ 6 next-odd ] unit-test
  74
  75 [ 6 ] [ 5 next-even ] unit-test
  76 [ 8 ] [ 6 next-even ] unit-test
  77
  78 [ -1 bit-count ] [ non-negative-integer-expected? ] must-fail-with
  79 [ -1 bit-length ] [ non-negative-integer-expected? ] must-fail-with
  80
  81 { 0b1111 } [ 4 on-bits ] unit-test
  82 { 0 } [ 0 on-bits ] unit-test
  83 { 0 } [ -2 on-bits ] unit-test
  84
  85 { 0b11 } [ 0b1111 2 bits ] unit-test
  86 { 0b111 } [ 0b1111 3 bits ] unit-test
  87 { 0 } [ 0b1111 0 bits ] unit-test
  88 { 0 } [ 0b1111 -2 bits ] unit-test
  89
  90 { 0b111 } [ 0b111 -1 clear-bit ] unit-test
  91 { 0b110 } [ 0b111 0 clear-bit ] unit-test
  92 { 0b101 } [ 0b111 1 clear-bit ] unit-test
  93
  94 { 0 } [ 0 -1 set-bit ] unit-test
  95 { 0b1 } [ 0 0 set-bit ] unit-test
  96 { 0b10 } [ 0 1 set-bit ] unit-test
  97
  98 { 0 } [ 0 -1 toggle-bit ] unit-test
  99 { 0b1 } [ 0 0 toggle-bit ] unit-test
 100 { 0b10 } [ 0 1 toggle-bit ] unit-test
 101 { 0 } [ 0 0 toggle-bit 0 toggle-bit ] unit-test
 102 { 0 } [ 0 1 toggle-bit 1 toggle-bit ] unit-test
 103
 104 { 0 } [ 0b1111 33 33 bit-range ] unit-test
 105 { 0 } [ 0b1111 33 20 bit-range ] unit-test
 106 { 0b11 } [ 0b1111 3 2 bit-range ] unit-test
 107 [ 0b1111 2 3 bit-range ] [ T{ bit-range-error f 0b1111 2 3 } = ] must-fail-with
 108 [ 0b1111 -2 -4 bit-range ] [ T{ bit-range-error f 0b1111 -2 -4 } = ] must-fail-with
 109
 110 { 0 } [ 0b0 bit-length ] unit-test
 111 { 1 } [ 0b1 bit-length ] unit-test
 112 { 1 } [ 0b01 bit-length ] unit-test
 113 { 2 } [ 0b10 bit-length ] unit-test
 114 { 2 } [ 0b11 bit-length ] unit-test
 115 { 3 } [ 0b100 bit-length ] unit-test
 116 { 3 } [ 0b101 bit-length ] unit-test
 117 { 3 } [ 0b110 bit-length ] unit-test
 118 { 3 } [ 0b111 bit-length ] unit-test