blob: 044301c5f0f2a5965fa568baccccc84037724023 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
/* { dg-do compile } */
/* { dg-options "-mpku -O2" } */
/* { dg-final { scan-assembler "rdpkru\n" } } */
#include <x86intrin.h>
unsigned extern
rdpku_test (void)
{
return _rdpkru_u32 ();
}
|