xref: /openbmc/qemu/tests/unit/test-opts-visitor.c (revision 51204c2f)
1*da668aa1SThomas Huth /*
2*da668aa1SThomas Huth  * Options Visitor unit-tests.
3*da668aa1SThomas Huth  *
4*da668aa1SThomas Huth  * Copyright (C) 2013 Red Hat, Inc.
5*da668aa1SThomas Huth  *
6*da668aa1SThomas Huth  * Authors:
7*da668aa1SThomas Huth  *   Laszlo Ersek <lersek@redhat.com> (based on test-string-output-visitor)
8*da668aa1SThomas Huth  *
9*da668aa1SThomas Huth  * This work is licensed under the terms of the GNU GPL, version 2 or later.
10*da668aa1SThomas Huth  * See the COPYING file in the top-level directory.
11*da668aa1SThomas Huth  */
12*da668aa1SThomas Huth 
13*da668aa1SThomas Huth #include "qemu/osdep.h"
14*da668aa1SThomas Huth 
15*da668aa1SThomas Huth #include "qemu/config-file.h"     /* qemu_add_opts() */
16*da668aa1SThomas Huth #include "qemu/option.h"          /* qemu_opts_parse() */
17*da668aa1SThomas Huth #include "qapi/error.h"
18*da668aa1SThomas Huth #include "qapi/opts-visitor.h"    /* opts_visitor_new() */
19*da668aa1SThomas Huth #include "test-qapi-visit.h"      /* visit_type_UserDefOptions() */
20*da668aa1SThomas Huth 
21*da668aa1SThomas Huth static QemuOptsList userdef_opts = {
22*da668aa1SThomas Huth     .name = "userdef",
23*da668aa1SThomas Huth     .head = QTAILQ_HEAD_INITIALIZER(userdef_opts.head),
24*da668aa1SThomas Huth     .desc = { { 0 } } /* validated with OptsVisitor */
25*da668aa1SThomas Huth };
26*da668aa1SThomas Huth 
27*da668aa1SThomas Huth /* fixture (= glib test case context) and test case manipulation */
28*da668aa1SThomas Huth 
29*da668aa1SThomas Huth typedef struct OptsVisitorFixture {
30*da668aa1SThomas Huth     UserDefOptions *userdef;
31*da668aa1SThomas Huth     Error *err;
32*da668aa1SThomas Huth } OptsVisitorFixture;
33*da668aa1SThomas Huth 
34*da668aa1SThomas Huth 
35*da668aa1SThomas Huth static void
setup_fixture(OptsVisitorFixture * f,gconstpointer test_data)36*da668aa1SThomas Huth setup_fixture(OptsVisitorFixture *f, gconstpointer test_data)
37*da668aa1SThomas Huth {
38*da668aa1SThomas Huth     const char *opts_string = test_data;
39*da668aa1SThomas Huth     QemuOpts *opts;
40*da668aa1SThomas Huth     Visitor *v;
41*da668aa1SThomas Huth 
42*da668aa1SThomas Huth     opts = qemu_opts_parse(qemu_find_opts("userdef"), opts_string, false,
43*da668aa1SThomas Huth                            NULL);
44*da668aa1SThomas Huth     g_assert(opts != NULL);
45*da668aa1SThomas Huth 
46*da668aa1SThomas Huth     v = opts_visitor_new(opts);
47*da668aa1SThomas Huth     visit_type_UserDefOptions(v, NULL, &f->userdef, &f->err);
48*da668aa1SThomas Huth     visit_free(v);
49*da668aa1SThomas Huth     qemu_opts_del(opts);
50*da668aa1SThomas Huth }
51*da668aa1SThomas Huth 
52*da668aa1SThomas Huth 
53*da668aa1SThomas Huth static void
teardown_fixture(OptsVisitorFixture * f,gconstpointer test_data)54*da668aa1SThomas Huth teardown_fixture(OptsVisitorFixture *f, gconstpointer test_data)
55*da668aa1SThomas Huth {
56*da668aa1SThomas Huth     qapi_free_UserDefOptions(f->userdef);
57*da668aa1SThomas Huth     error_free(f->err);
58*da668aa1SThomas Huth }
59*da668aa1SThomas Huth 
60*da668aa1SThomas Huth 
61*da668aa1SThomas Huth static void
add_test(const char * testpath,void (* test_func)(OptsVisitorFixture * f,gconstpointer test_data),gconstpointer test_data)62*da668aa1SThomas Huth add_test(const char *testpath,
63*da668aa1SThomas Huth          void (*test_func)(OptsVisitorFixture *f, gconstpointer test_data),
64*da668aa1SThomas Huth          gconstpointer test_data)
65*da668aa1SThomas Huth {
66*da668aa1SThomas Huth     g_test_add(testpath, OptsVisitorFixture, test_data, setup_fixture,
67*da668aa1SThomas Huth                test_func, teardown_fixture);
68*da668aa1SThomas Huth }
69*da668aa1SThomas Huth 
70*da668aa1SThomas Huth /* test output evaluation */
71*da668aa1SThomas Huth 
72*da668aa1SThomas Huth static void
expect_ok(OptsVisitorFixture * f,gconstpointer test_data)73*da668aa1SThomas Huth expect_ok(OptsVisitorFixture *f, gconstpointer test_data)
74*da668aa1SThomas Huth {
75*da668aa1SThomas Huth     g_assert(f->err == NULL);
76*da668aa1SThomas Huth     g_assert(f->userdef != NULL);
77*da668aa1SThomas Huth }
78*da668aa1SThomas Huth 
79*da668aa1SThomas Huth 
80*da668aa1SThomas Huth static void
expect_fail(OptsVisitorFixture * f,gconstpointer test_data)81*da668aa1SThomas Huth expect_fail(OptsVisitorFixture *f, gconstpointer test_data)
82*da668aa1SThomas Huth {
83*da668aa1SThomas Huth     g_assert(f->err != NULL);
84*da668aa1SThomas Huth 
85*da668aa1SThomas Huth     /* The error message is printed when this test utility is invoked directly
86*da668aa1SThomas Huth      * (ie. without gtester) and the --verbose flag is passed:
87*da668aa1SThomas Huth      *
88*da668aa1SThomas Huth      * tests/test-opts-visitor --verbose
89*da668aa1SThomas Huth      */
90*da668aa1SThomas Huth     g_test_message("'%s': %s", (const char *)test_data,
91*da668aa1SThomas Huth                    error_get_pretty(f->err));
92*da668aa1SThomas Huth }
93*da668aa1SThomas Huth 
94*da668aa1SThomas Huth 
95*da668aa1SThomas Huth static void
test_value(OptsVisitorFixture * f,gconstpointer test_data)96*da668aa1SThomas Huth test_value(OptsVisitorFixture *f, gconstpointer test_data)
97*da668aa1SThomas Huth {
98*da668aa1SThomas Huth     uint64_t magic, bitval;
99*da668aa1SThomas Huth     intList *i64;
100*da668aa1SThomas Huth     uint64List *u64;
101*da668aa1SThomas Huth     uint16List *u16;
102*da668aa1SThomas Huth 
103*da668aa1SThomas Huth     expect_ok(f, test_data);
104*da668aa1SThomas Huth 
105*da668aa1SThomas Huth     magic = 0;
106*da668aa1SThomas Huth     for (i64 = f->userdef->i64; i64 != NULL; i64 = i64->next) {
107*da668aa1SThomas Huth         g_assert(-16 <= i64->value && i64->value < 64-16);
108*da668aa1SThomas Huth         bitval = 1ull << (i64->value + 16);
109*da668aa1SThomas Huth         g_assert((magic & bitval) == 0);
110*da668aa1SThomas Huth         magic |= bitval;
111*da668aa1SThomas Huth     }
112*da668aa1SThomas Huth     g_assert(magic == 0xDEADBEEF);
113*da668aa1SThomas Huth 
114*da668aa1SThomas Huth     magic = 0;
115*da668aa1SThomas Huth     for (u64 = f->userdef->u64; u64 != NULL; u64 = u64->next) {
116*da668aa1SThomas Huth         g_assert(u64->value < 64);
117*da668aa1SThomas Huth         bitval = 1ull << u64->value;
118*da668aa1SThomas Huth         g_assert((magic & bitval) == 0);
119*da668aa1SThomas Huth         magic |= bitval;
120*da668aa1SThomas Huth     }
121*da668aa1SThomas Huth     g_assert(magic == 0xBADC0FFEE0DDF00DULL);
122*da668aa1SThomas Huth 
123*da668aa1SThomas Huth     magic = 0;
124*da668aa1SThomas Huth     for (u16 = f->userdef->u16; u16 != NULL; u16 = u16->next) {
125*da668aa1SThomas Huth         g_assert(u16->value < 64);
126*da668aa1SThomas Huth         bitval = 1ull << u16->value;
127*da668aa1SThomas Huth         g_assert((magic & bitval) == 0);
128*da668aa1SThomas Huth         magic |= bitval;
129*da668aa1SThomas Huth     }
130*da668aa1SThomas Huth     g_assert(magic == 0xD15EA5E);
131*da668aa1SThomas Huth }
132*da668aa1SThomas Huth 
133*da668aa1SThomas Huth 
134*da668aa1SThomas Huth static void
expect_i64_min(OptsVisitorFixture * f,gconstpointer test_data)135*da668aa1SThomas Huth expect_i64_min(OptsVisitorFixture *f, gconstpointer test_data)
136*da668aa1SThomas Huth {
137*da668aa1SThomas Huth     expect_ok(f, test_data);
138*da668aa1SThomas Huth     g_assert(f->userdef->has_i64);
139*da668aa1SThomas Huth     g_assert(f->userdef->i64->next == NULL);
140*da668aa1SThomas Huth     g_assert(f->userdef->i64->value == INT64_MIN);
141*da668aa1SThomas Huth }
142*da668aa1SThomas Huth 
143*da668aa1SThomas Huth 
144*da668aa1SThomas Huth static void
expect_i64_max(OptsVisitorFixture * f,gconstpointer test_data)145*da668aa1SThomas Huth expect_i64_max(OptsVisitorFixture *f, gconstpointer test_data)
146*da668aa1SThomas Huth {
147*da668aa1SThomas Huth     expect_ok(f, test_data);
148*da668aa1SThomas Huth     g_assert(f->userdef->has_i64);
149*da668aa1SThomas Huth     g_assert(f->userdef->i64->next == NULL);
150*da668aa1SThomas Huth     g_assert(f->userdef->i64->value == INT64_MAX);
151*da668aa1SThomas Huth }
152*da668aa1SThomas Huth 
153*da668aa1SThomas Huth 
154*da668aa1SThomas Huth static void
expect_zero(OptsVisitorFixture * f,gconstpointer test_data)155*da668aa1SThomas Huth expect_zero(OptsVisitorFixture *f, gconstpointer test_data)
156*da668aa1SThomas Huth {
157*da668aa1SThomas Huth     expect_ok(f, test_data);
158*da668aa1SThomas Huth     g_assert(f->userdef->has_u64);
159*da668aa1SThomas Huth     g_assert(f->userdef->u64->next == NULL);
160*da668aa1SThomas Huth     g_assert(f->userdef->u64->value == 0);
161*da668aa1SThomas Huth }
162*da668aa1SThomas Huth 
163*da668aa1SThomas Huth 
164*da668aa1SThomas Huth static void
expect_u64_max(OptsVisitorFixture * f,gconstpointer test_data)165*da668aa1SThomas Huth expect_u64_max(OptsVisitorFixture *f, gconstpointer test_data)
166*da668aa1SThomas Huth {
167*da668aa1SThomas Huth     expect_ok(f, test_data);
168*da668aa1SThomas Huth     g_assert(f->userdef->has_u64);
169*da668aa1SThomas Huth     g_assert(f->userdef->u64->next == NULL);
170*da668aa1SThomas Huth     g_assert(f->userdef->u64->value == UINT64_MAX);
171*da668aa1SThomas Huth }
172*da668aa1SThomas Huth 
173*da668aa1SThomas Huth /* test cases */
174*da668aa1SThomas Huth 
175*da668aa1SThomas Huth static void
test_opts_range_unvisited(void)176*da668aa1SThomas Huth test_opts_range_unvisited(void)
177*da668aa1SThomas Huth {
178*da668aa1SThomas Huth     Error *err = NULL;
179*da668aa1SThomas Huth     intList *list = NULL;
180*da668aa1SThomas Huth     intList *tail;
181*da668aa1SThomas Huth     QemuOpts *opts;
182*da668aa1SThomas Huth     Visitor *v;
183*da668aa1SThomas Huth 
184*da668aa1SThomas Huth     opts = qemu_opts_parse(qemu_find_opts("userdef"), "ilist=0-2", false,
185*da668aa1SThomas Huth                            &error_abort);
186*da668aa1SThomas Huth 
187*da668aa1SThomas Huth     v = opts_visitor_new(opts);
188*da668aa1SThomas Huth 
189*da668aa1SThomas Huth     visit_start_struct(v, NULL, NULL, 0, &error_abort);
190*da668aa1SThomas Huth 
191*da668aa1SThomas Huth     /* Would be simpler if the visitor genuinely supported virtual walks */
192*da668aa1SThomas Huth     visit_start_list(v, "ilist", (GenericList **)&list, sizeof(*list),
193*da668aa1SThomas Huth                      &error_abort);
194*da668aa1SThomas Huth     tail = list;
195*da668aa1SThomas Huth     visit_type_int(v, NULL, &tail->value, &error_abort);
196*da668aa1SThomas Huth     g_assert_cmpint(tail->value, ==, 0);
197*da668aa1SThomas Huth     tail = (intList *)visit_next_list(v, (GenericList *)tail, sizeof(*list));
198*da668aa1SThomas Huth     g_assert(tail);
199*da668aa1SThomas Huth     visit_type_int(v, NULL, &tail->value, &error_abort);
200*da668aa1SThomas Huth     g_assert_cmpint(tail->value, ==, 1);
201*da668aa1SThomas Huth     tail = (intList *)visit_next_list(v, (GenericList *)tail, sizeof(*list));
202*da668aa1SThomas Huth     g_assert(tail);
203*da668aa1SThomas Huth     visit_check_list(v, &error_abort); /* unvisited tail ignored until... */
204*da668aa1SThomas Huth     visit_end_list(v, (void **)&list);
205*da668aa1SThomas Huth 
206*da668aa1SThomas Huth     visit_check_struct(v, &err); /* ...here */
207*da668aa1SThomas Huth     error_free_or_abort(&err);
208*da668aa1SThomas Huth     visit_end_struct(v, NULL);
209*da668aa1SThomas Huth 
210*da668aa1SThomas Huth     qapi_free_intList(list);
211*da668aa1SThomas Huth     visit_free(v);
212*da668aa1SThomas Huth     qemu_opts_del(opts);
213*da668aa1SThomas Huth }
214*da668aa1SThomas Huth 
215*da668aa1SThomas Huth static void
test_opts_range_beyond(void)216*da668aa1SThomas Huth test_opts_range_beyond(void)
217*da668aa1SThomas Huth {
218*da668aa1SThomas Huth     Error *err = NULL;
219*da668aa1SThomas Huth     intList *list = NULL;
220*da668aa1SThomas Huth     intList *tail;
221*da668aa1SThomas Huth     QemuOpts *opts;
222*da668aa1SThomas Huth     Visitor *v;
223*da668aa1SThomas Huth     int64_t val;
224*da668aa1SThomas Huth 
225*da668aa1SThomas Huth     opts = qemu_opts_parse(qemu_find_opts("userdef"), "ilist=0", false,
226*da668aa1SThomas Huth                            &error_abort);
227*da668aa1SThomas Huth 
228*da668aa1SThomas Huth     v = opts_visitor_new(opts);
229*da668aa1SThomas Huth 
230*da668aa1SThomas Huth     visit_start_struct(v, NULL, NULL, 0, &error_abort);
231*da668aa1SThomas Huth 
232*da668aa1SThomas Huth     /* Would be simpler if the visitor genuinely supported virtual walks */
233*da668aa1SThomas Huth     visit_start_list(v, "ilist", (GenericList **)&list, sizeof(*list),
234*da668aa1SThomas Huth                      &error_abort);
235*da668aa1SThomas Huth     tail = list;
236*da668aa1SThomas Huth     visit_type_int(v, NULL, &tail->value, &error_abort);
237*da668aa1SThomas Huth     g_assert_cmpint(tail->value, ==, 0);
238*da668aa1SThomas Huth     tail = (intList *)visit_next_list(v, (GenericList *)tail, sizeof(*tail));
239*da668aa1SThomas Huth     g_assert(!tail);
240*da668aa1SThomas Huth     visit_type_int(v, NULL, &val, &err);
241*da668aa1SThomas Huth     error_free_or_abort(&err);
242*da668aa1SThomas Huth     visit_end_list(v, (void **)&list);
243*da668aa1SThomas Huth 
244*da668aa1SThomas Huth     visit_check_struct(v, &error_abort);
245*da668aa1SThomas Huth     visit_end_struct(v, NULL);
246*da668aa1SThomas Huth 
247*da668aa1SThomas Huth     qapi_free_intList(list);
248*da668aa1SThomas Huth     visit_free(v);
249*da668aa1SThomas Huth     qemu_opts_del(opts);
250*da668aa1SThomas Huth }
251*da668aa1SThomas Huth 
252*da668aa1SThomas Huth static void
test_opts_dict_unvisited(void)253*da668aa1SThomas Huth test_opts_dict_unvisited(void)
254*da668aa1SThomas Huth {
255*da668aa1SThomas Huth     Error *err = NULL;
256*da668aa1SThomas Huth     QemuOpts *opts;
257*da668aa1SThomas Huth     Visitor *v;
258*da668aa1SThomas Huth     UserDefOptions *userdef;
259*da668aa1SThomas Huth 
260*da668aa1SThomas Huth     opts = qemu_opts_parse(qemu_find_opts("userdef"), "i64x=0,bogus=1", false,
261*da668aa1SThomas Huth                            &error_abort);
262*da668aa1SThomas Huth 
263*da668aa1SThomas Huth     v = opts_visitor_new(opts);
264*da668aa1SThomas Huth     visit_type_UserDefOptions(v, NULL, &userdef, &err);
265*da668aa1SThomas Huth     error_free_or_abort(&err);
266*da668aa1SThomas Huth     visit_free(v);
267*da668aa1SThomas Huth     qemu_opts_del(opts);
268*da668aa1SThomas Huth     g_assert(!userdef);
269*da668aa1SThomas Huth }
270*da668aa1SThomas Huth 
271*da668aa1SThomas Huth int
main(int argc,char ** argv)272*da668aa1SThomas Huth main(int argc, char **argv)
273*da668aa1SThomas Huth {
274*da668aa1SThomas Huth     g_test_init(&argc, &argv, NULL);
275*da668aa1SThomas Huth 
276*da668aa1SThomas Huth     qemu_add_opts(&userdef_opts);
277*da668aa1SThomas Huth 
278*da668aa1SThomas Huth     /* Three hexadecimal magic numbers, "dead beef", "bad coffee, odd food" and
279*da668aa1SThomas Huth      * "disease", from
280*da668aa1SThomas Huth      * <http://en.wikipedia.org/wiki/Magic_number_%28programming%29>, were
281*da668aa1SThomas Huth      * converted to binary and dissected into bit ranges. Each magic number is
282*da668aa1SThomas Huth      * going to be recomposed using the lists called "i64", "u64" and "u16",
283*da668aa1SThomas Huth      * respectively.
284*da668aa1SThomas Huth      *
285*da668aa1SThomas Huth      * (Note that these types pertain to the individual bit shift counts, not
286*da668aa1SThomas Huth      * the magic numbers themselves; the intent is to exercise opts_type_int()
287*da668aa1SThomas Huth      * and opts_type_uint64().)
288*da668aa1SThomas Huth      *
289*da668aa1SThomas Huth      * The "i64" shift counts have been decreased by 16 (decimal) in order to
290*da668aa1SThomas Huth      * test negative values as well. Finally, the full list of QemuOpt elements
291*da668aa1SThomas Huth      * has been permuted with "shuf".
292*da668aa1SThomas Huth      *
293*da668aa1SThomas Huth      * Both "i64" and "u64" have some (distinct) single-element ranges
294*da668aa1SThomas Huth      * represented as both "a" and "a-a". "u16" is a special case of "i64" (see
295*da668aa1SThomas Huth      * visit_type_uint16()), so it wouldn't add a separate test in this regard.
296*da668aa1SThomas Huth      */
297*da668aa1SThomas Huth 
298*da668aa1SThomas Huth     add_test("/visitor/opts/flatten/value", &test_value,
299*da668aa1SThomas Huth              "i64=-1-0,u64=12-16,u64=2-3,i64=-11--9,u64=57,u16=9,i64=5-5,"
300*da668aa1SThomas Huth              "u16=1-4,u16=20,u64=63-63,i64=-16--13,u64=50-52,i64=14-15,u16=11,"
301*da668aa1SThomas Huth              "i64=7,u16=18,i64=2-3,u16=6,u64=54-55,u64=0,u64=18-20,u64=33-43,"
302*da668aa1SThomas Huth              "i64=9-12,u16=26-27,u64=59-61,u16=13-16,u64=29-31,u64=22-23,"
303*da668aa1SThomas Huth              "u16=24,i64=-7--3");
304*da668aa1SThomas Huth 
305*da668aa1SThomas Huth     add_test("/visitor/opts/i64/val1/errno",    &expect_fail,
306*da668aa1SThomas Huth              "i64=0x8000000000000000");
307*da668aa1SThomas Huth     add_test("/visitor/opts/i64/val1/empty",    &expect_fail, "i64=");
308*da668aa1SThomas Huth     add_test("/visitor/opts/i64/val1/trailing", &expect_fail, "i64=5z");
309*da668aa1SThomas Huth     add_test("/visitor/opts/i64/nonlist",       &expect_fail, "i64x=5-6");
310*da668aa1SThomas Huth     add_test("/visitor/opts/i64/val2/errno",    &expect_fail,
311*da668aa1SThomas Huth              "i64=0x7fffffffffffffff-0x8000000000000000");
312*da668aa1SThomas Huth     add_test("/visitor/opts/i64/val2/empty",    &expect_fail, "i64=5-");
313*da668aa1SThomas Huth     add_test("/visitor/opts/i64/val2/trailing", &expect_fail, "i64=5-6z");
314*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/empty",   &expect_fail, "i64=6-5");
315*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/minval",  &expect_i64_min,
316*da668aa1SThomas Huth              "i64=-0x8000000000000000--0x8000000000000000");
317*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/maxval",  &expect_i64_max,
318*da668aa1SThomas Huth              "i64=0x7fffffffffffffff-0x7fffffffffffffff");
319*da668aa1SThomas Huth 
320*da668aa1SThomas Huth     add_test("/visitor/opts/u64/val1/errno",    &expect_fail, "u64=-1");
321*da668aa1SThomas Huth     add_test("/visitor/opts/u64/val1/empty",    &expect_fail, "u64=");
322*da668aa1SThomas Huth     add_test("/visitor/opts/u64/val1/trailing", &expect_fail, "u64=5z");
323*da668aa1SThomas Huth     add_test("/visitor/opts/u64/nonlist",       &expect_fail, "u64x=5-6");
324*da668aa1SThomas Huth     add_test("/visitor/opts/u64/val2/errno",    &expect_fail,
325*da668aa1SThomas Huth              "u64=0xffffffffffffffff-0x10000000000000000");
326*da668aa1SThomas Huth     add_test("/visitor/opts/u64/val2/empty",    &expect_fail, "u64=5-");
327*da668aa1SThomas Huth     add_test("/visitor/opts/u64/val2/trailing", &expect_fail, "u64=5-6z");
328*da668aa1SThomas Huth     add_test("/visitor/opts/u64/range/empty",   &expect_fail, "u64=6-5");
329*da668aa1SThomas Huth     add_test("/visitor/opts/u64/range/minval",  &expect_zero, "u64=0-0");
330*da668aa1SThomas Huth     add_test("/visitor/opts/u64/range/maxval",  &expect_u64_max,
331*da668aa1SThomas Huth              "u64=0xffffffffffffffff-0xffffffffffffffff");
332*da668aa1SThomas Huth 
333*da668aa1SThomas Huth     /* Test maximum range sizes. The macro value is open-coded here
334*da668aa1SThomas Huth      * *intentionally*; the test case must use concrete values by design. If
335*da668aa1SThomas Huth      * OPTS_VISITOR_RANGE_MAX is changed, the following values need to be
336*da668aa1SThomas Huth      * recalculated as well. The assert and this comment should help with it.
337*da668aa1SThomas Huth      */
338*da668aa1SThomas Huth     g_assert(OPTS_VISITOR_RANGE_MAX == 65536);
339*da668aa1SThomas Huth 
340*da668aa1SThomas Huth     /* The unsigned case is simple, a u64-u64 difference can always be
341*da668aa1SThomas Huth      * represented as a u64.
342*da668aa1SThomas Huth      */
343*da668aa1SThomas Huth     add_test("/visitor/opts/u64/range/max",  &expect_ok,   "u64=0-65535");
344*da668aa1SThomas Huth     add_test("/visitor/opts/u64/range/2big", &expect_fail, "u64=0-65536");
345*da668aa1SThomas Huth 
346*da668aa1SThomas Huth     /* The same cannot be said about an i64-i64 difference. */
347*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/max/pos/a", &expect_ok,
348*da668aa1SThomas Huth              "i64=0x7fffffffffff0000-0x7fffffffffffffff");
349*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/max/pos/b", &expect_ok,
350*da668aa1SThomas Huth              "i64=0x7ffffffffffeffff-0x7ffffffffffffffe");
351*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/2big/pos",  &expect_fail,
352*da668aa1SThomas Huth              "i64=0x7ffffffffffeffff-0x7fffffffffffffff");
353*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/max/neg/a", &expect_ok,
354*da668aa1SThomas Huth              "i64=-0x8000000000000000--0x7fffffffffff0001");
355*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/max/neg/b", &expect_ok,
356*da668aa1SThomas Huth              "i64=-0x7fffffffffffffff--0x7fffffffffff0000");
357*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/2big/neg",  &expect_fail,
358*da668aa1SThomas Huth              "i64=-0x8000000000000000--0x7fffffffffff0000");
359*da668aa1SThomas Huth     add_test("/visitor/opts/i64/range/2big/full", &expect_fail,
360*da668aa1SThomas Huth              "i64=-0x8000000000000000-0x7fffffffffffffff");
361*da668aa1SThomas Huth 
362*da668aa1SThomas Huth     g_test_add_func("/visitor/opts/range/unvisited",
363*da668aa1SThomas Huth                     test_opts_range_unvisited);
364*da668aa1SThomas Huth     g_test_add_func("/visitor/opts/range/beyond",
365*da668aa1SThomas Huth                     test_opts_range_beyond);
366*da668aa1SThomas Huth 
367*da668aa1SThomas Huth     g_test_add_func("/visitor/opts/dict/unvisited", test_opts_dict_unvisited);
368*da668aa1SThomas Huth 
369*da668aa1SThomas Huth     g_test_run();
370*da668aa1SThomas Huth     return 0;
371*da668aa1SThomas Huth }
372