1*412f47f9SXin Li /*
2*412f47f9SXin Li * strnlen test.
3*412f47f9SXin Li *
4*412f47f9SXin Li * Copyright (c) 2019-2020, Arm Limited.
5*412f47f9SXin Li * SPDX-License-Identifier: MIT OR Apache-2.0 WITH LLVM-exception
6*412f47f9SXin Li */
7*412f47f9SXin Li
8*412f47f9SXin Li #ifndef _GNU_SOURCE
9*412f47f9SXin Li #define _GNU_SOURCE
10*412f47f9SXin Li #endif
11*412f47f9SXin Li
12*412f47f9SXin Li #include <stdint.h>
13*412f47f9SXin Li #include <stdio.h>
14*412f47f9SXin Li #include <stdlib.h>
15*412f47f9SXin Li #include <string.h>
16*412f47f9SXin Li #include <limits.h>
17*412f47f9SXin Li #include "mte.h"
18*412f47f9SXin Li #include "stringlib.h"
19*412f47f9SXin Li #include "stringtest.h"
20*412f47f9SXin Li
21*412f47f9SXin Li #define F(x, mte) {#x, x, mte},
22*412f47f9SXin Li
23*412f47f9SXin Li static const struct fun
24*412f47f9SXin Li {
25*412f47f9SXin Li const char *name;
26*412f47f9SXin Li size_t (*fun) (const char *s, size_t m);
27*412f47f9SXin Li int test_mte;
28*412f47f9SXin Li } funtab[] = {
29*412f47f9SXin Li // clang-format off
30*412f47f9SXin Li F(strnlen, 0)
31*412f47f9SXin Li #if __aarch64__
32*412f47f9SXin Li F(__strnlen_aarch64, 1)
33*412f47f9SXin Li # if __ARM_FEATURE_SVE
34*412f47f9SXin Li F(__strnlen_aarch64_sve, 1)
35*412f47f9SXin Li # endif
36*412f47f9SXin Li #endif
37*412f47f9SXin Li {0, 0, 0}
38*412f47f9SXin Li // clang-format on
39*412f47f9SXin Li };
40*412f47f9SXin Li #undef F
41*412f47f9SXin Li
42*412f47f9SXin Li #define ALIGN 32
43*412f47f9SXin Li #define LEN 512
44*412f47f9SXin Li static char *sbuf;
45*412f47f9SXin Li
46*412f47f9SXin Li static void *
alignup(void * p)47*412f47f9SXin Li alignup (void *p)
48*412f47f9SXin Li {
49*412f47f9SXin Li return (void *) (((uintptr_t) p + ALIGN - 1) & -ALIGN);
50*412f47f9SXin Li }
51*412f47f9SXin Li
52*412f47f9SXin Li static void
test(const struct fun * fun,int align,size_t maxlen,size_t len)53*412f47f9SXin Li test (const struct fun *fun, int align, size_t maxlen, size_t len)
54*412f47f9SXin Li {
55*412f47f9SXin Li char *src = alignup (sbuf);
56*412f47f9SXin Li char *s = src + align;
57*412f47f9SXin Li size_t r;
58*412f47f9SXin Li size_t e = maxlen < len ? maxlen : len;
59*412f47f9SXin Li
60*412f47f9SXin Li if (err_count >= ERR_LIMIT)
61*412f47f9SXin Li return;
62*412f47f9SXin Li if (len > LEN || align >= ALIGN)
63*412f47f9SXin Li abort ();
64*412f47f9SXin Li
65*412f47f9SXin Li for (int i = 0; src + i < s; i++)
66*412f47f9SXin Li src[i] = 0;
67*412f47f9SXin Li for (int i = 1; i <= ALIGN; i++)
68*412f47f9SXin Li s[len + i] = (len + align) & 1 ? 1 : 0;
69*412f47f9SXin Li for (int i = 0; i < len; i++)
70*412f47f9SXin Li s[i] = 'a' + (i & 31);
71*412f47f9SXin Li s[len] = 0;
72*412f47f9SXin Li if ((len + align) & 1)
73*412f47f9SXin Li s[e + 1] = 0;
74*412f47f9SXin Li
75*412f47f9SXin Li size_t mte_len = maxlen < len + 1 ? maxlen : len + 1;
76*412f47f9SXin Li s = tag_buffer (s, mte_len, fun->test_mte);
77*412f47f9SXin Li r = fun->fun (s, maxlen);
78*412f47f9SXin Li untag_buffer (s, mte_len, fun->test_mte);
79*412f47f9SXin Li
80*412f47f9SXin Li if (r != e)
81*412f47f9SXin Li {
82*412f47f9SXin Li ERR ("%s (%p, %zu) len %zu returned %zu, expected %zu\n",
83*412f47f9SXin Li fun->name, s, maxlen, len, r, e);
84*412f47f9SXin Li quote ("input", s, len);
85*412f47f9SXin Li }
86*412f47f9SXin Li }
87*412f47f9SXin Li
88*412f47f9SXin Li int
main(void)89*412f47f9SXin Li main (void)
90*412f47f9SXin Li {
91*412f47f9SXin Li sbuf = mte_mmap (LEN + 3 * ALIGN);
92*412f47f9SXin Li int r = 0;
93*412f47f9SXin Li for (int i = 0; funtab[i].name; i++)
94*412f47f9SXin Li {
95*412f47f9SXin Li err_count = 0;
96*412f47f9SXin Li for (int a = 0; a < ALIGN; a++)
97*412f47f9SXin Li for (int n = 0; n < LEN; n++)
98*412f47f9SXin Li {
99*412f47f9SXin Li for (int maxlen = 0; maxlen < LEN; maxlen++)
100*412f47f9SXin Li test (funtab + i, a, maxlen, n);
101*412f47f9SXin Li test (funtab + i, a, SIZE_MAX - a, n);
102*412f47f9SXin Li }
103*412f47f9SXin Li char *pass = funtab[i].test_mte && mte_enabled () ? "MTE PASS" : "PASS";
104*412f47f9SXin Li printf ("%s %s\n", err_count ? "FAIL" : pass, funtab[i].name);
105*412f47f9SXin Li if (err_count)
106*412f47f9SXin Li r = -1;
107*412f47f9SXin Li }
108*412f47f9SXin Li return r;
109*412f47f9SXin Li }
110