        .text
        .global main
main:
	tbitw $4,0xbcd
	tbitw $5,0xaabcd
	tbitw $3,0xfaabcd
	tbitw $10,0xbcd
	tbitw $15,0xaabcd
	tbitw $14,0xfaabcd

	tbitw $5,[r12]0x14
	tbitw $4,[r13]0xabfc
	tbitw $3,[r12]0x1234
	tbitw $3,[r13]0x1234
	tbitw $3,[r12]0x34
	tbitw $15,[r12]0x14
	tbitw $14,[r13]0xabfc
	tbitw $13,[r12]0x1234
	tbitw $13,[r13]0x1234
	tbitw $11,[r12]0x34

	tbitw $3,[r12]0xa7a(r1,r0)
	tbitw $3,[r12]0xa7a(r3,r2)
	tbitw $3,[r12]0xa7a(r4,r3)
	tbitw $3,[r12]0xa7a(r5,r4)
	tbitw $3,[r12]0xa7a(r6,r5)
	tbitw $3,[r12]0xa7a(r7,r6)
	tbitw $3,[r12]0xa7a(r9,r8)
	tbitw $3,[r12]0xa7a(r11,r10)
	tbitw $3,[r13]0xa7a(r1,r0)
	tbitw $3,[r13]0xa7a(r3,r2)
	tbitw $3,[r13]0xa7a(r4,r3)
	tbitw $3,[r13]0xa7a(r5,r4)
	tbitw $3,[r13]0xa7a(r6,r5)
	tbitw $3,[r13]0xa7a(r7,r6)
	tbitw $3,[r13]0xa7a(r9,r8)
	tbitw $3,[r13]0xa7a(r11,r10)
	tbitw $5,[r13]0xb7a(r4,r3)
	tbitw $1,[r12]0x17a(r6,r5)
	tbitw $1,[r13]0x134(r6,r5)
	tbitw $3,[r12]0xabcde(r4,r3)
	tbitw $5,[r13]0xabcd(r4,r3)
	tbitw $3,[r12]0xabcd(r6,r5)
	tbitw $3,[r13]0xbcde(r6,r5)
	tbitw $13,[r12]0xa7a(r1,r0)
	tbitw $13,[r12]0xa7a(r3,r2)
	tbitw $13,[r12]0xa7a(r4,r3)
	tbitw $13,[r12]0xa7a(r5,r4)
	tbitw $13,[r12]0xa7a(r6,r5)
	tbitw $13,[r12]0xa7a(r7,r6)
	tbitw $13,[r12]0xa7a(r9,r8)
	tbitw $13,[r12]0xa7a(r11,r10)
	tbitw $13,[r13]0xa7a(r1,r0)
	tbitw $13,[r13]0xa7a(r3,r2)
	tbitw $13,[r13]0xa7a(r4,r3)
	tbitw $13,[r13]0xa7a(r5,r4)
	tbitw $13,[r13]0xa7a(r6,r5)
	tbitw $13,[r13]0xa7a(r7,r6)
	tbitw $13,[r13]0xa7a(r9,r8)
	tbitw $13,[r13]0xa7a(r11,r10)
	tbitw $15,[r13]0xb7a(r4,r3)
	tbitw $11,[r12]0x17a(r6,r5)
	tbitw $11,[r13]0x134(r6,r5)
	tbitw $13,[r12]0xabcde(r4,r3)
	tbitw $15,[r13]0xabcd(r4,r3)
	tbitw $13,[r12]0xabcd(r6,r5)
	tbitw $13,[r13]0xbcde(r6,r5)

	tbitw $5,0x0(r2)
	tbitw $3,0x34(r12)
	tbitw $3,0xab(r13)
	tbitw $5,0xad(r1)
	tbitw $5,0xcd(r2)
	tbitw $5,0xfff(r0)
	tbitw $3,0xbcd(r4)
	tbitw $3,0xfff(r12)
	tbitw $3,0xfff(r13)
	tbitw $3,0xffff(r13)
	tbitw $3,0x2343(r12)
	tbitw $3,0x12345(r2)
	tbitw $3,0x4abcd(r8)
	tbitw $3,0xfabcd(r13)
	tbitw $3,0xfabcd(r8)
	tbitw $3,0xfabcd(r9)
	tbitw $3,0x4abcd(r9)
	tbitw $15,0x0(r2)
	tbitw $13,0x34(r12)
	tbitw $13,0xab(r13)
	tbitw $15,0xad(r1)
	tbitw $15,0xcd(r2)
	tbitw $15,0xfff(r0)
	tbitw $13,0xbcd(r4)
	tbitw $13,0xfff(r12)
	tbitw $13,0xfff(r13)
	tbitw $13,0xffff(r13)
	tbitw $13,0x2343(r12)
	tbitw $13,0x12345(r2)
	tbitw $13,0x4abcd(r8)
	tbitw $13,0xfabcd(r13)
	tbitw $13,0xfabcd(r8)
	tbitw $13,0xfabcd(r9)
	tbitw $13,0x4abcd(r9)

	tbitw $3,0x0(r2,r1)
	tbitw $5,0x1(r2,r1)
	tbitw $4,0x1234(r2,r1)
	tbitw $3,0x1234(r2,r1)
	tbitw $3,0x12345(r2,r1)
	tbitw $3,0x123(r2,r1)
	tbitw $3,0x12345(r2,r1)
	tbitw $13,0x0(r2,r1)
	tbitw $15,0x1(r2,r1)
	tbitw $14,0x1234(r2,r1)
	tbitw $13,0x1234(r2,r1)
	tbitw $13,0x12345(r2,r1)
	tbitw $13,0x123(r2,r1)
	tbitw $13,0x12345(r2,r1)