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)8void ptwrite1(void) 9 { 10 _ptwrite32 (1); 11 #ifdef __x86_64__ 12 _ptwrite64 (2); 13 #endif 14 } 15