crypto/external/bsd/openssl/lib/libcrypto/arch/x86_64/sha512-x86_64.S

   1 .text
   2
   3 .globl  sha256_block_data_order
   4 .type   sha256_block_data_order,@function
   5 .align  16
   6 sha256_block_data_order:
   7         pushq   %rbx
   8         pushq   %rbp
   9         pushq   %r12
  10         pushq   %r13
  11         pushq   %r14
  12         pushq   %r15
  13         movq    %rsp,%rbp
  14         shlq    $4,%rdx
  15         subq    $64+32,%rsp
  16         leaq    (%rsi,%rdx,4),%rdx
  17         andq    $-64,%rsp
  18         movq    %rdi,64+0(%rsp)
  19         movq    %rsi,64+8(%rsp)
  20         movq    %rdx,64+16(%rsp)
  21         movq    %rbp,64+24(%rsp)
  22
  23         .long   0x12d8d48,0x90000000
  24         leaq    K256-.(%rbp),%rbp
  25
  26         movl    0(%rdi),%eax
  27         movl    4(%rdi),%ebx
  28         movl    8(%rdi),%ecx
  29         movl    12(%rdi),%edx
  30         movl    16(%rdi),%r8d
  31         movl    20(%rdi),%r9d
  32         movl    24(%rdi),%r10d
  33         movl    28(%rdi),%r11d
  34         jmp     .Lloop
  35
  36 .align  16
  37 .Lloop:
  38         xorq    %rdi,%rdi
  39         movl    0(%rsi),%r12d
  40         bswapl  %r12d
  41         movl    %r8d,%r13d
  42         movl    %r8d,%r14d
  43         movl    %r9d,%r15d
  44
  45         rorl    $6,%r13d
  46         rorl    $11,%r14d
  47         xorl    %r10d,%r15d
  48
  49         xorl    %r14d,%r13d
  50         rorl    $14,%r14d
  51         andl    %r8d,%r15d
  52         movl    %r12d,0(%rsp)
  53
  54         xorl    %r14d,%r13d
  55         xorl    %r10d,%r15d
  56         addl    %r11d,%r12d
  57
  58         movl    %eax,%r11d
  59         addl    %r13d,%r12d
  60
  61         addl    %r15d,%r12d
  62         movl    %eax,%r13d
  63         movl    %eax,%r14d
  64
  65         rorl    $2,%r11d
  66         rorl    $13,%r13d
  67         movl    %eax,%r15d
  68         addl    (%rbp,%rdi,4),%r12d
  69
  70         xorl    %r13d,%r11d
  71         rorl    $9,%r13d
  72         orl     %ecx,%r14d
  73
  74         xorl    %r13d,%r11d
  75         andl    %ecx,%r15d
  76         addl    %r12d,%edx
  77
  78         andl    %ebx,%r14d
  79         addl    %r12d,%r11d
  80
  81         orl     %r15d,%r14d
  82         leaq    1(%rdi),%rdi
  83
  84         addl    %r14d,%r11d
  85         movl    4(%rsi),%r12d
  86         bswapl  %r12d
  87         movl    %edx,%r13d
  88         movl    %edx,%r14d
  89         movl    %r8d,%r15d
  90
  91         rorl    $6,%r13d
  92         rorl    $11,%r14d
  93         xorl    %r9d,%r15d
  94
  95         xorl    %r14d,%r13d
  96         rorl    $14,%r14d
  97         andl    %edx,%r15d
  98         movl    %r12d,4(%rsp)
  99
 100         xorl    %r14d,%r13d
 101         xorl    %r9d,%r15d
 102         addl    %r10d,%r12d
 103
 104         movl    %r11d,%r10d
 105         addl    %r13d,%r12d
 106
 107         addl    %r15d,%r12d
 108         movl    %r11d,%r13d
 109         movl    %r11d,%r14d
 110
 111         rorl    $2,%r10d
 112         rorl    $13,%r13d
 113         movl    %r11d,%r15d
 114         addl    (%rbp,%rdi,4),%r12d
 115
 116         xorl    %r13d,%r10d
 117         rorl    $9,%r13d
 118         orl     %ebx,%r14d
 119
 120         xorl    %r13d,%r10d
 121         andl    %ebx,%r15d
 122         addl    %r12d,%ecx
 123
 124         andl    %eax,%r14d
 125         addl    %r12d,%r10d
 126
 127         orl     %r15d,%r14d
 128         leaq    1(%rdi),%rdi
 129
 130         addl    %r14d,%r10d
 131         movl    8(%rsi),%r12d
 132         bswapl  %r12d
 133         movl    %ecx,%r13d
 134         movl    %ecx,%r14d
 135         movl    %edx,%r15d
 136
 137         rorl    $6,%r13d
 138         rorl    $11,%r14d
 139         xorl    %r8d,%r15d
 140
 141         xorl    %r14d,%r13d
 142         rorl    $14,%r14d
 143         andl    %ecx,%r15d
 144         movl    %r12d,8(%rsp)
 145
 146         xorl    %r14d,%r13d
 147         xorl    %r8d,%r15d
 148         addl    %r9d,%r12d
 149
 150         movl    %r10d,%r9d
 151         addl    %r13d,%r12d
 152
 153         addl    %r15d,%r12d
 154         movl    %r10d,%r13d
 155         movl    %r10d,%r14d
 156
 157         rorl    $2,%r9d
 158         rorl    $13,%r13d
 159         movl    %r10d,%r15d
 160         addl    (%rbp,%rdi,4),%r12d
 161
 162         xorl    %r13d,%r9d
 163         rorl    $9,%r13d
 164         orl     %eax,%r14d
 165
 166         xorl    %r13d,%r9d
 167         andl    %eax,%r15d
 168         addl    %r12d,%ebx
 169
 170         andl    %r11d,%r14d
 171         addl    %r12d,%r9d
 172
 173         orl     %r15d,%r14d
 174         leaq    1(%rdi),%rdi
 175
 176         addl    %r14d,%r9d
 177         movl    12(%rsi),%r12d
 178         bswapl  %r12d
 179         movl    %ebx,%r13d
 180         movl    %ebx,%r14d
 181         movl    %ecx,%r15d
 182
 183         rorl    $6,%r13d
 184         rorl    $11,%r14d
 185         xorl    %edx,%r15d
 186
 187         xorl    %r14d,%r13d
 188         rorl    $14,%r14d
 189         andl    %ebx,%r15d
 190         movl    %r12d,12(%rsp)
 191
 192         xorl    %r14d,%r13d
 193         xorl    %edx,%r15d
 194         addl    %r8d,%r12d
 195
 196         movl    %r9d,%r8d
 197         addl    %r13d,%r12d
 198
 199         addl    %r15d,%r12d
 200         movl    %r9d,%r13d
 201         movl    %r9d,%r14d
 202
 203         rorl    $2,%r8d
 204         rorl    $13,%r13d
 205         movl    %r9d,%r15d
 206         addl    (%rbp,%rdi,4),%r12d
 207
 208         xorl    %r13d,%r8d
 209         rorl    $9,%r13d
 210         orl     %r11d,%r14d
 211
 212         xorl    %r13d,%r8d
 213         andl    %r11d,%r15d
 214         addl    %r12d,%eax
 215
 216         andl    %r10d,%r14d
 217         addl    %r12d,%r8d
 218
 219         orl     %r15d,%r14d
 220         leaq    1(%rdi),%rdi
 221
 222         addl    %r14d,%r8d
 223         movl    16(%rsi),%r12d
 224         bswapl  %r12d
 225         movl    %eax,%r13d
 226         movl    %eax,%r14d
 227         movl    %ebx,%r15d
 228
 229         rorl    $6,%r13d
 230         rorl    $11,%r14d
 231         xorl    %ecx,%r15d
 232
 233         xorl    %r14d,%r13d
 234         rorl    $14,%r14d
 235         andl    %eax,%r15d
 236         movl    %r12d,16(%rsp)
 237
 238         xorl    %r14d,%r13d
 239         xorl    %ecx,%r15d
 240         addl    %edx,%r12d
 241
 242         movl    %r8d,%edx
 243         addl    %r13d,%r12d
 244
 245         addl    %r15d,%r12d
 246         movl    %r8d,%r13d
 247         movl    %r8d,%r14d
 248
 249         rorl    $2,%edx
 250         rorl    $13,%r13d
 251         movl    %r8d,%r15d
 252         addl    (%rbp,%rdi,4),%r12d
 253
 254         xorl    %r13d,%edx
 255         rorl    $9,%r13d
 256         orl     %r10d,%r14d
 257
 258         xorl    %r13d,%edx
 259         andl    %r10d,%r15d
 260         addl    %r12d,%r11d
 261
 262         andl    %r9d,%r14d
 263         addl    %r12d,%edx
 264
 265         orl     %r15d,%r14d
 266         leaq    1(%rdi),%rdi
 267
 268         addl    %r14d,%edx
 269         movl    20(%rsi),%r12d
 270         bswapl  %r12d
 271         movl    %r11d,%r13d
 272         movl    %r11d,%r14d
 273         movl    %eax,%r15d
 274
 275         rorl    $6,%r13d
 276         rorl    $11,%r14d
 277         xorl    %ebx,%r15d
 278
 279         xorl    %r14d,%r13d
 280         rorl    $14,%r14d
 281         andl    %r11d,%r15d
 282         movl    %r12d,20(%rsp)
 283
 284         xorl    %r14d,%r13d
 285         xorl    %ebx,%r15d
 286         addl    %ecx,%r12d
 287
 288         movl    %edx,%ecx
 289         addl    %r13d,%r12d
 290
 291         addl    %r15d,%r12d
 292         movl    %edx,%r13d
 293         movl    %edx,%r14d
 294
 295         rorl    $2,%ecx
 296         rorl    $13,%r13d
 297         movl    %edx,%r15d
 298         addl    (%rbp,%rdi,4),%r12d
 299
 300         xorl    %r13d,%ecx
 301         rorl    $9,%r13d
 302         orl     %r9d,%r14d
 303
 304         xorl    %r13d,%ecx
 305         andl    %r9d,%r15d
 306         addl    %r12d,%r10d
 307
 308         andl    %r8d,%r14d
 309         addl    %r12d,%ecx
 310
 311         orl     %r15d,%r14d
 312         leaq    1(%rdi),%rdi
 313
 314         addl    %r14d,%ecx
 315         movl    24(%rsi),%r12d
 316         bswapl  %r12d
 317         movl    %r10d,%r13d
 318         movl    %r10d,%r14d
 319         movl    %r11d,%r15d
 320
 321         rorl    $6,%r13d
 322         rorl    $11,%r14d
 323         xorl    %eax,%r15d
 324
 325         xorl    %r14d,%r13d
 326         rorl    $14,%r14d
 327         andl    %r10d,%r15d
 328         movl    %r12d,24(%rsp)
 329
 330         xorl    %r14d,%r13d
 331         xorl    %eax,%r15d
 332         addl    %ebx,%r12d
 333
 334         movl    %ecx,%ebx
 335         addl    %r13d,%r12d
 336
 337         addl    %r15d,%r12d
 338         movl    %ecx,%r13d
 339         movl    %ecx,%r14d
 340
 341         rorl    $2,%ebx
 342         rorl    $13,%r13d
 343         movl    %ecx,%r15d
 344         addl    (%rbp,%rdi,4),%r12d
 345
 346         xorl    %r13d,%ebx
 347         rorl    $9,%r13d
 348         orl     %r8d,%r14d
 349
 350         xorl    %r13d,%ebx
 351         andl    %r8d,%r15d
 352         addl    %r12d,%r9d
 353
 354         andl    %edx,%r14d
 355         addl    %r12d,%ebx
 356
 357         orl     %r15d,%r14d
 358         leaq    1(%rdi),%rdi
 359
 360         addl    %r14d,%ebx
 361         movl    28(%rsi),%r12d
 362         bswapl  %r12d
 363         movl    %r9d,%r13d
 364         movl    %r9d,%r14d
 365         movl    %r10d,%r15d
 366
 367         rorl    $6,%r13d
 368         rorl    $11,%r14d
 369         xorl    %r11d,%r15d
 370
 371         xorl    %r14d,%r13d
 372         rorl    $14,%r14d
 373         andl    %r9d,%r15d
 374         movl    %r12d,28(%rsp)
 375
 376         xorl    %r14d,%r13d
 377         xorl    %r11d,%r15d
 378         addl    %eax,%r12d
 379
 380         movl    %ebx,%eax
 381         addl    %r13d,%r12d
 382
 383         addl    %r15d,%r12d
 384         movl    %ebx,%r13d
 385         movl    %ebx,%r14d
 386
 387         rorl    $2,%eax
 388         rorl    $13,%r13d
 389         movl    %ebx,%r15d
 390         addl    (%rbp,%rdi,4),%r12d
 391
 392         xorl    %r13d,%eax
 393         rorl    $9,%r13d
 394         orl     %edx,%r14d
 395
 396         xorl    %r13d,%eax
 397         andl    %edx,%r15d
 398         addl    %r12d,%r8d
 399
 400         andl    %ecx,%r14d
 401         addl    %r12d,%eax
 402
 403         orl     %r15d,%r14d
 404         leaq    1(%rdi),%rdi
 405
 406         addl    %r14d,%eax
 407         movl    32(%rsi),%r12d
 408         bswapl  %r12d
 409         movl    %r8d,%r13d
 410         movl    %r8d,%r14d
 411         movl    %r9d,%r15d
 412
 413         rorl    $6,%r13d
 414         rorl    $11,%r14d
 415         xorl    %r10d,%r15d
 416
 417         xorl    %r14d,%r13d
 418         rorl    $14,%r14d
 419         andl    %r8d,%r15d
 420         movl    %r12d,32(%rsp)
 421
 422         xorl    %r14d,%r13d
 423         xorl    %r10d,%r15d
 424         addl    %r11d,%r12d
 425
 426         movl    %eax,%r11d
 427         addl    %r13d,%r12d
 428
 429         addl    %r15d,%r12d
 430         movl    %eax,%r13d
 431         movl    %eax,%r14d
 432
 433         rorl    $2,%r11d
 434         rorl    $13,%r13d
 435         movl    %eax,%r15d
 436         addl    (%rbp,%rdi,4),%r12d
 437
 438         xorl    %r13d,%r11d
 439         rorl    $9,%r13d
 440         orl     %ecx,%r14d
 441
 442         xorl    %r13d,%r11d
 443         andl    %ecx,%r15d
 444         addl    %r12d,%edx
 445
 446         andl    %ebx,%r14d
 447         addl    %r12d,%r11d
 448
 449         orl     %r15d,%r14d
 450         leaq    1(%rdi),%rdi
 451
 452         addl    %r14d,%r11d
 453         movl    36(%rsi),%r12d
 454         bswapl  %r12d
 455         movl    %edx,%r13d
 456         movl    %edx,%r14d
 457         movl    %r8d,%r15d
 458
 459         rorl    $6,%r13d
 460         rorl    $11,%r14d
 461         xorl    %r9d,%r15d
 462
 463         xorl    %r14d,%r13d
 464         rorl    $14,%r14d
 465         andl    %edx,%r15d
 466         movl    %r12d,36(%rsp)
 467
 468         xorl    %r14d,%r13d
 469         xorl    %r9d,%r15d
 470         addl    %r10d,%r12d
 471
 472         movl    %r11d,%r10d
 473         addl    %r13d,%r12d
 474
 475         addl    %r15d,%r12d
 476         movl    %r11d,%r13d
 477         movl    %r11d,%r14d
 478
 479         rorl    $2,%r10d
 480         rorl    $13,%r13d
 481         movl    %r11d,%r15d
 482         addl    (%rbp,%rdi,4),%r12d
 483
 484         xorl    %r13d,%r10d
 485         rorl    $9,%r13d
 486         orl     %ebx,%r14d
 487
 488         xorl    %r13d,%r10d
 489         andl    %ebx,%r15d
 490         addl    %r12d,%ecx
 491
 492         andl    %eax,%r14d
 493         addl    %r12d,%r10d
 494
 495         orl     %r15d,%r14d
 496         leaq    1(%rdi),%rdi
 497
 498         addl    %r14d,%r10d
 499         movl    40(%rsi),%r12d
 500         bswapl  %r12d
 501         movl    %ecx,%r13d
 502         movl    %ecx,%r14d
 503         movl    %edx,%r15d
 504
 505         rorl    $6,%r13d
 506         rorl    $11,%r14d
 507         xorl    %r8d,%r15d
 508
 509         xorl    %r14d,%r13d
 510         rorl    $14,%r14d
 511         andl    %ecx,%r15d
 512         movl    %r12d,40(%rsp)
 513
 514         xorl    %r14d,%r13d
 515         xorl    %r8d,%r15d
 516         addl    %r9d,%r12d
 517
 518         movl    %r10d,%r9d
 519         addl    %r13d,%r12d
 520
 521         addl    %r15d,%r12d
 522         movl    %r10d,%r13d
 523         movl    %r10d,%r14d
 524
 525         rorl    $2,%r9d
 526         rorl    $13,%r13d
 527         movl    %r10d,%r15d
 528         addl    (%rbp,%rdi,4),%r12d
 529
 530         xorl    %r13d,%r9d
 531         rorl    $9,%r13d
 532         orl     %eax,%r14d
 533
 534         xorl    %r13d,%r9d
 535         andl    %eax,%r15d
 536         addl    %r12d,%ebx
 537
 538         andl    %r11d,%r14d
 539         addl    %r12d,%r9d
 540
 541         orl     %r15d,%r14d
 542         leaq    1(%rdi),%rdi
 543
 544         addl    %r14d,%r9d
 545         movl    44(%rsi),%r12d
 546         bswapl  %r12d
 547         movl    %ebx,%r13d
 548         movl    %ebx,%r14d
 549         movl    %ecx,%r15d
 550
 551         rorl    $6,%r13d
 552         rorl    $11,%r14d
 553         xorl    %edx,%r15d
 554
 555         xorl    %r14d,%r13d
 556         rorl    $14,%r14d
 557         andl    %ebx,%r15d
 558         movl    %r12d,44(%rsp)
 559
 560         xorl    %r14d,%r13d
 561         xorl    %edx,%r15d
 562         addl    %r8d,%r12d
 563
 564         movl    %r9d,%r8d
 565         addl    %r13d,%r12d
 566
 567         addl    %r15d,%r12d
 568         movl    %r9d,%r13d
 569         movl    %r9d,%r14d
 570
 571         rorl    $2,%r8d
 572         rorl    $13,%r13d
 573         movl    %r9d,%r15d
 574         addl    (%rbp,%rdi,4),%r12d
 575
 576         xorl    %r13d,%r8d
 577         rorl    $9,%r13d
 578         orl     %r11d,%r14d
 579
 580         xorl    %r13d,%r8d
 581         andl    %r11d,%r15d
 582         addl    %r12d,%eax
 583
 584         andl    %r10d,%r14d
 585         addl    %r12d,%r8d
 586
 587         orl     %r15d,%r14d
 588         leaq    1(%rdi),%rdi
 589
 590         addl    %r14d,%r8d
 591         movl    48(%rsi),%r12d
 592         bswapl  %r12d
 593         movl    %eax,%r13d
 594         movl    %eax,%r14d
 595         movl    %ebx,%r15d
 596
 597         rorl    $6,%r13d
 598         rorl    $11,%r14d
 599         xorl    %ecx,%r15d
 600
 601         xorl    %r14d,%r13d
 602         rorl    $14,%r14d
 603         andl    %eax,%r15d
 604         movl    %r12d,48(%rsp)
 605
 606         xorl    %r14d,%r13d
 607         xorl    %ecx,%r15d
 608         addl    %edx,%r12d
 609
 610         movl    %r8d,%edx
 611         addl    %r13d,%r12d
 612
 613         addl    %r15d,%r12d
 614         movl    %r8d,%r13d
 615         movl    %r8d,%r14d
 616
 617         rorl    $2,%edx
 618         rorl    $13,%r13d
 619         movl    %r8d,%r15d
 620         addl    (%rbp,%rdi,4),%r12d
 621
 622         xorl    %r13d,%edx
 623         rorl    $9,%r13d
 624         orl     %r10d,%r14d
 625
 626         xorl    %r13d,%edx
 627         andl    %r10d,%r15d
 628         addl    %r12d,%r11d
 629
 630         andl    %r9d,%r14d
 631         addl    %r12d,%edx
 632
 633         orl     %r15d,%r14d
 634         leaq    1(%rdi),%rdi
 635
 636         addl    %r14d,%edx
 637         movl    52(%rsi),%r12d
 638         bswapl  %r12d
 639         movl    %r11d,%r13d
 640         movl    %r11d,%r14d
 641         movl    %eax,%r15d
 642
 643         rorl    $6,%r13d
 644         rorl    $11,%r14d
 645         xorl    %ebx,%r15d
 646
 647         xorl    %r14d,%r13d
 648         rorl    $14,%r14d
 649         andl    %r11d,%r15d
 650         movl    %r12d,52(%rsp)
 651
 652         xorl    %r14d,%r13d
 653         xorl    %ebx,%r15d
 654         addl    %ecx,%r12d
 655
 656         movl    %edx,%ecx
 657         addl    %r13d,%r12d
 658
 659         addl    %r15d,%r12d
 660         movl    %edx,%r13d
 661         movl    %edx,%r14d
 662
 663         rorl    $2,%ecx
 664         rorl    $13,%r13d
 665         movl    %edx,%r15d
 666         addl    (%rbp,%rdi,4),%r12d
 667
 668         xorl    %r13d,%ecx
 669         rorl    $9,%r13d
 670         orl     %r9d,%r14d
 671
 672         xorl    %r13d,%ecx
 673         andl    %r9d,%r15d
 674         addl    %r12d,%r10d
 675
 676         andl    %r8d,%r14d
 677         addl    %r12d,%ecx
 678
 679         orl     %r15d,%r14d
 680         leaq    1(%rdi),%rdi
 681
 682         addl    %r14d,%ecx
 683         movl    56(%rsi),%r12d
 684         bswapl  %r12d
 685         movl    %r10d,%r13d
 686         movl    %r10d,%r14d
 687         movl    %r11d,%r15d
 688
 689         rorl    $6,%r13d
 690         rorl    $11,%r14d
 691         xorl    %eax,%r15d
 692
 693         xorl    %r14d,%r13d
 694         rorl    $14,%r14d
 695         andl    %r10d,%r15d
 696         movl    %r12d,56(%rsp)
 697
 698         xorl    %r14d,%r13d
 699         xorl    %eax,%r15d
 700         addl    %ebx,%r12d
 701
 702         movl    %ecx,%ebx
 703         addl    %r13d,%r12d
 704
 705         addl    %r15d,%r12d
 706         movl    %ecx,%r13d
 707         movl    %ecx,%r14d
 708
 709         rorl    $2,%ebx
 710         rorl    $13,%r13d
 711         movl    %ecx,%r15d
 712         addl    (%rbp,%rdi,4),%r12d
 713
 714         xorl    %r13d,%ebx
 715         rorl    $9,%r13d
 716         orl     %r8d,%r14d
 717
 718         xorl    %r13d,%ebx
 719         andl    %r8d,%r15d
 720         addl    %r12d,%r9d
 721
 722         andl    %edx,%r14d
 723         addl    %r12d,%ebx
 724
 725         orl     %r15d,%r14d
 726         leaq    1(%rdi),%rdi
 727
 728         addl    %r14d,%ebx
 729         movl    60(%rsi),%r12d
 730         bswapl  %r12d
 731         movl    %r9d,%r13d
 732         movl    %r9d,%r14d
 733         movl    %r10d,%r15d
 734
 735         rorl    $6,%r13d
 736         rorl    $11,%r14d
 737         xorl    %r11d,%r15d
 738
 739         xorl    %r14d,%r13d
 740         rorl    $14,%r14d
 741         andl    %r9d,%r15d
 742         movl    %r12d,60(%rsp)
 743
 744         xorl    %r14d,%r13d
 745         xorl    %r11d,%r15d
 746         addl    %eax,%r12d
 747
 748         movl    %ebx,%eax
 749         addl    %r13d,%r12d
 750
 751         addl    %r15d,%r12d
 752         movl    %ebx,%r13d
 753         movl    %ebx,%r14d
 754
 755         rorl    $2,%eax
 756         rorl    $13,%r13d
 757         movl    %ebx,%r15d
 758         addl    (%rbp,%rdi,4),%r12d
 759
 760         xorl    %r13d,%eax
 761         rorl    $9,%r13d
 762         orl     %edx,%r14d
 763
 764         xorl    %r13d,%eax
 765         andl    %edx,%r15d
 766         addl    %r12d,%r8d
 767
 768         andl    %ecx,%r14d
 769         addl    %r12d,%eax
 770
 771         orl     %r15d,%r14d
 772         leaq    1(%rdi),%rdi
 773
 774         addl    %r14d,%eax
 775         jmp     .Lrounds_16_xx
 776 .align  16
 777 .Lrounds_16_xx:
 778         movl    4(%rsp),%r13d
 779         movl    56(%rsp),%r12d
 780
 781         movl    %r13d,%r15d
 782
 783         shrl    $3,%r13d
 784         rorl    $7,%r15d
 785
 786         xorl    %r15d,%r13d
 787         rorl    $11,%r15d
 788
 789         xorl    %r15d,%r13d
 790         movl    %r12d,%r14d
 791
 792         shrl    $10,%r12d
 793         rorl    $17,%r14d
 794
 795         xorl    %r14d,%r12d
 796         rorl    $2,%r14d
 797
 798         xorl    %r14d,%r12d
 799
 800         addl    %r13d,%r12d
 801
 802         addl    36(%rsp),%r12d
 803
 804         addl    0(%rsp),%r12d
 805         movl    %r8d,%r13d
 806         movl    %r8d,%r14d
 807         movl    %r9d,%r15d
 808
 809         rorl    $6,%r13d
 810         rorl    $11,%r14d
 811         xorl    %r10d,%r15d
 812
 813         xorl    %r14d,%r13d
 814         rorl    $14,%r14d
 815         andl    %r8d,%r15d
 816         movl    %r12d,0(%rsp)
 817
 818         xorl    %r14d,%r13d
 819         xorl    %r10d,%r15d
 820         addl    %r11d,%r12d
 821
 822         movl    %eax,%r11d
 823         addl    %r13d,%r12d
 824
 825         addl    %r15d,%r12d
 826         movl    %eax,%r13d
 827         movl    %eax,%r14d
 828
 829         rorl    $2,%r11d
 830         rorl    $13,%r13d
 831         movl    %eax,%r15d
 832         addl    (%rbp,%rdi,4),%r12d
 833
 834         xorl    %r13d,%r11d
 835         rorl    $9,%r13d
 836         orl     %ecx,%r14d
 837
 838         xorl    %r13d,%r11d
 839         andl    %ecx,%r15d
 840         addl    %r12d,%edx
 841
 842         andl    %ebx,%r14d
 843         addl    %r12d,%r11d
 844
 845         orl     %r15d,%r14d
 846         leaq    1(%rdi),%rdi
 847
 848         addl    %r14d,%r11d
 849         movl    8(%rsp),%r13d
 850         movl    60(%rsp),%r12d
 851
 852         movl    %r13d,%r15d
 853
 854         shrl    $3,%r13d
 855         rorl    $7,%r15d
 856
 857         xorl    %r15d,%r13d
 858         rorl    $11,%r15d
 859
 860         xorl    %r15d,%r13d
 861         movl    %r12d,%r14d
 862
 863         shrl    $10,%r12d
 864         rorl    $17,%r14d
 865
 866         xorl    %r14d,%r12d
 867         rorl    $2,%r14d
 868
 869         xorl    %r14d,%r12d
 870
 871         addl    %r13d,%r12d
 872
 873         addl    40(%rsp),%r12d
 874
 875         addl    4(%rsp),%r12d
 876         movl    %edx,%r13d
 877         movl    %edx,%r14d
 878         movl    %r8d,%r15d
 879
 880         rorl    $6,%r13d
 881         rorl    $11,%r14d
 882         xorl    %r9d,%r15d
 883
 884         xorl    %r14d,%r13d
 885         rorl    $14,%r14d
 886         andl    %edx,%r15d
 887         movl    %r12d,4(%rsp)
 888
 889         xorl    %r14d,%r13d
 890         xorl    %r9d,%r15d
 891         addl    %r10d,%r12d
 892
 893         movl    %r11d,%r10d
 894         addl    %r13d,%r12d
 895
 896         addl    %r15d,%r12d
 897         movl    %r11d,%r13d
 898         movl    %r11d,%r14d
 899
 900         rorl    $2,%r10d
 901         rorl    $13,%r13d
 902         movl    %r11d,%r15d
 903         addl    (%rbp,%rdi,4),%r12d
 904
 905         xorl    %r13d,%r10d
 906         rorl    $9,%r13d
 907         orl     %ebx,%r14d
 908
 909         xorl    %r13d,%r10d
 910         andl    %ebx,%r15d
 911         addl    %r12d,%ecx
 912
 913         andl    %eax,%r14d
 914         addl    %r12d,%r10d
 915
 916         orl     %r15d,%r14d
 917         leaq    1(%rdi),%rdi
 918
 919         addl    %r14d,%r10d
 920         movl    12(%rsp),%r13d
 921         movl    0(%rsp),%r12d
 922
 923         movl    %r13d,%r15d
 924
 925         shrl    $3,%r13d
 926         rorl    $7,%r15d
 927
 928         xorl    %r15d,%r13d
 929         rorl    $11,%r15d
 930
 931         xorl    %r15d,%r13d
 932         movl    %r12d,%r14d
 933
 934         shrl    $10,%r12d
 935         rorl    $17,%r14d
 936
 937         xorl    %r14d,%r12d
 938         rorl    $2,%r14d
 939
 940         xorl    %r14d,%r12d
 941
 942         addl    %r13d,%r12d
 943
 944         addl    44(%rsp),%r12d
 945
 946         addl    8(%rsp),%r12d
 947         movl    %ecx,%r13d
 948         movl    %ecx,%r14d
 949         movl    %edx,%r15d
 950
 951         rorl    $6,%r13d
 952         rorl    $11,%r14d
 953         xorl    %r8d,%r15d
 954
 955         xorl    %r14d,%r13d
 956         rorl    $14,%r14d
 957         andl    %ecx,%r15d
 958         movl    %r12d,8(%rsp)
 959
 960         xorl    %r14d,%r13d
 961         xorl    %r8d,%r15d
 962         addl    %r9d,%r12d
 963
 964         movl    %r10d,%r9d
 965         addl    %r13d,%r12d
 966
 967         addl    %r15d,%r12d
 968         movl    %r10d,%r13d
 969         movl    %r10d,%r14d
 970
 971         rorl    $2,%r9d
 972         rorl    $13,%r13d
 973         movl    %r10d,%r15d
 974         addl    (%rbp,%rdi,4),%r12d
 975
 976         xorl    %r13d,%r9d
 977         rorl    $9,%r13d
 978         orl     %eax,%r14d
 979
 980         xorl    %r13d,%r9d
 981         andl    %eax,%r15d
 982         addl    %r12d,%ebx
 983
 984         andl    %r11d,%r14d
 985         addl    %r12d,%r9d
 986
 987         orl     %r15d,%r14d
 988         leaq    1(%rdi),%rdi
 989
 990         addl    %r14d,%r9d
 991         movl    16(%rsp),%r13d
 992         movl    4(%rsp),%r12d
 993
 994         movl    %r13d,%r15d
 995
 996         shrl    $3,%r13d
 997         rorl    $7,%r15d
 998
 999         xorl    %r15d,%r13d
