sdcc/support/regression/tests/bitwise.c.in

   1 /** Test the bitwise operators.
   2
   3     type: char, short, long
   4     attr: volatile,
   5     storage: static,
   6  */
   7 #include <testfwk.h>
   8
   9 void
  10 testTwoOpBitwise(void)
  11 {
  12   {storage} {attr} {type} left, right;
  13
  14   left = ({type})0x3df7;
  15   right = ({type})0xc1ec;
  16
  17   ASSERT(({type})(left & right) == ({type})0x1E4);
  18   ASSERT(({type})(right & left) == ({type})0x1E4);
  19   ASSERT(({type})(left & 0xc1ec) == ({type})0x1E4);
  20   ASSERT(({type})(0x3df7 & right) == ({type})0x1E4);
  21
  22 #ifndef __SDCC_pdk14 // Lack of memory
  23 #if !(defined (__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
  24   ASSERT(({type})(left | right) == ({type})0xFDFF);
  25   ASSERT(({type})(right | left) == ({type})0xFDFF);
  26   ASSERT(({type})(left | 0xc1ec) == ({type})0xFDFF);
  27   ASSERT(({type})(0x3df7 | right) == ({type})0xFDFF);
  28
  29   ASSERT(({type})(left ^ right) == ({type})0xFC1B);
  30   ASSERT(({type})(right ^ left) == ({type})0xFC1B);
  31   ASSERT(({type})(left ^ 0xc1ec) == ({type})0xFC1B);
  32   ASSERT(({type})(0x3df7 ^ right) == ({type})0xFC1B);
  33
  34 #if defined (__alpha__) || defined (__x86_64__) || defined(__sparc64__) || defined(__PPC64__) || defined (__aarch64__)
  35   /* long is 64 bits on 64 bit machines */
  36   ASSERT(({type})(~left) == ({type})0xFFFFFFFFFFFFC208);
  37 #else
  38   ASSERT(({type})(~left) == ({type})0xFFFFC208);
  39 #endif
  40 #endif
  41 #endif
  42 }
  43
  44 void
  45 testAnd(void)
  46 {
  47   char res;
  48   {attr} int a;
  49
  50   /* always false if right literal == 0 */
  51 #if 0
  52   // fails on pic16
  53   if (a & 0)
  54     res = 1;
  55   else
  56     res = 0;
  57   ASSERT(res = 0);
  58
  59   a = 0x1234;
  60
  61   if (a & 0)
  62     res = 1;
  63   else
  64     res = 0;
  65   ASSERT(res = 0);
  66 #endif
  67
  68   /*
  69    * result: if, left: var, right: literal
  70    */
  71   a = 0x1234;
  72
  73   if (a & 0x4321)
  74     res = 1;
  75   else
  76     res = 0;
  77   ASSERT(res == 1);
  78
  79   if (a & 0x4321)
  80     /* nothing for true */
  81     ;
  82   else
  83     res = 0;
  84   ASSERT(res == 1);
  85
  86   if (!(a & 0x4321))
  87     res = 1;
  88   else
  89     res = 0;
  90   ASSERT(res == 0);
  91
  92   if (!(a & 0x4321))
  93     /* nothing for true */
  94     ;
  95   else
  96     res = 0;
  97   ASSERT(res == 0);
  98
  99   /* bitmask literal */
 100   a = 0xffff;
 101
 102   if (a & 0x1004)
 103     res = 1;
 104   else
 105     res = 0;
 106   ASSERT(res == 1);
 107
 108   if (!(a & 0x1004))
 109     res = 1;
 110   else
 111     res = 0;
 112   ASSERT(res == 0);
 113
 114   a = 0x0000;
 115
 116   if (a & 0x1004)
 117     res = 1;
 118   else
 119     res = 0;
 120   ASSERT(res == 0);
 121
 122   if (!(a & 0x1004))
 123     res = 1;
 124   else
 125     res = 0;
 126   ASSERT(res == 1);
 127
 128   a = 0x00ff;
 129
 130   if (a & 0x1004)
 131     res = 1;
 132   else
 133     res = 0;
 134   ASSERT(res == 1);
 135
 136   if (!(a & 0x1004))
 137     res = 1;
 138   else
 139     res = 0;
 140   ASSERT(res == 0);
 141
 142   a = 0xff00;
 143
 144   if (a & 0x1004)
 145     res = 1;
 146   else
 147     res = 0;
 148   ASSERT(res == 1);
 149
 150   if (!(a & 0x1004))
 151     res = 1;
 152   else
 153     res = 0;
 154   ASSERT(res == 0);
 155
 156   /* literal with zero bytes */
 157   a = 0x1234;
 158
 159   if (a & 0x4300)
 160     res = 1;
 161   else
 162     res = 0;
 163   ASSERT(res == 1);
 164 #ifndef __SDCC_pdk14 // Lack of memory
 165   if (a & 0x0012)
 166     res = 1;
 167   else
 168     res = 0;
 169   ASSERT(res == 1);
 170
 171   if (!(a & 0x4300))
 172     res = 1;
 173   else
 174     res = 0;
 175   ASSERT(res == 0);
 176
 177   if (!(a & 0x0012))
 178     res = 1;
 179   else
 180     res = 0;
 181   ASSERT(res == 0);
 182
 183   /*
 184    * result: bit, left: var, right: literal
 185    */
 186 #endif
 187 }
 188
 189 void
 190 testOr(void)
 191 {
 192   char res;
 193   {attr} int a = 0x1234;
 194
 195   /*
 196    * result: if, left: var, right: literal
 197    */
 198   res = 1;
 199   if (a | 0x4321)
 200     /* nothing for true */
 201     ;
 202   else
 203     res = 0;
 204   ASSERT(res == 1);
 205
 206   if (!(a | 0x4321))
 207     /* nothing for true */
 208     ;
 209   else
 210     res = 0;
 211   ASSERT(res == 0);
 212 #ifndef __SDCC_pdk14 // Lack of memory
 213 #if !(defined (__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
 214   if (a | 0x4321)
 215     res = 1;
 216   else
 217     res = 0;
 218   ASSERT(res == 1);
 219
 220   if (!(a | 0x4321))
 221     res = 1;
 222   else
 223     res = 0;
 224   ASSERT(res == 0);
 225
 226   /* or with zero: result is left */
 227   res = 1;
 228
 229   if (a | 0)
 230     /* nothing for true */
 231     ;
 232   else
 233     res = 0;
 234   ASSERT(res == 1);
 235
 236   res = 1;
 237
 238   if (!(a | 0))
 239     /* nothing for true */
 240     ;
 241   else
 242     res = 0;
 243   ASSERT(res == 0);
 244
 245   if (a | 0)
 246     res = 1;
 247   else
 248     res = 0;
 249   ASSERT(res == 1);
 250
 251   if (!(a | 0))
 252     res = 1;
 253   else
 254     res = 0;
 255   ASSERT(res == 0);
 256 #endif
 257 #endif
 258 }
 259
 260 void
 261 testXor(void)
 262 {
 263   char res;
 264   {attr} int a = 0x1234;
 265
 266   /*
 267    * result: if, left: var, right: literal
 268    */
 269   if (a ^ 0x4321)
 270     res = 1;
 271   else
 272     res = 0;
 273   ASSERT(res == 1);
 274
 275   if (a ^ 0x4321)
 276     /* nothing for true */
 277     ;
 278   else
 279     res = 0;
 280   ASSERT(res == 1);
 281 #ifndef __SDCC_pdk14 // Lack of memory
 282 #if !(defined (__SDCC_pdk15) && defined(__SDCC_STACK_AUTO)) // Lack of code memory
 283   if (!(a ^ 0x4321))
 284     res = 1;
 285   else
 286     res = 0;
 287   ASSERT(res == 0);
 288
 289   if (!(a ^ 0x4321))
 290     /* nothing for true */
 291     ;
 292   else
 293     res = 0;
 294   ASSERT(res == 0);
 295
 296   /* literal with 0xff bytes */
 297   if (a ^ 0xff04)
 298     res = 1;
 299   else
 300     res = 0;
 301   ASSERT(res == 1);
 302
 303   if (!(a ^ 0xff04))
 304     res = 1;
 305   else
 306     res = 0;
 307   ASSERT(res == 0);
 308
 309   /* literal with zero bytes */
 310   if (a ^ 0x0004)
 311     res = 1;
 312   else
 313     res = 0;
 314   ASSERT(res == 1);
 315
 316   if (!(a ^ 0x0004))
 317     res = 1;
 318   else
 319     res = 0;
 320   ASSERT(res == 0);
 321 #endif
 322 #endif
 323 }
 324
 325 static void
 326 testBug_1777758(void)
 327 {
 328   char ep = -1;
 329
 330   ep &= ~0x80;
 331
 332   ASSERT(ep == 127);
 333 }
 334