1  /* PR target/69442 */
       2  /* { dg-do run } */
       3  /* { dg-options "-Og" } */
       4  
       5  unsigned long long __attribute__ ((noinline, noclone))
       6  foo (unsigned int x, unsigned long long y)
       7  {
       8    x |= 0xffff;
       9    y -= 0xffULL;
      10    y %= 0xffff0000ffffffe7ULL;
      11    return x + y;
      12  }
      13  
      14  int
      15  main ()
      16  {
      17    if (sizeof (unsigned long long) * __CHAR_BIT__ != 64)
      18      return 0;
      19  
      20    if (foo (0, 0) != 0xffff0000ff19ULL)
      21      __builtin_abort ();
      22    return 0;
      23  }