1000         rorl    $11,%r15d
1001
1002         xorl    %r15d,%r13d
1003         movl    %r12d,%r14d
1004
1005         shrl    $10,%r12d
1006         rorl    $17,%r14d
1007
1008         xorl    %r14d,%r12d
1009         rorl    $2,%r14d
1010
1011         xorl    %r14d,%r12d
1012
1013         addl    %r13d,%r12d
1014
1015         addl    48(%rsp),%r12d
1016
1017         addl    12(%rsp),%r12d
1018         movl    %ebx,%r13d
1019         movl    %ebx,%r14d
1020         movl    %ecx,%r15d
1021
1022         rorl    $6,%r13d
1023         rorl    $11,%r14d
1024         xorl    %edx,%r15d
1025
1026         xorl    %r14d,%r13d
1027         rorl    $14,%r14d
1028         andl    %ebx,%r15d
1029         movl    %r12d,12(%rsp)
1030
1031         xorl    %r14d,%r13d
1032         xorl    %edx,%r15d
1033         addl    %r8d,%r12d
1034
1035         movl    %r9d,%r8d
1036         addl    %r13d,%r12d
1037
1038         addl    %r15d,%r12d
1039         movl    %r9d,%r13d
1040         movl    %r9d,%r14d
1041
1042         rorl    $2,%r8d
1043         rorl    $13,%r13d
1044         movl    %r9d,%r15d
1045         addl    (%rbp,%rdi,4),%r12d
1046
1047         xorl    %r13d,%r8d
1048         rorl    $9,%r13d
1049         orl     %r11d,%r14d
1050
1051         xorl    %r13d,%r8d
1052         andl    %r11d,%r15d
1053         addl    %r12d,%eax
1054
1055         andl    %r10d,%r14d
1056         addl    %r12d,%r8d
1057
1058         orl     %r15d,%r14d
1059         leaq    1(%rdi),%rdi
1060
1061         addl    %r14d,%r8d
1062         movl    20(%rsp),%r13d
1063         movl    8(%rsp),%r12d
1064
1065         movl    %r13d,%r15d
1066
1067         shrl    $3,%r13d
1068         rorl    $7,%r15d
1069
1070         xorl    %r15d,%r13d
1071         rorl    $11,%r15d
1072
1073         xorl    %r15d,%r13d
1074         movl    %r12d,%r14d
1075
1076         shrl    $10,%r12d
1077         rorl    $17,%r14d
1078
1079         xorl    %r14d,%r12d
1080         rorl    $2,%r14d
1081
1082         xorl    %r14d,%r12d
1083
1084         addl    %r13d,%r12d
1085
1086         addl    52(%rsp),%r12d
1087
1088         addl    16(%rsp),%r12d
1089         movl    %eax,%r13d
1090         movl    %eax,%r14d
1091         movl    %ebx,%r15d
1092
1093         rorl    $6,%r13d
1094         rorl    $11,%r14d
1095         xorl    %ecx,%r15d
1096
1097         xorl    %r14d,%r13d
1098         rorl    $14,%r14d
1099         andl    %eax,%r15d
1100         movl    %r12d,16(%rsp)
1101
1102         xorl    %r14d,%r13d
1103         xorl    %ecx,%r15d
1104         addl    %edx,%r12d
1105
1106         movl    %r8d,%edx
1107         addl    %r13d,%r12d
1108
1109         addl    %r15d,%r12d
1110         movl    %r8d,%r13d
1111         movl    %r8d,%r14d
1112
1113         rorl    $2,%edx
1114         rorl    $13,%r13d
1115         movl    %r8d,%r15d
1116         addl    (%rbp,%rdi,4),%r12d
1117
1118         xorl    %r13d,%edx
1119         rorl    $9,%r13d
1120         orl     %r10d,%r14d
1121
1122         xorl    %r13d,%edx
1123         andl    %r10d,%r15d
1124         addl    %r12d,%r11d
1125
1126         andl    %r9d,%r14d
1127         addl    %r12d,%edx
1128
1129         orl     %r15d,%r14d
1130         leaq    1(%rdi),%rdi
1131
1132         addl    %r14d,%edx
1133         movl    24(%rsp),%r13d
1134         movl    12(%rsp),%r12d
1135
1136         movl    %r13d,%r15d
1137
1138         shrl    $3,%r13d
1139         rorl    $7,%r15d
1140
1141         xorl    %r15d,%r13d
1142         rorl    $11,%r15d
1143
1144         xorl    %r15d,%r13d
1145         movl    %r12d,%r14d
1146
1147         shrl    $10,%r12d
1148         rorl    $17,%r14d
1149
1150         xorl    %r14d,%r12d
1151         rorl    $2,%r14d
1152
1153         xorl    %r14d,%r12d
1154
1155         addl    %r13d,%r12d
1156
1157         addl    56(%rsp),%r12d
1158
1159         addl    20(%rsp),%r12d
1160         movl    %r11d,%r13d
1161         movl    %r11d,%r14d
1162         movl    %eax,%r15d
1163
1164         rorl    $6,%r13d
1165         rorl    $11,%r14d
1166         xorl    %ebx,%r15d
1167
1168         xorl    %r14d,%r13d
1169         rorl    $14,%r14d
1170         andl    %r11d,%r15d
1171         movl    %r12d,20(%rsp)
1172
1173         xorl    %r14d,%r13d
1174         xorl    %ebx,%r15d
1175         addl    %ecx,%r12d
1176
1177         movl    %edx,%ecx
1178         addl    %r13d,%r12d
1179
1180         addl    %r15d,%r12d
1181         movl    %edx,%r13d
1182         movl    %edx,%r14d
1183
1184         rorl    $2,%ecx
1185         rorl    $13,%r13d
1186         movl    %edx,%r15d
1187         addl    (%rbp,%rdi,4),%r12d
1188
1189         xorl    %r13d,%ecx
1190         rorl    $9,%r13d
1191         orl     %r9d,%r14d
1192
1193         xorl    %r13d,%ecx
1194         andl    %r9d,%r15d
1195         addl    %r12d,%r10d
1196
1197         andl    %r8d,%r14d
1198         addl    %r12d,%ecx
1199
1200         orl     %r15d,%r14d
1201         leaq    1(%rdi),%rdi
1202
1203         addl    %r14d,%ecx
1204         movl    28(%rsp),%r13d
1205         movl    16(%rsp),%r12d
1206
1207         movl    %r13d,%r15d
1208
1209         shrl    $3,%r13d
1210         rorl    $7,%r15d
1211
1212         xorl    %r15d,%r13d
1213         rorl    $11,%r15d
1214
1215         xorl    %r15d,%r13d
1216         movl    %r12d,%r14d
1217
1218         shrl    $10,%r12d
1219         rorl    $17,%r14d
1220
1221         xorl    %r14d,%r12d
1222         rorl    $2,%r14d
1223
1224         xorl    %r14d,%r12d
1225
1226         addl    %r13d,%r12d
1227
1228         addl    60(%rsp),%r12d
1229
1230         addl    24(%rsp),%r12d
1231         movl    %r10d,%r13d
1232         movl    %r10d,%r14d
1233         movl    %r11d,%r15d
1234
1235         rorl    $6,%r13d
1236         rorl    $11,%r14d
1237         xorl    %eax,%r15d
1238
1239         xorl    %r14d,%r13d
1240         rorl    $14,%r14d
1241         andl    %r10d,%r15d
1242         movl    %r12d,24(%rsp)
1243
1244         xorl    %r14d,%r13d
1245         xorl    %eax,%r15d
1246         addl    %ebx,%r12d
1247
1248         movl    %ecx,%ebx
1249         addl    %r13d,%r12d
1250
1251         addl    %r15d,%r12d
1252         movl    %ecx,%r13d
1253         movl    %ecx,%r14d
1254
1255         rorl    $2,%ebx
1256         rorl    $13,%r13d
1257         movl    %ecx,%r15d
1258         addl    (%rbp,%rdi,4),%r12d
1259
1260         xorl    %r13d,%ebx
1261         rorl    $9,%r13d
1262         orl     %r8d,%r14d
1263
1264         xorl    %r13d,%ebx
1265         andl    %r8d,%r15d
1266         addl    %r12d,%r9d
1267
1268         andl    %edx,%r14d
1269         addl    %r12d,%ebx
1270
1271         orl     %r15d,%r14d
1272         leaq    1(%rdi),%rdi
1273
1274         addl    %r14d,%ebx
1275         movl    32(%rsp),%r13d
1276         movl    20(%rsp),%r12d
1277
1278         movl    %r13d,%r15d
1279
1280         shrl    $3,%r13d
1281         rorl    $7,%r15d
1282
1283         xorl    %r15d,%r13d
1284         rorl    $11,%r15d
1285
1286         xorl    %r15d,%r13d
1287         movl    %r12d,%r14d
1288
1289         shrl    $10,%r12d
1290         rorl    $17,%r14d
1291
1292         xorl    %r14d,%r12d
1293         rorl    $2,%r14d
1294
1295         xorl    %r14d,%r12d
1296
1297         addl    %r13d,%r12d
1298
1299         addl    0(%rsp),%r12d
1300
1301         addl    28(%rsp),%r12d
1302         movl    %r9d,%r13d
1303         movl    %r9d,%r14d
1304         movl    %r10d,%r15d
1305
1306         rorl    $6,%r13d
1307         rorl    $11,%r14d
1308         xorl    %r11d,%r15d
1309
1310         xorl    %r14d,%r13d
1311         rorl    $14,%r14d
1312         andl    %r9d,%r15d
1313         movl    %r12d,28(%rsp)
1314
1315         xorl    %r14d,%r13d
1316         xorl    %r11d,%r15d
1317         addl    %eax,%r12d
1318
1319         movl    %ebx,%eax
1320         addl    %r13d,%r12d
1321
1322         addl    %r15d,%r12d
1323         movl    %ebx,%r13d
1324         movl    %ebx,%r14d
1325
1326         rorl    $2,%eax
1327         rorl    $13,%r13d
1328         movl    %ebx,%r15d
1329         addl    (%rbp,%rdi,4),%r12d
1330
1331         xorl    %r13d,%eax
1332         rorl    $9,%r13d
1333         orl     %edx,%r14d
1334
1335         xorl    %r13d,%eax
1336         andl    %edx,%r15d
1337         addl    %r12d,%r8d
1338
1339         andl    %ecx,%r14d
1340         addl    %r12d,%eax
1341
1342         orl     %r15d,%r14d
1343         leaq    1(%rdi),%rdi
1344
1345         addl    %r14d,%eax
1346         movl    36(%rsp),%r13d
1347         movl    24(%rsp),%r12d
1348
1349         movl    %r13d,%r15d
1350
1351         shrl    $3,%r13d
1352         rorl    $7,%r15d
1353
1354         xorl    %r15d,%r13d
1355         rorl    $11,%r15d
1356
1357         xorl    %r15d,%r13d
1358         movl    %r12d,%r14d
1359
1360         shrl    $10,%r12d
1361         rorl    $17,%r14d
1362
1363         xorl    %r14d,%r12d
1364         rorl    $2,%r14d
1365
1366         xorl    %r14d,%r12d
1367
1368         addl    %r13d,%r12d
1369
1370         addl    4(%rsp),%r12d
1371
1372         addl    32(%rsp),%r12d
1373         movl    %r8d,%r13d
1374         movl    %r8d,%r14d
1375         movl    %r9d,%r15d
1376
1377         rorl    $6,%r13d
1378         rorl    $11,%r14d
1379         xorl    %r10d,%r15d
1380
1381         xorl    %r14d,%r13d
1382         rorl    $14,%r14d
1383         andl    %r8d,%r15d
1384         movl    %r12d,32(%rsp)
1385
1386         xorl    %r14d,%r13d
1387         xorl    %r10d,%r15d
1388         addl    %r11d,%r12d
1389
1390         movl    %eax,%r11d
1391         addl    %r13d,%r12d
1392
1393         addl    %r15d,%r12d
1394         movl    %eax,%r13d
1395         movl    %eax,%r14d
1396
1397         rorl    $2,%r11d
1398         rorl    $13,%r13d
1399         movl    %eax,%r15d
1400         addl    (%rbp,%rdi,4),%r12d
1401
1402         xorl    %r13d,%r11d
1403         rorl    $9,%r13d
1404         orl     %ecx,%r14d
1405
1406         xorl    %r13d,%r11d
1407         andl    %ecx,%r15d
1408         addl    %r12d,%edx
1409
1410         andl    %ebx,%r14d
1411         addl    %r12d,%r11d
1412
1413         orl     %r15d,%r14d
1414         leaq    1(%rdi),%rdi
1415
1416         addl    %r14d,%r11d
1417         movl    40(%rsp),%r13d
1418         movl    28(%rsp),%r12d
1419
1420         movl    %r13d,%r15d
1421
1422         shrl    $3,%r13d
1423         rorl    $7,%r15d
1424
1425         xorl    %r15d,%r13d
1426         rorl    $11,%r15d
1427
1428         xorl    %r15d,%r13d
1429         movl    %r12d,%r14d
1430
1431         shrl    $10,%r12d
1432         rorl    $17,%r14d
1433
1434         xorl    %r14d,%r12d
1435         rorl    $2,%r14d
1436
1437         xorl    %r14d,%r12d
1438
1439         addl    %r13d,%r12d
1440
1441         addl    8(%rsp),%r12d
1442
1443         addl    36(%rsp),%r12d
1444         movl    %edx,%r13d
1445         movl    %edx,%r14d
1446         movl    %r8d,%r15d
1447
1448         rorl    $6,%r13d
1449         rorl    $11,%r14d
1450         xorl    %r9d,%r15d
1451
1452         xorl    %r14d,%r13d
1453         rorl    $14,%r14d
1454         andl    %edx,%r15d
1455         movl    %r12d,36(%rsp)
1456
1457         xorl    %r14d,%r13d
1458         xorl    %r9d,%r15d
1459         addl    %r10d,%r12d
1460
1461         movl    %r11d,%r10d
1462         addl    %r13d,%r12d
1463
1464         addl    %r15d,%r12d
1465         movl    %r11d,%r13d
1466         movl    %r11d,%r14d
1467
1468         rorl    $2,%r10d
1469         rorl    $13,%r13d
1470         movl    %r11d,%r15d
1471         addl    (%rbp,%rdi,4),%r12d
1472
1473         xorl    %r13d,%r10d
1474         rorl    $9,%r13d
1475         orl     %ebx,%r14d
1476
1477         xorl    %r13d,%r10d
1478         andl    %ebx,%r15d
1479         addl    %r12d,%ecx
1480
1481         andl    %eax,%r14d
1482         addl    %r12d,%r10d
1483
1484         orl     %r15d,%r14d
1485         leaq    1(%rdi),%rdi
1486
1487         addl    %r14d,%r10d
1488         movl    44(%rsp),%r13d
1489         movl    32(%rsp),%r12d
1490
1491         movl    %r13d,%r15d
1492
1493         shrl    $3,%r13d
1494         rorl    $7,%r15d
1495
1496         xorl    %r15d,%r13d
1497         rorl    $11,%r15d
1498
1499         xorl    %r15d,%r13d
1500         movl    %r12d,%r14d
1501
1502         shrl    $10,%r12d
1503         rorl    $17,%r14d
1504
1505         xorl    %r14d,%r12d
1506         rorl    $2,%r14d
1507
1508         xorl    %r14d,%r12d
1509
1510         addl    %r13d,%r12d
1511
1512         addl    12(%rsp),%r12d
1513
1514         addl    40(%rsp),%r12d
1515         movl    %ecx,%r13d
1516         movl    %ecx,%r14d
1517         movl    %edx,%r15d
1518
1519         rorl    $6,%r13d
1520         rorl    $11,%r14d
1521         xorl    %r8d,%r15d
1522
1523         xorl    %r14d,%r13d
1524         rorl    $14,%r14d
1525         andl    %ecx,%r15d
1526         movl    %r12d,40(%rsp)
1527
1528         xorl    %r14d,%r13d
1529         xorl    %r8d,%r15d
1530         addl    %r9d,%r12d
1531
1532         movl    %r10d,%r9d
1533         addl    %r13d,%r12d
1534
1535         addl    %r15d,%r12d
1536         movl    %r10d,%r13d
1537         movl    %r10d,%r14d
1538
1539         rorl    $2,%r9d
1540         rorl    $13,%r13d
1541         movl    %r10d,%r15d
1542         addl    (%rbp,%rdi,4),%r12d
1543
1544         xorl    %r13d,%r9d
1545         rorl    $9,%r13d
1546         orl     %eax,%r14d
1547
1548         xorl    %r13d,%r9d
1549         andl    %eax,%r15d
1550         addl    %r12d,%ebx
1551
1552         andl    %r11d,%r14d
1553         addl    %r12d,%r9d
1554
1555         orl     %r15d,%r14d
1556         leaq    1(%rdi),%rdi
1557
1558         addl    %r14d,%r9d
1559         movl    48(%rsp),%r13d
1560         movl    36(%rsp),%r12d
1561
1562         movl    %r13d,%r15d
1563
1564         shrl    $3,%r13d
1565         rorl    $7,%r15d
1566
1567         xorl    %r15d,%r13d
1568         rorl    $11,%r15d
1569
1570         xorl    %r15d,%r13d
1571         movl    %r12d,%r14d
1572
1573         shrl    $10,%r12d
1574         rorl    $17,%r14d
1575
1576         xorl    %r14d,%r12d
1577         rorl    $2,%r14d
1578
1579         xorl    %r14d,%r12d
1580
1581         addl    %r13d,%r12d
1582
1583         addl    16(%rsp),%r12d
1584
1585         addl    44(%rsp),%r12d
1586         movl    %ebx,%r13d
1587         movl    %ebx,%r14d
1588         movl    %ecx,%r15d
1589
1590         rorl    $6,%r13d
1591         rorl    $11,%r14d
1592         xorl    %edx,%r15d
1593
1594         xorl    %r14d,%r13d
1595         rorl    $14,%r14d
1596         andl    %ebx,%r15d
1597         movl    %r12d,44(%rsp)
1598
1599         xorl    %r14d,%r13d
1600         xorl    %edx,%r15d
1601         addl    %r8d,%r12d
1602
1603         movl    %r9d,%r8d
1604         addl    %r13d,%r12d
1605
1606         addl    %r15d,%r12d
1607         movl    %r9d,%r13d
1608         movl    %r9d,%r14d
1609
1610         rorl    $2,%r8d
1611         rorl    $13,%r13d
1612         movl    %r9d,%r15d
1613         addl    (%rbp,%rdi,4),%r12d
1614
1615         xorl    %r13d,%r8d
1616         rorl    $9,%r13d
1617         orl     %r11d,%r14d
1618
1619         xorl    %r13d,%r8d
1620         andl    %r11d,%r15d
1621         addl    %r12d,%eax
1622
1623         andl    %r10d,%r14d
1624         addl    %r12d,%r8d
1625
1626         orl     %r15d,%r14d
1627         leaq    1(%rdi),%rdi
1628
1629         addl    %r14d,%r8d
1630         movl    52(%rsp),%r13d
1631         movl    40(%rsp),%r12d
1632
1633         movl    %r13d,%r15d
1634
1635         shrl    $3,%r13d
1636         rorl    $7,%r15d
1637
1638         xorl    %r15d,%r13d
1639         rorl    $11,%r15d
1640
1641         xorl    %r15d,%r13d
1642         movl    %r12d,%r14d
1643
1644         shrl    $10,%r12d
1645         rorl    $17,%r14d
1646
1647         xorl    %r14d,%r12d
1648         rorl    $2,%r14d
1649
1650         xorl    %r14d,%r12d
1651
1652         addl    %r13d,%r12d
1653
1654         addl    20(%rsp),%r12d
1655
1656         addl    48(%rsp),%r12d
1657         movl    %eax,%r13d
1658         movl    %eax,%r14d
1659         movl    %ebx,%r15d
1660
1661         rorl    $6,%r13d
1662         rorl    $11,%r14d
1663         xorl    %ecx,%r15d
1664
1665         xorl    %r14d,%r13d
1666         rorl    $14,%r14d
1667         andl    %eax,%r15d
1668         movl    %r12d,48(%rsp)
1669
1670         xorl    %r14d,%r13d
1671         xorl    %ecx,%r15d
1672         addl    %edx,%r12d
1673
1674         movl    %r8d,%edx
1675         addl    %r13d,%r12d
1676
1677         addl    %r15d,%r12d
1678         movl    %r8d,%r13d
1679         movl    %r8d,%r14d
1680
1681         rorl    $2,%edx
1682         rorl    $13,%r13d
1683         movl    %r8d,%r15d
1684         addl    (%rbp,%rdi,4),%r12d
1685
1686         xorl    %r13d,%edx
1687         rorl    $9,%r13d
1688         orl     %r10d,%r14d
1689
1690         xorl    %r13d,%edx
1691         andl    %r10d,%r15d
1692         addl    %r12d,%r11d
1693
1694         andl    %r9d,%r14d
1695         addl    %r12d,%edx
1696
1697         orl     %r15d,%r14d
1698         leaq    1(%rdi),%rdi
1699
1700         addl    %r14d,%edx
1701         movl    56(%rsp),%r13d
1702         movl    44(%rsp),%r12d
1703
1704         movl    %r13d,%r15d
1705
1706         shrl    $3,%r13d
1707         rorl    $7,%r15d
1708
1709         xorl    %r15d,%r13d
1710         rorl    $11,%r15d
1711
1712         xorl    %r15d,%r13d
1713         movl    %r12d,%r14d
1714
1715         shrl    $10,%r12d
1716         rorl    $17,%r14d
1717
1718         xorl    %r14d,%r12d
1719         rorl    $2,%r14d
1720
1721         xorl    %r14d,%r12d
1722
1723         addl    %r13d,%r12d
1724
1725         addl    24(%rsp),%r12d
1726
1727         addl    52(%rsp),%r12d
1728         movl    %r11d,%r13d
1729         movl    %r11d,%r14d
1730         movl    %eax,%r15d
1731
1732         rorl    $6,%r13d
1733         rorl    $11,%r14d
1734         xorl    %ebx,%r15d
1735
1736         xorl    %r14d,%r13d
1737         rorl    $14,%r14d
1738         andl    %r11d,%r15d
1739         movl    %r12d,52(%rsp)
1740
1741         xorl    %r14d,%r13d
1742         xorl    %ebx,%r15d
1743         addl    %ecx,%r12d
1744
1745         movl    %edx,%ecx
1746         addl    %r13d,%r12d
1747
1748         addl    %r15d,%r12d
1749         movl    %edx,%r13d
1750         movl    %edx,%r14d
1751
1752         rorl    $2,%ecx
1753         rorl    $13,%r13d
1754         movl    %edx,%r15d
1755         addl    (%rbp,%rdi,4),%r12d
1756
1757         xorl    %r13d,%ecx
1758         rorl    $9,%r13d
1759         orl     %r9d,%r14d
1760
1761         xorl    %r13d,%ecx
1762         andl    %r9d,%r15d
1763         addl    %r12d,%r10d
1764
1765         andl    %r8d,%r14d
1766         addl    %r12d,%ecx
1767
1768         orl     %r15d,%r14d
1769         leaq    1(%rdi),%rdi
1770
1771         addl    %r14d,%ecx
1772         movl    60(%rsp),%r13d
1773         movl    48(%rsp),%r12d
1774
1775         movl    %r13d,%r15d
1776
1777         shrl    $3,%r13d
1778         rorl    $7,%r15d
1779
1780         xorl    %r15d,%r13d
1781         rorl    $11,%r15d
1782
1783         xorl    %r15d,%r13d
1784         movl    %r12d,%r14d
1785
1786         shrl    $10,%r12d
1787         rorl    $17,%r14d
1788
1789         xorl    %r14d,%r12d
1790         rorl    $2,%r14d
1791
1792         xorl    %r14d,%r12d
1793
1794         addl    %r13d,%r12d
1795
1796         addl    28(%rsp),%r12d
1797
1798         addl    56(%rsp),%r12d
1799         movl    %r10d,%r13d
1800         movl    %r10d,%r14d
1801         movl    %r11d,%r15d
1802
1803         rorl    $6,%r13d
1804         rorl    $11,%r14d
1805         xorl    %eax,%r15d
1806
1807         xorl    %r14d,%r13d
1808         rorl    $14,%r14d
1809         andl    %r10d,%r15d
1810         movl    %r12d,56(%rsp)
1811
1812         xorl    %r14d,%r13d
1813         xorl    %eax,%r15d
1814         addl    %ebx,%r12d
1815
1816         movl    %ecx,%ebx
1817         addl    %r13d,%r12d
1818
1819         addl    %r15d,%r12d
1820         movl    %ecx,%r13d
1821         movl    %ecx,%r14d
1822
1823         rorl    $2,%ebx
1824         rorl    $13,%r13d
1825         movl    %ecx,%r15d
1826         addl    (%rbp,%rdi,4),%r12d
1827
1828         xorl    %r13d,%ebx
1829         rorl    $9,%r13d
1830         orl     %r8d,%r14d
1831
1832         xorl    %r13d,%ebx
1833         andl    %r8d,%r15d
1834         addl    %r12d,%r9d
1835
1836         andl    %edx,%r14d
1837         addl    %r12d,%ebx
1838
1839         orl     %r15d,%r14d
1840         leaq    1(%rdi),%rdi
1841
1842         addl    %r14d,%ebx
1843         movl    0(%rsp),%r13d
1844         movl    52(%rsp),%r12d
1845
1846         movl    %r13d,%r15d
1847
1848         shrl    $3,%r13d
1849         rorl    $7,%r15d
1850
1851         xorl    %r15d,%r13d
1852         rorl    $11,%r15d
1853
1854         xorl    %r15d,%r13d
1855         movl    %r12d,%r14d
1856
1857         shrl    $10,%r12d
1858         rorl    $17,%r14d
1859
1860         xorl    %r14d,%r12d
1861         rorl    $2,%r14d
1862
1863         xorl    %r14d,%r12d
1864
1865         addl    %r13d,%r12d
1866
1867         addl    32(%rsp),%r12d
1868
1869         addl    60(%rsp),%r12d
1870         movl    %r9d,%r13d
1871         movl    %r9d,%r14d
1872         movl    %r10d,%r15d
1873
1874         rorl    $6,%r13d
1875         rorl    $11,%r14d
1876         xorl    %r11d,%r15d
1877
1878         xorl    %r14d,%r13d
1879         rorl    $14,%r14d
1880         andl    %r9d,%r15d
1881         movl    %r12d,60(%rsp)
1882
1883         xorl    %r14d,%r13d
1884         xorl    %r11d,%r15d
1885         addl    %eax,%r12d
1886
1887         movl    %ebx,%eax
1888         addl    %r13d,%r12d
1889
1890         addl    %r15d,%r12d
1891         movl    %ebx,%r13d
1892         movl    %ebx,%r14d
1893
1894         rorl    $2,%eax
1895         rorl    $13,%r13d
1896         movl    %ebx,%r15d
1897         addl    (%rbp,%rdi,4),%r12d
1898
1899         xorl    %r13d,%eax
1900         rorl    $9,%r13d
1901         orl     %edx,%r14d
1902
1903         xorl    %r13d,%eax
1904         andl    %edx,%r15d
1905         addl    %r12d,%r8d
1906
1907         andl    %ecx,%r14d
1908         addl    %r12d,%eax
1909
1910         orl     %r15d,%r14d
1911         leaq    1(%rdi),%rdi
1912
1913         addl    %r14d,%eax
1914         cmpq    $64,%rdi
1915         jb      .Lrounds_16_xx
1916
1917         movq    64+0(%rsp),%rdi
1918         leaq    64(%rsi),%rsi
1919
1920         addl    0(%rdi),%eax
1921         addl    4(%rdi),%ebx
1922         addl    8(%rdi),%ecx
1923         addl    12(%rdi),%edx
1924         addl    16(%rdi),%r8d
1925         addl    20(%rdi),%r9d
1926         addl    24(%rdi),%r10d
1927         addl    28(%rdi),%r11d
1928
1929         cmpq    64+16(%rsp),%rsi
1930
1931         movl    %eax,0(%rdi)
1932         movl    %ebx,4(%rdi)
1933         movl    %ecx,8(%rdi)
1934         movl    %edx,12(%rdi)
1935         movl    %r8d,16(%rdi)
1936         movl    %r9d,20(%rdi)
1937         movl    %r10d,24(%rdi)
1938         movl    %r11d,28(%rdi)
1939         jb      .Lloop
1940
1941         movq    64+24(%rsp),%rsp
1942         popq    %r15
1943         popq    %r14
1944         popq    %r13
1945         popq    %r12
1946         popq    %rbp
1947         popq    %rbx
1948
1949         .byte   0xf3,0xc3
1950 .size   sha256_block_data_order,.-sha256_block_data_order
1951 .align  64
1952 .type   K256,@object
1953 K256:
1954 .long   0x428a2f98,0x71374491,0xb5c0fbcf,0xe9b5dba5
1955 .long   0x3956c25b,0x59f111f1,0x923f82a4,0xab1c5ed5
1956 .long   0xd807aa98,0x12835b01,0x243185be,0x550c7dc3
1957 .long   0x72be5d74,0x80deb1fe,0x9bdc06a7,0xc19bf174
1958 .long   0xe49b69c1,0xefbe4786,0x0fc19dc6,0x240ca1cc
1959 .long   0x2de92c6f,0x4a7484aa,0x5cb0a9dc,0x76f988da
1960 .long   0x983e5152,0xa831c66d,0xb00327c8,0xbf597fc7
1961 .long   0xc6e00bf3,0xd5a79147,0x06ca6351,0x14292967
1962 .long   0x27b70a85,0x2e1b2138,0x4d2c6dfc,0x53380d13
1963 .long   0x650a7354,0x766a0abb,0x81c2c92e,0x92722c85
1964 .long   0xa2bfe8a1,0xa81a664b,0xc24b8b70,0xc76c51a3
1965 .long   0xd192e819,0xd6990624,0xf40e3585,0x106aa070
1966 .long   0x19a4c116,0x1e376c08,0x2748774c,0x34b0bcb5
1967 .long   0x391c0cb3,0x4ed8aa4a,0x5b9cca4f,0x682e6ff3
1968 .long   0x748f82ee,0x78a5636f,0x84c87814,0x8cc70208
1969 .long   0x90befffa,0xa4506ceb,0xbef9a3f7,0xc67178f2