| before op1 = (0x11223344556677, 0x8899aabbccddeeff) |
| before op2 = (0x11223344556677, 0x8899aabbccddeeff) |
| before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) |
| after op1 = (0x11223344556677, 0x8899aabbccddeeff) |
| after op2 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) |
| after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) |
| cc = 0 |
| before op1 = (0x8000000000000000, 0) |
| before op2 = (0, 0x1) |
| before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) |
| after op1 = (0, 0x1) |
| after op2 = (0, 0x1) |
| after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) |
| cc = 1 |
| before op1 = (0, 0x1) |
| before op2 = (0x1, 0) |
| before op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) |
| after op1 = (0x1, 0) |
| after op2 = (0x1, 0) |
| after op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) |
| cc = 1 |