sdcc/support/regression/tests/bug1875933.c

   1 /*
   2  * bug1875933.c
   3  */
   4
   5 #include <testfwk.h>
   6 #include <stdint.h>
   7
   8 char identity(char x)
   9 {
  10   return x;
  11 }
  12
  13 /*
  14  * function genAnd() and genOr() in z80/gen.c
  15  * were not prepared to handle the special case where ifx == 0
  16  */
  17
  18 void void_tand1(char x)
  19 {
  20   char y = (identity(x) & 1) ? 42 : 43;
  21 }
  22
  23 void void_tand0(char x)
  24 {
  25   char y = (identity(x) & 0) ? 42 : 43;
  26 }
  27
  28 void void_txor1(char x)
  29 {
  30   char y = (identity(x) ^ 1) ? 42 : 43;
  31 }
  32
  33 void void_txor0(char x)
  34 {
  35   char y = (identity(x) ^ 0) ? 42 : 43;
  36 }
  37
  38
  39 /*
  40  * function genOr() in z80/gen.c
  41  *   assumed identity of "or a, literal" and "or a,a"
  42  *   that's definitely not so
  43  */
  44
  45 char tor1(char x)
  46 {
  47   char y = (identity(x) | 1) ? 42 : 43;
  48   return y;
  49 }
  50
  51 char tor0(char x)
  52 {
  53   char y = (identity(x) | 0) ? 42 : 43;
  54   return y;
  55 }
  56
  57 char tand1(char x)
  58 {
  59   char y = (identity(x) & 1) ? 42 : 43;
  60   return y;
  61 }
  62
  63 char tand0(char x)
  64 {
  65   char y = (identity(x) & 0) ? 42 : 43;
  66   return y;
  67 }
  68
  69 char txor1(char x)
  70 {
  71   char y = (identity(x) ^ 1) ? 42 : 43;
  72   return y;
  73 }
  74
  75 char txor0(char x)
  76 {
  77   char y = (identity(x) ^ 0) ? 42 : 43;
  78   return y;
  79 }
  80
  81 /*
  82  * mcs51 segmentation fault
  83  *
  84  * function genOr() in mcs51/gen.c
  85  *   was not prepeared for ifx==0
  86  */
  87
  88 void void_tor1(char x)
  89 {
  90   char y = (identity(x) | 1) ? 42 : 43;
  91 }
  92
  93 void void_tor0(char x)
  94 {
  95   char y = (identity(x) | 0) ? 42 : 43;
  96 }
  97
  98 void void_tor(char x)
  99 {
 100   char y = (identity(x) | x) ? 42 : 43;
 101 }
 102
 103 void
 104 testBug(void)
 105 {
 106   void_tand1(1);
 107   void_tand1(0);
 108   void_tand0(1);
 109   void_tand0(0);
 110   void_txor1(1);
 111   void_txor0(0);
 112
 113   ASSERT(tor1(1)  == 42);
 114   ASSERT(tor1(0)  == 42);
 115   ASSERT(tor0(1)  == 42);
 116   ASSERT(tor0(0)  == 43);
 117   ASSERT(tand1(1) == 42);
 118   ASSERT(tand1(0) == 43);
 119   ASSERT(tand0(1) == 43);
 120   ASSERT(tand0(0) == 43);
 121   ASSERT(txor1(1) == 43);
 122   ASSERT(txor1(0) == 42);
 123   ASSERT(txor0(1) == 42);
 124   ASSERT(txor0(0) == 43);
 125
 126   void_tor1(1);
 127   void_tor1(0);
 128   void_tor0(1);
 129   void_tor0(0);
 130   void_tor(0);
 131 }