1 /* { dg-do compile } */ 2 /* { dg-options "-mavx512bw -O2" } */ 3 /* { dg-final { scan-assembler-times "kmovd\[ \\t\]+\[^\{\n\]*%k\[0-7\](?:\n|\[ \\t\]+#)" 1 } } */ 4 5 #include <immintrin.h> 6 volatile __mmask32 k1 = 11; 7 8 void avx512bw_test()9avx512bw_test () 10 { 11 __mmask32 k0, k; 12 13 _store_mask32 (&k, k1); 14 15 asm volatile ("" : "+k" (k)); 16 k0 = k; 17 } 18