/* { dg-do compile } */ | |
/* { dg-options "-O2 -mptwrite" } */ | |
/* { dg-final { scan-assembler "ptwrite" } } */ | |
void ptwrite1(int a) | |
{ | |
__builtin_ia32_ptwrite32 (a); | |
} | |
#ifdef __x86_64__ | |
void ptwrite2(unsigned long b) | |
{ | |
__builtin_ia32_ptwrite64 (b); | |
} | |
void ptwrite3(unsigned char b) | |
{ | |
__builtin_ia32_ptwrite64 (b); | |
} | |
void ptwrite4(unsigned short b) | |
{ | |
__builtin_ia32_ptwrite64 (b); | |
} | |
#endif | |
void ptwrite5(unsigned short b) | |
{ | |
__builtin_ia32_ptwrite32 (b); | |
} |