lang/cem/ctest/ctgen/bf.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  -2
  25 bfs.bf3 -= bfs.bf1  0
  26 bfs.bf3 /= bfs.bf1  1
  27 bfs.bf3 %= bfs.bf1  0
  28 bfs.bf3 *= bfs.bf1  1
  29 bfs.bf3 &= bfs.bf1  -1
  30 bfs.bf3 |= bfs.bf1  -1
  31 bfs.bf3 ^= bfs.bf1  0
  32 bfs.bf3 <<= 1 -2
  33 bfs.bf3 >>= 1 -1
  34 bfs.bf3 ++ 0
  35 bfs.bf3 -- -2
  36 -- bfs.bf3 -2
  37 ++ bfs.bf3 0
  38 bfs.bf4 = ( bfs.bf1 + bfs.bf2 ) -9
  39 bfs.bf4 = ( bfs.bf1 - bfs.bf2 ) 7
  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 ) -8
  44 bfs.bf4 = ( bfs.bf1 | bfs.bf2 ) -1
  45 bfs.bf4 = ( bfs.bf1 ^ bfs.bf2 ) 7
  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 ) -1
  50 bfs.bf4 = ( -bfs.bf1  ) 1
  51 bfs.bf4 = ( !bfs.bf1  ) 0
  52 bfs.bf4 = ( ~bfs.bf1  ) 0
  53 bfs.bf4 = ( bfs.bf1 == bfs.bf2 ) 0
  54 bfs.bf4 = ( bfs.bf1 != bfs.bf2 ) 1
  55 bfs.bf4 = ( bfs.bf1 <= bfs.bf2 ) 0
  56 bfs.bf4 = ( bfs.bf1 >= bfs.bf2 ) 1
  57 bfs.bf4 = ( bfs.bf1 < bfs.bf2 ) 0
  58 bfs.bf4 = ( bfs.bf1 > bfs.bf2 ) 1
  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  ) -2 -2
  62 bfs.bf4 = ( bfs.bf3 -= bfs.bf1  ) 0 0
  63 bfs.bf4 = ( bfs.bf3 /= bfs.bf1  ) 1 1
  64 bfs.bf4 = ( bfs.bf3 %= bfs.bf1  ) 0 0
  65 bfs.bf4 = ( bfs.bf3 *= bfs.bf1  ) 1 1
  66 bfs.bf4 = ( bfs.bf3 &= bfs.bf1  ) -1 -1
  67 bfs.bf4 = ( bfs.bf3 |= bfs.bf1  ) -1 -1
  68 bfs.bf4 = ( bfs.bf3 ^= bfs.bf1  ) 0 0
  69 bfs.bf4 = ( bfs.bf3 <<= 1 ) -2 -2
  70 bfs.bf4 = ( bfs.bf3 >>= 1 ) -1 -1
  71 bfs.bf4 = ( bfs.bf3 ++ ) 0 -1
  72 bfs.bf4 = ( bfs.bf3 -- ) -2 -1
  73 bfs.bf4 = ( -- bfs.bf3 ) -2 -2
  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 yes 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 yes if ( bfs.bf1 >> 1 ) yes() ; else no()
  87 yes if ( -bfs.bf1  ) yes() ; else no()
  88 no if ( !bfs.bf1  ) yes() ; else no()
  89 no 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 no if ( bfs.bf1 <= bfs.bf2 ) yes() ; else no()
  93 yes if ( bfs.bf1 >= bfs.bf2 ) yes() ; else no()
  94 no if ( bfs.bf1 < bfs.bf2 ) yes() ; else no()
  95 yes 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 yes if ( bfs.bf3 += bfs.bf1  ) yes() ; else no() -2
  99 no if ( bfs.bf3 -= bfs.bf1  ) yes() ; else no() 0
 100 yes if ( bfs.bf3 /= bfs.bf1  ) yes() ; else no() 1
 101 no if ( bfs.bf3 %= bfs.bf1  ) yes() ; else no() 0
 102 yes if ( bfs.bf3 *= bfs.bf1  ) yes() ; else no() 1
 103 yes if ( bfs.bf3 &= bfs.bf1  ) yes() ; else no() -1
 104 yes if ( bfs.bf3 |= bfs.bf1  ) yes() ; else no() -1
 105 no if ( bfs.bf3 ^= bfs.bf1  ) yes() ; else no() 0
 106 yes if ( bfs.bf3 <<= 1 ) yes() ; else no() -2
 107 yes if ( bfs.bf3 >>= 1 ) yes() ; else no() -1
 108 yes if ( bfs.bf3 ++ ) yes() ; else no() 0
 109 yes if ( bfs.bf3 -- ) yes() ; else no() -2
 110 yes if ( -- bfs.bf3 ) yes() ; else no() -2
 111 no if ( ++ bfs.bf3 ) yes() ; else no() 0