1.text
2foo:
3	etnd	%r6
4	ntstg	%r6,-5555(%r7,%r8)
5	tabort	4000(%r6)
6	tbegin	4000(%r6),65000
7	tbeginc	4000(%r6),65000
8	tend
9	bpp	10,.,4000(%r6)
10	bprp	10,.,.+24
11	niai	10,13
12	lat	%r6,-5555(%r7,%r8)
13	lgat	%r6,-5555(%r7,%r8)
14	lfhat	%r6,-5555(%r7,%r8)
15	llgfat	%r6,-5555(%r7,%r8)
16	llgtat	%r6,-5555(%r7,%r8)
17
18	clt	%r6,10,-5555(%r7)
19	clth	%r6,-5555(%r7)
20	cltnle	%r6,-5555(%r7)
21	cltl	%r6,-5555(%r7)
22	cltnhe	%r6,-5555(%r7)
23	cltlh	%r6,-5555(%r7)
24	cltne	%r6,-5555(%r7)
25	clte	%r6,-5555(%r7)
26	cltnlh	%r6,-5555(%r7)
27	clthe	%r6,-5555(%r7)
28	cltnl	%r6,-5555(%r7)
29	cltle	%r6,-5555(%r7)
30	cltnh	%r6,-5555(%r7)
31
32	clgt	%r6,10,-5555(%r7)
33	clgth	%r6,-5555(%r7)
34	clgtnle	%r6,-5555(%r7)
35	clgtl	%r6,-5555(%r7)
36	clgtnhe	%r6,-5555(%r7)
37	clgtlh	%r6,-5555(%r7)
38	clgtne	%r6,-5555(%r7)
39	clgte	%r6,-5555(%r7)
40	clgtnlh	%r6,-5555(%r7)
41	clgthe	%r6,-5555(%r7)
42	clgtnl	%r6,-5555(%r7)
43	clgtle	%r6,-5555(%r7)
44	clgtnh	%r6,-5555(%r7)
45
46	risbgn	%r6,%r7,12,13,14
47	cdzt	%f6,4000(16,%r8),13
48	cxzt	%f4,4000(34,%r8),13
49	czdt	%f6,4000(16,%r8),13
50	czxt	%f4,4000(34,%r8),13
51
52	ppa	%r5,%r6,12
53	crdte	%r5,%r6,%r9
54	crdte	%r5,%r6,%r9,1
55
56	bprp	10,bar,bar
57	bprp	10,bar@PLT,bar@PLT
58bar:
59