8 uint64_t r1
= 0xffffffffffffffffull
;
9 uint64_t r2
= 0xffffffffffffffffull
;
13 for (i
= 0; i
< 256; i
++) {
22 "1: trt 0(1,%[op1]),0(%[op2])\n"
23 "2: exrl %[op1_len],1b\n"
36 write(1, "bad cc\n", 7);
39 if ((char *)r1
!= &op1
[5]) {
40 write(1, "bad r1\n", 7);
43 if (r2
!= 0xffffffffffffffaaull
) {
44 write(1, "bad r2\n", 7);