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

   1 /* bug-3560.c
   2    A bug caused by an over-eager loop optimization.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #pragma disable_warning 85
   8
   9 #include <stdint.h>
  10
  11 typedef enum { haut, bas, gauche, droite, entree} touche;
  12
  13 uint8_t key;
  14 volatile uint8_t Control_1;
  15 volatile uint8_t next;
  16
  17 void depl(uint16_t touche, uint8_t* end_piece)
  18 {
  19         ASSERT (!*end_piece);
  20         *end_piece = 1;
  21         Control_1 = (key >> 1);
  22 }
  23
  24 uint8_t possible (uint8_t * pce)
  25 {
  26         return key;
  27 }
  28
  29 void mygame()
  30 {
  31
  32         uint8_t end_piece;
  33         uint8_t end_game=0;
  34
  35         while(! end_game)
  36         {
  37                 do
  38                 {
  39                         end_piece = 0;
  40                         key = Control_1;
  41
  42                         if (!(key & 0b00000010))
  43                                 depl(bas, &end_piece);
  44                         else if (!(key & 0b00001000))
  45                                 depl(droite, &end_piece);
  46                         else if (!(key & 0b00000100))
  47                                 depl(gauche, &end_piece);
  48                 }
  49                 while(!end_piece);
  50                 end_game= (!possible(&next));
  51         }
  52 }
  53
  54 void
  55 testBug(void)
  56 {
  57         Control_1 = 0b00000111;
  58         mygame();
  59 }
  60