1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -muintr" } */
       3  /* { dg-final { scan-assembler-times "clui" "1" } } */
       4  /* { dg-final { scan-assembler-times "stui" "2" } } */
       5  /* { dg-final { scan-assembler-times "senduipi" "1" } } */
       6  /* { dg-final { scan-assembler-times "setc" "1" } } */
       7  /* { dg-final { scan-assembler-times "testui" "1" } } */
       8  
       9  #include <x86gprintrin.h>
      10  
      11  extern volatile unsigned char c;
      12  extern volatile unsigned long long l;
      13  
      14  void
      15  foo (void)
      16  {
      17    _clui ();
      18    _stui ();
      19    _senduipi (l);
      20    c = _testui ();
      21  }