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