1
2#include <assert.h>
3#include <stdint.h>
4
5int main(int argc, char *argv[]) {
6 uint64_t ehlo = 0x202020204f4c4845ull;
7 uint64_t mask = 0xa080800302020001ull;
8 uint32_t result32;
9
10#ifdef __x86_64
11 uint64_t result64;
12
13
14 asm volatile ("pextq %2, %1, %0" : "=r"(result64) : "r"(ehlo), "m"(mask));
15 assert(result64 == 133);
16
17 asm volatile ("pdepq %2, %1, %0" : "=r"(result64) : "r"(result64), "m"(mask));
18 assert(result64 == (ehlo & mask));
19
20 asm volatile ("pextq %2, %1, %0" : "=r"(result64) : "r"(-1ull), "m"(mask));
21 assert(result64 == 511);
22
23 asm volatile ("pdepq %2, %1, %0" : "=r"(result64) : "r"(-1ull), "m"(mask));
24 assert(result64 == mask);
25#endif
26
27
28 asm volatile ("pextl %2, %k1, %k0" : "=r"(result32) : "r"((uint32_t) ehlo), "m"(mask));
29 assert(result32 == 5);
30
31 asm volatile ("pdepl %2, %k1, %k0" : "=r"(result32) : "r"(result32), "m"(mask));
32 assert(result32 == (uint32_t)(ehlo & mask));
33
34 asm volatile ("pextl %2, %k1, %k0" : "=r"(result32) : "r"(-1ull), "m"(mask));
35 assert(result32 == 7);
36
37 asm volatile ("pdepl %2, %k1, %k0" : "=r"(result32) : "r"(-1ull), "m"(mask));
38 assert(result32 == (uint32_t)mask);
39
40 return 0;
41}
42
43