Lines Matching defs:op2
16 uint64_t op2 = op2_init;
20 uint64_t op2_before = op2;
24 printf("before op2 = %#lx\n", op2);
35 : "=d" (cc), "+QS" (op1), "+QS" (op2), "+QS" (op3)
40 printf("after op2 = %#lx\n", op2);
62 // lower 32 bits of op2 are the lower 32 bits of op3.low
63 if ((op2 & 0xffffffff) != (op3.low & 0xffffffff)) {
66 // higher 32 bits of op2 are the lower 32 bits of op3.high
67 if ((op2 >> 32) != (op3.high & 0xffffffff)) {
73 // op2 did not change
74 if (op2 != op2_before) {
84 if ((op1.low & 0xffffffff) != (op2 & 0xffffffff)) {
87 if ((op1.high & 0xffffffff) != (op2 >> 32)) {
96 uint64_t op2;
98 // (op1.high[32:63], op1.low[32:63]) == op2
101 op2 = 0x445566778899aabbull;
104 test(op1, op2, op3, 0);
106 // (op1.high[32:63], op1.low[32:63]) != op2
109 op2 = 0x8000000000000001ull;;
111 test(op1, op2, op3, 1);
