1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mptwrite" } */
       3  /* { dg-final { scan-assembler "ptwrite" } } */
       4  
       5  void ptwrite1(int a)
       6  {
       7    __builtin_ia32_ptwrite32 (a);
       8  }
       9  
      10  #ifdef __x86_64__
      11  void ptwrite2(unsigned long b)
      12  {
      13    __builtin_ia32_ptwrite64 (b);
      14  }
      15  
      16  void ptwrite3(unsigned char b)
      17  {
      18    __builtin_ia32_ptwrite64 (b);
      19  }
      20  
      21  void ptwrite4(unsigned short b)
      22  {
      23    __builtin_ia32_ptwrite64 (b);
      24  }
      25  #endif
      26  
      27  void ptwrite5(unsigned short b)
      28  {
      29    __builtin_ia32_ptwrite32 (b);
      30  }