1 1.2 christos .machine "any" 2 1.1 christos .text 3 1.1 christos 4 1.1 christos .globl p521_felem_mul 5 1.1 christos .type p521_felem_mul,@function 6 1.1 christos .align 5 7 1.1 christos p521_felem_mul: 8 1.1 christos 9 1.1 christos mr 12,1 10 1.1 christos stdu 1,-16*13(1) 11 1.1 christos 12 1.1 christos stxv 52,-16*12(12) 13 1.1 christos stxv 53,-16*11(12) 14 1.1 christos stxv 54,-16*10(12) 15 1.1 christos stxv 55,-16*9(12) 16 1.1 christos stxv 56,-16*8(12) 17 1.1 christos stxv 57,-16*7(12) 18 1.1 christos stxv 58,-16*6(12) 19 1.1 christos stxv 59,-16*5(12) 20 1.1 christos stxv 60,-16*4(12) 21 1.1 christos stxv 61,-16*3(12) 22 1.1 christos stxv 62,-16*2(12) 23 1.1 christos stxv 63,-16*1(12) 24 1.1 christos 25 1.1 christos vspltisw 0,0 26 1.1 christos 27 1.1 christos lxsd 13,0(4) 28 1.1 christos lxsd 14,8(4) 29 1.1 christos lxsd 15,16(4) 30 1.1 christos lxsd 16,24(4) 31 1.1 christos lxsd 17,32(4) 32 1.1 christos lxsd 18,40(4) 33 1.1 christos lxsd 19,48(4) 34 1.1 christos lxsd 20,56(4) 35 1.1 christos lxsd 21,64(4) 36 1.1 christos 37 1.1 christos lxsd 3,0(5) 38 1.1 christos lxsd 4,8(5) 39 1.1 christos lxsd 5,16(5) 40 1.1 christos lxsd 6,24(5) 41 1.1 christos lxsd 7,32(5) 42 1.1 christos lxsd 8,40(5) 43 1.1 christos lxsd 9,48(5) 44 1.1 christos lxsd 10,56(5) 45 1.1 christos lxsd 11,64(5) 46 1.1 christos 47 1.1 christos .long 0x12ED1823 48 1.1 christos 49 1.1 christos xxpermdi 33,45,46,0b00 50 1.1 christos xxpermdi 34,36,35,0b00 51 1.1 christos .long 0x13011023 52 1.1 christos 53 1.1 christos xxpermdi 34,37,36,0b00 54 1.1 christos .long 0x13211023 55 1.1 christos .long 0x132F1E63 56 1.1 christos 57 1.1 christos xxpermdi 34,38,37,0b00 58 1.1 christos .long 0x13411023 59 1.1 christos xxpermdi 44,47,48,0b00 60 1.1 christos xxpermdi 54,36,35,0b00 61 1.1 christos .long 0x134CB6A3 62 1.1 christos 63 1.1 christos xxpermdi 34,39,38,0b00 64 1.1 christos .long 0x13611023 65 1.1 christos xxpermdi 54,37,36,0b00 66 1.1 christos .long 0x136CB6E3 67 1.1 christos .long 0x13711EE3 68 1.1 christos 69 1.1 christos xxpermdi 34,40,39,0b00 70 1.1 christos .long 0x13811023 71 1.1 christos xxpermdi 54,38,37,0b00 72 1.1 christos .long 0x138CB723 73 1.1 christos 74 1.1 christos xxpermdi 34,41,40,0b00 75 1.1 christos .long 0x13A11023 76 1.1 christos xxpermdi 54,39,38,0b00 77 1.1 christos .long 0x13ACB763 78 1.1 christos 79 1.1 christos xxpermdi 34,42,41,0b00 80 1.1 christos .long 0x13C11023 81 1.1 christos xxpermdi 54,40,39,0b00 82 1.1 christos .long 0x13CCB7A3 83 1.1 christos 84 1.1 christos xxpermdi 34,43,42,0b00 85 1.1 christos .long 0x13E11023 86 1.1 christos xxpermdi 54,41,40,0b00 87 1.1 christos .long 0x13ECB7E3 88 1.1 christos 89 1.1 christos xxpermdi 33,49,50,0b00 90 1.1 christos xxpermdi 34,36,35,0b00 91 1.1 christos .long 0x13811723 92 1.1 christos 93 1.1 christos xxpermdi 34,37,36,0b00 94 1.1 christos .long 0x13A11763 95 1.1 christos .long 0x13B31F63 96 1.1 christos 97 1.1 christos xxpermdi 34,38,37,0b00 98 1.1 christos .long 0x13C117A3 99 1.1 christos xxpermdi 44,51,52,0b00 100 1.1 christos xxpermdi 54,36,35,0b00 101 1.1 christos .long 0x13CCB7A3 102 1.1 christos 103 1.1 christos xxpermdi 34,39,38,0b00 104 1.1 christos .long 0x13E117E3 105 1.1 christos xxpermdi 54,37,36,0b00 106 1.1 christos .long 0x13ECB7E3 107 1.1 christos .long 0x13F51FE3 108 1.1 christos 109 1.1 christos li 8,0 110 1.1 christos li 9,1 111 1.1 christos mtvsrdd 33,9,8 112 1.1 christos .long 0x10630DC4 113 1.1 christos .long 0x10840DC4 114 1.1 christos .long 0x10A50DC4 115 1.1 christos .long 0x10C60DC4 116 1.1 christos .long 0x10E70DC4 117 1.1 christos .long 0x11080DC4 118 1.1 christos .long 0x11290DC4 119 1.1 christos .long 0x114A0DC4 120 1.1 christos .long 0x116B0DC4 121 1.1 christos 122 1.1 christos .long 0x13D55FA3 123 1.1 christos 124 1.1 christos xxpermdi 34,43,42,0b00 125 1.1 christos xxpermdi 33,52,53,0b00 126 1.1 christos .long 0x13A11763 127 1.1 christos 128 1.1 christos xxpermdi 33,51,52,0b00 129 1.1 christos .long 0x13811723 130 1.1 christos .long 0x13954F23 131 1.1 christos 132 1.1 christos xxpermdi 33,50,51,0b00 133 1.1 christos .long 0x136116E3 134 1.1 christos xxpermdi 54,41,40,0b00 135 1.1 christos xxpermdi 44,52,53,0b00 136 1.1 christos .long 0x136CB6E3 137 1.1 christos 138 1.1 christos xxpermdi 33,49,50,0b00 139 1.1 christos .long 0x134116A3 140 1.1 christos xxpermdi 44,51,52,0b00 141 1.1 christos .long 0x134CB6A3 142 1.1 christos .long 0x13553EA3 143 1.1 christos 144 1.1 christos xxpermdi 33,48,49,0b00 145 1.1 christos .long 0x13211663 146 1.1 christos xxpermdi 44,50,51,0b00 147 1.1 christos .long 0x132CB663 148 1.1 christos 149 1.1 christos xxpermdi 33,47,48,0b00 150 1.1 christos .long 0x13011623 151 1.1 christos xxpermdi 44,49,50,0b00 152 1.1 christos .long 0x130CB623 153 1.1 christos 154 1.1 christos xxpermdi 33,46,47,0b00 155 1.1 christos .long 0x12E115E3 156 1.1 christos xxpermdi 44,48,49,0b00 157 1.1 christos .long 0x12ECB5E3 158 1.1 christos 159 1.1 christos xxpermdi 34,39,38,0b00 160 1.1 christos xxpermdi 33,52,53,0b00 161 1.1 christos .long 0x13211663 162 1.1 christos 163 1.1 christos xxpermdi 33,51,52,0b00 164 1.1 christos .long 0x13011623 165 1.1 christos .long 0x13152E23 166 1.1 christos 167 1.1 christos xxpermdi 33,50,51,0b00 168 1.1 christos .long 0x12E115E3 169 1.1 christos xxpermdi 54,37,36,0b00 170 1.1 christos xxpermdi 44,52,53,0b00 171 1.1 christos .long 0x12ECB5E3 172 1.1 christos 173 1.1 christos stxv 55,0(3) 174 1.1 christos stxv 56,16(3) 175 1.1 christos stxv 57,32(3) 176 1.1 christos stxv 58,48(3) 177 1.1 christos stxv 59,64(3) 178 1.1 christos stxv 60,80(3) 179 1.1 christos stxv 61,96(3) 180 1.1 christos stxv 62,112(3) 181 1.1 christos stxv 63,128(3) 182 1.1 christos 183 1.1 christos ld 12,0(1) 184 1.1 christos lxv 52,-16*12(12) 185 1.1 christos lxv 53,-16*11(12) 186 1.1 christos lxv 54,-16*10(12) 187 1.1 christos lxv 55,-16*9(12) 188 1.1 christos lxv 56,-16*8(12) 189 1.1 christos lxv 57,-16*7(12) 190 1.1 christos lxv 58,-16*6(12) 191 1.1 christos lxv 59,-16*5(12) 192 1.1 christos lxv 60,-16*4(12) 193 1.1 christos lxv 61,-16*3(12) 194 1.1 christos lxv 62,-16*2(12) 195 1.1 christos lxv 63,-16*1(12) 196 1.1 christos mr 1,12 197 1.1 christos 198 1.1 christos blr 199 1.1 christos 200 1.1 christos 201 1.1 christos .globl p521_felem_square 202 1.1 christos .type p521_felem_square,@function 203 1.1 christos .align 5 204 1.1 christos p521_felem_square: 205 1.1 christos 206 1.1 christos mr 12,1 207 1.1 christos stdu 1,-16*13(1) 208 1.1 christos 209 1.1 christos stxv 52,-16*12(12) 210 1.1 christos stxv 53,-16*11(12) 211 1.1 christos stxv 54,-16*10(12) 212 1.1 christos stxv 55,-16*9(12) 213 1.1 christos stxv 56,-16*8(12) 214 1.1 christos stxv 57,-16*7(12) 215 1.1 christos stxv 58,-16*6(12) 216 1.1 christos stxv 59,-16*5(12) 217 1.1 christos stxv 60,-16*4(12) 218 1.1 christos stxv 61,-16*3(12) 219 1.1 christos stxv 62,-16*2(12) 220 1.1 christos stxv 63,-16*1(12) 221 1.1 christos 222 1.1 christos vspltisw 0,0 223 1.1 christos 224 1.1 christos lxsd 13,0(4) 225 1.1 christos lxsd 14,8(4) 226 1.1 christos lxsd 15,16(4) 227 1.1 christos lxsd 16,24(4) 228 1.1 christos lxsd 17,32(4) 229 1.1 christos lxsd 18,40(4) 230 1.1 christos lxsd 19,48(4) 231 1.1 christos lxsd 20,56(4) 232 1.1 christos lxsd 21,64(4) 233 1.1 christos 234 1.1 christos li 8,0 235 1.1 christos li 9,1 236 1.1 christos mtvsrdd 33,9,8 237 1.1 christos .long 0x106D0DC4 238 1.1 christos .long 0x108E0DC4 239 1.1 christos .long 0x10AF0DC4 240 1.1 christos .long 0x10D00DC4 241 1.1 christos .long 0x10F10DC4 242 1.1 christos .long 0x11120DC4 243 1.1 christos .long 0x11330DC4 244 1.1 christos .long 0x11540DC4 245 1.1 christos .long 0x11750DC4 246 1.1 christos .long 0x12ED6823 247 1.1 christos 248 1.1 christos .long 0x130D2023 249 1.1 christos 250 1.1 christos xxpermdi 33,45,46,0b00 251 1.1 christos xxpermdi 34,37,46,0b00 252 1.1 christos .long 0x13211023 253 1.1 christos 254 1.1 christos xxpermdi 34,38,37,0b00 255 1.1 christos .long 0x13411023 256 1.1 christos 257 1.1 christos xxpermdi 34,39,38,0b00 258 1.1 christos .long 0x13611023 259 1.1 christos .long 0x136F7EE3 260 1.1 christos 261 1.1 christos xxpermdi 34,40,39,0b00 262 1.1 christos .long 0x13811023 263 1.1 christos .long 0x138F3723 264 1.1 christos 265 1.1 christos xxpermdi 34,41,40,0b00 266 1.1 christos .long 0x13A11023 267 1.1 christos xxpermdi 44,47,48,0b00 268 1.1 christos xxpermdi 54,39,48,0b00 269 1.1 christos .long 0x13ACB763 270 1.1 christos 271 1.1 christos xxpermdi 34,42,41,0b00 272 1.1 christos .long 0x13C11023 273 1.1 christos xxpermdi 54,40,39,0b00 274 1.1 christos .long 0x13CCB7A3 275 1.1 christos 276 1.1 christos xxpermdi 34,43,42,0b00 277 1.1 christos .long 0x13E11023 278 1.1 christos xxpermdi 54,41,40,0b00 279 1.1 christos .long 0x13ECB7E3 280 1.1 christos .long 0x13F18FE3 281 1.1 christos 282 1.1 christos .long 0x13124623 283 1.1 christos 284 1.1 christos .long 0x13534EA3 285 1.1 christos 286 1.1 christos .long 0x13945723 287 1.1 christos 288 1.1 christos .long 0x13D55FA3 289 1.1 christos 290 1.1 christos mtvsrdd 33,9,8 291 1.1 christos .long 0x11080DC4 292 1.1 christos .long 0x11290DC4 293 1.1 christos .long 0x114A0DC4 294 1.1 christos .long 0x116B0DC4 295 1.1 christos 296 1.1 christos .long 0x13B45F63 297 1.1 christos 298 1.1 christos .long 0x13935F23 299 1.1 christos 300 1.1 christos xxpermdi 34,43,42,0b00 301 1.1 christos xxpermdi 33,50,51,0b00 302 1.1 christos .long 0x136116E3 303 1.1 christos 304 1.1 christos xxpermdi 33,49,50,0b00 305 1.1 christos .long 0x134116A3 306 1.1 christos 307 1.1 christos xxpermdi 33,48,49,0b00 308 1.1 christos .long 0x13211663 309 1.1 christos .long 0x13324E63 310 1.1 christos 311 1.1 christos xxpermdi 33,47,48,0b00 312 1.1 christos .long 0x13011623 313 1.1 christos .long 0x13114E23 314 1.1 christos 315 1.1 christos xxpermdi 33,46,47,0b00 316 1.1 christos .long 0x12E115E3 317 1.1 christos xxpermdi 34,41,40,0b00 318 1.1 christos xxpermdi 33,48,49,0b00 319 1.1 christos .long 0x12E115E3 320 1.1 christos 321 1.1 christos stxv 55,0(3) 322 1.1 christos stxv 56,16(3) 323 1.1 christos stxv 57,32(3) 324 1.1 christos stxv 58,48(3) 325 1.1 christos stxv 59,64(3) 326 1.1 christos stxv 60,80(3) 327 1.1 christos stxv 61,96(3) 328 1.1 christos stxv 62,112(3) 329 1.1 christos stxv 63,128(3) 330 1.1 christos 331 1.1 christos ld 12,0(1) 332 1.1 christos lxv 52,-16*12(12) 333 1.1 christos lxv 53,-16*11(12) 334 1.1 christos lxv 54,-16*10(12) 335 1.1 christos lxv 55,-16*9(12) 336 1.1 christos lxv 56,-16*8(12) 337 1.1 christos lxv 57,-16*7(12) 338 1.1 christos lxv 58,-16*6(12) 339 1.1 christos lxv 59,-16*5(12) 340 1.1 christos lxv 60,-16*4(12) 341 1.1 christos lxv 61,-16*3(12) 342 1.1 christos lxv 62,-16*2(12) 343 1.1 christos lxv 63,-16*1(12) 344 1.1 christos mr 1,12 345 1.1 christos 346 1.1 christos blr 347 1.1 christos 348 1.1 christos 349