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

   1 /*
   2    bug-2630.c
   3 */
   4
   5 #include <testfwk.h>
   6
   7 #define NUM_CORE_STATES 4
   8
   9 int core_state_transition(unsigned char **instr , unsigned long *transition_count)
  10 {
  11         static unsigned long i;
  12
  13         transition_count;
  14
  15         if (i >= NUM_CORE_STATES * 2)
  16                 **instr=0;
  17
  18         return i++ % NUM_CORE_STATES;
  19 }
  20
  21 unsigned int crcu32(unsigned long newval, unsigned int crc)
  22 {
  23         return (newval>>16)+crc;
  24 }
  25
  26 #ifndef __SDCC_pdk14 // Lack of memory
  27 unsigned int core_bench_state(unsigned long blksize, unsigned char *memblock, int seed2, int step, unsigned int crc)
  28 {
  29         unsigned long final_counts[NUM_CORE_STATES];
  30         unsigned long track_counts[NUM_CORE_STATES];
  31         unsigned char *p=memblock;
  32         unsigned long i;
  33
  34         for (i=0; i<NUM_CORE_STATES; i++) {
  35                 final_counts[i]=track_counts[i]=(1ul << 16) - 2 + i;
  36         }
  37
  38         p=memblock;
  39
  40         while (*p!=0) {
  41                 int fstate=core_state_transition(&p,track_counts);
  42                 final_counts[fstate]++; // Wrong code generated for increment here.
  43         }
  44
  45         p=memblock;
  46         while (p < (memblock+blksize)) {
  47                 if (*p!=',')
  48                         *p^=(unsigned char)seed2;
  49                 p+=step;
  50         }
  51
  52         for (i=0; i<NUM_CORE_STATES; i++) {
  53                 crc=crcu32(final_counts[i],crc);
  54                 crc=crcu32(track_counts[i],crc);
  55         }
  56
  57         return crc;
  58 }
  59 #endif
  60
  61 void testBug(void)
  62 {
  63 #ifndef __SDCC_pdk14 // Lack of memory
  64         unsigned char c = 1;
  65         ASSERT(core_bench_state(0, &c, 0x5a0a, 0x5a0a, 0) == 6);
  66 #endif
  67 }
  68