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