1 .text 2power8: 3 tabort. 5 4 tabortwc. 7,8,16 5 tabortdc. 20,11,10 6 tabortwci. 17,10,-13 7 tabortdci. 29,3,-5 8 tbegin. 9 tcheck 7 10 tend. 0 11 tend. 12 tend. 1 13 tendall. 14 treclaim. 24 15 trechkpt. 16 tsr. 0 17 tsuspend. 18 tsr. 1 19 tresume. 20 ori 2,2,0 21 .p2align 4,,15 22 rfebb 0 23 rfebb 24 rfebb 1 25 bctar- 12,21 26 bctarl- 4,7 27 bctar+ 12,12 28 bctarl+ 4,2 29 bctar 4,8,1 30 bctarl 4,7,2 31 waitasec 32 msgsndp 8 33 mtsle 1 34 msgclrp 27 35 stqcx. 10,10,12 36 stqcx. 28,0,7 37 lqarx 24,19,11,0 38 lqarx 22,0,11,0 39 mfbhrbe 20,6 40 pbt. 29,17,16 41 pbt. 14,0,7 42 clrbhrb 43 vpermxor 11,10,0,23 44 vaddeuqm 24,2,7,4 45 vaddecuq 10,10,8,2 46 vsubeuqm 5,15,8,19 47 vsubecuq 12,31,16,29 48 vmulouw 20,29,13 49 vmuluwm 29,0,26 50 vaddudm 8,21,28 51 vmaxud 1,26,1 52 vrld 20,3,1 53 vcmpequd 4,19,11 54 vadduqm 23,14,30 55 vaddcuq 8,8,13 56 vmulosw 28,27,4 57 vmaxsd 3,4,4 58 vmuleuw 0,19,21 59 vminud 24,20,19 60 vcmpgtud 0,28,15 61 vmulesw 21,0,2 62 vminsd 9,26,9 63 vsrad 25,29,11 64 vcmpgtsd 11,28,11 65 bcdadd. 5,8,26,1 66 vpmsumb 4,3,12 67 bcdsub. 26,31,21,1 68 vpmsumh 5,17,16 69 vpkudum 23,17,20 70 vpmsumw 24,21,29 71 vpmsumd 9,22,13 72 vpkudus 18,19,18 73 vsubuqm 30,16,22 74 vcipher 14,11,7 75 vcipherlast 10,2,22 76 vgbbd 23,13 77 vsubcuq 16,25,16 78 vorc 31,1,5 79 vncipher 4,17,31 80 vncipherlast 24,2,27 81 vbpermq 23,21,23 82 vpksdus 27,18,9 83 vnand 27,29,27 84 vsld 19,19,24 85 vsbox 5,13 86 vpksdss 25,3,7 87 vcmpequd. 28,8,0 88 vupkhsw 26,26 89 vshasigmaw 5,7,0,6 90 veqv 28,21,14 91 vmrgow 1,8,19 92 vshasigmad 0,10,0,10 93 vsrd 5,27,14 94 vupklsw 11,13 95 vclzb 14,16 96 vpopcntb 20,27 97 vclzh 28,11 98 vpopcnth 24,9 99 vclzw 27,31 100 vpopcntw 17,19 101 vclzd 12,29 102 vpopcntd 23,22 103 vcmpgtud. 24,20,29 104 vcmpgtsd. 9,6,27 105 lxsiwzx 62,14,26 106 lxsiwzx 40,0,25 107 lxsiwax 25,0,26 108 lxsiwax 3,0,3 109 mfvsrd 12,62 110 mfvsrwz 20,12 111 stxsiwx 14,9,14 112 stxsiwx 21,0,8 113 mtvsrd 48,11 114 mtvsrwa 63,23 115 mtvsrwz 16,26 116 lxsspx 13,19,13 117 lxsspx 18,0,13 118 stxsspx 43,2,4 119 stxsspx 55,0,11 120 xsaddsp 54,48,25 121 xsmaddasp 14,50,1 122 xssubsp 26,22,42 123 xsmaddmsp 27,53,52 124 xsrsqrtesp 8,59 125 xssqrtsp 12,41 126 xsmulsp 57,11,32 127 xsmsubasp 38,20,26 128 xsdivsp 26,19,6 129 xsmsubmsp 35,37,55 130 xsresp 59,8 131 xsnmaddasp 44,33,33 132 xsnmaddmsp 17,62,30 133 xsnmsubasp 54,52,31 134 xsnmsubmsp 37,5,58 135 xxlorc 30,54,44 136 xxlnand 49,14,29 137 xxleqv 62,22,30 138 xscvdpspn 60,54 139 xsrsp 22,45 140 xscvuxdsp 26,59 141 xscvsxdsp 38,49 142 xscvspdpn 59,26 143 fmrgow 24,14,2 144 fmrgew 22,7,5 145 msgsnd 14 146 msgclr 23 147 lxvx 40,0,5 148 lxvd2x 40,0,5 149 lxvx 10,20,6 150 lxvd2x 10,20,6 151 stxvx 41,0,7 152 stxvd2x 41,0,7 153 stxvx 11,21,8 154 stxvd2x 11,21,8 155 lbarx 20,0,7 156 lbarx 20,0,7,0 157 lbarx 20,0,7,1 158 lbarx 20,1,7 159 lbarx 20,1,7,0 160 lbarx 20,1,7,1 161 ldarx 21,0,8 162 ldarx 21,0,8,0 163 ldarx 21,0,8,1 164 ldarx 21,1,8 165 ldarx 21,1,8,0 166 ldarx 21,1,8,1 167 lharx 22,0,9 168 lharx 22,0,9,0 169 lharx 22,0,9,1 170 lharx 22,1,9 171 lharx 22,1,9,0 172 lharx 22,1,9,1 173 lwarx 23,0,10 174 lwarx 23,0,10,0 175 lwarx 23,0,10,1 176 lwarx 23,1,10 177 lwarx 23,1,10,0 178 lwarx 23,1,10,1 179 stbcx. 10,0,7 180 stbcx. 10,1,7 181 sthcx. 11,0,8 182 sthcx. 11,1,8 183 stwcx. 12,0,9 184 stwcx. 12,1,9 185 stdcx. 13,0,10 186 stdcx. 13,1,10 187