tests/test-vmstate.c

   1 /*
   2  *  Test code for VMState
   3  *
   4  *  Copyright (c) 2013 Red Hat Inc.
   5  *
   6  * Permission is hereby granted, free of charge, to any person obtaining a copy
   7  * of this software and associated documentation files (the "Software"), to deal
   8  * in the Software without restriction, including without limitation the rights
   9  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  10  * copies of the Software, and to permit persons to whom the Software is
  11  * furnished to do so, subject to the following conditions:
  12  *
  13  * The above copyright notice and this permission notice shall be included in
  14  * all copies or substantial portions of the Software.
  15  *
  16  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  17  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  18  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
  19  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  20  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  21  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  22  * THE SOFTWARE.
  23  */
  24
  25 #include "qemu/osdep.h"
  26
  27 #include "qemu-common.h"
  28 #include "../migration/migration.h"
  29 #include "migration/vmstate.h"
  30 #include "migration/qemu-file-types.h"
  31 #include "../migration/qemu-file.h"
  32 #include "../migration/qemu-file-channel.h"
  33 #include "../migration/savevm.h"
  34 #include "qemu/coroutine.h"
  35 #include "io/channel-file.h"
  36
  37 static char temp_file[] = "/tmp/vmst.test.XXXXXX";
  38 static int temp_fd;
  39
  40
  41 /* Duplicate temp_fd and seek to the beginning of the file */
  42 static QEMUFile *open_test_file(bool write)
  43 {
  44     int fd = dup(temp_fd);
  45     QIOChannel *ioc;
  46     QEMUFile *f;
  47
  48     lseek(fd, 0, SEEK_SET);
  49     if (write) {
  50         g_assert_cmpint(ftruncate(fd, 0), ==, 0);
  51     }
  52     ioc = QIO_CHANNEL(qio_channel_file_new_fd(fd));
  53     if (write) {
  54         f = qemu_fopen_channel_output(ioc);
  55     } else {
  56         f = qemu_fopen_channel_input(ioc);
  57     }
  58     object_unref(OBJECT(ioc));
  59     return f;
  60 }
  61
  62 #define SUCCESS(val) \
  63     g_assert_cmpint((val), ==, 0)
  64
  65 #define FAILURE(val) \
  66     g_assert_cmpint((val), !=, 0)
  67
  68 static void save_vmstate(const VMStateDescription *desc, void *obj)
  69 {
  70     QEMUFile *f = open_test_file(true);
  71
  72     /* Save file with vmstate */
  73     int ret = vmstate_save_state(f, desc, obj, NULL);
  74     g_assert(!ret);
  75     qemu_put_byte(f, QEMU_VM_EOF);
  76     g_assert(!qemu_file_get_error(f));
  77     qemu_fclose(f);
  78 }
  79
  80 static void save_buffer(const uint8_t *buf, size_t buf_size)
  81 {
  82     QEMUFile *fsave = open_test_file(true);
  83     qemu_put_buffer(fsave, buf, buf_size);
  84     qemu_fclose(fsave);
  85 }
  86
  87 static void compare_vmstate(const uint8_t *wire, size_t size)
  88 {
  89     QEMUFile *f = open_test_file(false);
  90     uint8_t result[size];
  91
  92     /* read back as binary */
  93
  94     g_assert_cmpint(qemu_get_buffer(f, result, sizeof(result)), ==,
  95                     sizeof(result));
  96     g_assert(!qemu_file_get_error(f));
  97
  98     /* Compare that what is on the file is the same that what we
  99        expected to be there */
 100     SUCCESS(memcmp(result, wire, sizeof(result)));
 101
 102     /* Must reach EOF */
 103     qemu_get_byte(f);
 104     g_assert_cmpint(qemu_file_get_error(f), ==, -EIO);
 105
 106     qemu_fclose(f);
 107 }
 108
 109 static int load_vmstate_one(const VMStateDescription *desc, void *obj,
 110                             int version, const uint8_t *wire, size_t size)
 111 {
 112     QEMUFile *f;
 113     int ret;
 114
 115     f = open_test_file(true);
 116     qemu_put_buffer(f, wire, size);
 117     qemu_fclose(f);
 118
 119     f = open_test_file(false);
 120     ret = vmstate_load_state(f, desc, obj, version);
 121     if (ret) {
 122         g_assert(qemu_file_get_error(f));
 123     } else{
 124         g_assert(!qemu_file_get_error(f));
 125     }
 126     qemu_fclose(f);
 127     return ret;
 128 }
 129
 130
 131 static int load_vmstate(const VMStateDescription *desc,
 132                         void *obj, void *obj_clone,
 133                         void (*obj_copy)(void *, void*),
 134                         int version, const uint8_t *wire, size_t size)
 135 {
 136     /* We test with zero size */
 137     obj_copy(obj_clone, obj);
 138     FAILURE(load_vmstate_one(desc, obj, version, wire, 0));
 139
 140     /* Stream ends with QEMU_EOF, so we need at least 3 bytes to be
 141      * able to test in the middle */
 142
 143     if (size > 3) {
 144
 145         /* We test with size - 2. We can't test size - 1 due to EOF tricks */
 146         obj_copy(obj, obj_clone);
 147         FAILURE(load_vmstate_one(desc, obj, version, wire, size - 2));
 148
 149         /* Test with size/2, first half of real state */
 150         obj_copy(obj, obj_clone);
 151         FAILURE(load_vmstate_one(desc, obj, version, wire, size/2));
 152
 153         /* Test with size/2, second half of real state */
 154         obj_copy(obj, obj_clone);
 155         FAILURE(load_vmstate_one(desc, obj, version, wire + (size/2), size/2));
 156
 157     }
 158     obj_copy(obj, obj_clone);
 159     return load_vmstate_one(desc, obj, version, wire, size);
 160 }
 161
 162 /* Test struct that we are going to use for our tests */
 163
 164 typedef struct TestSimple {
 165     bool     b_1,   b_2;
 166     uint8_t  u8_1;
 167     uint16_t u16_1;
 168     uint32_t u32_1;
 169     uint64_t u64_1;
 170     int8_t   i8_1,  i8_2;
 171     int16_t  i16_1, i16_2;
 172     int32_t  i32_1, i32_2;
 173     int64_t  i64_1, i64_2;
 174 } TestSimple;
 175
 176 /* Object instantiation, we are going to use it in more than one test */
 177
 178 TestSimple obj_simple = {
 179     .b_1 = true,
 180     .b_2 = false,
 181     .u8_1 = 130,
 182     .u16_1 = 512,
 183     .u32_1 = 70000,
 184     .u64_1 = 12121212,
 185     .i8_1 = 65,
 186     .i8_2 = -65,
 187     .i16_1 = 512,
 188     .i16_2 = -512,
 189     .i32_1 = 70000,
 190     .i32_2 = -70000,
 191     .i64_1 = 12121212,
 192     .i64_2 = -12121212,
 193 };
 194
 195 /* Description of the values.  If you add a primitive type
 196    you are expected to add a test here */
 197
 198 static const VMStateDescription vmstate_simple_primitive = {
 199     .name = "simple/primitive",
 200     .version_id = 1,
 201     .minimum_version_id = 1,
 202     .fields = (VMStateField[]) {
 203         VMSTATE_BOOL(b_1, TestSimple),
 204         VMSTATE_BOOL(b_2, TestSimple),
 205         VMSTATE_UINT8(u8_1, TestSimple),
 206         VMSTATE_UINT16(u16_1, TestSimple),
 207         VMSTATE_UINT32(u32_1, TestSimple),
 208         VMSTATE_UINT64(u64_1, TestSimple),
 209         VMSTATE_INT8(i8_1, TestSimple),
 210         VMSTATE_INT8(i8_2, TestSimple),
 211         VMSTATE_INT16(i16_1, TestSimple),
 212         VMSTATE_INT16(i16_2, TestSimple),
 213         VMSTATE_INT32(i32_1, TestSimple),
 214         VMSTATE_INT32(i32_2, TestSimple),
 215         VMSTATE_INT64(i64_1, TestSimple),
 216         VMSTATE_INT64(i64_2, TestSimple),
 217         VMSTATE_END_OF_LIST()
 218     }
 219 };
 220
 221 /* It describes what goes through the wire.  Our tests are basically:
 222
 223    * save test
 224      - save a struct a vmstate to a file
 225      - read that file back (binary read, no vmstate)
 226      - compare it with what we expect to be on the wire
 227    * load test
 228      - save to the file what we expect to be on the wire
 229      - read struct back with vmstate in a different
 230      - compare back with the original struct
 231 */
 232
 233 uint8_t wire_simple_primitive[] = {
 234     /* b_1 */   0x01,
 235     /* b_2 */   0x00,
 236     /* u8_1 */  0x82,
 237     /* u16_1 */ 0x02, 0x00,
 238     /* u32_1 */ 0x00, 0x01, 0x11, 0x70,
 239     /* u64_1 */ 0x00, 0x00, 0x00, 0x00, 0x00, 0xb8, 0xf4, 0x7c,
 240     /* i8_1 */  0x41,
 241     /* i8_2 */  0xbf,
 242     /* i16_1 */ 0x02, 0x00,
 243     /* i16_2 */ 0xfe, 0x0,
 244     /* i32_1 */ 0x00, 0x01, 0x11, 0x70,
 245     /* i32_2 */ 0xff, 0xfe, 0xee, 0x90,
 246     /* i64_1 */ 0x00, 0x00, 0x00, 0x00, 0x00, 0xb8, 0xf4, 0x7c,
 247     /* i64_2 */ 0xff, 0xff, 0xff, 0xff, 0xff, 0x47, 0x0b, 0x84,
 248     QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 249 };
 250
 251 static void obj_simple_copy(void *target, void *source)
 252 {
 253     memcpy(target, source, sizeof(TestSimple));
 254 }
 255
 256 static void test_simple_primitive(void)
 257 {
 258     TestSimple obj, obj_clone;
 259
 260     memset(&obj, 0, sizeof(obj));
 261     save_vmstate(&vmstate_simple_primitive, &obj_simple);
 262
 263     compare_vmstate(wire_simple_primitive, sizeof(wire_simple_primitive));
 264
 265     SUCCESS(load_vmstate(&vmstate_simple_primitive, &obj, &obj_clone,
 266                          obj_simple_copy, 1, wire_simple_primitive,
 267                          sizeof(wire_simple_primitive)));
 268
 269 #define FIELD_EQUAL(name)   g_assert_cmpint(obj.name, ==, obj_simple.name)
 270
 271     FIELD_EQUAL(b_1);
 272     FIELD_EQUAL(b_2);
 273     FIELD_EQUAL(u8_1);
 274     FIELD_EQUAL(u16_1);
 275     FIELD_EQUAL(u32_1);
 276     FIELD_EQUAL(u64_1);
 277     FIELD_EQUAL(i8_1);
 278     FIELD_EQUAL(i8_2);
 279     FIELD_EQUAL(i16_1);
 280     FIELD_EQUAL(i16_2);
 281     FIELD_EQUAL(i32_1);
 282     FIELD_EQUAL(i32_2);
 283     FIELD_EQUAL(i64_1);
 284     FIELD_EQUAL(i64_2);
 285 }
 286
 287 typedef struct TestSimpleArray {
 288     uint16_t u16_1[3];
 289 } TestSimpleArray;
 290
 291 /* Object instantiation, we are going to use it in more than one test */
 292
 293 TestSimpleArray obj_simple_arr = {
 294     .u16_1 = { 0x42, 0x43, 0x44 },
 295 };
 296
 297 /* Description of the values.  If you add a primitive type
 298    you are expected to add a test here */
 299
 300 static const VMStateDescription vmstate_simple_arr = {
 301     .name = "simple/array",
 302     .version_id = 1,
 303     .minimum_version_id = 1,
 304     .fields = (VMStateField[]) {
 305         VMSTATE_UINT16_ARRAY(u16_1, TestSimpleArray, 3),
 306         VMSTATE_END_OF_LIST()
 307     }
 308 };
 309
 310 uint8_t wire_simple_arr[] = {
 311     /* u16_1 */ 0x00, 0x42,
 312     /* u16_1 */ 0x00, 0x43,
 313     /* u16_1 */ 0x00, 0x44,
 314     QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 315 };
 316
 317 static void obj_simple_arr_copy(void *target, void *source)
 318 {
 319     memcpy(target, source, sizeof(TestSimpleArray));
 320 }
 321
 322 static void test_simple_array(void)
 323 {
 324     TestSimpleArray obj, obj_clone;
 325
 326     memset(&obj, 0, sizeof(obj));
 327     save_vmstate(&vmstate_simple_arr, &obj_simple_arr);
 328
 329     compare_vmstate(wire_simple_arr, sizeof(wire_simple_arr));
 330
 331     SUCCESS(load_vmstate(&vmstate_simple_arr, &obj, &obj_clone,
 332                          obj_simple_arr_copy, 1, wire_simple_arr,
 333                          sizeof(wire_simple_arr)));
 334 }
 335
 336 typedef struct TestStruct {
 337     uint32_t a, b, c, e;
 338     uint64_t d, f;
 339     bool skip_c_e;
 340 } TestStruct;
 341
 342 static const VMStateDescription vmstate_versioned = {
 343     .name = "test/versioned",
 344     .version_id = 2,
 345     .minimum_version_id = 1,
 346     .fields = (VMStateField[]) {
 347         VMSTATE_UINT32(a, TestStruct),
 348         VMSTATE_UINT32_V(b, TestStruct, 2), /* Versioned field in the middle, so
 349                                              * we catch bugs more easily.
 350                                              */
 351         VMSTATE_UINT32(c, TestStruct),
 352         VMSTATE_UINT64(d, TestStruct),
 353         VMSTATE_UINT32_V(e, TestStruct, 2),
 354         VMSTATE_UINT64_V(f, TestStruct, 2),
 355         VMSTATE_END_OF_LIST()
 356     }
 357 };
 358
 359 static void test_load_v1(void)
 360 {
 361     uint8_t buf[] = {
 362         0, 0, 0, 10,             /* a */
 363         0, 0, 0, 30,             /* c */
 364         0, 0, 0, 0, 0, 0, 0, 40, /* d */
 365         QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 366     };
 367     save_buffer(buf, sizeof(buf));
 368
 369     QEMUFile *loading = open_test_file(false);
 370     TestStruct obj = { .b = 200, .e = 500, .f = 600 };
 371     vmstate_load_state(loading, &vmstate_versioned, &obj, 1);
 372     g_assert(!qemu_file_get_error(loading));
 373     g_assert_cmpint(obj.a, ==, 10);
 374     g_assert_cmpint(obj.b, ==, 200);
 375     g_assert_cmpint(obj.c, ==, 30);
 376     g_assert_cmpint(obj.d, ==, 40);
 377     g_assert_cmpint(obj.e, ==, 500);
 378     g_assert_cmpint(obj.f, ==, 600);
 379     qemu_fclose(loading);
 380 }
 381
 382 static void test_load_v2(void)
 383 {
 384     uint8_t buf[] = {
 385         0, 0, 0, 10,             /* a */
 386         0, 0, 0, 20,             /* b */
 387         0, 0, 0, 30,             /* c */
 388         0, 0, 0, 0, 0, 0, 0, 40, /* d */
 389         0, 0, 0, 50,             /* e */
 390         0, 0, 0, 0, 0, 0, 0, 60, /* f */
 391         QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 392     };
 393     save_buffer(buf, sizeof(buf));
 394
 395     QEMUFile *loading = open_test_file(false);
 396     TestStruct obj;
 397     vmstate_load_state(loading, &vmstate_versioned, &obj, 2);
 398     g_assert_cmpint(obj.a, ==, 10);
 399     g_assert_cmpint(obj.b, ==, 20);
 400     g_assert_cmpint(obj.c, ==, 30);
 401     g_assert_cmpint(obj.d, ==, 40);
 402     g_assert_cmpint(obj.e, ==, 50);
 403     g_assert_cmpint(obj.f, ==, 60);
 404     qemu_fclose(loading);
 405 }
 406
 407 static bool test_skip(void *opaque, int version_id)
 408 {
 409     TestStruct *t = (TestStruct *)opaque;
 410     return !t->skip_c_e;
 411 }
 412
 413 static const VMStateDescription vmstate_skipping = {
 414     .name = "test/skip",
 415     .version_id = 2,
 416     .minimum_version_id = 1,
 417     .fields = (VMStateField[]) {
 418         VMSTATE_UINT32(a, TestStruct),
 419         VMSTATE_UINT32(b, TestStruct),
 420         VMSTATE_UINT32_TEST(c, TestStruct, test_skip),
 421         VMSTATE_UINT64(d, TestStruct),
 422         VMSTATE_UINT32_TEST(e, TestStruct, test_skip),
 423         VMSTATE_UINT64_V(f, TestStruct, 2),
 424         VMSTATE_END_OF_LIST()
 425     }
 426 };
 427
 428
 429 static void test_save_noskip(void)
 430 {
 431     QEMUFile *fsave = open_test_file(true);
 432     TestStruct obj = { .a = 1, .b = 2, .c = 3, .d = 4, .e = 5, .f = 6,
 433                        .skip_c_e = false };
 434     int ret = vmstate_save_state(fsave, &vmstate_skipping, &obj, NULL);
 435     g_assert(!ret);
 436     g_assert(!qemu_file_get_error(fsave));
 437
 438     uint8_t expected[] = {
 439         0, 0, 0, 1,             /* a */
 440         0, 0, 0, 2,             /* b */
 441         0, 0, 0, 3,             /* c */
 442         0, 0, 0, 0, 0, 0, 0, 4, /* d */
 443         0, 0, 0, 5,             /* e */
 444         0, 0, 0, 0, 0, 0, 0, 6, /* f */
 445     };
 446
 447     qemu_fclose(fsave);
 448     compare_vmstate(expected, sizeof(expected));
 449 }
 450
 451 static void test_save_skip(void)
 452 {
 453     QEMUFile *fsave = open_test_file(true);
 454     TestStruct obj = { .a = 1, .b = 2, .c = 3, .d = 4, .e = 5, .f = 6,
 455                        .skip_c_e = true };
 456     int ret = vmstate_save_state(fsave, &vmstate_skipping, &obj, NULL);
 457     g_assert(!ret);
 458     g_assert(!qemu_file_get_error(fsave));
 459
 460     uint8_t expected[] = {
 461         0, 0, 0, 1,             /* a */
 462         0, 0, 0, 2,             /* b */
 463         0, 0, 0, 0, 0, 0, 0, 4, /* d */
 464         0, 0, 0, 0, 0, 0, 0, 6, /* f */
 465     };
 466
 467     qemu_fclose(fsave);
 468     compare_vmstate(expected, sizeof(expected));
 469 }
 470
 471 static void test_load_noskip(void)
 472 {
 473     uint8_t buf[] = {
 474         0, 0, 0, 10,             /* a */
 475         0, 0, 0, 20,             /* b */
 476         0, 0, 0, 30,             /* c */
 477         0, 0, 0, 0, 0, 0, 0, 40, /* d */
 478         0, 0, 0, 50,             /* e */
 479         0, 0, 0, 0, 0, 0, 0, 60, /* f */
 480         QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 481     };
 482     save_buffer(buf, sizeof(buf));
 483
 484     QEMUFile *loading = open_test_file(false);
 485     TestStruct obj = { .skip_c_e = false };
 486     vmstate_load_state(loading, &vmstate_skipping, &obj, 2);
 487     g_assert(!qemu_file_get_error(loading));
 488     g_assert_cmpint(obj.a, ==, 10);
 489     g_assert_cmpint(obj.b, ==, 20);
 490     g_assert_cmpint(obj.c, ==, 30);
 491     g_assert_cmpint(obj.d, ==, 40);
 492     g_assert_cmpint(obj.e, ==, 50);
 493     g_assert_cmpint(obj.f, ==, 60);
 494     qemu_fclose(loading);
 495 }
 496
 497 static void test_load_skip(void)
 498 {
 499     uint8_t buf[] = {
 500         0, 0, 0, 10,             /* a */
 501         0, 0, 0, 20,             /* b */
 502         0, 0, 0, 0, 0, 0, 0, 40, /* d */
 503         0, 0, 0, 0, 0, 0, 0, 60, /* f */
 504         QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 505     };
 506     save_buffer(buf, sizeof(buf));
 507
 508     QEMUFile *loading = open_test_file(false);
 509     TestStruct obj = { .skip_c_e = true, .c = 300, .e = 500 };
 510     vmstate_load_state(loading, &vmstate_skipping, &obj, 2);
 511     g_assert(!qemu_file_get_error(loading));
 512     g_assert_cmpint(obj.a, ==, 10);
 513     g_assert_cmpint(obj.b, ==, 20);
 514     g_assert_cmpint(obj.c, ==, 300);
 515     g_assert_cmpint(obj.d, ==, 40);
 516     g_assert_cmpint(obj.e, ==, 500);
 517     g_assert_cmpint(obj.f, ==, 60);
 518     qemu_fclose(loading);
 519 }
 520
 521 typedef struct {
 522     int32_t i;
 523 } TestStructTriv;
 524
 525 const VMStateDescription vmsd_tst = {
 526     .name = "test/tst",
 527     .version_id = 1,
 528     .minimum_version_id = 1,
 529     .fields = (VMStateField[]) {
 530         VMSTATE_INT32(i, TestStructTriv),
 531         VMSTATE_END_OF_LIST()
 532     }
 533 };
 534
 535 /* test array migration */
 536
 537 #define AR_SIZE 4
 538
 539 typedef struct {
 540     TestStructTriv *ar[AR_SIZE];
 541 } TestArrayOfPtrToStuct;
 542
 543 const VMStateDescription vmsd_arps = {
 544     .name = "test/arps",
 545     .version_id = 1,
 546     .minimum_version_id = 1,
 547     .fields = (VMStateField[]) {
 548         VMSTATE_ARRAY_OF_POINTER_TO_STRUCT(ar, TestArrayOfPtrToStuct,
 549                 AR_SIZE, 0, vmsd_tst, TestStructTriv),
 550         VMSTATE_END_OF_LIST()
 551     }
 552 };
 553
 554 static uint8_t wire_arr_ptr_no0[] = {
 555     0x00, 0x00, 0x00, 0x00,
 556     0x00, 0x00, 0x00, 0x01,
 557     0x00, 0x00, 0x00, 0x02,
 558     0x00, 0x00, 0x00, 0x03,
 559     QEMU_VM_EOF
 560 };
 561
 562 static void test_arr_ptr_str_no0_save(void)
 563 {
 564     TestStructTriv ar[AR_SIZE] = {{.i = 0}, {.i = 1}, {.i = 2}, {.i = 3} };
 565     TestArrayOfPtrToStuct sample = {.ar = {&ar[0], &ar[1], &ar[2], &ar[3]} };
 566
 567     save_vmstate(&vmsd_arps, &sample);
 568     compare_vmstate(wire_arr_ptr_no0, sizeof(wire_arr_ptr_no0));
 569 }
 570
 571 static void test_arr_ptr_str_no0_load(void)
 572 {
 573     TestStructTriv ar_gt[AR_SIZE] = {{.i = 0}, {.i = 1}, {.i = 2}, {.i = 3} };
 574     TestStructTriv ar[AR_SIZE] = {};
 575     TestArrayOfPtrToStuct obj = {.ar = {&ar[0], &ar[1], &ar[2], &ar[3]} };
 576     int idx;
 577
 578     save_buffer(wire_arr_ptr_no0, sizeof(wire_arr_ptr_no0));
 579     SUCCESS(load_vmstate_one(&vmsd_arps, &obj, 1,
 580                           wire_arr_ptr_no0, sizeof(wire_arr_ptr_no0)));
 581     for (idx = 0; idx < AR_SIZE; ++idx) {
 582         /* compare the target array ar with the ground truth array ar_gt */
 583         g_assert_cmpint(ar_gt[idx].i, ==, ar[idx].i);
 584     }
 585 }
 586
 587 static uint8_t wire_arr_ptr_0[] = {
 588     0x00, 0x00, 0x00, 0x00,
 589     VMS_NULLPTR_MARKER,
 590     0x00, 0x00, 0x00, 0x02,
 591     0x00, 0x00, 0x00, 0x03,
 592     QEMU_VM_EOF
 593 };
 594
 595 static void test_arr_ptr_str_0_save(void)
 596 {
 597     TestStructTriv ar[AR_SIZE] = {{.i = 0}, {.i = 1}, {.i = 2}, {.i = 3} };
 598     TestArrayOfPtrToStuct sample = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} };
 599
 600     save_vmstate(&vmsd_arps, &sample);
 601     compare_vmstate(wire_arr_ptr_0, sizeof(wire_arr_ptr_0));
 602 }
 603
 604 static void test_arr_ptr_str_0_load(void)
 605 {
 606     TestStructTriv ar_gt[AR_SIZE] = {{.i = 0}, {.i = 0}, {.i = 2}, {.i = 3} };
 607     TestStructTriv ar[AR_SIZE] = {};
 608     TestArrayOfPtrToStuct obj = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} };
 609     int idx;
 610
 611     save_buffer(wire_arr_ptr_0, sizeof(wire_arr_ptr_0));
 612     SUCCESS(load_vmstate_one(&vmsd_arps, &obj, 1,
 613                           wire_arr_ptr_0, sizeof(wire_arr_ptr_0)));
 614     for (idx = 0; idx < AR_SIZE; ++idx) {
 615         /* compare the target array ar with the ground truth array ar_gt */
 616         g_assert_cmpint(ar_gt[idx].i, ==, ar[idx].i);
 617     }
 618     for (idx = 0; idx < AR_SIZE; ++idx) {
 619         if (idx == 1) {
 620             g_assert_cmpint((uintptr_t)(obj.ar[idx]), ==, 0);
 621         } else {
 622             g_assert_cmpint((uintptr_t)(obj.ar[idx]), !=, 0);
 623         }
 624     }
 625 }
 626
 627 typedef struct TestArrayOfPtrToInt {
 628     int32_t *ar[AR_SIZE];
 629 } TestArrayOfPtrToInt;
 630
 631 const VMStateDescription vmsd_arpp = {
 632     .name = "test/arps",
 633     .version_id = 1,
 634     .minimum_version_id = 1,
 635     .fields = (VMStateField[]) {
 636         VMSTATE_ARRAY_OF_POINTER(ar, TestArrayOfPtrToInt,
 637                 AR_SIZE, 0, vmstate_info_int32, int32_t*),
 638         VMSTATE_END_OF_LIST()
 639     }
 640 };
 641
 642 static void test_arr_ptr_prim_0_save(void)
 643 {
 644     int32_t ar[AR_SIZE] = {0 , 1, 2, 3};
 645     TestArrayOfPtrToInt  sample = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} };
 646
 647     save_vmstate(&vmsd_arpp, &sample);
 648     compare_vmstate(wire_arr_ptr_0, sizeof(wire_arr_ptr_0));
 649 }
 650
 651 static void test_arr_ptr_prim_0_load(void)
 652 {
 653     int32_t ar_gt[AR_SIZE] = {0, 1, 2, 3};
 654     int32_t ar[AR_SIZE] = {3 , 42, 1, 0};
 655     TestArrayOfPtrToInt obj = {.ar = {&ar[0], NULL, &ar[2], &ar[3]} };
 656     int idx;
 657
 658     save_buffer(wire_arr_ptr_0, sizeof(wire_arr_ptr_0));
 659     SUCCESS(load_vmstate_one(&vmsd_arpp, &obj, 1,
 660                           wire_arr_ptr_0, sizeof(wire_arr_ptr_0)));
 661     for (idx = 0; idx < AR_SIZE; ++idx) {
 662         /* compare the target array ar with the ground truth array ar_gt */
 663         if (idx == 1) {
 664             g_assert_cmpint(42, ==, ar[idx]);
 665         } else {
 666             g_assert_cmpint(ar_gt[idx], ==, ar[idx]);
 667         }
 668     }
 669 }
 670
 671 /* test QTAILQ migration */
 672 typedef struct TestQtailqElement TestQtailqElement;
 673
 674 struct TestQtailqElement {
 675     bool     b;
 676     uint8_t  u8;
 677     QTAILQ_ENTRY(TestQtailqElement) next;
 678 };
 679
 680 typedef struct TestQtailq {
 681     int16_t  i16;
 682     QTAILQ_HEAD(, TestQtailqElement) q;
 683     int32_t  i32;
 684 } TestQtailq;
 685
 686 static const VMStateDescription vmstate_q_element = {
 687     .name = "test/queue-element",
 688     .version_id = 1,
 689     .minimum_version_id = 1,
 690     .fields = (VMStateField[]) {
 691         VMSTATE_BOOL(b, TestQtailqElement),
 692         VMSTATE_UINT8(u8, TestQtailqElement),
 693         VMSTATE_END_OF_LIST()
 694     },
 695 };
 696
 697 static const VMStateDescription vmstate_q = {
 698     .name = "test/queue",
 699     .version_id = 1,
 700     .minimum_version_id = 1,
 701     .fields = (VMStateField[]) {
 702         VMSTATE_INT16(i16, TestQtailq),
 703         VMSTATE_QTAILQ_V(q, TestQtailq, 1, vmstate_q_element, TestQtailqElement,
 704                          next),
 705         VMSTATE_INT32(i32, TestQtailq),
 706         VMSTATE_END_OF_LIST()
 707     }
 708 };
 709
 710 uint8_t wire_q[] = {
 711     /* i16 */                     0xfe, 0x0,
 712     /* start of element 0 of q */ 0x01,
 713     /* .b  */                     0x01,
 714     /* .u8 */                     0x82,
 715     /* start of element 1 of q */ 0x01,
 716     /* b */                       0x00,
 717     /* u8 */                      0x41,
 718     /* end of q */                0x00,
 719     /* i32 */                     0x00, 0x01, 0x11, 0x70,
 720     QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 721 };
 722
 723 static void test_save_q(void)
 724 {
 725     TestQtailq obj_q = {
 726         .i16 = -512,
 727         .i32 = 70000,
 728     };
 729
 730     TestQtailqElement obj_qe1 = {
 731         .b = true,
 732         .u8 = 130,
 733     };
 734
 735     TestQtailqElement obj_qe2 = {
 736         .b = false,
 737         .u8 = 65,
 738     };
 739
 740     QTAILQ_INIT(&obj_q.q);
 741     QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe1, next);
 742     QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe2, next);
 743
 744     save_vmstate(&vmstate_q, &obj_q);
 745     compare_vmstate(wire_q, sizeof(wire_q));
 746 }
 747
 748 static void test_load_q(void)
 749 {
 750     TestQtailq obj_q = {
 751         .i16 = -512,
 752         .i32 = 70000,
 753     };
 754
 755     TestQtailqElement obj_qe1 = {
 756         .b = true,
 757         .u8 = 130,
 758     };
 759
 760     TestQtailqElement obj_qe2 = {
 761         .b = false,
 762         .u8 = 65,
 763     };
 764
 765     QTAILQ_INIT(&obj_q.q);
 766     QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe1, next);
 767     QTAILQ_INSERT_TAIL(&obj_q.q, &obj_qe2, next);
 768
 769     QEMUFile *fsave = open_test_file(true);
 770
 771     qemu_put_buffer(fsave, wire_q, sizeof(wire_q));
 772     g_assert(!qemu_file_get_error(fsave));
 773     qemu_fclose(fsave);
 774
 775     QEMUFile *fload = open_test_file(false);
 776     TestQtailq tgt;
 777
 778     QTAILQ_INIT(&tgt.q);
 779     vmstate_load_state(fload, &vmstate_q, &tgt, 1);
 780     char eof = qemu_get_byte(fload);
 781     g_assert(!qemu_file_get_error(fload));
 782     g_assert_cmpint(tgt.i16, ==, obj_q.i16);
 783     g_assert_cmpint(tgt.i32, ==, obj_q.i32);
 784     g_assert_cmpint(eof, ==, QEMU_VM_EOF);
 785
 786     TestQtailqElement *qele_from = QTAILQ_FIRST(&obj_q.q);
 787     TestQtailqElement *qlast_from = QTAILQ_LAST(&obj_q.q);
 788     TestQtailqElement *qele_to = QTAILQ_FIRST(&tgt.q);
 789     TestQtailqElement *qlast_to = QTAILQ_LAST(&tgt.q);
 790
 791     while (1) {
 792         g_assert_cmpint(qele_to->b, ==, qele_from->b);
 793         g_assert_cmpint(qele_to->u8, ==, qele_from->u8);
 794         if ((qele_from == qlast_from) || (qele_to == qlast_to)) {
 795             break;
 796         }
 797         qele_from = QTAILQ_NEXT(qele_from, next);
 798         qele_to = QTAILQ_NEXT(qele_to, next);
 799     }
 800
 801     g_assert_cmpint((uintptr_t) qele_from, ==, (uintptr_t) qlast_from);
 802     g_assert_cmpint((uintptr_t) qele_to, ==, (uintptr_t) qlast_to);
 803
 804     /* clean up */
 805     TestQtailqElement *qele;
 806     while (!QTAILQ_EMPTY(&tgt.q)) {
 807         qele = QTAILQ_LAST(&tgt.q);
 808         QTAILQ_REMOVE(&tgt.q, qele, next);
 809         free(qele);
 810         qele = NULL;
 811     }
 812     qemu_fclose(fload);
 813 }
 814
 815 typedef struct TmpTestStruct {
 816     TestStruct *parent;
 817     int64_t diff;
 818 } TmpTestStruct;
 819
 820 static int tmp_child_pre_save(void *opaque)
 821 {
 822     struct TmpTestStruct *tts = opaque;
 823
 824     tts->diff = tts->parent->b - tts->parent->a;
 825
 826     return 0;
 827 }
 828
 829 static int tmp_child_post_load(void *opaque, int version_id)
 830 {
 831     struct TmpTestStruct *tts = opaque;
 832
 833     tts->parent->b = tts->parent->a + tts->diff;
 834
 835     return 0;
 836 }
 837
 838 static const VMStateDescription vmstate_tmp_back_to_parent = {
 839     .name = "test/tmp_child_parent",
 840     .fields = (VMStateField[]) {
 841         VMSTATE_UINT64(f, TestStruct),
 842         VMSTATE_END_OF_LIST()
 843     }
 844 };
 845
 846 static const VMStateDescription vmstate_tmp_child = {
 847     .name = "test/tmp_child",
 848     .pre_save = tmp_child_pre_save,
 849     .post_load = tmp_child_post_load,
 850     .fields = (VMStateField[]) {
 851         VMSTATE_INT64(diff, TmpTestStruct),
 852         VMSTATE_STRUCT_POINTER(parent, TmpTestStruct,
 853                                vmstate_tmp_back_to_parent, TestStruct),
 854         VMSTATE_END_OF_LIST()
 855     }
 856 };
 857
 858 static const VMStateDescription vmstate_with_tmp = {
 859     .name = "test/with_tmp",
 860     .version_id = 1,
 861     .fields = (VMStateField[]) {
 862         VMSTATE_UINT32(a, TestStruct),
 863         VMSTATE_UINT64(d, TestStruct),
 864         VMSTATE_WITH_TMP(TestStruct, TmpTestStruct, vmstate_tmp_child),
 865         VMSTATE_END_OF_LIST()
 866     }
 867 };
 868
 869 static void obj_tmp_copy(void *target, void *source)
 870 {
 871     memcpy(target, source, sizeof(TestStruct));
 872 }
 873
 874 static void test_tmp_struct(void)
 875 {
 876     TestStruct obj, obj_clone;
 877
 878     uint8_t const wire_with_tmp[] = {
 879         /* u32 a */ 0x00, 0x00, 0x00, 0x02,
 880         /* u64 d */ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01,
 881         /* diff  */ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x02,
 882         /* u64 f */ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08,
 883         QEMU_VM_EOF, /* just to ensure we won't get EOF reported prematurely */
 884     };
 885
 886     memset(&obj, 0, sizeof(obj));
 887     obj.a = 2;
 888     obj.b = 4;
 889     obj.d = 1;
 890     obj.f = 8;
 891     save_vmstate(&vmstate_with_tmp, &obj);
 892
 893     compare_vmstate(wire_with_tmp, sizeof(wire_with_tmp));
 894
 895     memset(&obj, 0, sizeof(obj));
 896     SUCCESS(load_vmstate(&vmstate_with_tmp, &obj, &obj_clone,
 897                          obj_tmp_copy, 1, wire_with_tmp,
 898                          sizeof(wire_with_tmp)));
 899     g_assert_cmpint(obj.a, ==, 2); /* From top level vmsd */
 900     g_assert_cmpint(obj.b, ==, 4); /* from the post_load */
 901     g_assert_cmpint(obj.d, ==, 1); /* From top level vmsd */
 902     g_assert_cmpint(obj.f, ==, 8); /* From the child->parent */
 903 }
 904
 905 int main(int argc, char **argv)
 906 {
 907     temp_fd = mkstemp(temp_file);
 908
 909     module_call_init(MODULE_INIT_QOM);
 910
 911     setenv("QTEST_SILENT_ERRORS", "1", 1);
 912
 913     g_test_init(&argc, &argv, NULL);
 914     g_test_add_func("/vmstate/simple/primitive", test_simple_primitive);
 915     g_test_add_func("/vmstate/simple/array", test_simple_array);
 916     g_test_add_func("/vmstate/versioned/load/v1", test_load_v1);
 917     g_test_add_func("/vmstate/versioned/load/v2", test_load_v2);
 918     g_test_add_func("/vmstate/field_exists/load/noskip", test_load_noskip);
 919     g_test_add_func("/vmstate/field_exists/load/skip", test_load_skip);
 920     g_test_add_func("/vmstate/field_exists/save/noskip", test_save_noskip);
 921     g_test_add_func("/vmstate/field_exists/save/skip", test_save_skip);
 922     g_test_add_func("/vmstate/array/ptr/str/no0/save",
 923                     test_arr_ptr_str_no0_save);
 924     g_test_add_func("/vmstate/array/ptr/str/no0/load",
 925                     test_arr_ptr_str_no0_load);
 926     g_test_add_func("/vmstate/array/ptr/str/0/save", test_arr_ptr_str_0_save);
 927     g_test_add_func("/vmstate/array/ptr/str/0/load",
 928                     test_arr_ptr_str_0_load);
 929     g_test_add_func("/vmstate/array/ptr/prim/0/save",
 930                     test_arr_ptr_prim_0_save);
 931     g_test_add_func("/vmstate/array/ptr/prim/0/load",
 932                     test_arr_ptr_prim_0_load);
 933     g_test_add_func("/vmstate/qtailq/save/saveq", test_save_q);
 934     g_test_add_func("/vmstate/qtailq/load/loadq", test_load_q);
 935     g_test_add_func("/vmstate/tmp_struct", test_tmp_struct);
 936     g_test_run();
 937
 938     close(temp_fd);
 939     unlink(temp_file);
 940
 941     return 0;
 942 }