14 tbitb $3,[r12]0xa7a(r1,r0)
15 tbitb $3,[r12]0xa7a(r3,r2)
16 tbitb $3,[r12]0xa7a(r4,r3)
17 tbitb $3,[r12]0xa7a(r5,r4)
18 tbitb $3,[r12]0xa7a(r6,r5)
19 tbitb $3,[r12]0xa7a(r7,r6)
20 tbitb $3,[r12]0xa7a(r9,r8)
21 tbitb $3,[r12]0xa7a(r11,r10)
22 tbitb $3,[r13]0xa7a(r1,r0)
23 tbitb $3,[r13]0xa7a(r3,r2)
24 tbitb $3,[r13]0xa7a(r4,r3)
25 tbitb $3,[r13]0xa7a(r5,r4)
26 tbitb $3,[r13]0xa7a(r6,r5)
27 tbitb $3,[r13]0xa7a(r7,r6)
28 tbitb $3,[r13]0xa7a(r9,r8)
29 tbitb $3,[r13]0xa7a(r11,r10)
30 tbitb $5,[r13]0xb7a(r4,r3)
31 tbitb $1,[r12]0x17a(r6,r5)
32 tbitb $1,[r13]0x134(r6,r5)
33 tbitb $3,[r12]0xabcde(r4,r3)
34 tbitb $5,[r13]0xabcd(r4,r3)
35 tbitb $3,[r12]0xabcd(r6,r5)
36 tbitb $3,[r13]0xbcde(r6,r5)
58 tbitb $4,0x1234(r2,r1)
59 tbitb $3,0x1234(r2,r1)
60 tbitb $3,0x12345(r2,r1)
62 tbitb $3,0x12345(r2,r1)