gcc/testsuite/gcc.dg/pr27959-2.c

   1 /* PR middle-end/27959 */
   2 /* { dg-do run { target { stdint_types } } } */
   3 /* { dg-options "-O2" } */
   4 /* { dg-options "-O2 -mtune=z990" { target s390*-*-* } } */
   5
   6 #include <stdint.h>
   7 extern void abort (void);
   8
   9 struct B
  10 {
  11   unsigned int b1, b2, b3;
  12   char b4;
  13 };
  14
  15 struct C
  16 {
  17   char c1;
  18 };
  19
  20 struct D
  21 {
  22   char *d1;
  23   struct C **d2;
  24   unsigned int d3;
  25 };
  26
  27 void
  28 __attribute__((noinline))
  29 foo (void *x, struct B *y, unsigned int *z)
  30 {
  31   if (x)
  32     abort ();
  33   if (y->b1 != 7 || y->b2 != 5 || y->b3 != 3 || y->b4)
  34     abort ();
  35   if (*z != 2)
  36     abort ();
  37 }
  38
  39 int
  40 __attribute__((noinline))
  41 baz (unsigned int *x, unsigned int y)
  42 {
  43   asm volatile ("" : : "r" (&x), "r" (&y) : "memory");
  44   return *x + y;
  45 }
  46
  47 inline int bar (unsigned int *x, unsigned int y)
  48 {
  49   if (y < *x)
  50     return 0;
  51   return baz (x, y);
  52 }
  53
  54 unsigned int *
  55 __attribute__((noinline))
  56 test (struct D *x, unsigned int *y)
  57 {
  58   struct B b;
  59   uint32_t c;
  60
  61   bar (y, x->d3);
  62   if ((*(x->d2))->c1)
  63     c = ((uint32_t) x->d1[0]
  64          + ((uint32_t) x->d1[1] << 8)
  65          + ((uint32_t) x->d1[2] << 16)
  66          + ((uint32_t) x->d1[3] << 24));
  67   else
  68     {
  69       int32_t d;
  70       ((char *) &d)[0] = x->d1[0];
  71       ((char *) &d)[1] = x->d1[1];
  72       ((char *) &d)[2] = x->d1[2];
  73       ((char *) &d)[3] = x->d1[3];
  74       c = d;
  75     }
  76   b.b4 = 0;
  77   b.b1 = c / 10000L % 10000;
  78   b.b2 = c / 100 % 100;
  79   b.b3 = c % 100;
  80   foo (0, &b, y);
  81   return y;
  82 }
  83
  84 int
  85 main (void)
  86 {
  87   uint32_t x = 900070503;
  88   unsigned int y = 2;
  89   struct C c = { 0 }, *cptr = &c;
  90   struct D d = { (char *) &x, &cptr, 0 };
  91   if (test (&d, &y) != &y)
  92     abort ();
  93   return 0;
  94 }