1 /* { dg-do compile } */
2 /* { dg-options "-O2" } */
3 /* { dg-final { scan-assembler-times {\twbinvd} 1 } } */
4 
5 #include "immintrin.h"
6 
7 volatile void
test()8 test ()
9 {
10   _wbinvd();
11 }
12