sdcc/support/regression/tests/bug3401973.c

   1 /*
   2  * /cygdrive/c/Sandbox/sdcc/sdcc/trunk/sdcc/bin/sdcc.exe  -mr2k --nostdlib --nostdinc --fverbose-asm -I../include  -c buggy_dequeue.c
   3  *
   4  */
   5 #include <testfwk.h>
   6
   7 typedef  unsigned char  u8;
   8 typedef  unsigned short u16;
   9
  10 #define  TCB_STATE_RUN  0
  11 #define  NR_TASKS  16
  12
  13 #if !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) && !defined(__SDCC_pic14) // Not enough RAM
  14 __xdata struct tcb {
  15   u8 state;
  16   u8 thread_id;
  17   int  *wait;
  18
  19   u16 timer;
  20   u8 timeout;
  21
  22   const int  *port;
  23 } task_table[NR_TASKS];
  24
  25
  26
  27 u8           delaying_task_head;
  28 #define      NULL_IDX  0xff
  29
  30 u16          delay_tick_cnts[NR_TASKS];
  31 u8           delay_next     [NR_TASKS];
  32
  33
  34 void  buggy_dequeue( void ) {
  35   u8  next_head;
  36
  37   /* wake the task up */
  38   task_table[ delaying_task_head ].state = TCB_STATE_RUN;
  39
  40   next_head = delay_next[delaying_task_head];
  41   delay_next[delaying_task_head] = NULL_IDX;
  42
  43   delaying_task_head = next_head;
  44 }
  45 #endif
  46
  47 void testBug(void)
  48 {
  49 #if !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) && !defined(__SDCC_pic14) // Not enough RAM
  50   delay_tick_cnts[ 0] = 0x7FFF;
  51   delay_tick_cnts[ 7] = 0x0020;
  52   delay_tick_cnts[ 8] = 0x0290;
  53   delay_tick_cnts[10] = 0x1590;
  54
  55   delay_next[ 7] = 10;
  56   delay_next[10] =  8;
  57   delay_next[ 8] = NULL_IDX;
  58
  59   delaying_task_head = 7;
  60
  61   buggy_dequeue( );
  62
  63   ASSERT( delaying_task_head == 10 );
  64   ASSERT( delay_next[ 7] == NULL_IDX );
  65   ASSERT( delay_next[10] == 8 );
  66   ASSERT( delay_next[ 8] == NULL_IDX );
  67 #endif
  68 }
  69