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