| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -mpconfig" } */ | |
| /* { dg-final { scan-assembler-times {\tpconfig} 2 } } */ | |
| #include <x86intrin.h> | |
| extern unsigned int leaf; | |
| #define PCONFIG_KEY_PROGRAM 0x01 | |
| int test () | |
| { | |
| size_t D[3] = {1, 2, 3}; | |
| unsigned int res1 = _pconfig_u32 (leaf, D); | |
| unsigned int res2 = _pconfig_u32 (PCONFIG_KEY_PROGRAM, D); | |
| return 0; | |
| } |