gcc/testsuite/gcc.c-torture/execute/20020529-1.c

   1 /* PR target/6838 from cato@df.lth.se.
   2    cris-elf got an ICE with -O2: the insn matching
   3       (insn 49 48 52 (parallel[
   4                   (set (mem/s:HI (plus:SI (reg/v/f:SI 0 r0 [24])
   5                               (const_int 8 [0x8])) [5 <variable>.c+0 S2 A8])
   6                       (reg:HI 2 r2 [27]))
   7                   (set (reg/f:SI 2 r2 [31])
   8                       (plus:SI (reg/v/f:SI 0 r0 [24])
   9                           (const_int 8 [0x8])))
  10               ] ) 24 {*mov_sidehi_mem} (nil)
  11           (nil))
  12    forced a splitter through the output pattern "#", but there was no
  13    matching splitter.  */
  14
  15 /* The ptx assembler appears to clobber 'b' inside foo during the f1 call.
  16    Reported to nvidia 2016-05-18.  */
  17 /* { dg-skip-if "PTX assembler bug" { nvptx-*-* } { "-O0" } { "" } } */
  18
  19 void abort (void);
  20 void exit (int);
  21
  22 struct xx
  23  {
  24    int a;
  25    struct xx *b;
  26    short c;
  27  };
  28
  29 int f1 (struct xx *);
  30 void f2 (void);
  31
  32 int
  33 foo (struct xx *p, int b, int c, int d)
  34 {
  35   int a;
  36
  37   for (;;)
  38     {
  39       a = f1(p);
  40       if (a)
  41         return (0);
  42       if (b)
  43         continue;
  44       p->c = d;
  45       if (p->a)
  46         f2 ();
  47       if (c)
  48         f2 ();
  49       d = p->c;
  50       switch (a)
  51         {
  52         case 1:
  53           if (p->b)
  54             f2 ();
  55           if (c)
  56             f2 ();
  57         default:
  58           break;
  59         }
  60     }
  61   return d;
  62 }
  63
  64 int main (void)
  65 {
  66   struct xx s = {0, &s, 23};
  67   if (foo (&s, 0, 0, 0) != 0 || s.a != 0 || s.b != &s || s.c != 0)
  68     abort ();
  69   exit (0);
  70 }
  71
  72 int
  73 f1 (struct xx *p)
  74 {
  75   static int beenhere = 0;
  76   if (beenhere++ > 1)
  77     abort ();
  78   return beenhere > 1;
  79 }
  80
  81 void
  82 f2 (void)
  83 {
  84   abort ();
  85 }