Lines Matching refs:high
5 uint64_t high;
23 printf("before op1 = (%#lx, %#lx)\n", op1.high, op1.low);
25 printf("before op3 = (%#lx, %#lx)\n", op3.high, op3.low);
39 printf("after op1 = (%#lx, %#lx)\n", op1.high, op1.low);
41 printf("after op3 = (%#lx, %#lx)\n", op3.high, op3.low);
50 if (op3.low != op3_before.low || op3.high != op3_before.high) {
58 if (op1.low != op1_before.low || op1.high != op1_before.high) {
66 // higher 32 bits of op2 are the lower 32 bits of op3.high
67 if ((op2 >> 32) != (op3.high & 0xffffffff)) {
79 if ((op1.high >> 32) != (op1_before.high >> 32) ||
87 if ((op1.high & 0xffffffff) != (op2 >> 32)) {
88 printf("operand #1 high[32:63] not updated\n");
98 // (op1.high[32:63], op1.low[32:63]) == op2
99 op1.high = 0x0000000044556677ull;
103 op3.high = op3.low = 0xdeadbeefdeadbabeull;
106 // (op1.high[32:63], op1.low[32:63]) != op2
107 op1.high = 0x1000000000000000ull;
110 op3.high = op3.low = 0xdeadbeefdeadbabeull;
