1*e7776783SApple OSS Distributions #include <darwintest.h>
2*e7776783SApple OSS Distributions #include <stdio.h>
3*e7776783SApple OSS Distributions #include <stdlib.h>
4*e7776783SApple OSS Distributions #include <string.h>
5*e7776783SApple OSS Distributions #include <sys/mman.h>
6*e7776783SApple OSS Distributions #include <mach/machine/vm_param.h>
7*e7776783SApple OSS Distributions
8*e7776783SApple OSS Distributions static inline unsigned char *
get_guarded_page(void)9*e7776783SApple OSS Distributions get_guarded_page(void)
10*e7776783SApple OSS Distributions {
11*e7776783SApple OSS Distributions unsigned char *p = mmap(NULL, 3 * PAGE_SIZE, PROT_NONE, MAP_SHARED | MAP_ANON, 0, 0);
12*e7776783SApple OSS Distributions p += PAGE_SIZE;
13*e7776783SApple OSS Distributions mprotect(p, PAGE_SIZE, PROT_READ | PROT_WRITE);
14*e7776783SApple OSS Distributions return p;
15*e7776783SApple OSS Distributions }
16*e7776783SApple OSS Distributions
17*e7776783SApple OSS Distributions static inline void
free_guarded_page(unsigned char * p)18*e7776783SApple OSS Distributions free_guarded_page(unsigned char *p)
19*e7776783SApple OSS Distributions {
20*e7776783SApple OSS Distributions munmap(p - PAGE_SIZE, 3 * PAGE_SIZE);
21*e7776783SApple OSS Distributions }
22*e7776783SApple OSS Distributions
23*e7776783SApple OSS Distributions /* memcmp_zero_ptr_aligned() checks string s of n bytes contains all zeros.
24*e7776783SApple OSS Distributions * Address and size of the string s must be pointer-aligned.
25*e7776783SApple OSS Distributions * Return 0 if true, 1 otherwise. Also return 0 if n is 0.
26*e7776783SApple OSS Distributions */
27*e7776783SApple OSS Distributions extern int
28*e7776783SApple OSS Distributions memcmp_zero_ptr_aligned(const void *s, size_t n);
29*e7776783SApple OSS Distributions
30*e7776783SApple OSS Distributions T_DECL(memcmp_zero, "memcmp_zero")
31*e7776783SApple OSS Distributions {
32*e7776783SApple OSS Distributions // the assembly version is for the kernel and doesn't support arm64_32
33*e7776783SApple OSS Distributions #if defined(__arm64__) && __LP64__
34*e7776783SApple OSS Distributions unsigned char *buffer = get_guarded_page();
35*e7776783SApple OSS Distributions unsigned char *right = buffer + PAGE_SIZE - 512;
36*e7776783SApple OSS Distributions const int ptr_size = sizeof(buffer);
37*e7776783SApple OSS Distributions
38*e7776783SApple OSS Distributions for (size_t i = 0; i < 256; i += ptr_size) {
39*e7776783SApple OSS Distributions for (size_t j = i; j < 256; ++j) {
40*e7776783SApple OSS Distributions for (size_t k = 0; k < 256; ++k) {
41*e7776783SApple OSS Distributions if (k < i) {
42*e7776783SApple OSS Distributions buffer[k] = (unsigned char)rand();
43*e7776783SApple OSS Distributions } else if (k < j) {
44*e7776783SApple OSS Distributions buffer[k] = '\0';
45*e7776783SApple OSS Distributions } else if (k == j) {
46*e7776783SApple OSS Distributions do {
47*e7776783SApple OSS Distributions buffer[k] = (unsigned char)rand();
48*e7776783SApple OSS Distributions } while (!buffer[k]);
49*e7776783SApple OSS Distributions } else {
50*e7776783SApple OSS Distributions buffer[k] = '\0';
51*e7776783SApple OSS Distributions }
52*e7776783SApple OSS Distributions }
53*e7776783SApple OSS Distributions for (size_t m = 0; m < 128; m += ptr_size) {
54*e7776783SApple OSS Distributions int result = memcmp_zero_ptr_aligned(&buffer[i], m);
55*e7776783SApple OSS Distributions int ref = j - i < m ? 1 : 0;
56*e7776783SApple OSS Distributions T_QUIET; T_ASSERT_EQ(result, ref, "expected %d, saw %d\n"
57*e7776783SApple OSS Distributions "memcmp_zero_ptr_aligned(buf[%zd], %zd)\n",
58*e7776783SApple OSS Distributions ref, result, i, m);
59*e7776783SApple OSS Distributions }
60*e7776783SApple OSS Distributions
61*e7776783SApple OSS Distributions
62*e7776783SApple OSS Distributions for (size_t k = 0; k < 256; ++k) {
63*e7776783SApple OSS Distributions if (k < i) {
64*e7776783SApple OSS Distributions right[k] = (unsigned char)rand();
65*e7776783SApple OSS Distributions } else if (k < j) {
66*e7776783SApple OSS Distributions right[k] = '\0';
67*e7776783SApple OSS Distributions } else if (k == j) {
68*e7776783SApple OSS Distributions do {
69*e7776783SApple OSS Distributions right[k] = (unsigned char)rand();
70*e7776783SApple OSS Distributions } while (!right[k]);
71*e7776783SApple OSS Distributions } else {
72*e7776783SApple OSS Distributions right[k] = '\0';
73*e7776783SApple OSS Distributions }
74*e7776783SApple OSS Distributions }
75*e7776783SApple OSS Distributions for (size_t m = 0; m < 256; m += ptr_size) {
76*e7776783SApple OSS Distributions int result = memcmp_zero_ptr_aligned(&right[i], m);
77*e7776783SApple OSS Distributions int ref = j - i < m ? 1 : 0;
78*e7776783SApple OSS Distributions T_QUIET; T_ASSERT_EQ(result, ref, "expected %d, saw %d\n"
79*e7776783SApple OSS Distributions "memcmp_zero_ptr_aligned(buf[%zd], %zd)\n",
80*e7776783SApple OSS Distributions ref, result, i, m);
81*e7776783SApple OSS Distributions }
82*e7776783SApple OSS Distributions }
83*e7776783SApple OSS Distributions }
84*e7776783SApple OSS Distributions
85*e7776783SApple OSS Distributions T_PASS("success");
86*e7776783SApple OSS Distributions
87*e7776783SApple OSS Distributions free_guarded_page(buffer);
88*e7776783SApple OSS Distributions #else
89*e7776783SApple OSS Distributions T_SKIP("no optimized version to test");
90*e7776783SApple OSS Distributions #endif
91*e7776783SApple OSS Distributions }
92