6    uint64_t low;  member
23    printf("before op1 = (%#lx, %#lx)\n", op1.high, op1.low);  in test()
25    printf("before op3 = (%#lx, %#lx)\n", op3.high, op3.low);  in test()
39    printf("after  op1 = (%#lx, %#lx)\n", op1.high, op1.low);  in test()
41    printf("after  op3 = (%#lx, %#lx)\n", op3.high, op3.low);  in test()
50    if (op3.low != op3_before.low || op3.high != op3_before.high) {  in test()
58       if (op1.low != op1_before.low || op1.high != op1_before.high) {  in test()
63       if ((op2 & 0xffffffff) != (op3.low & 0xffffffff)) {  in test()
80           (op1.low  >> 32) != (op1_before.low >> 32)) {  in test()
84       if ((op1.low & 0xffffffff) != (op2 & 0xffffffff)) {  in test()
100    op1.low  = 0x111111118899aabbull;  in main()
103    op3.high = op3.low = 0xdeadbeefdeadbabeull;  in main()
108    op1.low  = 0x0000000000000000ull;  in main()
110    op3.high = op3.low = 0xdeadbeefdeadbabeull;  in main()