1bbbf1280Sopenharmony_ci/*
2bbbf1280Sopenharmony_ci * strcmp test.
3bbbf1280Sopenharmony_ci *
4bbbf1280Sopenharmony_ci * Copyright (c) 2019-2020, Arm Limited.
5bbbf1280Sopenharmony_ci * SPDX-License-Identifier: MIT
6bbbf1280Sopenharmony_ci */
7bbbf1280Sopenharmony_ci
8bbbf1280Sopenharmony_ci#include <stdint.h>
9bbbf1280Sopenharmony_ci#include <stdio.h>
10bbbf1280Sopenharmony_ci#include <stdlib.h>
11bbbf1280Sopenharmony_ci#include <string.h>
12bbbf1280Sopenharmony_ci#include "mte.h"
13bbbf1280Sopenharmony_ci#include "stringlib.h"
14bbbf1280Sopenharmony_ci#include "stringtest.h"
15bbbf1280Sopenharmony_ci
16bbbf1280Sopenharmony_ci#define F(x, mte) {#x, x, mte},
17bbbf1280Sopenharmony_ci
18bbbf1280Sopenharmony_cistatic const struct fun
19bbbf1280Sopenharmony_ci{
20bbbf1280Sopenharmony_ci  const char *name;
21bbbf1280Sopenharmony_ci  int (*fun) (const char *s1, const char *s2);
22bbbf1280Sopenharmony_ci  int test_mte;
23bbbf1280Sopenharmony_ci} funtab[] = {
24bbbf1280Sopenharmony_ci  // clang-format off
25bbbf1280Sopenharmony_ci  F(strcmp, 0)
26bbbf1280Sopenharmony_ci#if __aarch64__
27bbbf1280Sopenharmony_ci  F(__strcmp_aarch64, 0)
28bbbf1280Sopenharmony_ci  F(__strcmp_aarch64_mte, 1)
29bbbf1280Sopenharmony_ci# if __ARM_FEATURE_SVE
30bbbf1280Sopenharmony_ci  F(__strcmp_aarch64_sve, 1)
31bbbf1280Sopenharmony_ci# endif
32bbbf1280Sopenharmony_ci#elif __arm__
33bbbf1280Sopenharmony_ci# if __ARM_ARCH >= 7 && __ARM_ARCH_ISA_ARM >= 1
34bbbf1280Sopenharmony_ci  F(__strcmp_arm, 0)
35bbbf1280Sopenharmony_ci# elif __ARM_ARCH == 6 && __ARM_ARCH_6M__ >= 1
36bbbf1280Sopenharmony_ci  F(__strcmp_armv6m, 0)
37bbbf1280Sopenharmony_ci# endif
38bbbf1280Sopenharmony_ci#endif
39bbbf1280Sopenharmony_ci  {0, 0, 0}
40bbbf1280Sopenharmony_ci  // clang-format on
41bbbf1280Sopenharmony_ci};
42bbbf1280Sopenharmony_ci#undef F
43bbbf1280Sopenharmony_ci
44bbbf1280Sopenharmony_ci#define A 32
45bbbf1280Sopenharmony_ci#define LEN 250000
46bbbf1280Sopenharmony_cistatic char *s1buf;
47bbbf1280Sopenharmony_cistatic char *s2buf;
48bbbf1280Sopenharmony_ci
49bbbf1280Sopenharmony_cistatic void *
50bbbf1280Sopenharmony_cialignup (void *p)
51bbbf1280Sopenharmony_ci{
52bbbf1280Sopenharmony_ci  return (void *) (((uintptr_t) p + A - 1) & -A);
53bbbf1280Sopenharmony_ci}
54bbbf1280Sopenharmony_ci
55bbbf1280Sopenharmony_cistatic void
56bbbf1280Sopenharmony_citest (const struct fun *fun, int s1align, int s2align, int len, int diffpos,
57bbbf1280Sopenharmony_ci      int delta)
58bbbf1280Sopenharmony_ci{
59bbbf1280Sopenharmony_ci  char *src1 = alignup (s1buf);
60bbbf1280Sopenharmony_ci  char *src2 = alignup (s2buf);
61bbbf1280Sopenharmony_ci  char *s1 = src1 + s1align;
62bbbf1280Sopenharmony_ci  char *s2 = src2 + s2align;
63bbbf1280Sopenharmony_ci  int r;
64bbbf1280Sopenharmony_ci
65bbbf1280Sopenharmony_ci  if (err_count >= ERR_LIMIT)
66bbbf1280Sopenharmony_ci    return;
67bbbf1280Sopenharmony_ci  if (len > LEN || s1align >= A || s2align >= A)
68bbbf1280Sopenharmony_ci    abort ();
69bbbf1280Sopenharmony_ci  if (diffpos >= len)
70bbbf1280Sopenharmony_ci    abort ();
71bbbf1280Sopenharmony_ci  if ((diffpos < 0) != (delta == 0))
72bbbf1280Sopenharmony_ci    abort ();
73bbbf1280Sopenharmony_ci
74bbbf1280Sopenharmony_ci  for (int i = 0; i < len + A; i++)
75bbbf1280Sopenharmony_ci    src1[i] = src2[i] = '?';
76bbbf1280Sopenharmony_ci  for (int i = 0; i < len; i++)
77bbbf1280Sopenharmony_ci    s1[i] = s2[i] = 'a' + i % 23;
78bbbf1280Sopenharmony_ci  if (delta)
79bbbf1280Sopenharmony_ci    s1[diffpos] += delta;
80bbbf1280Sopenharmony_ci  s1[len] = s2[len] = '\0';
81bbbf1280Sopenharmony_ci
82bbbf1280Sopenharmony_ci  s1 = tag_buffer (s1, len + 1, fun->test_mte);
83bbbf1280Sopenharmony_ci  s2 = tag_buffer (s2, len + 1, fun->test_mte);
84bbbf1280Sopenharmony_ci  r = fun->fun (s1, s2);
85bbbf1280Sopenharmony_ci  untag_buffer (s1, len + 1, fun->test_mte);
86bbbf1280Sopenharmony_ci  untag_buffer (s2, len + 1, fun->test_mte);
87bbbf1280Sopenharmony_ci
88bbbf1280Sopenharmony_ci  if ((delta == 0 && r != 0) || (delta > 0 && r <= 0) || (delta < 0 && r >= 0))
89bbbf1280Sopenharmony_ci    {
90bbbf1280Sopenharmony_ci      ERR ("%s(align %d, align %d, %d) failed, returned %d\n", fun->name,
91bbbf1280Sopenharmony_ci	   s1align, s2align, len, r);
92bbbf1280Sopenharmony_ci      quoteat ("src1", src1, len + A, diffpos);
93bbbf1280Sopenharmony_ci      quoteat ("src2", src2, len + A, diffpos);
94bbbf1280Sopenharmony_ci    }
95bbbf1280Sopenharmony_ci}
96bbbf1280Sopenharmony_ci
97bbbf1280Sopenharmony_ciint
98bbbf1280Sopenharmony_cimain ()
99bbbf1280Sopenharmony_ci{
100bbbf1280Sopenharmony_ci  s1buf = mte_mmap (LEN + 2 * A + 1);
101bbbf1280Sopenharmony_ci  s2buf = mte_mmap (LEN + 2 * A + 1);
102bbbf1280Sopenharmony_ci  int r = 0;
103bbbf1280Sopenharmony_ci  for (int i = 0; funtab[i].name; i++)
104bbbf1280Sopenharmony_ci    {
105bbbf1280Sopenharmony_ci      err_count = 0;
106bbbf1280Sopenharmony_ci      for (int d = 0; d < A; d++)
107bbbf1280Sopenharmony_ci	for (int s = 0; s < A; s++)
108bbbf1280Sopenharmony_ci	  {
109bbbf1280Sopenharmony_ci	    int n;
110bbbf1280Sopenharmony_ci	    test (funtab + i, d, s, 0, -1, 0);
111bbbf1280Sopenharmony_ci	    test (funtab + i, d, s, 1, -1, 0);
112bbbf1280Sopenharmony_ci	    test (funtab + i, d, s, 1, 0, 1);
113bbbf1280Sopenharmony_ci	    test (funtab + i, d, s, 1, 0, -1);
114bbbf1280Sopenharmony_ci	    for (n = 2; n < 100; n++)
115bbbf1280Sopenharmony_ci	      {
116bbbf1280Sopenharmony_ci		test (funtab + i, d, s, n, -1, 0);
117bbbf1280Sopenharmony_ci		test (funtab + i, d, s, n, n - 1, -1);
118bbbf1280Sopenharmony_ci		test (funtab + i, d, s, n, n / 2, 1);
119bbbf1280Sopenharmony_ci	      }
120bbbf1280Sopenharmony_ci	    for (; n < LEN; n *= 2)
121bbbf1280Sopenharmony_ci	      {
122bbbf1280Sopenharmony_ci		test (funtab + i, d, s, n, -1, 0);
123bbbf1280Sopenharmony_ci		test (funtab + i, d, s, n, n / 2, -1);
124bbbf1280Sopenharmony_ci	      }
125bbbf1280Sopenharmony_ci	  }
126bbbf1280Sopenharmony_ci      char *pass = funtab[i].test_mte && mte_enabled () ? "MTE PASS" : "PASS";
127bbbf1280Sopenharmony_ci      printf ("%s %s\n", err_count ? "FAIL" : pass, funtab[i].name);
128bbbf1280Sopenharmony_ci      if (err_count)
129bbbf1280Sopenharmony_ci	r = -1;
130bbbf1280Sopenharmony_ci    }
131bbbf1280Sopenharmony_ci  return r;
132bbbf1280Sopenharmony_ci}
133