1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -mavx512vl -mavx512dq -masm=att -mtune=haswell" } */
       3  
       4  typedef long long V __attribute__((vector_size (16)));
       5  
       6  void
       7  f1 (long long x, long long y)
       8  {
       9    register long long a __asm ("xmm16");
      10    register V c __asm ("xmm17");
      11    a = x;
      12    asm volatile ("" : "+v" (a));
      13    c = (V) { a, y };
      14    asm volatile ("" : "+v" (c));
      15  }
      16  
      17  /* { dg-final { scan-assembler "vpinsrq\[^\n\r]*\\\$1\[^\n\r]*%rsi\[^\n\r]*%xmm16\[^\n\r]*%xmm17" } } */
      18  
      19  void
      20  f2 (long long x, long long *y)
      21  {
      22    register long long a __asm ("xmm18");
      23    register V c __asm ("xmm19");
      24    a = x;
      25    asm volatile ("" : "+v" (a));
      26    c = (V) { a, *y };
      27    asm volatile ("" : "+v" (c));
      28  }
      29  
      30  /* { dg-final { scan-assembler "vpinsrq\[^\n\r]*\\\$1\[^\n\r]*%\[re]si\[^\n\r]*%xmm18\[^\n\r]*%xmm19" } } */
      31  
      32  void
      33  f3 (long long x)
      34  {
      35    register V a __asm ("xmm20");
      36    a = (V) { x, 0 };
      37    asm volatile ("" : "+v" (a));
      38  }
      39  
      40  /* { dg-final { scan-assembler "vmov\[dq]\[^\n\r]*%rdi\[^\n\r]*%xmm20" } } */
      41  
      42  void
      43  f4 (long long *x)
      44  {
      45    register V a __asm ("xmm21");
      46    a = (V) { *x, 0 };
      47    asm volatile ("" : "+v" (a));
      48  }
      49  
      50  /* { dg-final { scan-assembler "vmovq\[^\n\r]*%\[re]di\[^\n\r]*%xmm21" } } */
      51  
      52  void
      53  f5 (long long x)
      54  {
      55    register long long a __asm ("xmm22");
      56    register V c __asm ("xmm23");
      57    a = x;
      58    asm volatile ("" : "+v" (a));
      59    c = (V) { a, 0 };
      60    asm volatile ("" : "+v" (c));
      61  }
      62  
      63  /* { dg-final { scan-assembler "vmovq\[^\n\r]*%xmm22\[^\n\r]*%xmm23" } } */
      64  
      65  void
      66  f6 (long long x, long long y)
      67  {
      68    register long long a __asm ("xmm24");
      69    register long long b __asm ("xmm25");
      70    register V c __asm ("xmm26");
      71    a = x;
      72    b = y;
      73    asm volatile ("" : "+v" (a), "+v" (b));
      74    c = (V) { a, b };
      75    asm volatile ("" : "+v" (c));
      76  }
      77  
      78  /* { dg-final { scan-assembler "vpunpcklqdq\[^\n\r]*%xmm25\[^\n\r]*%xmm24\[^\n\r]*%xmm26" } } */