1 /* { dg-do compile } */
2 /* { dg-options "-O2 -mptwrite " } */
3 /* { dg-final { scan-assembler {ptwrite[^\n\r]+%eax} } } */
4 /* { dg-final { scan-assembler {ptwrite[^\n\r]+%rax} { target lp64 } } } */
5 
6 #include <x86intrin.h>
7 
ptwrite1(void)8 void ptwrite1(void)
9 {
10   _ptwrite32 (1);
11 #ifdef __x86_64__
12   _ptwrite64 (2);
13 #endif
14 }
15