sdcc/support/regression/tests/bug-2820.c

   1 /* bug-2820.c
   2    Redundancy elimination ignored the difference between integer and floating-point arithmetic operations.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #include <stdint.h>
   8
   9 typedef union
  10 {
  11     int32_t i;
  12     float f;
  13 } intflt;
  14
  15 #if !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) // Lack of memory
  16 void sum(int8_t tp, intflt *if1, intflt *if2)
  17 {
  18     if(tp)
  19         (*if1).f *= (*if2).f;
  20     else
  21         (*if1).i *= (*if2).i;
  22 }
  23
  24 void sum2(int8_t tp, intflt *if1, intflt *if2)
  25 {
  26     if(tp)
  27         (*if1).f += (*if2).f;
  28     else
  29         (*if1).i += (*if2).i;
  30 }
  31 #endif
  32
  33 void testBug(void)
  34 {
  35 #if !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) // Lack of memory
  36         intflt data;
  37
  38         data.i = -23;
  39         sum(0, &data, &data);
  40         ASSERT(data.i == -23 * -23);
  41
  42         data.f = -23.0f;
  43         sum(1, &data, &data);
  44         ASSERT(data.f == -23.0f * -23.0f);
  45
  46         data.i = -23;
  47         sum2(0, &data, &data);
  48         ASSERT(data.i == -23 + -23);
  49
  50         data.f = -23.0f;
  51         sum2(1, &data, &data);
  52         ASSERT(data.f == -23.0f + -23.0f);
  53 #endif
  54 }
  55