text: /* PR target/65078 */
  /* { dg-do compile } */
  /* { dg-options "-O2 -mavx512f" } */
  /* { dg-additional-options "-mregparm=2" { target ia32 } } */
  /* { dg-final { scan-assembler-not "\\(%\[er\]sp\\)" } } */
  
  typedef unsigned char V __attribute__((vector_size (64)));
  typedef unsigned long long W __attribute__((vector_size (64)));
  typedef unsigned int T __attribute__((vector_size (64)));
  
  void
  f1 (unsigned long long *x, V y)
  {
    *x = ((W)y)[0];
  }
  
  #if defined(__x86_64__) || defined(ALL)
  unsigned long long
  f2 (V y)
  {
    return ((W)y)[0];
  }
  #endif
  
  void
  f3 (unsigned int *x, V y)
  {
    *x = ((T)y)[0];
  }
  
  unsigned int
  f4 (V y)
  {
    return ((T)y)[0];
  }
  
  void
  f5 (unsigned long long *x, W y)
  {
    *x = ((W)y)[0];
  }
  
  #if defined(__x86_64__) || defined(ALL)
  unsigned long long
  f6 (W y)
  {
    return ((W)y)[0];
  }
  #endif
  
  void
  f7 (unsigned int *x, T y)
  {
    *x = ((T)y)[0];
  }
  
  unsigned int
  f8 (T y)
  {
    return ((T)y)[0];
  }
  