1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -mavx512f -mtune=intel" } */ 3 /* { dg-additional-options "-mregparm=1" { target ia32 } } */ 4 5 #include <x86intrin.h> 6 7 __m512i f1(__m512i x,int a)8f1 (__m512i x, int a) 9 { 10 return _mm512_srai_epi32 (x, a); 11 } 12 13 /* { dg-final { scan-assembler-times "movd\[ \\t\]+\[^\n\]*%xmm" 1 } } */ 14