lang/cem/ctest/ctgen/bfu.cem.g

   1 bfs.bf1 + bfs.bf2
   2 bfs.bf1 - bfs.bf2
   3 bfs.bf1 / bfs.bf2
   4 bfs.bf1 % bfs.bf2
   5 bfs.bf1 * bfs.bf2
   6 bfs.bf1 & bfs.bf2
   7 bfs.bf1 | bfs.bf2
   8 bfs.bf1 ^ bfs.bf2
   9 bfs.bf1 || bfs.bf2
  10 bfs.bf1 && bfs.bf2
  11 bfs.bf1 << 1
  12 bfs.bf1 >> 1
  13 -bfs.bf1
  14 !bfs.bf1
  15 ~bfs.bf1
  16 bfs.bf1 == bfs.bf2
  17 bfs.bf1 != bfs.bf2
  18 bfs.bf1 <= bfs.bf2
  19 bfs.bf1 >= bfs.bf2
  20 bfs.bf1 < bfs.bf2
  21 bfs.bf1 > bfs.bf2
  22 bfs.bf1 ? bfs.bf1 : bfs.bf2
  23 bfs.bf3 = bfs.bf1  1
  24 bfs.bf3 += bfs.bf1  0
  25 bfs.bf3 -= bfs.bf1  254
  26 bfs.bf3 /= bfs.bf1  255
  27 bfs.bf3 %= bfs.bf1  0
  28 bfs.bf3 *= bfs.bf1  255
  29 bfs.bf3 &= bfs.bf1  1
  30 bfs.bf3 |= bfs.bf1  255
  31 bfs.bf3 ^= bfs.bf1  254
  32 bfs.bf3 <<= 1 254
  33 bfs.bf3 >>= 1 127
  34 bfs.bf3 ++ 0
  35 bfs.bf3 -- 254
  36 -- bfs.bf3 254
  37 ++ bfs.bf3 0
  38 bfs.bf4 = ( bfs.bf1 + bfs.bf2 ) 9
  39 bfs.bf4 = ( bfs.bf1 - bfs.bf2 ) 65529
  40 bfs.bf4 = ( bfs.bf1 / bfs.bf2 ) 0
  41 bfs.bf4 = ( bfs.bf1 % bfs.bf2 ) 1
  42 bfs.bf4 = ( bfs.bf1 * bfs.bf2 ) 8
  43 bfs.bf4 = ( bfs.bf1 & bfs.bf2 ) 0
  44 bfs.bf4 = ( bfs.bf1 | bfs.bf2 ) 9
  45 bfs.bf4 = ( bfs.bf1 ^ bfs.bf2 ) 9
  46 bfs.bf4 = ( bfs.bf1 || bfs.bf2 ) 1
  47 bfs.bf4 = ( bfs.bf1 && bfs.bf2 ) 1
  48 bfs.bf4 = ( bfs.bf1 << 1 ) 2
  49 bfs.bf4 = ( bfs.bf1 >> 1 ) 0
  50 bfs.bf4 = ( -bfs.bf1  ) 65535
  51 bfs.bf4 = ( !bfs.bf1  ) 0
  52 bfs.bf4 = ( ~bfs.bf1  ) 65534
  53 bfs.bf4 = ( bfs.bf1 == bfs.bf2 ) 0
  54 bfs.bf4 = ( bfs.bf1 != bfs.bf2 ) 1
  55 bfs.bf4 = ( bfs.bf1 <= bfs.bf2 ) 1
  56 bfs.bf4 = ( bfs.bf1 >= bfs.bf2 ) 0
  57 bfs.bf4 = ( bfs.bf1 < bfs.bf2 ) 1
  58 bfs.bf4 = ( bfs.bf1 > bfs.bf2 ) 0
  59 bfs.bf4 = ( bfs.bf1 ? bfs.bf1 : bfs.bf2 ) 1
  60 bfs.bf4 = ( bfs.bf3 = bfs.bf1  ) 1 1
  61 bfs.bf4 = ( bfs.bf3 += bfs.bf1  ) 0 0
  62 bfs.bf4 = ( bfs.bf3 -= bfs.bf1  ) 254 254
  63 bfs.bf4 = ( bfs.bf3 /= bfs.bf1  ) 255 255
  64 bfs.bf4 = ( bfs.bf3 %= bfs.bf1  ) 0 0
  65 bfs.bf4 = ( bfs.bf3 *= bfs.bf1  ) 255 255
  66 bfs.bf4 = ( bfs.bf3 &= bfs.bf1  ) 1 1
  67 bfs.bf4 = ( bfs.bf3 |= bfs.bf1  ) 255 255
  68 bfs.bf4 = ( bfs.bf3 ^= bfs.bf1  ) 254 254
  69 bfs.bf4 = ( bfs.bf3 <<= 1 ) 254 254
  70 bfs.bf4 = ( bfs.bf3 >>= 1 ) 127 127
  71 bfs.bf4 = ( bfs.bf3 ++ ) 0 255
  72 bfs.bf4 = ( bfs.bf3 -- ) 254 255
  73 bfs.bf4 = ( -- bfs.bf3 ) 254 254
  74 bfs.bf4 = ( ++ bfs.bf3 ) 0 0
  75 yes if ( bfs.bf1 + bfs.bf2 ) yes() ; else no()
  76 yes if ( bfs.bf1 - bfs.bf2 ) yes() ; else no()
  77 no if ( bfs.bf1 / bfs.bf2 ) yes() ; else no()
  78 yes if ( bfs.bf1 % bfs.bf2 ) yes() ; else no()
  79 yes if ( bfs.bf1 * bfs.bf2 ) yes() ; else no()
  80 no if ( bfs.bf1 & bfs.bf2 ) yes() ; else no()
  81 yes if ( bfs.bf1 | bfs.bf2 ) yes() ; else no()
  82 yes if ( bfs.bf1 ^ bfs.bf2 ) yes() ; else no()
  83 yes if ( bfs.bf1 || bfs.bf2 ) yes() ; else no()
  84 yes if ( bfs.bf1 && bfs.bf2 ) yes() ; else no()
  85 yes if ( bfs.bf1 << 1 ) yes() ; else no()
  86 no if ( bfs.bf1 >> 1 ) yes() ; else no()
  87 yes if ( -bfs.bf1  ) yes() ; else no()
  88 no if ( !bfs.bf1  ) yes() ; else no()
  89 yes if ( ~bfs.bf1  ) yes() ; else no()
  90 no if ( bfs.bf1 == bfs.bf2 ) yes() ; else no()
  91 yes if ( bfs.bf1 != bfs.bf2 ) yes() ; else no()
  92 yes if ( bfs.bf1 <= bfs.bf2 ) yes() ; else no()
  93 no if ( bfs.bf1 >= bfs.bf2 ) yes() ; else no()
  94 yes if ( bfs.bf1 < bfs.bf2 ) yes() ; else no()
  95 no if ( bfs.bf1 > bfs.bf2 ) yes() ; else no()
  96 yes if ( bfs.bf1 ? bfs.bf1 : bfs.bf2 ) yes() ; else no()
  97 yes if ( bfs.bf3 = bfs.bf1  ) yes() ; else no() 1
  98 no if ( bfs.bf3 += bfs.bf1  ) yes() ; else no() 0
  99 yes if ( bfs.bf3 -= bfs.bf1  ) yes() ; else no() 254
 100 yes if ( bfs.bf3 /= bfs.bf1  ) yes() ; else no() 255
 101 no if ( bfs.bf3 %= bfs.bf1  ) yes() ; else no() 0
 102 yes if ( bfs.bf3 *= bfs.bf1  ) yes() ; else no() 255
 103 yes if ( bfs.bf3 &= bfs.bf1  ) yes() ; else no() 1
 104 yes if ( bfs.bf3 |= bfs.bf1  ) yes() ; else no() 255
 105 yes if ( bfs.bf3 ^= bfs.bf1  ) yes() ; else no() 254
 106 yes if ( bfs.bf3 <<= 1 ) yes() ; else no() 254
 107 yes if ( bfs.bf3 >>= 1 ) yes() ; else no() 127
 108 yes if ( bfs.bf3 ++ ) yes() ; else no() 0
 109 yes if ( bfs.bf3 -- ) yes() ; else no() 254
 110 yes if ( -- bfs.bf3 ) yes() ; else no() 254
 111 no if ( ++ bfs.bf3 ) yes() ; else no() 0