1 /* { dg-do compile } */
2 /* { dg-options "-O3 -mavx -mno-avx2 -mtune=generic -mprefer-avx128 -fdump-tree-vect-details" } */
6 /* { dg-final { scan-tree-dump-times "note: vectorized 1 loops in function" 6 "vect" } } */
7 /* { dg-final { scan-assembler "vcvttpd2dq(x\[^\n\r\]*%xmm|\[^\n\r\]*xmm\[^\n\r\]*XMMWORD PTR)" } } */
8 /* { dg-final { scan-assembler "vcvtdq2ps\[^\n\r\]*xmm" } } */
9 /* { dg-final { scan-assembler "vcvtps2pd\[^\n\r\]*(%xmm\[^\n\r\]*%xmm|xmm\[^\n\r\]*xmm)" } } */
10 /* { dg-final { scan-assembler "vcvttps2dq\[^\n\r\]*xmm" } } */
11 /* { dg-final { scan-assembler "vcvtdq2pd\[^\n\r\]*xmm\[^\n\r\]*xmm" } } */
12 /* { dg-final { scan-assembler "vcvtpd2ps(x\[^\n\r\]*%xmm|\[^\n\r\]*xmm\[^\n\r\]*XMMWORD PTR)" } } */