crypto/bn/asm/ff

   1         .text
   2         .align 3
   3         .globl bn_mul_comba4
   4         .ent bn_mul_comba4
   5 bn_mul_comba4:
   6 bn_mul_comba4..ng:
   7         .frame $30,0,$26,0
   8         .prologue 0
   9
  10         ldq     $0,     0($17)
  11         ldq     $1,     0($18)
  12         ldq     $2,     8($17)
  13         ldq     $3,     8($18)
  14         ldq     $4,     16($17)
  15         ldq     $5,     16($18)
  16         ldq     $6,     24($17)
  17         ldq     $7,     24($18)
  18         bis     $31,    $31,    $23
  19         mulq    $0,     $1,     $8
  20         umulh   $0,     $1,     $22
  21         stq     $8,     0($16)
  22         bis     $31,    $31,    $8
  23         mulq    $0,     $3,     $24
  24         umulh   $0,     $3,     $25
  25         addq    $22,    $24,    $22
  26         cmpult  $22,    $24,    $27
  27         addq    $27,    $25,    $25
  28         addq    $23,    $25,    $23
  29         cmpult  $23,    $25,    $28
  30         addq    $8,     $28,    $8
  31         mulq    $2,     $1,     $21
  32         umulh   $2,     $1,     $20
  33         addq    $22,    $21,    $22
  34         cmpult  $22,    $21,    $19
  35         addq    $19,    $20,    $20
  36         addq    $23,    $20,    $23
  37         cmpult  $23,    $20,    $17
  38         addq    $8,     $17,    $8
  39         stq     $22,    8($16)
  40         bis     $31,    $31,    $22
  41         mulq    $2,     $3,     $18
  42         umulh   $2,     $3,     $24
  43         addq    $23,    $18,    $23
  44         cmpult  $23,    $18,    $27
  45         addq    $27,    $24,    $24
  46         addq    $8,     $24,    $8
  47         cmpult  $8,     $24,    $25
  48         addq    $22,    $25,    $22
  49         mulq    $0,     $5,     $28
  50         umulh   $0,     $5,     $21
  51         addq    $23,    $28,    $23
  52         cmpult  $23,    $28,    $19
  53         addq    $19,    $21,    $21
  54         addq    $8,     $21,    $8
  55         cmpult  $8,     $21,    $20
  56         addq    $22,    $20,    $22
  57         mulq    $4,     $1,     $17
  58         umulh   $4,     $1,     $18
  59         addq    $23,    $17,    $23
  60         cmpult  $23,    $17,    $27
  61         addq    $27,    $18,    $18
  62         addq    $8,     $18,    $8
  63         cmpult  $8,     $18,    $24
  64         addq    $22,    $24,    $22
  65         stq     $23,    16($16)
  66         bis     $31,    $31,    $23
  67         mulq    $0,     $7,     $25
  68         umulh   $0,     $7,     $28
  69         addq    $8,     $25,    $8
  70         cmpult  $8,     $25,    $19
  71         addq    $19,    $28,    $28
  72         addq    $22,    $28,    $22
  73         cmpult  $22,    $28,    $21
  74         addq    $23,    $21,    $23
  75         mulq    $2,     $5,     $20
  76         umulh   $2,     $5,     $17
  77         addq    $8,     $20,    $8
  78         cmpult  $8,     $20,    $27
  79         addq    $27,    $17,    $17
  80         addq    $22,    $17,    $22
  81         cmpult  $22,    $17,    $18
  82         addq    $23,    $18,    $23
  83         mulq    $4,     $3,     $24
  84         umulh   $4,     $3,     $25
  85         addq    $8,     $24,    $8
  86         cmpult  $8,     $24,    $19
  87         addq    $19,    $25,    $25
  88         addq    $22,    $25,    $22
  89         cmpult  $22,    $25,    $28
  90         addq    $23,    $28,    $23
  91         mulq    $6,     $1,     $21
  92         umulh   $6,     $1,     $0
  93         addq    $8,     $21,    $8
  94         cmpult  $8,     $21,    $20
  95         addq    $20,    $0,     $0
  96         addq    $22,    $0,     $22
  97         cmpult  $22,    $0,     $27
  98         addq    $23,    $27,    $23
  99         stq     $8,     24($16)
 100         bis     $31,    $31,    $8
 101         mulq    $2,     $7,     $17
 102         umulh   $2,     $7,     $18
 103         addq    $22,    $17,    $22
 104         cmpult  $22,    $17,    $24
 105         addq    $24,    $18,    $18
 106         addq    $23,    $18,    $23
 107         cmpult  $23,    $18,    $19
 108         addq    $8,     $19,    $8
 109         mulq    $4,     $5,     $25
 110         umulh   $4,     $5,     $28
 111         addq    $22,    $25,    $22
 112         cmpult  $22,    $25,    $21
 113         addq    $21,    $28,    $28
 114         addq    $23,    $28,    $23
 115         cmpult  $23,    $28,    $20
 116         addq    $8,     $20,    $8
 117         mulq    $6,     $3,     $0
 118         umulh   $6,     $3,     $27
 119         addq    $22,    $0,     $22
 120         cmpult  $22,    $0,     $1
 121         addq    $1,     $27,    $27
 122         addq    $23,    $27,    $23
 123         cmpult  $23,    $27,    $17
 124         addq    $8,     $17,    $8
 125         stq     $22,    32($16)
 126         bis     $31,    $31,    $22
 127         mulq    $4,     $7,     $24
 128         umulh   $4,     $7,     $18
 129         addq    $23,    $24,    $23
 130         cmpult  $23,    $24,    $19
 131         addq    $19,    $18,    $18
 132         addq    $8,     $18,    $8
 133         cmpult  $8,     $18,    $2
 134         addq    $22,    $2,     $22
 135         mulq    $6,     $5,     $25
 136         umulh   $6,     $5,     $21
 137         addq    $23,    $25,    $23
 138         cmpult  $23,    $25,    $28
 139         addq    $28,    $21,    $21
 140         addq    $8,     $21,    $8
 141         cmpult  $8,     $21,    $20
 142         addq    $22,    $20,    $22
 143         stq     $23,    40($16)
 144         bis     $31,    $31,    $23
 145         mulq    $6,     $7,     $0
 146         umulh   $6,     $7,     $1
 147         addq    $8,     $0,     $8
 148         cmpult  $8,     $0,     $27
 149         addq    $27,    $1,     $1
 150         addq    $22,    $1,     $22
 151         cmpult  $22,    $1,     $17
 152         addq    $23,    $17,    $23
 153         stq     $8,     48($16)
 154         stq     $22,    56($16)
 155         ret     $31,($26),1
 156         .end bn_mul_comba4
 157         .text
 158         .align 3
 159         .globl bn_mul_comba8
 160         .ent bn_mul_comba8
 161 bn_mul_comba8:
 162 bn_mul_comba8..ng:
 163         .frame $30,0,$26,0
 164         .prologue 0
 165
 166         stq     $9,     8($30)
 167         stq     $10,    16($30)
 168         ldq     $0,     0($17)
 169         ldq     $1,     0($18)
 170         ldq     $2,     8($17)
 171         ldq     $3,     8($18)
 172         ldq     $4,     16($17)
 173         ldq     $5,     16($18)
 174         ldq     $6,     24($17)
 175         ldq     $7,     24($18)
 176         ldq     $8,     8($17)
 177         ldq     $22,    8($18)
 178         ldq     $23,    8($17)
 179         ldq     $24,    8($18)
 180         ldq     $25,    8($17)
 181         ldq     $27,    8($18)
 182         ldq     $28,    8($17)
 183         ldq     $21,    8($18)
 184         bis     $31,    $31,    $9
 185         mulq    $0,     $1,     $20
 186         umulh   $0,     $1,     $19
 187         stq     $20,    0($16)
 188         bis     $31,    $31,    $20
 189         mulq    $0,     $3,     $10
 190         umulh   $0,     $3,     $17
 191         addq    $19,    $10,    $19
 192         cmpult  $19,    $10,    $18
 193         addq    $18,    $17,    $17
 194         addq    $9,     $17,    $9
 195         cmpult  $9,     $17,    $10
 196         addq    $20,    $10,    $20
 197         mulq    $2,     $1,     $18
 198         umulh   $2,     $1,     $17
 199         addq    $19,    $18,    $19
 200         cmpult  $19,    $18,    $10
 201         addq    $10,    $17,    $17
 202         addq    $9,     $17,    $9
 203         cmpult  $9,     $17,    $18
 204         addq    $20,    $18,    $20
 205         stq     $19,    8($16)
 206         bis     $31,    $31,    $19
 207         mulq    $0,     $5,     $10
 208         umulh   $0,     $5,     $17
 209         addq    $9,     $10,    $9
 210         cmpult  $9,     $10,    $18
 211         addq    $18,    $17,    $17
 212         addq    $20,    $17,    $20
 213         cmpult  $20,    $17,    $10
 214         addq    $19,    $10,    $19
 215         mulq    $2,     $3,     $18
 216         umulh   $2,     $3,     $17
 217         addq    $9,     $18,    $9
 218         cmpult  $9,     $18,    $10
 219         addq    $10,    $17,    $17
 220         addq    $20,    $17,    $20
 221         cmpult  $20,    $17,    $18
 222         addq    $19,    $18,    $19
 223         mulq    $4,     $1,     $10
 224         umulh   $4,     $1,     $17
 225         addq    $9,     $10,    $9
 226         cmpult  $9,     $10,    $18
 227         addq    $18,    $17,    $17
 228         addq    $20,    $17,    $20
 229         cmpult  $20,    $17,    $10
 230         addq    $19,    $10,    $19
 231         stq     $9,     16($16)
 232         bis     $31,    $31,    $9
 233         mulq    $0,     $7,     $18
 234         umulh   $0,     $7,     $17
 235         addq    $20,    $18,    $20
 236         cmpult  $20,    $18,    $10
 237         addq    $10,    $17,    $17
 238         addq    $19,    $17,    $19
 239         cmpult  $19,    $17,    $18
 240         addq    $9,     $18,    $9
 241         mulq    $2,     $5,     $10
 242         umulh   $2,     $5,     $17
 243         addq    $20,    $10,    $20
 244         cmpult  $20,    $10,    $18
 245         addq    $18,    $17,    $17
 246         addq    $19,    $17,    $19
 247         cmpult  $19,    $17,    $10
 248         addq    $9,     $10,    $9
 249         mulq    $4,     $3,     $18
 250         umulh   $4,     $3,     $17
 251         addq    $20,    $18,    $20
 252         cmpult  $20,    $18,    $10
 253         addq    $10,    $17,    $17
 254         addq    $19,    $17,    $19
 255         cmpult  $19,    $17,    $18
 256         addq    $9,     $18,    $9
 257         mulq    $6,     $1,     $10
 258         umulh   $6,     $1,     $17
 259         addq    $20,    $10,    $20
 260         cmpult  $20,    $10,    $18
 261         addq    $18,    $17,    $17
 262         addq    $19,    $17,    $19
 263         cmpult  $19,    $17,    $10
 264         addq    $9,     $10,    $9
 265         stq     $20,    24($16)
 266         bis     $31,    $31,    $20
 267         mulq    $0,     $22,    $18
 268         umulh   $0,     $22,    $17
 269         addq    $19,    $18,    $19
 270         cmpult  $19,    $18,    $10
 271         addq    $10,    $17,    $17
 272         addq    $9,     $17,    $9
 273         cmpult  $9,     $17,    $18
 274         addq    $20,    $18,    $20
 275         mulq    $2,     $7,     $10
 276         umulh   $2,     $7,     $17
 277         addq    $19,    $10,    $19
 278         cmpult  $19,    $10,    $18
 279         addq    $18,    $17,    $17
 280         addq    $9,     $17,    $9
 281         cmpult  $9,     $17,    $10
 282         addq    $20,    $10,    $20
 283         mulq    $4,     $5,     $18
 284         umulh   $4,     $5,     $17
 285         addq    $19,    $18,    $19
 286         cmpult  $19,    $18,    $10
 287         addq    $10,    $17,    $17
 288         addq    $9,     $17,    $9
 289         cmpult  $9,     $17,    $18
 290         addq    $20,    $18,    $20
 291         mulq    $6,     $3,     $10
 292         umulh   $6,     $3,     $17
 293         addq    $19,    $10,    $19
 294         cmpult  $19,    $10,    $18
 295         addq    $18,    $17,    $17
 296         addq    $9,     $17,    $9
 297         cmpult  $9,     $17,    $10
 298         addq    $20,    $10,    $20
 299         mulq    $8,     $1,     $18
 300         umulh   $8,     $1,     $17
 301         addq    $19,    $18,    $19
 302         cmpult  $19,    $18,    $10
 303         addq    $10,    $17,    $17
 304         addq    $9,     $17,    $9
 305         cmpult  $9,     $17,    $18
 306         addq    $20,    $18,    $20
 307         stq     $19,    32($16)
 308         bis     $31,    $31,    $19
 309         mulq    $0,     $24,    $10
 310         umulh   $0,     $24,    $17
 311         addq    $9,     $10,    $9
 312         cmpult  $9,     $10,    $18
 313         addq    $18,    $17,    $17
 314         addq    $20,    $17,    $20
 315         cmpult  $20,    $17,    $10
 316         addq    $19,    $10,    $19
 317         mulq    $2,     $22,    $18
 318         umulh   $2,     $22,    $17
 319         addq    $9,     $18,    $9
 320         cmpult  $9,     $18,    $10
 321         addq    $10,    $17,    $17
 322         addq    $20,    $17,    $20
 323         cmpult  $20,    $17,    $18
 324         addq    $19,    $18,    $19
 325         mulq    $4,     $7,     $10
 326         umulh   $4,     $7,     $17
 327         addq    $9,     $10,    $9
 328         cmpult  $9,     $10,    $18
 329         addq    $18,    $17,    $17
 330         addq    $20,    $17,    $20
 331         cmpult  $20,    $17,    $10
 332         addq    $19,    $10,    $19
 333         mulq    $6,     $5,     $18
 334         umulh   $6,     $5,     $17
 335         addq    $9,     $18,    $9
 336         cmpult  $9,     $18,    $10
 337         addq    $10,    $17,    $17
 338         addq    $20,    $17,    $20
 339         cmpult  $20,    $17,    $18
 340         addq    $19,    $18,    $19
 341         mulq    $8,     $3,     $10
 342         umulh   $8,     $3,     $17
 343         addq    $9,     $10,    $9
 344         cmpult  $9,     $10,    $18
 345         addq    $18,    $17,    $17
 346         addq    $20,    $17,    $20
 347         cmpult  $20,    $17,    $10
 348         addq    $19,    $10,    $19
 349         mulq    $23,    $1,     $18
 350         umulh   $23,    $1,     $17
 351         addq    $9,     $18,    $9
 352         cmpult  $9,     $18,    $10
 353         addq    $10,    $17,    $17
 354         addq    $20,    $17,    $20
 355         cmpult  $20,    $17,    $18
 356         addq    $19,    $18,    $19
 357         stq     $9,     40($16)
 358         bis     $31,    $31,    $9
 359         mulq    $0,     $27,    $10
 360         umulh   $0,     $27,    $17
 361         addq    $20,    $10,    $20
 362         cmpult  $20,    $10,    $18
 363         addq    $18,    $17,    $17
 364         addq    $19,    $17,    $19
 365         cmpult  $19,    $17,    $10
 366         addq    $9,     $10,    $9
 367         mulq    $2,     $24,    $18
 368         umulh   $2,     $24,    $17
 369         addq    $20,    $18,    $20
 370         cmpult  $20,    $18,    $10
 371         addq    $10,    $17,    $17
 372         addq    $19,    $17,    $19
 373         cmpult  $19,    $17,    $18
 374         addq    $9,     $18,    $9
 375         mulq    $4,     $22,    $10
 376         umulh   $4,     $22,    $17
 377         addq    $20,    $10,    $20
 378         cmpult  $20,    $10,    $18
 379         addq    $18,    $17,    $17
 380         addq    $19,    $17,    $19
 381         cmpult  $19,    $17,    $10
 382         addq    $9,     $10,    $9
 383         mulq    $6,     $7,     $18
 384         umulh   $6,     $7,     $17
 385         addq    $20,    $18,    $20
 386         cmpult  $20,    $18,    $10
 387         addq    $10,    $17,    $17
 388         addq    $19,    $17,    $19
 389         cmpult  $19,    $17,    $18
 390         addq    $9,     $18,    $9
 391         mulq    $8,     $5,     $10
 392         umulh   $8,     $5,     $17
 393         addq    $20,    $10,    $20
 394         cmpult  $20,    $10,    $18
 395         addq    $18,    $17,    $17
 396         addq    $19,    $17,    $19
 397         cmpult  $19,    $17,    $10
 398         addq    $9,     $10,    $9
 399         mulq    $23,    $3,     $18
 400         umulh   $23,    $3,     $17
 401         addq    $20,    $18,    $20
 402         cmpult  $20,    $18,    $10
 403         addq    $10,    $17,    $17
 404         addq    $19,    $17,    $19
 405         cmpult  $19,    $17,    $18
 406         addq    $9,     $18,    $9
 407         mulq    $25,    $1,     $10
 408         umulh   $25,    $1,     $17
 409         addq    $20,    $10,    $20
 410         cmpult  $20,    $10,    $18
 411         addq    $18,    $17,    $17
 412         addq    $19,    $17,    $19
 413         cmpult  $19,    $17,    $10
 414         addq    $9,     $10,    $9
 415         stq     $20,    48($16)
 416         bis     $31,    $31,    $20
 417         mulq    $0,     $21,    $18
 418         umulh   $0,     $21,    $17
 419         addq    $19,    $18,    $19
 420         cmpult  $19,    $18,    $10
 421         addq    $10,    $17,    $17
 422         addq    $9,     $17,    $9
 423         cmpult  $9,     $17,    $18
 424         addq    $20,    $18,    $20
 425         mulq    $2,     $27,    $10
 426         umulh   $2,     $27,    $17
 427         addq    $19,    $10,    $19
 428         cmpult  $19,    $10,    $18
 429         addq    $18,    $17,    $17
 430         addq    $9,     $17,    $9
 431         cmpult  $9,     $17,    $0
 432         addq    $20,    $0,     $20
 433         mulq    $4,     $24,    $10
 434         umulh   $4,     $24,    $18
 435         addq    $19,    $10,    $19
 436         cmpult  $19,    $10,    $17
 437         addq    $17,    $18,    $18
 438         addq    $9,     $18,    $9
 439         cmpult  $9,     $18,    $0
 440         addq    $20,    $0,     $20
 441         mulq    $6,     $22,    $10
 442         umulh   $6,     $22,    $17
 443         addq    $19,    $10,    $19
 444         cmpult  $19,    $10,    $18
 445         addq    $18,    $17,    $17
 446         addq    $9,     $17,    $9
 447         cmpult  $9,     $17,    $0
 448         addq    $20,    $0,     $20
 449         mulq    $8,     $7,     $10
 450         umulh   $8,     $7,     $18
 451         addq    $19,    $10,    $19
 452         cmpult  $19,    $10,    $17
 453         addq    $17,    $18,    $18
 454         addq    $9,     $18,    $9
 455         cmpult  $9,     $18,    $0
 456         addq    $20,    $0,     $20
 457         mulq    $23,    $5,     $10
 458         umulh   $23,    $5,     $17
 459         addq    $19,    $10,    $19
 460         cmpult  $19,    $10,    $18
 461         addq    $18,    $17,    $17
 462         addq    $9,     $17,    $9
 463         cmpult  $9,     $17,    $0
 464         addq    $20,    $0,     $20
 465         mulq    $25,    $3,     $10
 466         umulh   $25,    $3,     $18
 467         addq    $19,    $10,    $19
 468         cmpult  $19,    $10,    $17
 469         addq    $17,    $18,    $18
 470         addq    $9,     $18,    $9
 471         cmpult  $9,     $18,    $0
 472         addq    $20,    $0,     $20
 473         mulq    $28,    $1,     $10
 474         umulh   $28,    $1,     $17
 475         addq    $19,    $10,    $19
 476         cmpult  $19,    $10,    $18
 477         addq    $18,    $17,    $17
 478         addq    $9,     $17,    $9
 479         cmpult  $9,     $17,    $0
 480         addq    $20,    $0,     $20
 481         stq     $19,    56($16)
 482         bis     $31,    $31,    $19
 483         mulq    $2,     $21,    $10
 484         umulh   $2,     $21,    $18
 485         addq    $9,     $10,    $9
 486         cmpult  $9,     $10,    $17
 487         addq    $17,    $18,    $18
 488         addq    $20,    $18,    $20
 489         cmpult  $20,    $18,    $0
 490         addq    $19,    $0,     $19
 491         mulq    $4,     $27,    $1
 492         umulh   $4,     $27,    $10
 493         addq    $9,     $1,     $9
 494         cmpult  $9,     $1,     $17
 495         addq    $17,    $10,    $10
 496         addq    $20,    $10,    $20
 497         cmpult  $20,    $10,    $18
 498         addq    $19,    $18,    $19
 499         mulq    $6,     $24,    $0
 500         umulh   $6,     $24,    $2
 501         addq    $9,     $0,     $9
 502         cmpult  $9,     $0,     $1
 503         addq    $1,     $2,     $2
 504         addq    $20,    $2,     $20
 505         cmpult  $20,    $2,     $17
 506         addq    $19,    $17,    $19
 507         mulq    $8,     $22,    $10
 508         umulh   $8,     $22,    $18
 509         addq    $9,     $10,    $9
 510         cmpult  $9,     $10,    $0
 511         addq    $0,     $18,    $18
 512         addq    $20,    $18,    $20
 513         cmpult  $20,    $18,    $1
 514         addq    $19,    $1,     $19
 515         mulq    $23,    $7,     $2
 516         umulh   $23,    $7,     $17
 517         addq    $9,     $2,     $9
 518         cmpult  $9,     $2,     $10
 519         addq    $10,    $17,    $17
 520         addq    $20,    $17,    $20
 521         cmpult  $20,    $17,    $0
 522         addq    $19,    $0,     $19
 523         mulq    $25,    $5,     $18
 524         umulh   $25,    $5,     $1
 525         addq    $9,     $18,    $9
 526         cmpult  $9,     $18,    $2
 527         addq    $2,     $1,     $1
 528         addq    $20,    $1,     $20
 529         cmpult  $20,    $1,     $10
 530         addq    $19,    $10,    $19
 531         mulq    $28,    $3,     $17
 532         umulh   $28,    $3,     $0
 533         addq    $9,     $17,    $9
 534         cmpult  $9,     $17,    $18
 535         addq    $18,    $0,     $0
 536         addq    $20,    $0,     $20
 537         cmpult  $20,    $0,     $2
 538         addq    $19,    $2,     $19
 539         stq     $9,     64($16)
 540         bis     $31,    $31,    $9
 541         mulq    $4,     $21,    $1
 542         umulh   $4,     $21,    $10
 543         addq    $20,    $1,     $20
 544         cmpult  $20,    $1,     $17
 545         addq    $17,    $10,    $10
 546         addq    $19,    $10,    $19
 547         cmpult  $19,    $10,    $18
 548         addq    $9,     $18,    $9
 549         mulq    $6,     $27,    $0
 550         umulh   $6,     $27,    $2
 551         addq    $20,    $0,     $20
 552         cmpult  $20,    $0,     $3
 553         addq    $3,     $2,     $2
 554         addq    $19,    $2,     $19
 555         cmpult  $19,    $2,     $1
 556         addq    $9,     $1,     $9
 557         mulq    $8,     $24,    $17
 558         umulh   $8,     $24,    $10
 559         addq    $20,    $17,    $20
 560         cmpult  $20,    $17,    $18
 561         addq    $18,    $10,    $10
 562         addq    $19,    $10,    $19
 563         cmpult  $19,    $10,    $4
 564         addq    $9,     $4,     $9
 565         mulq    $23,    $22,    $0
 566         umulh   $23,    $22,    $3
 567         addq    $20,    $0,     $20
 568         cmpult  $20,    $0,     $2
 569         addq    $2,     $3,     $3
 570         addq    $19,    $3,     $19
 571         cmpult  $19,    $3,     $1
 572         addq    $9,     $1,     $9
 573         mulq    $25,    $7,     $17
 574         umulh   $25,    $7,     $18
 575         addq    $20,    $17,    $20
 576         cmpult  $20,    $17,    $10
 577         addq    $10,    $18,    $18
 578         addq    $19,    $18,    $19
 579         cmpult  $19,    $18,    $4
 580         addq    $9,     $4,     $9
 581         mulq    $28,    $5,     $0
 582         umulh   $28,    $5,     $2
 583         addq    $20,    $0,     $20
 584         cmpult  $20,    $0,     $3
 585         addq    $3,     $2,     $2
 586         addq    $19,    $2,     $19
 587         cmpult  $19,    $2,     $1
 588         addq    $9,     $1,     $9
 589         stq     $20,    72($16)
 590         bis     $31,    $31,    $20
 591         mulq    $6,     $21,    $17
 592         umulh   $6,     $21,    $10
 593         addq    $19,    $17,    $19
 594         cmpult  $19,    $17,    $18
 595         addq    $18,    $10,    $10
 596         addq    $9,     $10,    $9
 597         cmpult  $9,     $10,    $4
 598         addq    $20,    $4,     $20
 599         mulq    $8,     $27,    $0
 600         umulh   $8,     $27,    $3
 601         addq    $19,    $0,     $19
 602         cmpult  $19,    $0,     $2
 603         addq    $2,     $3,     $3
 604         addq    $9,     $3,     $9
 605         cmpult  $9,     $3,     $1
 606         addq    $20,    $1,     $20
 607         mulq    $23,    $24,    $5
 608         umulh   $23,    $24,    $17
 609         addq    $19,    $5,     $19
 610         cmpult  $19,    $5,     $18
 611         addq    $18,    $17,    $17
 612         addq    $9,     $17,    $9
 613         cmpult  $9,     $17,    $10
 614         addq    $20,    $10,    $20
 615         mulq    $25,    $22,    $4
 616         umulh   $25,    $22,    $6
 617         addq    $19,    $4,     $19
 618         cmpult  $19,    $4,     $0
 619         addq    $0,     $6,     $6
 620         addq    $9,     $6,     $9
 621         cmpult  $9,     $6,     $2
 622         addq    $20,    $2,     $20
 623         mulq    $28,    $7,     $3
 624         umulh   $28,    $7,     $1
 625         addq    $19,    $3,     $19
 626         cmpult  $19,    $3,     $5
 627         addq    $5,     $1,     $1
 628         addq    $9,     $1,     $9
 629         cmpult  $9,     $1,     $18
 630         addq    $20,    $18,    $20
 631         stq     $19,    80($16)
 632         bis     $31,    $31,    $19
 633         mulq    $8,     $21,    $17
 634         umulh   $8,     $21,    $10
 635         addq    $9,     $17,    $9
 636         cmpult  $9,     $17,    $4
 637         addq    $4,     $10,    $10
 638         addq    $20,    $10,    $20
 639         cmpult  $20,    $10,    $0
 640         addq    $19,    $0,     $19
 641         mulq    $23,    $27,    $6
 642         umulh   $23,    $27,    $2
 643         addq    $9,     $6,     $9
 644         cmpult  $9,     $6,     $3
 645         addq    $3,     $2,     $2
 646         addq    $20,    $2,     $20
 647         cmpult  $20,    $2,     $5
 648         addq    $19,    $5,     $19
 649         mulq    $25,    $24,    $1
 650         umulh   $25,    $24,    $18
 651         addq    $9,     $1,     $9
 652         cmpult  $9,     $1,     $7
 653         addq    $7,     $18,    $18
 654         addq    $20,    $18,    $20
 655         cmpult  $20,    $18,    $17
 656         addq    $19,    $17,    $19
 657         mulq    $28,    $22,    $4
 658         umulh   $28,    $22,    $10
 659         addq    $9,     $4,     $9
 660         cmpult  $9,     $4,     $0
 661         addq    $0,     $10,    $10
 662         addq    $20,    $10,    $20
 663         cmpult  $20,    $10,    $8
 664         addq    $19,    $8,     $19
 665         stq     $9,     88($16)
 666         bis     $31,    $31,    $9
 667         mulq    $23,    $21,    $6
 668         umulh   $23,    $21,    $3
 669         addq    $20,    $6,     $20
 670         cmpult  $20,    $6,     $2
 671         addq    $2,     $3,     $3
 672         addq    $19,    $3,     $19
 673         cmpult  $19,    $3,     $5
 674         addq    $9,     $5,     $9
 675         mulq    $25,    $27,    $1
 676         umulh   $25,    $27,    $7
 677         addq    $20,    $1,     $20
 678         cmpult  $20,    $1,     $18
 679         addq    $18,    $7,     $7
 680         addq    $19,    $7,     $19
 681         cmpult  $19,    $7,     $17
 682         addq    $9,     $17,    $9
 683         mulq    $28,    $24,    $4
 684         umulh   $28,    $24,    $0
 685         addq    $20,    $4,     $20
 686         cmpult  $20,    $4,     $10
 687         addq    $10,    $0,     $0
 688         addq    $19,    $0,     $19
 689         cmpult  $19,    $0,     $8
 690         addq    $9,     $8,     $9
 691         stq     $20,    96($16)
 692         bis     $31,    $31,    $20
 693         mulq    $25,    $21,    $22
 694         umulh   $25,    $21,    $6
 695         addq    $19,    $22,    $19
 696         cmpult  $19,    $22,    $2
 697         addq    $2,     $6,     $6
 698         addq    $9,     $6,     $9
 699         cmpult  $9,     $6,     $3
 700         addq    $20,    $3,     $20
 701         mulq    $28,    $27,    $5
 702         umulh   $28,    $27,    $23
 703         addq    $19,    $5,     $19
 704         cmpult  $19,    $5,     $1
 705         addq    $1,     $23,    $23
 706         addq    $9,     $23,    $9
 707         cmpult  $9,     $23,    $18
 708         addq    $20,    $18,    $20
 709         stq     $19,    104($16)
 710         bis     $31,    $31,    $19
 711         mulq    $28,    $21,    $7
 712         umulh   $28,    $21,    $17
 713         addq    $9,     $7,     $9
 714         cmpult  $9,     $7,     $4
 715         addq    $4,     $17,    $17
 716         addq    $20,    $17,    $20
 717         cmpult  $20,    $17,    $10
 718         addq    $19,    $10,    $19
 719         stq     $9,     112($16)
 720         stq     $20,    120($16)
 721         ldq     $9,     8($30)
 722         ldq     $10,    16($30)
 723         ret     $31,($26),1
 724         .end bn_mul_comba8