text: /* { dg-do run } */
  /* Based on PR target/27386 testcase by Joerg Wunsch.  */
  
  extern void abort (void);
  extern void exit (int);
  
  #if __INT_MAX__ >= 9223372036854775807LL
  typedef unsigned int uint64_t;
  #elif __LONG_MAX__ >= 9223372036854775807LL
  typedef unsigned long int uint64_t;
  #elif __LONG_LONG_MAX__ >= 9223372036854775807LL
  typedef unsigned long long int uint64_t;
  #else
  int
  main (void)
  {
    exit (0);
  }
  #endif
  
  uint64_t a, b, c;
  
  int
  foo (uint64_t x, uint64_t y, uint64_t z, int i)
  {
    a = x;
    b = y;
    c = z;
    return 2 * i;
  }
  
  int
  main (void)
  {
    if (foo (1234512345123ull, 3456734567345ull, 7897897897897ull, 42) != 84)
      abort ();
    if (a != 1234512345123ull)
      abort ();
    if (b != 3456734567345ull)
      abort ();
    if (c != 7897897897897ull)
      abort ();
    exit (0);
  }
  