]> git.proxmox.com Git - mirror_qemu.git/blame - tests/test-string-input-visitor.c
target/arm: Fix sign of sve_cmpeq_ppzw/sve_cmpne_ppzw
[mirror_qemu.git] / tests / test-string-input-visitor.c
CommitLineData
2d7799f2
PB
1/*
2 * String Input Visitor unit-tests.
3 *
4 * Copyright (C) 2012 Red Hat Inc.
5 *
6 * Authors:
b3db211f 7 * Paolo Bonzini <pbonzini@redhat.com> (based on test-qobject-input-visitor)
2d7799f2
PB
8 *
9 * This work is licensed under the terms of the GNU GPL, version 2 or later.
10 * See the COPYING file in the top-level directory.
11 */
12
681c28a3 13#include "qemu/osdep.h"
2d7799f2 14
79ee7df8 15#include "qemu-common.h"
da34e65c 16#include "qapi/error.h"
2d7799f2 17#include "qapi/string-input-visitor.h"
2d7799f2 18#include "test-qapi-visit.h"
2d7799f2
PB
19
20typedef struct TestInputVisitorData {
7a0525c7 21 Visitor *v;
2d7799f2
PB
22} TestInputVisitorData;
23
24static void visitor_input_teardown(TestInputVisitorData *data,
25 const void *unused)
26{
7a0525c7
EB
27 if (data->v) {
28 visit_free(data->v);
29 data->v = NULL;
2d7799f2
PB
30 }
31}
32
33/* This is provided instead of a test setup function so that the JSON
34 string used by the tests are kept in the test functions (and not
35 int main()) */
36static
37Visitor *visitor_input_test_init(TestInputVisitorData *data,
38 const char *string)
39{
0f721d16
MA
40 visitor_input_teardown(data, NULL);
41
7a0525c7
EB
42 data->v = string_input_visitor_new(string);
43 g_assert(data->v);
44 return data->v;
2d7799f2
PB
45}
46
47static void test_visitor_in_int(TestInputVisitorData *data,
48 const void *unused)
49{
50 int64_t res = 0, value = -42;
e940f543 51 Error *err = NULL;
2d7799f2
PB
52 Visitor *v;
53
54 v = visitor_input_test_init(data, "-42");
55
51e72bc1 56 visit_type_int(v, NULL, &res, &err);
e940f543 57 g_assert(!err);
2d7799f2 58 g_assert_cmpint(res, ==, value);
73374683 59
73374683
MA
60 v = visitor_input_test_init(data, "not an int");
61
62 visit_type_int(v, NULL, &res, &err);
63 error_free_or_abort(&err);
d2788227
MA
64
65 v = visitor_input_test_init(data, "");
66
67 visit_type_int(v, NULL, &res, &err);
68 error_free_or_abort(&err);
2d7799f2
PB
69}
70
3d089cea
MA
71static void check_ilist(Visitor *v, int64_t *expected, size_t n)
72{
73 int64List *res = NULL;
74 int64List *tail;
75 int i;
76
77 visit_type_int64List(v, NULL, &res, &error_abort);
78 tail = res;
79 for (i = 0; i < n; i++) {
80 g_assert(tail);
81 g_assert_cmpint(tail->value, ==, expected[i]);
82 tail = tail->next;
83 }
84 g_assert(!tail);
85
86 qapi_free_int64List(res);
87}
88
89static void check_ulist(Visitor *v, uint64_t *expected, size_t n)
90{
91 uint64List *res = NULL;
92 uint64List *tail;
93 int i;
94
95 /* BUG: unsigned numbers above INT64_MAX don't work */
96 for (i = 0; i < n; i++) {
97 if (expected[i] > INT64_MAX) {
98 Error *err = NULL;
99 visit_type_uint64List(v, NULL, &res, &err);
100 error_free_or_abort(&err);
101 return;
102 }
103 }
104
105 visit_type_uint64List(v, NULL, &res, &error_abort);
106 tail = res;
107 for (i = 0; i < n; i++) {
108 g_assert(tail);
109 g_assert_cmpuint(tail->value, ==, expected[i]);
110 tail = tail->next;
111 }
112 g_assert(!tail);
113
114 qapi_free_uint64List(res);
115}
116
659268ff
HT
117static void test_visitor_in_intList(TestInputVisitorData *data,
118 const void *unused)
119{
3d089cea
MA
120 /* Note: the visitor *sorts* ranges *unsigned* */
121 int64_t expect1[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 20 };
122 int64_t expect2[] = { 32767, -32768, -32767 };
123 int64_t expect3[] = { INT64_MAX, INT64_MIN };
124 uint64_t expect4[] = { UINT64_MAX };
73374683 125 Error *err = NULL;
3d089cea 126 int64List *res = NULL;
9cb8ef36 127 int64List *tail;
659268ff 128 Visitor *v;
a9416dc6 129 int64_t val;
3d089cea
MA
130
131 /* Valid lists */
659268ff
HT
132
133 v = visitor_input_test_init(data, "1,2,0,2-4,20,5-9,1-8");
3d089cea 134 check_ilist(v, expect1, ARRAY_SIZE(expect1));
659268ff 135
3d089cea
MA
136 v = visitor_input_test_init(data, "32767,-32768--32767");
137 check_ilist(v, expect2, ARRAY_SIZE(expect2));
138
139 v = visitor_input_test_init(data,
140 "-9223372036854775808,9223372036854775807");
141 check_ilist(v, expect3, ARRAY_SIZE(expect3));
142
143 v = visitor_input_test_init(data, "18446744073709551615");
144 check_ulist(v, expect4, ARRAY_SIZE(expect4));
145
d2788227 146 /* Empty list */
3d089cea
MA
147
148 v = visitor_input_test_init(data, "");
d2788227
MA
149 visit_type_int64List(v, NULL, &res, &error_abort);
150 g_assert(!res);
659268ff 151
3d089cea 152 /* Not a list */
73374683 153
73374683
MA
154 v = visitor_input_test_init(data, "not an int list");
155
3d089cea 156 visit_type_int64List(v, NULL, &res, &err);
74f24cb6
EB
157 error_free_or_abort(&err);
158 g_assert(!res);
9cb8ef36
MA
159
160 /* Unvisited list tail */
161
162 v = visitor_input_test_init(data, "0,2-3");
163
164 /* Would be simpler if the visitor genuinely supported virtual walks */
165 visit_start_list(v, NULL, (GenericList **)&res, sizeof(*res),
166 &error_abort);
167 tail = res;
168 visit_type_int64(v, NULL, &tail->value, &error_abort);
169 g_assert_cmpint(tail->value, ==, 0);
170 tail = (int64List *)visit_next_list(v, (GenericList *)tail, sizeof(*res));
171 g_assert(tail);
172 visit_type_int64(v, NULL, &tail->value, &error_abort);
173 g_assert_cmpint(tail->value, ==, 2);
174 tail = (int64List *)visit_next_list(v, (GenericList *)tail, sizeof(*res));
175 g_assert(tail);
a4a1c70d
MA
176
177 visit_check_list(v, &err);
178 error_free_or_abort(&err);
9cb8ef36 179 visit_end_list(v, (void **)&res);
9cb8ef36
MA
180
181 qapi_free_int64List(res);
a9416dc6
MA
182
183 /* Visit beyond end of list */
184 v = visitor_input_test_init(data, "0");
185
186 visit_start_list(v, NULL, (GenericList **)&res, sizeof(*res),
187 &error_abort);
188 tail = res;
189 visit_type_int64(v, NULL, &tail->value, &err);
190 g_assert_cmpint(tail->value, ==, 0);
191 visit_type_int64(v, NULL, &val, &err);
192 g_assert_cmpint(val, ==, 1); /* BUG */
193 visit_check_list(v, &error_abort);
194 visit_end_list(v, (void **)&res);
195
196 qapi_free_int64List(res);
659268ff
HT
197}
198
2d7799f2
PB
199static void test_visitor_in_bool(TestInputVisitorData *data,
200 const void *unused)
201{
e940f543 202 Error *err = NULL;
2d7799f2
PB
203 bool res = false;
204 Visitor *v;
205
206 v = visitor_input_test_init(data, "true");
207
51e72bc1 208 visit_type_bool(v, NULL, &res, &err);
e940f543 209 g_assert(!err);
2d7799f2 210 g_assert_cmpint(res, ==, true);
2d7799f2
PB
211
212 v = visitor_input_test_init(data, "yes");
213
51e72bc1 214 visit_type_bool(v, NULL, &res, &err);
e940f543 215 g_assert(!err);
2d7799f2 216 g_assert_cmpint(res, ==, true);
2d7799f2
PB
217
218 v = visitor_input_test_init(data, "on");
219
51e72bc1 220 visit_type_bool(v, NULL, &res, &err);
e940f543 221 g_assert(!err);
2d7799f2 222 g_assert_cmpint(res, ==, true);
2d7799f2
PB
223
224 v = visitor_input_test_init(data, "false");
225
51e72bc1 226 visit_type_bool(v, NULL, &res, &err);
e940f543 227 g_assert(!err);
2d7799f2 228 g_assert_cmpint(res, ==, false);
2d7799f2
PB
229
230 v = visitor_input_test_init(data, "no");
231
51e72bc1 232 visit_type_bool(v, NULL, &res, &err);
e940f543 233 g_assert(!err);
2d7799f2 234 g_assert_cmpint(res, ==, false);
2d7799f2
PB
235
236 v = visitor_input_test_init(data, "off");
237
51e72bc1 238 visit_type_bool(v, NULL, &res, &err);
e940f543 239 g_assert(!err);
2d7799f2
PB
240 g_assert_cmpint(res, ==, false);
241}
242
243static void test_visitor_in_number(TestInputVisitorData *data,
244 const void *unused)
245{
246 double res = 0, value = 3.14;
e940f543 247 Error *err = NULL;
2d7799f2
PB
248 Visitor *v;
249
250 v = visitor_input_test_init(data, "3.14");
251
51e72bc1 252 visit_type_number(v, NULL, &res, &err);
e940f543 253 g_assert(!err);
2d7799f2
PB
254 g_assert_cmpfloat(res, ==, value);
255}
256
257static void test_visitor_in_string(TestInputVisitorData *data,
258 const void *unused)
259{
260 char *res = NULL, *value = (char *) "Q E M U";
e940f543 261 Error *err = NULL;
2d7799f2
PB
262 Visitor *v;
263
264 v = visitor_input_test_init(data, value);
265
51e72bc1 266 visit_type_str(v, NULL, &res, &err);
e940f543 267 g_assert(!err);
2d7799f2
PB
268 g_assert_cmpstr(res, ==, value);
269
270 g_free(res);
271}
272
273static void test_visitor_in_enum(TestInputVisitorData *data,
274 const void *unused)
275{
e940f543 276 Error *err = NULL;
2d7799f2
PB
277 Visitor *v;
278 EnumOne i;
279
1c236ba5 280 for (i = 0; i < ENUM_ONE__MAX; i++) {
2d7799f2
PB
281 EnumOne res = -1;
282
977c736f 283 v = visitor_input_test_init(data, EnumOne_str(i));
2d7799f2 284
51e72bc1 285 visit_type_EnumOne(v, NULL, &res, &err);
e940f543 286 g_assert(!err);
2d7799f2 287 g_assert_cmpint(i, ==, res);
2d7799f2 288 }
2d7799f2
PB
289}
290
3f0f31a0
BS
291/* Try to crash the visitors */
292static void test_visitor_in_fuzz(TestInputVisitorData *data,
293 const void *unused)
294{
295 int64_t ires;
659268ff 296 intList *ilres;
3f0f31a0
BS
297 bool bres;
298 double nres;
299 char *sres;
300 EnumOne eres;
3f0f31a0
BS
301 Visitor *v;
302 unsigned int i;
303 char buf[10000];
304
305 for (i = 0; i < 100; i++) {
306 unsigned int j;
307
308 j = g_test_rand_int_range(0, sizeof(buf) - 1);
309
310 buf[j] = '\0';
311
312 if (j != 0) {
313 for (j--; j != 0; j--) {
314 buf[j - 1] = (char)g_test_rand_int_range(0, 256);
315 }
316 }
317
318 v = visitor_input_test_init(data, buf);
51e72bc1 319 visit_type_int(v, NULL, &ires, NULL);
3f0f31a0 320
659268ff 321 v = visitor_input_test_init(data, buf);
51e72bc1 322 visit_type_intList(v, NULL, &ilres, NULL);
bd794065 323 qapi_free_intList(ilres);
659268ff 324
3f0f31a0 325 v = visitor_input_test_init(data, buf);
51e72bc1 326 visit_type_bool(v, NULL, &bres, NULL);
3f0f31a0
BS
327
328 v = visitor_input_test_init(data, buf);
51e72bc1 329 visit_type_number(v, NULL, &nres, NULL);
3f0f31a0
BS
330
331 v = visitor_input_test_init(data, buf);
01845438 332 sres = NULL;
51e72bc1 333 visit_type_str(v, NULL, &sres, NULL);
3f0f31a0
BS
334 g_free(sres);
335
336 v = visitor_input_test_init(data, buf);
51e72bc1 337 visit_type_EnumOne(v, NULL, &eres, NULL);
3f0f31a0
BS
338 }
339}
340
2d7799f2
PB
341static void input_visitor_test_add(const char *testpath,
342 TestInputVisitorData *data,
343 void (*test_func)(TestInputVisitorData *data, const void *user_data))
344{
345 g_test_add(testpath, TestInputVisitorData, data, NULL, test_func,
346 visitor_input_teardown);
347}
348
349int main(int argc, char **argv)
350{
351 TestInputVisitorData in_visitor_data;
352
353 g_test_init(&argc, &argv, NULL);
354
355 input_visitor_test_add("/string-visitor/input/int",
356 &in_visitor_data, test_visitor_in_int);
659268ff
HT
357 input_visitor_test_add("/string-visitor/input/intList",
358 &in_visitor_data, test_visitor_in_intList);
2d7799f2
PB
359 input_visitor_test_add("/string-visitor/input/bool",
360 &in_visitor_data, test_visitor_in_bool);
361 input_visitor_test_add("/string-visitor/input/number",
362 &in_visitor_data, test_visitor_in_number);
363 input_visitor_test_add("/string-visitor/input/string",
364 &in_visitor_data, test_visitor_in_string);
365 input_visitor_test_add("/string-visitor/input/enum",
366 &in_visitor_data, test_visitor_in_enum);
3f0f31a0
BS
367 input_visitor_test_add("/string-visitor/input/fuzz",
368 &in_visitor_data, test_visitor_in_fuzz);
2d7799f2
PB
369
370 g_test_run();
371
372 return 0;
373}