1  /* { dg-do compile { target *-*-linux* } } */
       2  /* { dg-options "-O2 -fzero-call-used-regs=all -march=corei7 -mavx512f" } */
       3  
       4  void
       5  foo (void)
       6  {
       7  }
       8  
       9  /* { dg-final { scan-assembler "vzeroall" } } */
      10  /* { dg-final { scan-assembler-times "fldz" 8 } } */
      11  /* { dg-final { scan-assembler-times "fstp\[ \t\]+%st\\(0\\)" 8 } } */
      12  /* { dg-final { scan-assembler-not "%xmm" } } */
      13  /* { dg-final { scan-assembler "xorl\[ \t\]+%eax, %eax" } } */
      14  /* { dg-final { scan-assembler "xorl\[ \t\]+%edx, %edx" } } */
      15  /* { dg-final { scan-assembler "xorl\[ \t\]+%ecx, %ecx" } } */
      16  /* { dg-final { scan-assembler "xorl\[ \t\]+%esi, %esi" { target { ! ia32 } } } } */
      17  /* { dg-final { scan-assembler "xorl\[ \t\]+%edi, %edi" { target { ! ia32 } } } } */
      18  /* { dg-final { scan-assembler "xorl\[ \t\]+%r8d, %r8d" { target { ! ia32 } } } } */
      19  /* { dg-final { scan-assembler "xorl\[ \t\]+%r9d, %r9d" { target { ! ia32 } } } } */
      20  /* { dg-final { scan-assembler "xorl\[ \t\]+%r10d, %r10d" { target { ! ia32 } } } } */
      21  /* { dg-final { scan-assembler "xorl\[ \t\]+%r11d, %r11d" { target { ! ia32 } } } } */
      22  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k0, %k0, %k0" { target { ! ia32 } } } } */
      23  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k1, %k1, %k1" { target { ! ia32 } } } } */
      24  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k2, %k2, %k2" { target { ! ia32 } } } } */
      25  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k3, %k3, %k3" { target { ! ia32 } } } } */
      26  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k4, %k4, %k4" { target { ! ia32 } } } } */
      27  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k5, %k5, %k5" { target { ! ia32 } } } } */
      28  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k6, %k6, %k6" { target { ! ia32 } } } } */
      29  /* { dg-final { scan-assembler "kxorw\[ \t\]+%k7, %k7, %k7" { target { ! ia32 } } } } */