diff options
Diffstat (limited to 'src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s')
-rw-r--r-- | src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s | 2952 |
1 files changed, 0 insertions, 2952 deletions
diff --git a/src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s b/src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s deleted file mode 100644 index 9cc1dc48b..000000000 --- a/src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s +++ /dev/null @@ -1,2952 +0,0 @@ -.section .text -.globl p256_jacobian_add_affine -.type p256_jacobian_add_affine, @function -p256_jacobian_add_affine: - pushq %r12 #197.3 - pushq %r13 #197.3 - pushq %r14 #197.3 - pushq %r15 #197.3 - pushq %rbx #197.3 - pushq %rbp #197.3 - subq $280, %rsp #197.3 - movq %rdx, 104(%rsp) #197.3[spill] - pxor %xmm0, %xmm0 #206.20 - movq %rsi, 120(%rsp) #197.3[spill] - movq %rdi, 112(%rsp) #197.3[spill] - movups %xmm0, (%rsp) #206.20 - movups %xmm0, 16(%rsp) #206.20 - movq %rsi, %r11 #206.41 - movq $-1, %rsi #80.34 - xorl %edi, %edi #76.32 - movq $0x0ffffffff, %rdi #81.34 - vpxor %xmm0, %xmm0, %xmm0 #208.20 - movq 88(%r11), %r12 #206.62 - movq %r12, %rdx #72.34 - movq 80(%r11), %r13 #206.55 - movq 64(%r11), %r10 #206.41 - movq 72(%r11), %r9 #206.48 - mulx %r12, %r15, %r14 #72.34 - mulx %r13, %r11, %rax #73.34 - adcx %r11, %r14 #76.32 - mulx %r9, %rbx, %r8 #74.34 - adcx %rbx, %rax #77.32 - movq $0xffffffff00000001, %rbx #82.34 - mulx %r10, %rcx, %rbp #75.34 - movq %r15, %rdx #80.34 - adcx %rcx, %r8 #78.32 - movq %r9, 168(%rsp) #206.48[spill] - movl $0, %r9d #76.32 - movq %r10, 88(%rsp) #206.41[spill] - movl %r9d, %r11d #78.32 - movl %r9d, %r10d #79.30 - setb %r11b #78.32 - adox %r9d, %r10d #79.30 - adox %rbp, %r11 #79.30 - mulx %rsi, %rsi, %rbp #80.34 - clc #83.32 - mulx %rdi, %r10, %rcx #81.34 - adcx %r10, %rbp #83.32 - movl $0, %r10d #84.32 - mulx %rbx, %rbx, %rdi #82.34 - movl %r9d, %edx #86.30 - adcx %r10, %rcx #84.32 - movq %r13, 176(%rsp) #206.55[spill] - adcx %r10, %rbx #85.32 - movl %r9d, %r10d #85.32 - movq %r12, 184(%rsp) #206.62[spill] - setb %r10b #85.32 - adox %r9d, %edx #86.30 - movq %r13, %rdx #92.34 - adox %rdi, %r10 #86.30 - movl %r9d, %edi #86.30 - seto %dil #86.30 - clc #87.30 - adcx %rsi, %r15 #87.30 - adcx %rbp, %r14 #88.32 - adcx %rcx, %rax #89.32 - mulx %r13, %rcx, %r15 #93.34 - movl %r9d, %r13d #96.32 - adcx %rbx, %r8 #90.32 - mulx %r12, %rsi, %rbx #92.34 - adcx %r10, %r11 #91.32 - movl %r9d, %r10d #91.32 - mulx 168(%rsp), %rbp, %r12 #94.34[spill] - setb %r10b #91.32 - adox %r9d, %r13d #96.32 - mulx 88(%rsp), %rdx, %rdi #95.34[spill] - adox %rcx, %rbx #96.32 - movl %r9d, %ecx #98.32 - adox %rbp, %r15 #97.32 - movl %r9d, %ebp #100.34 - adox %rdx, %r12 #98.32 - seto %cl #98.32 - clc #99.30 - adcx %rdi, %rcx #99.30 - adox %r9d, %ebp #100.34 - movl %r9d, %edi #104.34 - adox %rsi, %r14 #100.34 - movq %r14, %rdx #105.36 - adox %rbx, %rax #101.34 - movq $0x0ffffffff, %rbx #106.36 - adox %r15, %r8 #102.34 - movq $0xffffffff00000001, %r15 #107.36 - adox %r12, %r11 #103.34 - movq $-1, %r12 #105.36 - mulx %r12, %rbp, %r13 #105.36 - movl $0, %r12d #109.34 - adox %rcx, %r10 #104.34 - mulx %rbx, %rsi, %rcx #106.36 - seto %dil #104.34 - clc #108.34 - adcx %rsi, %r13 #108.34 - mulx %r15, %rbx, %rsi #107.36 - movl %r9d, %r15d #110.34 - adcx %r12, %rcx #109.34 - movq 168(%rsp), %rdx #118.36[spill] - adcx %r12, %rbx #110.34 - movl %r9d, %r12d #111.31 - setb %r15b #110.34 - adox %r9d, %r12d #111.31 - adox %rsi, %r15 #111.31 - clc #112.31 - movl %r9d, %esi #122.34 - adcx %rbp, %r14 #112.31 - movl %r9d, %r14d #116.34 - adcx %r13, %rax #113.34 - adcx %rcx, %r8 #114.34 - mulx 176(%rsp), %rcx, %r12 #119.36[spill] - adcx %rbx, %r11 #115.34 - adcx %r15, %r10 #116.34 - mulx 184(%rsp), %r15, %r13 #118.36[spill] - setb %r14b #116.34 - adox %r9d, %esi #122.34 - movl %r14d, 64(%rsp) #116.34[spill] - movl %r9d, %esi #124.34 - adox %rcx, %r13 #122.34 - movl %r9d, %ecx #125.31 - mulx %rdx, %rbp, %r14 #120.36 - adox %rbp, %r12 #123.34 - movl %r9d, %ebp #126.34 - mulx 88(%rsp), %rdx, %rbx #121.36[spill] - adox %rdx, %r14 #124.34 - seto %sil #124.34 - clc #125.31 - adcx %rbx, %rsi #125.31 - movl %r9d, %ebx #129.34 - setb %cl #125.31 - adox %r9d, %ebp #126.34 - adox %r15, %rax #126.34 - movq %rax, %rdx #131.36 - adox %r13, %r8 #127.34 - movq $0x0ffffffff, %r13 #132.36 - mulx %r13, %r13, %r15 #132.36 - adox %r12, %r11 #128.34 - movq $0xffffffff00000001, %r12 #133.36 - adox %r14, %r10 #129.34 - mulx %r12, %r12, %r14 #133.36 - seto %bl #129.34 - addl 64(%rsp), %edi #130.34[spill] - cmpl %ebx, %r9d #130.34 - movl %r9d, %ebx #130.34 - adcx %rsi, %rdi #130.34 - movq $-1, %rsi #131.36 - mulx %rsi, %rbp, %rcx #131.36 - movl %r9d, %edx #134.34 - setb %bl #130.34 - adox %r9d, %edx #134.34 - movq 88(%rsp), %rdx #144.36[spill] - adox %r13, %rcx #134.34 - movl $0, %r13d #135.34 - adox %r13, %r15 #135.34 - adox %r13, %r12 #136.34 - movl %r9d, %r13d #136.34 - seto %r13b #136.34 - clc #137.31 - adcx %r14, %r13 #137.31 - movl %r9d, %r14d #138.31 - adox %r9d, %r14d #138.31 - adox %rbp, %rax #138.31 - mulx 176(%rsp), %rax, %r14 #145.36[spill] - adox %rcx, %r8 #139.34 - movl %r9d, %ecx #142.34 - adox %r15, %r11 #140.34 - adox %r12, %r10 #141.34 - adox %r13, %rdi #142.34 - mulx 184(%rsp), %r12, %r13 #144.36[spill] - seto %cl #142.34 - clc #148.34 - adcx %rax, %r13 #148.34 - mulx 168(%rsp), %rax, %r15 #146.36[spill] - adcx %rax, %r14 #149.34 - mulx %rdx, %rax, %rbp #147.36 - movl %r9d, %edx #151.31 - adcx %rax, %r15 #150.34 - movl %r9d, %eax #150.34 - setb %al #150.34 - adox %r9d, %edx #151.31 - adox %rbp, %rax #151.31 - clc #152.34 - adcx %r12, %r8 #152.34 - movq %r8, %rdx #157.36 - adcx %r13, %r11 #153.34 - adcx %r14, %r10 #154.34 - movq $0xffffffff00000001, %r14 #159.36 - adcx %r15, %rdi #155.34 - movl %r9d, %r15d #155.34 - setb %r15b #155.34 - xorl %ebp, %ebp #155.34 - addl %ecx, %ebx #156.34 - cmpl %r15d, %r9d #156.34 - movq $0x0ffffffff, %rcx #158.36 - mulx %rsi, %r15, %r13 #157.36 - adcx %rax, %rbx #156.34 - mulx %rcx, %rcx, %r12 #158.36 - mulx %r14, %r14, %rax #159.36 - movl %r9d, %edx #160.34 - setb %bpl #156.34 - adox %r9d, %edx #160.34 - movl %r9d, %edx #162.34 - adox %rcx, %r13 #160.34 - movl $0, %ecx #161.34 - adox %rcx, %r12 #161.34 - adox %rcx, %r14 #162.34 - seto %dl #162.34 - clc #163.31 - adcx %rax, %rdx #163.31 - movl %r9d, %eax #164.31 - adox %r9d, %eax #164.31 - adox %r15, %r8 #164.31 - movl %r9d, %r8d #168.34 - adox %r13, %r11 #165.34 - adox %r12, %r10 #166.34 - movq %r10, %rax #171.34 - adox %r14, %rdi #167.34 - movq %rdi, %r14 #172.34 - adox %rdx, %rbx #168.34 - movq %r11, %rdx #170.34 - movq %rbx, %r13 #173.34 - seto %r8b #168.34 - xorl %r12d, %r12d #168.34 - addl %r8d, %ebp #174.31 - subq %rsi, %rdx #170.34 - movq $0x0ffffffff, %rsi #171.34 - movq $0xffffffff00000001, %r8 #173.34 - sbbq %rsi, %rax #171.34 - sbbq %rcx, %r14 #172.34 - sbbq %r8, %r13 #173.34 - setb %r12b #173.34 - cmpl %r12d, %r9d #174.31 - sbbq %rcx, %rbp #174.31 - setb %r9b #174.31 - testq %r9, %r9 #18.0 - cmovnz %rbx, %r13 #18.0 - movq %r13, 216(%rsp) #18.0[spill] - testq %r9, %r9 #18.0 - cmovnz %rdi, %r14 #18.0 - movq %r14, 224(%rsp) #18.0[spill] - testq %r9, %r9 #18.0 - cmovnz %r10, %rax #18.0 - testq %r9, %r9 #18.0 - cmovnz %r11, %rdx #18.0 - movq %r13, (%rsp) #206.37 - movq %r14, 8(%rsp) #206.37 - movq %rax, 16(%rsp) #206.37 - movq %rdx, 24(%rsp) #206.37 - vmovups %xmm0, 32(%rsp) #208.20 - vmovups %xmm0, 48(%rsp) #208.20 - movq 168(%rsp), %rcx #26.23[spill] - orq 88(%rsp), %rcx #26.23[spill] - orq 176(%rsp), %rcx #27.23[spill] - orq 184(%rsp), %rcx #28.23[spill] - movq %rcx, 96(%rsp) #28.23[spill] - movq 104(%rsp), %rsi #208.66[spill] - movq $-1, %r14 #80.34 - movq %rdx, 72(%rsp) #[spill] - movq %rax, 64(%rsp) #[spill] - vpxor %xmm0, %xmm0, %xmm0 #210.21 - movq (%rsi), %rcx #208.66 - movq 8(%rsi), %rbx #208.73 - movq 16(%rsi), %rbp #208.80 - movq 24(%rsi), %r10 #208.87 - xorl %esi, %esi #76.32 - mulx %r10, %r9, %r11 #72.34 - mulx %rbp, %r15, %r8 #73.34 - adcx %r15, %r11 #76.32 - movq $0x0ffffffff, %r15 #81.34 - movq %rbp, 208(%rsp) #208.80[spill] - mulx %rbx, %rbp, %rdi #74.34 - adcx %rbp, %r8 #77.32 - movl $0, %ebp #78.32 - movq %rcx, 192(%rsp) #208.66[spill] - mulx %rcx, %r12, %rcx #75.34 - movq %r9, %rdx #80.34 - adcx %r12, %rdi #78.32 - movq %rbx, 200(%rsp) #208.73[spill] - movl %ebp, %ebx #79.30 - setb %sil #78.32 - adox %ebp, %ebx #79.30 - adox %rcx, %rsi #79.30 - movq $0xffffffff00000001, %rcx #82.34 - mulx %r14, %r13, %r14 #80.34 - clc #83.32 - mulx %r15, %rbx, %r12 #81.34 - adcx %rbx, %r14 #83.32 - movl $0, %ebx #84.32 - mulx %rcx, %r15, %rcx #82.34 - movl %ebp, %edx #86.30 - adcx %rbx, %r12 #84.32 - movq %r10, 128(%rsp) #208.87[spill] - adcx %rbx, %r15 #85.32 - movl %ebp, %ebx #85.32 - setb %bl #85.32 - adox %ebp, %edx #86.30 - movq %rax, %rdx #92.34 - adox %rcx, %rbx #86.30 - movl %ebp, %ecx #86.30 - seto %cl #86.30 - clc #87.30 - adcx %r13, %r9 #87.30 - movl %ebp, %r13d #96.32 - adcx %r14, %r11 #88.32 - mulx %r10, %r14, %rcx #92.34 - adcx %r12, %r8 #89.32 - mulx 200(%rsp), %r12, %r9 #94.34[spill] - adcx %r15, %rdi #90.32 - mulx 208(%rsp), %r15, %r10 #93.34[spill] - adcx %rbx, %rsi #91.32 - movl %ebp, %ebx #91.32 - mulx 192(%rsp), %rdx, %rax #95.34[spill] - setb %bl #91.32 - adox %ebp, %r13d #96.32 - movq $0xffffffff00000001, %r13 #107.36 - adox %r15, %rcx #96.32 - movl %ebp, %r15d #98.32 - adox %r12, %r10 #97.32 - movl %ebp, %r12d #100.34 - adox %rdx, %r9 #98.32 - seto %r15b #98.32 - clc #99.30 - adcx %rax, %r15 #99.30 - adox %ebp, %r12d #100.34 - movl %ebp, %eax #104.34 - movl $0, %r12d #109.34 - adox %r14, %r11 #100.34 - movq %r11, %rdx #105.36 - adox %rcx, %r8 #101.34 - movq $0x0ffffffff, %rcx #106.36 - adox %r10, %rdi #102.34 - movq $-1, %r10 #105.36 - adox %r9, %rsi #103.34 - mulx %r10, %r10, %r9 #105.36 - adox %r15, %rbx #104.34 - mulx %rcx, %r14, %r15 #106.36 - seto %al #104.34 - clc #108.34 - mulx %r13, %r13, %rcx #107.36 - adcx %r14, %r9 #108.34 - movl %ebp, %r14d #111.31 - movq 224(%rsp), %rdx #118.36[spill] - adcx %r12, %r15 #109.34 - adcx %r12, %r13 #110.34 - movl %ebp, %r12d #110.34 - setb %r12b #110.34 - adox %ebp, %r14d #111.31 - adox %rcx, %r12 #111.31 - clc #112.31 - mulx 208(%rsp), %rcx, %r14 #119.36[spill] - adcx %r10, %r11 #112.31 - mulx 200(%rsp), %r10, %r11 #120.36[spill] - adcx %r9, %r8 #113.34 - movl %ebp, %r9d #116.34 - adcx %r15, %rdi #114.34 - adcx %r13, %rsi #115.34 - movl %ebp, %r13d #122.34 - adcx %r12, %rbx #116.34 - setb %r9b #116.34 - adox %ebp, %r13d #122.34 - movl %r9d, 80(%rsp) #116.34[spill] - mulx 128(%rsp), %r12, %r9 #118.36[spill] - adox %rcx, %r9 #122.34 - movl %ebp, %ecx #124.34 - mulx 192(%rsp), %rdx, %r15 #121.36[spill] - adox %r10, %r14 #123.34 - movl %ebp, %r10d #126.34 - adox %rdx, %r11 #124.34 - seto %cl #124.34 - clc #125.31 - adcx %r15, %rcx #125.31 - adox %ebp, %r10d #126.34 - movq $0x0ffffffff, %r10 #132.36 - adox %r12, %r8 #126.34 - movq %r8, %rdx #131.36 - adox %r9, %rdi #127.34 - mulx %r10, %r9, %r12 #132.36 - adox %r14, %rsi #128.34 - adox %r11, %rbx #129.34 - movl %ebp, %r11d #129.34 - seto %r11b #129.34 - xorl %r15d, %r15d #129.34 - addl 80(%rsp), %eax #130.34[spill] - cmpl %r11d, %ebp #130.34 - movq $0xffffffff00000001, %r11 #133.36 - adcx %rcx, %rax #130.34 - movq $-1, %rcx #131.36 - mulx %rcx, %r14, %r13 #131.36 - mulx %r11, %r10, %r11 #133.36 - movl %ebp, %edx #134.34 - setb %r15b #130.34 - adox %ebp, %edx #134.34 - movq 216(%rsp), %rdx #144.36[spill] - adox %r9, %r13 #134.34 - movl $0, %r9d #135.34 - adox %r9, %r12 #135.34 - adox %r9, %r10 #136.34 - movl %ebp, %r9d #136.34 - seto %r9b #136.34 - clc #137.31 - adcx %r11, %r9 #137.31 - movl %ebp, %r11d #138.31 - adox %ebp, %r11d #138.31 - adox %r14, %r8 #138.31 - adox %r13, %rdi #139.34 - mulx 128(%rsp), %r13, %r11 #144.36[spill] - adox %r12, %rsi #140.34 - mulx 208(%rsp), %r12, %r8 #145.36[spill] - adox %r10, %rbx #141.34 - movl %ebp, %r10d #142.34 - adox %r9, %rax #142.34 - seto %r10b #142.34 - clc #148.34 - adcx %r12, %r11 #148.34 - mulx 200(%rsp), %r14, %r12 #146.36[spill] - adcx %r14, %r8 #149.34 - mulx 192(%rsp), %r9, %r14 #147.36[spill] - movl %ebp, %edx #151.31 - adcx %r9, %r12 #150.34 - movl %ebp, %r9d #150.34 - setb %r9b #150.34 - adox %ebp, %edx #151.31 - adox %r14, %r9 #151.31 - clc #152.34 - adcx %r13, %rdi #152.34 - movq $0xffffffff00000001, %r13 #159.36 - movq %rdi, %rdx #157.36 - adcx %r11, %rsi #153.34 - adcx %r8, %rbx #154.34 - movl %ebp, %r8d #155.34 - adcx %r12, %rax #155.34 - mulx %rcx, %r14, %r12 #157.36 - setb %r8b #155.34 - addl %r10d, %r15d #156.34 - cmpl %r8d, %ebp #156.34 - movq $0x0ffffffff, %r10 #158.36 - mulx %r10, %r10, %r11 #158.36 - adcx %r9, %r15 #156.34 - movl %ebp, %r9d #156.34 - mulx %r13, %r13, %r8 #159.36 - movl %ebp, %edx #160.34 - setb %r9b #156.34 - adox %ebp, %edx #160.34 - movl %ebp, %edx #162.34 - adox %r10, %r12 #160.34 - movl $0, %r10d #161.34 - adox %r10, %r11 #161.34 - adox %r10, %r13 #162.34 - seto %dl #162.34 - clc #163.31 - adcx %r8, %rdx #163.31 - movl %ebp, %r8d #164.31 - adox %ebp, %r8d #164.31 - adox %r14, %rdi #164.31 - movl %ebp, %edi #168.34 - adox %r12, %rsi #165.34 - movq $0xffffffff00000001, %r12 #173.34 - adox %r11, %rbx #166.34 - movq $0x0ffffffff, %r11 #171.34 - adox %r13, %rax #167.34 - movq %rax, %r8 #172.34 - adox %rdx, %r15 #168.34 - movq %r15, %rdx #173.34 - seto %dil #168.34 - xorl %r14d, %r14d #168.34 - addl %edi, %r9d #174.31 - movq %rsi, %rdi #170.34 - subq %rcx, %rdi #170.34 - movq %rbx, %rcx #171.34 - sbbq %r11, %rcx #171.34 - sbbq %r10, %r8 #172.34 - sbbq %r12, %rdx #173.34 - setb %r14b #173.34 - cmpl %r14d, %ebp #174.31 - sbbq %r10, %r9 #174.31 - setb %bpl #174.31 - testq %rbp, %rbp #18.0 - cmovnz %r15, %rdx #18.0 - movq %rdx, 144(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rax, %r8 #18.0 - movq %r8, 152(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rbx, %rcx #18.0 - movq %rcx, 160(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rsi, %rdi #18.0 - movq %rdi, 136(%rsp) #18.0[spill] - movq %rdx, 32(%rsp) #208.34 - movq %r8, 40(%rsp) #208.34 - movq %rcx, 48(%rsp) #208.34 - movq %rdi, 56(%rsp) #208.34 - vmovups %xmm0, (%rsp) #210.21 - vmovups %xmm0, 16(%rsp) #210.21 - movq 72(%rsp), %rdx #210.21[spill] - movq 64(%rsp), %rax #210.21[spill] - movq 184(%rsp), %r12 #72.34[spill] - xorl %r8d, %r8d #76.32 - movq $-1, %r15 #76.32 - xorl %r9d, %r9d #76.32 - mulx 176(%rsp), %rsi, %rdi #73.34[spill] - mulx %r12, %r11, %r13 #72.34 - adcx %rsi, %r13 #76.32 - movl %r8d, %esi #79.30 - vpxor %xmm0, %xmm0, %xmm0 #211.19 - mulx 168(%rsp), %rbx, %r10 #74.34[spill] - adcx %rbx, %rdi #77.32 - movq $0x0ffffffff, %rbx #81.34 - mulx 88(%rsp), %rcx, %rbp #75.34[spill] - movq %r11, %rdx #80.34 - adcx %rcx, %r10 #78.32 - movq $0xffffffff00000001, %rcx #82.34 - mulx %r15, %r14, %r15 #80.34 - setb %r9b #78.32 - adox %r8d, %esi #79.30 - adox %rbp, %r9 #79.30 - clc #83.32 - mulx %rbx, %rsi, %rbp #81.34 - adcx %rsi, %r15 #83.32 - movl $0, %esi #84.32 - mulx %rcx, %rcx, %rbx #82.34 - movl %r8d, %edx #86.30 - adcx %rsi, %rbp #84.32 - adcx %rsi, %rcx #85.32 - movl %r8d, %esi #85.32 - setb %sil #85.32 - adox %r8d, %edx #86.30 - movq %rax, %rdx #92.34 - adox %rbx, %rsi #86.30 - movl %r8d, %ebx #86.30 - movl %r8d, %eax #96.32 - seto %bl #86.30 - clc #87.30 - adcx %r14, %r11 #87.30 - mulx 168(%rsp), %r11, %r14 #94.34[spill] - adcx %r15, %r13 #88.32 - adcx %rbp, %rdi #89.32 - adcx %rcx, %r10 #90.32 - mulx %r12, %r15, %rcx #92.34 - adcx %rsi, %r9 #91.32 - movl %r8d, %esi #91.32 - mulx 176(%rsp), %rbp, %r12 #93.34[spill] - setb %sil #91.32 - adox %r8d, %eax #96.32 - mulx 88(%rsp), %rdx, %rbx #95.34[spill] - adox %rbp, %rcx #96.32 - movl %r8d, %ebp #98.32 - adox %r11, %r12 #97.32 - movl %r8d, %r11d #100.34 - adox %rdx, %r14 #98.32 - seto %bpl #98.32 - clc #99.30 - adcx %rbx, %rbp #99.30 - adox %r8d, %r11d #100.34 - movl %r8d, %ebx #104.34 - adox %r15, %r13 #100.34 - movq %r13, %rdx #105.36 - adox %rcx, %rdi #101.34 - movq $0x0ffffffff, %rcx #106.36 - adox %r12, %r10 #102.34 - movq $-1, %r12 #105.36 - mulx %r12, %r11, %rax #105.36 - movq $0xffffffff00000001, %r12 #107.36 - adox %r14, %r9 #103.34 - adox %rbp, %rsi #104.34 - mulx %rcx, %r15, %rbp #106.36 - seto %bl #104.34 - clc #108.34 - mulx %r12, %r14, %rcx #107.36 - movl %r8d, %r12d #111.31 - adcx %r15, %rax #108.34 - movl $0, %r15d #109.34 - movq 224(%rsp), %rdx #118.36[spill] - adcx %r15, %rbp #109.34 - adcx %r15, %r14 #110.34 - movl %r8d, %r15d #110.34 - setb %r15b #110.34 - adox %r8d, %r12d #111.31 - adox %rcx, %r15 #111.31 - clc #112.31 - adcx %r11, %r13 #112.31 - movl %r8d, %r13d #116.34 - adcx %rax, %rdi #113.34 - mulx 168(%rsp), %r11, %r12 #120.36[spill] - adcx %rbp, %r10 #114.34 - adcx %r14, %r9 #115.34 - movl %r8d, %r14d #122.34 - adcx %r15, %rsi #116.34 - mulx 176(%rsp), %rcx, %r15 #119.36[spill] - setb %r13b #116.34 - adox %r8d, %r14d #122.34 - movl %r13d, 232(%rsp) #116.34[spill] - mulx 184(%rsp), %r13, %rax #118.36[spill] - adox %rcx, %rax #122.34 - movl %r8d, %ecx #124.34 - mulx 88(%rsp), %rdx, %rbp #121.36[spill] - adox %r11, %r15 #123.34 - movl %r8d, %r11d #126.34 - adox %rdx, %r12 #124.34 - seto %cl #124.34 - clc #125.31 - adcx %rbp, %rcx #125.31 - adox %r8d, %r11d #126.34 - movq $0xffffffff00000001, %r11 #133.36 - adox %r13, %rdi #126.34 - movq $0x0ffffffff, %r13 #132.36 - movq %rdi, %rdx #131.36 - adox %rax, %r10 #127.34 - movl %r8d, %eax #129.34 - mulx %r13, %r13, %r14 #132.36 - adox %r15, %r9 #128.34 - adox %r12, %rsi #129.34 - mulx %r11, %r11, %r12 #133.36 - seto %al #129.34 - movq $-1, %rbp #129.34 - addl 232(%rsp), %ebx #130.34[spill] - cmpl %eax, %r8d #130.34 - mulx %rbp, %rax, %r15 #131.36 - movl %r8d, %edx #134.34 - adcx %rcx, %rbx #130.34 - movl %r8d, %ecx #130.34 - setb %cl #130.34 - adox %r8d, %edx #134.34 - movq 216(%rsp), %rdx #144.36[spill] - adox %r13, %r15 #134.34 - movl $0, %r13d #135.34 - adox %r13, %r14 #135.34 - adox %r13, %r11 #136.34 - movl %r8d, %r13d #136.34 - seto %r13b #136.34 - clc #137.31 - adcx %r12, %r13 #137.31 - movl %r8d, %r12d #138.31 - adox %r8d, %r12d #138.31 - adox %rax, %rdi #138.31 - adox %r15, %r10 #139.34 - mulx 176(%rsp), %r15, %rdi #145.36[spill] - adox %r14, %r9 #140.34 - mulx 184(%rsp), %r14, %r12 #144.36[spill] - adox %r11, %rsi #141.34 - movl %r8d, %r11d #142.34 - adox %r13, %rbx #142.34 - mulx 168(%rsp), %rax, %r13 #146.36[spill] - seto %r11b #142.34 - clc #148.34 - adcx %r15, %r12 #148.34 - adcx %rax, %rdi #149.34 - mulx 88(%rsp), %rax, %r15 #147.36[spill] - movl %r8d, %edx #151.31 - adcx %rax, %r13 #150.34 - movl %r8d, %eax #150.34 - setb %al #150.34 - adox %r8d, %edx #151.31 - adox %r15, %rax #151.31 - clc #152.34 - adcx %r14, %r10 #152.34 - movq $0xffffffff00000001, %r14 #159.36 - movq %r10, %rdx #157.36 - adcx %r12, %r9 #153.34 - adcx %rdi, %rsi #154.34 - movl %r8d, %edi #155.34 - adcx %r13, %rbx #155.34 - mulx %rbp, %r15, %r13 #157.36 - setb %dil #155.34 - addl %r11d, %ecx #156.34 - cmpl %edi, %r8d #156.34 - movq $0x0ffffffff, %r11 #158.36 - mulx %r11, %r11, %r12 #158.36 - adcx %rax, %rcx #156.34 - movl %r8d, %eax #156.34 - mulx %r14, %r14, %rdi #159.36 - movl %r8d, %edx #160.34 - setb %al #156.34 - adox %r8d, %edx #160.34 - movl %r8d, %edx #162.34 - adox %r11, %r13 #160.34 - movl $0, %r11d #161.34 - adox %r11, %r12 #161.34 - adox %r11, %r14 #162.34 - seto %dl #162.34 - clc #163.31 - adcx %rdi, %rdx #163.31 - movl %r8d, %edi #164.31 - adox %r8d, %edi #164.31 - movq $0x0ffffffff, %rdi #171.34 - adox %r15, %r10 #164.31 - movl %r8d, %r10d #168.34 - adox %r13, %r9 #165.34 - adox %r12, %rsi #166.34 - adox %r14, %rbx #167.34 - movq %rbx, %r14 #172.34 - adox %rdx, %rcx #168.34 - movq %r9, %rdx #170.34 - movq %rcx, %r13 #173.34 - seto %r10b #168.34 - xorl %r12d, %r12d #168.34 - addl %r10d, %eax #174.31 - subq %rbp, %rdx #170.34 - movq %rsi, %rbp #171.34 - movq $0xffffffff00000001, %r10 #173.34 - sbbq %rdi, %rbp #171.34 - sbbq %r11, %r14 #172.34 - sbbq %r10, %r13 #173.34 - setb %r12b #173.34 - cmpl %r12d, %r8d #174.31 - sbbq %r11, %rax #174.31 - setb %r8b #174.31 - testq %r8, %r8 #18.0 - cmovnz %rcx, %r13 #18.0 - movq %r13, 64(%rsp) #18.0[spill] - testq %r8, %r8 #18.0 - cmovnz %rbx, %r14 #18.0 - movq %r14, 72(%rsp) #18.0[spill] - testq %r8, %r8 #18.0 - cmovnz %rsi, %rbp #18.0 - movq %rbp, 80(%rsp) #18.0[spill] - testq %r8, %r8 #18.0 - cmovnz %r9, %rdx #18.0 - movq %r13, (%rsp) #210.35 - movq %r14, 8(%rsp) #210.35 - movq %rbp, 16(%rsp) #210.35 - movq %rdx, 24(%rsp) #210.35 - vmovups %xmm0, 32(%rsp) #211.19 - vmovups %xmm0, 48(%rsp) #211.19 - movq 120(%rsp), %rax #53.32[spill] - xorl %r13d, %r13d #18.0 - movq 200(%rsp), %r9 #26.23[spill] - orq 192(%rsp), %r9 #26.23[spill] - vpxor %xmm0, %xmm0, %xmm0 #215.20 - movq 136(%rsp), %rdi #53.32[spill] - movq 208(%rsp), %rbp #27.23[spill] - orq %r9, %rbp #27.23 - xorl %r9d, %r9d #53.32 - xorl %r11d, %r11d #53.32 - subq 24(%rax), %rdi #53.32 - movq 160(%rsp), %r10 #54.32[spill] - sbbq 16(%rax), %r10 #54.32 - movq 152(%rsp), %rsi #55.32[spill] - sbbq 8(%rax), %rsi #55.32 - movq 144(%rsp), %r12 #56.32[spill] - sbbq (%rax), %r12 #56.32 - movq %rdx, 240(%rsp) #[spill] - setb %r11b #56.32 - xorl %r15d, %r15d #56.32 - xorl %ebx, %ebx #56.32 - xorl %r14d, %r14d #56.32 - movq $-1, %rdx #56.32 - orq %rbp, 128(%rsp) #28.23[spill] - xorl %ebp, %ebp #62.32 - testq %r11, %r11 #18.0 - cmovnz %rdx, %r13 #18.0 - xorl %r8d, %r8d #59.32 - movl %r13d, %ecx #61.32 - movq $0xffffffff00000001, %r11 #64.30 - adcx %r13, %rdi #59.32 - movq 184(%rsp), %rdx #72.34[spill] - adcx %rcx, %r10 #61.32 - movq %r10, 160(%rsp) #61.32[spill] - adcx %rbp, %rsi #62.32 - movq %r10, 48(%rsp) #211.33 - setb %r15b #62.32 - andq %r11, %r13 #64.30 - cmpl %r15d, %r9d #64.30 - mulx %r10, %rax, %r10 #73.34 - adcx %r13, %r12 #64.30 - movq $-1, %r13 #80.34 - movq %rsi, 152(%rsp) #62.32[spill] - setb %bl #64.30 - adox %r9d, %r14d #76.32 - mulx %rdi, %rcx, %rbx #72.34 - adox %rax, %rbx #76.32 - movq %rsi, 40(%rsp) #211.33 - mulx %rsi, %r8, %rsi #74.34 - adox %r8, %r10 #77.32 - movl %r9d, %r8d #78.32 - movq %r12, 144(%rsp) #64.30[spill] - movq %r12, 32(%rsp) #211.33 - mulx %r12, %r12, %r15 #75.34 - movq %rcx, %rdx #80.34 - adox %r12, %rsi #78.32 - mulx %r13, %r13, %r14 #80.34 - seto %r8b #78.32 - clc #79.30 - adcx %r15, %r8 #79.30 - movq %rdi, 136(%rsp) #59.32[spill] - movq $0x0ffffffff, %rax #81.34 - mulx %rax, %r12, %r15 #81.34 - movl %r9d, %eax #83.32 - adox %r9d, %eax #83.32 - mulx %r11, %r11, %rdx #82.34 - movl %r9d, %eax #85.32 - adox %r12, %r14 #83.32 - movq %rdi, 56(%rsp) #211.33 - adox %rbp, %r15 #84.32 - adox %rbp, %r11 #85.32 - seto %al #85.32 - clc #86.30 - adcx %rdx, %rax #86.30 - movq 176(%rsp), %rdx #92.34[spill] - movl %r9d, %r12d #87.30 - adox %r9d, %r12d #87.30 - adox %r13, %rcx #87.30 - movl %r9d, %ecx #91.32 - adox %r14, %rbx #88.32 - adox %r15, %r10 #89.32 - mulx %rdi, %r15, %r13 #92.34 - adox %r11, %rsi #90.32 - mulx 160(%rsp), %r11, %r14 #93.34[spill] - adox %rax, %r8 #91.32 - mulx 152(%rsp), %rax, %r12 #94.34[spill] - seto %cl #91.32 - clc #96.32 - adcx %r11, %r13 #96.32 - adcx %rax, %r14 #97.32 - mulx 144(%rsp), %rax, %r11 #95.34[spill] - movl %r9d, %edx #99.30 - adcx %rax, %r12 #98.32 - movl %r9d, %eax #98.32 - setb %al #98.32 - adox %r9d, %edx #99.30 - adox %r11, %rax #99.30 - clc #100.34 - adcx %r15, %rbx #100.34 - movq $0x0ffffffff, %r15 #106.36 - movq %rbx, %rdx #105.36 - adcx %r13, %r10 #101.34 - adcx %r14, %rsi #102.34 - movq $-1, %r14 #105.36 - mulx %r14, %r14, %r13 #105.36 - adcx %r12, %r8 #103.34 - movl %r9d, %r12d #104.34 - adcx %rax, %rcx #104.34 - mulx %r15, %r11, %rax #106.36 - setb %r12b #104.34 - movl %r12d, 248(%rsp) #104.34[spill] - movq $0xffffffff00000001, %r12 #107.36 - mulx %r12, %r12, %r15 #107.36 - movl %r9d, %edx #108.34 - adox %r9d, %edx #108.34 - movq 168(%rsp), %rdx #118.36[spill] - adox %r11, %r13 #108.34 - movl %r9d, %r11d #110.34 - adox %rbp, %rax #109.34 - adox %rbp, %r12 #110.34 - seto %r11b #110.34 - clc #111.31 - adcx %r15, %r11 #111.31 - movl %r9d, %r15d #112.31 - adox %r9d, %r15d #112.31 - adox %r14, %rbx #112.31 - movl %r9d, %r14d #116.34 - adox %r13, %r10 #113.34 - adox %rax, %rsi #114.34 - mulx 160(%rsp), %rax, %rbx #119.36[spill] - adox %r12, %r8 #115.34 - mulx %rdi, %r13, %r12 #118.36 - adox %r11, %rcx #116.34 - seto %r14b #116.34 - clc #122.34 - adcx %rax, %r12 #122.34 - mulx 152(%rsp), %rax, %r11 #120.36[spill] - adcx %rax, %rbx #123.34 - mulx 144(%rsp), %r15, %rax #121.36[spill] - movl %r9d, %edx #125.31 - adcx %r15, %r11 #124.34 - movl %r9d, %r15d #124.34 - setb %r15b #124.34 - adox %r9d, %edx #125.31 - adox %rax, %r15 #125.31 - clc #126.34 - movl 248(%rsp), %eax #130.34[spill] - adcx %r13, %r10 #126.34 - movl %r9d, %r13d #129.34 - movq %r10, %rdx #131.36 - adcx %r12, %rsi #127.34 - adcx %rbx, %r8 #128.34 - adcx %r11, %rcx #129.34 - setb %r13b #129.34 - xorl %ebx, %ebx #129.34 - movq $-1, %r11 #129.34 - addl %r14d, %eax #130.34 - cmpl %r13d, %r9d #130.34 - movq $0x0ffffffff, %r13 #132.36 - movq $0xffffffff00000001, %r14 #133.36 - adcx %r15, %rax #130.34 - mulx %r11, %r15, %r12 #131.36 - setb %bl #130.34 - movl %ebx, 256(%rsp) #130.34[spill] - mulx %r13, %r11, %rbx #132.36 - mulx %r14, %r13, %r14 #133.36 - movl %r9d, %edx #134.34 - adox %r9d, %edx #134.34 - movq 88(%rsp), %rdx #144.36[spill] - adox %r11, %r12 #134.34 - movl %r9d, %r11d #136.34 - adox %rbp, %rbx #135.34 - adox %rbp, %r13 #136.34 - seto %r11b #136.34 - clc #137.31 - adcx %r14, %r11 #137.31 - movl %r9d, %r14d #138.31 - adox %r9d, %r14d #138.31 - movl %r9d, %r14d #151.31 - adox %r15, %r10 #138.31 - adox %r12, %rsi #139.34 - adox %rbx, %r8 #140.34 - movl %r9d, %ebx #142.34 - adox %r13, %rcx #141.34 - mulx %rdi, %r10, %r13 #144.36 - adox %r11, %rax #142.34 - mulx 160(%rsp), %rdi, %r11 #145.36[spill] - seto %bl #142.34 - clc #148.34 - adcx %rdi, %r13 #148.34 - mulx 152(%rsp), %r12, %rdi #146.36[spill] - adcx %r12, %r11 #149.34 - mulx 144(%rsp), %r15, %r12 #147.36[spill] - adcx %r15, %rdi #150.34 - movl %r9d, %r15d #150.34 - setb %r15b #150.34 - adox %r9d, %r14d #151.31 - adox %r12, %r15 #151.31 - clc #152.34 - movl 256(%rsp), %r12d #156.34[spill] - adcx %r10, %rsi #152.34 - movq %rsi, %rdx #157.36 - adcx %r13, %r8 #153.34 - movq $0xffffffff00000001, %r13 #159.36 - mulx %r13, %r13, %r14 #159.36 - adcx %r11, %rcx #154.34 - movl %r9d, %r11d #155.34 - adcx %rdi, %rax #155.34 - movq $0x0ffffffff, %rdi #158.36 - setb %r11b #155.34 - movq $-1, %r10 #155.34 - addl %ebx, %r12d #156.34 - cmpl %r11d, %r9d #156.34 - mulx %r10, %r11, %r10 #157.36 - adcx %r15, %r12 #156.34 - movl %r9d, %r15d #156.34 - mulx %rdi, %rbx, %rdi #158.36 - movl %r9d, %edx #160.34 - setb %r15b #156.34 - adox %r9d, %edx #160.34 - movq $0x0ffffffff, %rdx #171.34 - adox %rbx, %r10 #160.34 - movl %r9d, %ebx #162.34 - adox %rbp, %rdi #161.34 - adox %rbp, %r13 #162.34 - seto %bl #162.34 - clc #163.31 - adcx %r14, %rbx #163.31 - movl %r9d, %r14d #164.31 - adox %r9d, %r14d #164.31 - adox %r11, %rsi #164.31 - movl %r9d, %r11d #168.34 - adox %r10, %r8 #165.34 - adox %rdi, %rcx #166.34 - movq %rcx, %r10 #171.34 - adox %r13, %rax #167.34 - adox %rbx, %r12 #168.34 - movq $0xffffffff00000001, %rbx #173.34 - seto %r11b #168.34 - movq $-1, %rsi #168.34 - xorl %edi, %edi #168.34 - addl %r11d, %r15d #174.31 - movq %r8, %r11 #170.34 - subq %rsi, %r11 #170.34 - movq %r12, %rsi #173.34 - sbbq %rdx, %r10 #171.34 - movq %rax, %rdx #172.34 - sbbq %rbp, %rdx #172.34 - sbbq %rbx, %rsi #173.34 - setb %dil #173.34 - cmpl %edi, %r9d #174.31 - sbbq %rbp, %r15 #174.31 - setb %r9b #174.31 - testq %r9, %r9 #18.0 - cmovnz %r12, %rsi #18.0 - testq %r9, %r9 #18.0 - cmovnz %rax, %rdx #18.0 - testq %r9, %r9 #18.0 - cmovnz %rcx, %r10 #18.0 - testq %r9, %r9 #18.0 - cmovnz %r8, %r11 #18.0 - movq 112(%rsp), %rbp #18.0[spill] - movq %rdx, 72(%rbp) #180.1 - movq 104(%rsp), %rdx #213.58[spill] - movq %r11, 88(%rbp) #18.0 - movq %rsi, 64(%rbp) #179.1 - movq %r10, 80(%rbp) #181.1 - movq 40(%rdx), %rcx #213.44 - movq 32(%rdx), %rbx #213.37 - movq %rcx, 216(%rsp) #213.44[spill] - orq %rbx, %rcx #26.23 - movq 48(%rdx), %rbp #213.51 - orq %rbp, %rcx #27.23 - movq 56(%rdx), %rax #213.58 - orq %rax, %rcx #28.23 - movq %rbp, 232(%rsp) #213.51[spill] - movq %rbx, 224(%rsp) #213.37[spill] - vmovups %xmm0, (%rsp) #215.20 - vmovups %xmm0, 16(%rsp) #215.20 - orq %rcx, 128(%rsp) #214.28[spill] - movq 240(%rsp), %rdx #214.28[spill] - movq %rbp, %r10 #73.34 - xorl %ebp, %ebp #76.32 - movq $-1, %r14 #76.32 - xorl %esi, %esi #76.32 - mulx %rax, %r9, %r11 #72.34 - mulx %r10, %rbx, %r8 #73.34 - adcx %rbx, %r11 #76.32 - movl %ebp, %ebx #79.30 - vpxor %xmm0, %xmm0, %xmm0 #216.19 - mulx 216(%rsp), %rcx, %rdi #74.34[spill] - adcx %rcx, %r8 #77.32 - movq $0x0ffffffff, %rcx #81.34 - mulx 224(%rsp), %r15, %r12 #75.34[spill] - movq %r9, %rdx #80.34 - adcx %r15, %rdi #78.32 - movq $0xffffffff00000001, %r15 #82.34 - mulx %r14, %r13, %r14 #80.34 - setb %sil #78.32 - adox %ebp, %ebx #79.30 - adox %r12, %rsi #79.30 - movq %rax, 88(%rsp) #[spill] - clc #83.32 - mulx %rcx, %rbx, %r12 #81.34 - adcx %rbx, %r14 #83.32 - movl $0, %ebx #84.32 - mulx %r15, %r15, %rcx #82.34 - movl %ebp, %edx #86.30 - adcx %rbx, %r12 #84.32 - adcx %rbx, %r15 #85.32 - movl %ebp, %ebx #85.32 - setb %bl #85.32 - adox %ebp, %edx #86.30 - adox %rcx, %rbx #86.30 - movq 80(%rsp), %rdx #92.34[spill] - clc #87.30 - mulx %r10, %rcx, %r10 #93.34 - adcx %r13, %r9 #87.30 - movl %ebp, %r13d #96.32 - adcx %r14, %r11 #88.32 - adcx %r12, %r8 #89.32 - mulx %rax, %r14, %r12 #92.34 - adcx %r15, %rdi #90.32 - mulx 216(%rsp), %r15, %r9 #94.34[spill] - adcx %rbx, %rsi #91.32 - movl %ebp, %ebx #91.32 - mulx 224(%rsp), %rdx, %rax #95.34[spill] - setb %bl #91.32 - adox %ebp, %r13d #96.32 - movq $0xffffffff00000001, %r13 #107.36 - adox %rcx, %r12 #96.32 - movl %ebp, %ecx #100.34 - adox %r15, %r10 #97.32 - movl %ebp, %r15d #98.32 - adox %rdx, %r9 #98.32 - seto %r15b #98.32 - clc #99.30 - adcx %rax, %r15 #99.30 - adox %ebp, %ecx #100.34 - movl %ebp, %eax #104.34 - adox %r14, %r11 #100.34 - movq %r11, %rdx #105.36 - adox %r12, %r8 #101.34 - movq $0x0ffffffff, %r12 #106.36 - mulx %r13, %r13, %rcx #107.36 - adox %r10, %rdi #102.34 - movq $-1, %r10 #105.36 - adox %r9, %rsi #103.34 - mulx %r10, %r10, %r9 #105.36 - adox %r15, %rbx #104.34 - mulx %r12, %r14, %r15 #106.36 - movl $0, %r12d #109.34 - seto %al #104.34 - clc #108.34 - movq 72(%rsp), %rdx #118.36[spill] - adcx %r14, %r9 #108.34 - movl %ebp, %r14d #111.31 - adcx %r12, %r15 #109.34 - adcx %r12, %r13 #110.34 - movl %ebp, %r12d #110.34 - setb %r12b #110.34 - adox %ebp, %r14d #111.31 - adox %rcx, %r12 #111.31 - clc #112.31 - mulx 232(%rsp), %rcx, %r14 #119.36[spill] - adcx %r10, %r11 #112.31 - mulx 216(%rsp), %r10, %r11 #120.36[spill] - adcx %r9, %r8 #113.34 - movl %ebp, %r9d #116.34 - adcx %r15, %rdi #114.34 - adcx %r13, %rsi #115.34 - movl %ebp, %r13d #122.34 - adcx %r12, %rbx #116.34 - setb %r9b #116.34 - adox %ebp, %r13d #122.34 - movl %r9d, 200(%rsp) #116.34[spill] - mulx 88(%rsp), %r12, %r9 #118.36[spill] - adox %rcx, %r9 #122.34 - movl %ebp, %ecx #124.34 - mulx 224(%rsp), %rdx, %r15 #121.36[spill] - adox %r10, %r14 #123.34 - movl %ebp, %r10d #126.34 - adox %rdx, %r11 #124.34 - seto %cl #124.34 - clc #125.31 - adcx %r15, %rcx #125.31 - adox %ebp, %r10d #126.34 - movq $0x0ffffffff, %r10 #132.36 - adox %r12, %r8 #126.34 - movq %r8, %rdx #131.36 - adox %r9, %rdi #127.34 - mulx %r10, %r9, %r12 #132.36 - adox %r14, %rsi #128.34 - adox %r11, %rbx #129.34 - movl %ebp, %r11d #129.34 - seto %r11b #129.34 - xorl %r15d, %r15d #129.34 - addl 200(%rsp), %eax #130.34[spill] - cmpl %r11d, %ebp #130.34 - movq $0xffffffff00000001, %r11 #133.36 - adcx %rcx, %rax #130.34 - movq $-1, %rcx #131.36 - mulx %rcx, %r14, %r13 #131.36 - mulx %r11, %r10, %r11 #133.36 - movl %ebp, %edx #134.34 - setb %r15b #130.34 - adox %ebp, %edx #134.34 - movq 64(%rsp), %rdx #144.36[spill] - adox %r9, %r13 #134.34 - movl $0, %r9d #135.34 - adox %r9, %r12 #135.34 - adox %r9, %r10 #136.34 - movl %ebp, %r9d #136.34 - seto %r9b #136.34 - clc #137.31 - adcx %r11, %r9 #137.31 - movl %ebp, %r11d #138.31 - adox %ebp, %r11d #138.31 - adox %r14, %r8 #138.31 - adox %r13, %rdi #139.34 - mulx 88(%rsp), %r13, %r11 #144.36[spill] - adox %r12, %rsi #140.34 - mulx 232(%rsp), %r12, %r8 #145.36[spill] - adox %r10, %rbx #141.34 - movl %ebp, %r10d #142.34 - adox %r9, %rax #142.34 - seto %r10b #142.34 - clc #148.34 - adcx %r12, %r11 #148.34 - mulx 216(%rsp), %r14, %r12 #146.36[spill] - adcx %r14, %r8 #149.34 - mulx 224(%rsp), %r9, %r14 #147.36[spill] - movl %ebp, %edx #151.31 - adcx %r9, %r12 #150.34 - movl %ebp, %r9d #150.34 - setb %r9b #150.34 - adox %ebp, %edx #151.31 - adox %r14, %r9 #151.31 - clc #152.34 - adcx %r13, %rdi #152.34 - movq $0xffffffff00000001, %r13 #159.36 - movq %rdi, %rdx #157.36 - adcx %r11, %rsi #153.34 - adcx %r8, %rbx #154.34 - movl %ebp, %r8d #155.34 - adcx %r12, %rax #155.34 - mulx %rcx, %r14, %r12 #157.36 - setb %r8b #155.34 - addl %r10d, %r15d #156.34 - cmpl %r8d, %ebp #156.34 - movq $0x0ffffffff, %r10 #158.36 - mulx %r10, %r10, %r11 #158.36 - adcx %r9, %r15 #156.34 - movl %ebp, %r9d #156.34 - mulx %r13, %r13, %r8 #159.36 - movl %ebp, %edx #160.34 - setb %r9b #156.34 - adox %ebp, %edx #160.34 - movl %ebp, %edx #162.34 - adox %r10, %r12 #160.34 - movl $0, %r10d #161.34 - adox %r10, %r11 #161.34 - adox %r10, %r13 #162.34 - seto %dl #162.34 - clc #163.31 - adcx %r8, %rdx #163.31 - movl %ebp, %r8d #164.31 - adox %ebp, %r8d #164.31 - adox %r14, %rdi #164.31 - movl %ebp, %edi #168.34 - adox %r12, %rsi #165.34 - movq $0xffffffff00000001, %r12 #173.34 - adox %r11, %rbx #166.34 - movq $0x0ffffffff, %r11 #171.34 - adox %r13, %rax #167.34 - movq %rax, %r8 #172.34 - adox %rdx, %r15 #168.34 - movq %r15, %rdx #173.34 - seto %dil #168.34 - xorl %r14d, %r14d #168.34 - addl %edi, %r9d #174.31 - movq %rsi, %rdi #170.34 - subq %rcx, %rdi #170.34 - movq %rbx, %rcx #171.34 - sbbq %r11, %rcx #171.34 - sbbq %r10, %r8 #172.34 - sbbq %r12, %rdx #173.34 - setb %r14b #173.34 - cmpl %r14d, %ebp #174.31 - sbbq %r10, %r9 #174.31 - setb %bpl #174.31 - testq %rbp, %rbp #18.0 - cmovnz %r15, %rdx #18.0 - movq %rdx, 192(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rax, %r8 #18.0 - movq %r8, 176(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rbx, %rcx #18.0 - movq %rcx, 184(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rsi, %rdi #18.0 - movq %rdi, 168(%rsp) #18.0[spill] - movq %rdx, (%rsp) #215.34 - movq %r8, 8(%rsp) #215.34 - movq %rcx, 16(%rsp) #215.34 - movq %rdi, 24(%rsp) #215.34 - vmovups %xmm0, 32(%rsp) #216.19 - vmovups %xmm0, 48(%rsp) #216.19 - movq %rdx, %rax #56.32 - movq %r8, %r10 #55.32 - movq %rcx, %r8 #54.32 - movq 120(%rsp), %rdx #53.32[spill] - xorl %r14d, %r14d #53.32 - movq %rdi, %rsi #53.32 - xorl %ecx, %ecx #56.32 - movq $-1, %rbx #18.0 - subq 56(%rdx), %rsi #53.32 - sbbq 48(%rdx), %r8 #54.32 - movq $0xffffffff00000001, %r13 #64.30 - sbbq 40(%rdx), %r10 #55.32 - vpxor %xmm0, %xmm0, %xmm0 #217.20 - sbbq 32(%rdx), %rax #56.32 - setb %cl #56.32 - xorl %r11d, %r11d #56.32 - xorl %r9d, %r9d #56.32 - xorl %r12d, %r12d #56.32 - testq %rcx, %rcx #18.0 - cmovnz %rbx, %r11 #18.0 - xorl %ebp, %ebp #59.32 - movl %r11d, %edi #61.32 - adcx %r11, %rsi #59.32 - movq %rsi, 168(%rsp) #59.32[spill] - adcx %rdi, %r8 #61.32 - movq %rsi, 56(%rsp) #216.33 - adcx %r9, %r10 #62.32 - movq %r8, 184(%rsp) #61.32[spill] - setb %r12b #62.32 - andq %r11, %r13 #64.30 - cmpl %r12d, %r14d #64.30 - movq %r8, 48(%rsp) #216.33 - adcx %r13, %rax #64.30 - movq %r10, 176(%rsp) #62.32[spill] - movq %r10, 40(%rsp) #216.33 - movq %rax, 192(%rsp) #64.30[spill] - movq %rax, 32(%rsp) #216.33 - vmovups %xmm0, 64(%rsp) #217.20 - vmovups %xmm0, 80(%rsp) #217.20 - movq 136(%rsp), %rsi #72.34[spill] - movq %rsi, %rdx #72.34 - movq 160(%rsp), %rdi #73.34[spill] - xorl %r9d, %r9d #76.32 - movq $-1, %r15 #76.32 - xorl %ecx, %ecx #76.32 - xorl %r10d, %r10d #76.32 - mulx %rsi, %rbx, %r8 #72.34 - mulx %rdi, %rbp, %r12 #73.34 - adox %rbp, %r8 #76.32 - vpxor %xmm0, %xmm0, %xmm0 #218.20 - mulx 152(%rsp), %rax, %r11 #74.34[spill] - adox %rax, %r12 #77.32 - mulx 144(%rsp), %r14, %r13 #75.34[spill] - movq %rbx, %rdx #80.34 - adox %r14, %r11 #78.32 - movq $0x0ffffffff, %r14 #81.34 - mulx %r15, %rbp, %rax #80.34 - movq $0xffffffff00000001, %r15 #82.34 - seto %r10b #78.32 - clc #79.30 - adcx %r13, %r10 #79.30 - setb %cl #79.30 - mulx %r14, %r13, %rcx #81.34 - mulx %r15, %r15, %r14 #82.34 - movl %r9d, %edx #83.32 - adox %r9d, %edx #83.32 - movl %r9d, %edx #85.32 - adox %r13, %rax #83.32 - movl $0, %r13d #84.32 - adox %r13, %rcx #84.32 - adox %r13, %r15 #85.32 - seto %dl #85.32 - clc #86.30 - adcx %r14, %rdx #86.30 - movl %r9d, %r14d #87.30 - adox %r9d, %r14d #87.30 - adox %rbp, %rbx #87.30 - movl %r9d, %ebp #91.32 - adox %rax, %r8 #88.32 - adox %rcx, %r12 #89.32 - adox %r15, %r11 #90.32 - adox %rdx, %r10 #91.32 - movq %rdi, %rdx #92.34 - mulx %rsi, %rsi, %r14 #92.34 - seto %bpl #91.32 - clc #96.32 - mulx %rdi, %rbx, %rax #93.34 - adcx %rbx, %r14 #96.32 - movq 152(%rsp), %rbx #94.34[spill] - mulx %rbx, %r15, %rcx #94.34 - adcx %r15, %rax #97.32 - mulx 144(%rsp), %r15, %rdi #95.34[spill] - movl %r9d, %edx #99.30 - adcx %r15, %rcx #98.32 - movl %r9d, %r15d #98.32 - setb %r15b #98.32 - adox %r9d, %edx #99.30 - adox %rdi, %r15 #99.30 - movl %r9d, %edi #99.30 - seto %dil #99.30 - clc #100.34 - adcx %rsi, %r8 #100.34 - movl %r9d, %esi #104.34 - movq %r8, %rdx #105.36 - adcx %r14, %r12 #101.34 - movq $0x0ffffffff, %r14 #106.36 - adcx %rax, %r11 #102.34 - movq $-1, %rax #105.36 - adcx %rcx, %r10 #103.34 - mulx %r14, %rcx, %rdi #106.36 - adcx %r15, %rbp #104.34 - mulx %rax, %r15, %rax #105.36 - setb %sil #104.34 - movl %esi, 32(%rsp) #104.34[spill] - movq $0xffffffff00000001, %rsi #107.36 - mulx %rsi, %r14, %rsi #107.36 - movl %r9d, %edx #108.34 - adox %r9d, %edx #108.34 - movq %rbx, %rdx #118.36 - adox %rcx, %rax #108.34 - movl %r9d, %ecx #110.34 - adox %r13, %rdi #109.34 - adox %r13, %r14 #110.34 - seto %cl #110.34 - clc #111.31 - adcx %rsi, %rcx #111.31 - movl %r9d, %esi #112.31 - adox %r9d, %esi #112.31 - adox %r15, %r8 #112.31 - adox %rax, %r12 #113.34 - mulx 136(%rsp), %r8, %rax #118.36[spill] - adox %rdi, %r11 #114.34 - movl %r9d, %edi #116.34 - adox %r14, %r10 #115.34 - mulx 160(%rsp), %r14, %r15 #119.36[spill] - adox %rcx, %rbp #116.34 - mulx %rbx, %rcx, %rsi #120.36 - seto %dil #116.34 - clc #122.34 - adcx %r14, %rax #122.34 - adcx %rcx, %r15 #123.34 - movq 144(%rsp), %rcx #121.36[spill] - mulx %rcx, %rbx, %r14 #121.36 - movl %r9d, %edx #125.31 - adcx %rbx, %rsi #124.34 - movl %r9d, %ebx #124.34 - setb %bl #124.34 - adox %r9d, %edx #125.31 - adox %r14, %rbx #125.31 - clc #126.34 - adcx %r8, %r12 #126.34 - movl %r9d, %r8d #129.34 - movq %r12, %rdx #131.36 - adcx %rax, %r11 #127.34 - movl 32(%rsp), %eax #130.34[spill] - adcx %r15, %r10 #128.34 - movq $0x0ffffffff, %r15 #132.36 - adcx %rsi, %rbp #129.34 - setb %r8b #129.34 - xorl %r14d, %r14d #129.34 - addl %edi, %eax #130.34 - cmpl %r8d, %r9d #130.34 - movq $0xffffffff00000001, %rdi #133.36 - mulx %rdi, %rdi, %rsi #133.36 - adcx %rbx, %rax #130.34 - movq $-1, %rbx #131.36 - setb %r14b #130.34 - movl %r14d, 40(%rsp) #130.34[spill] - mulx %rbx, %r8, %r14 #131.36 - mulx %r15, %r15, %rbx #132.36 - movl %r9d, %edx #134.34 - adox %r9d, %edx #134.34 - movq %rcx, %rdx #144.36 - adox %r15, %r14 #134.34 - movl %r9d, %r15d #136.34 - adox %r13, %rbx #135.34 - adox %r13, %rdi #136.34 - seto %r15b #136.34 - clc #137.31 - adcx %rsi, %r15 #137.31 - movl %r9d, %esi #138.31 - adox %r9d, %esi #138.31 - movl %r9d, %esi #142.34 - adox %r8, %r12 #138.31 - adox %r14, %r11 #139.34 - adox %rbx, %r10 #140.34 - movl %r9d, %ebx #150.34 - adox %rdi, %rbp #141.34 - mulx 160(%rsp), %r8, %rdi #145.36[spill] - adox %r15, %rax #142.34 - mulx 136(%rsp), %r15, %r12 #144.36[spill] - seto %sil #142.34 - clc #148.34 - adcx %r8, %r12 #148.34 - mulx 152(%rsp), %r14, %r8 #146.36[spill] - adcx %r14, %rdi #149.34 - mulx %rcx, %rcx, %r14 #147.36 - adcx %rcx, %r8 #150.34 - movl %r9d, %ecx #151.31 - setb %bl #150.34 - adox %r9d, %ecx #151.31 - movq $-1, %rcx #157.36 - adox %r14, %rbx #151.31 - clc #152.34 - movl 40(%rsp), %r14d #156.34[spill] - adcx %r15, %r11 #152.34 - movq $0xffffffff00000001, %r15 #159.36 - movq %r11, %rdx #157.36 - adcx %r12, %r10 #153.34 - movl %r9d, %r12d #155.34 - adcx %rdi, %rbp #154.34 - adcx %r8, %rax #155.34 - mulx %rcx, %r8, %rcx #157.36 - setb %r12b #155.34 - addl %esi, %r14d #156.34 - cmpl %r12d, %r9d #156.34 - movq $0x0ffffffff, %r12 #158.36 - mulx %r12, %rdi, %r12 #158.36 - adcx %rbx, %r14 #156.34 - movl %r9d, %ebx #156.34 - mulx %r15, %r15, %rsi #159.36 - movl %r9d, %edx #160.34 - setb %bl #156.34 - adox %r9d, %edx #160.34 - adox %rdi, %rcx #160.34 - movl %r9d, %edi #162.34 - adox %r13, %r12 #161.34 - adox %r13, %r15 #162.34 - seto %dil #162.34 - clc #163.31 - adcx %rsi, %rdi #163.31 - movl %r9d, %esi #164.31 - adox %r9d, %esi #164.31 - adox %r8, %r11 #164.31 - movq $0x0ffffffff, %r8 #171.34 - movl %r9d, %r11d #168.34 - adox %rcx, %r10 #165.34 - movq $0xffffffff00000001, %rcx #173.34 - movq %r10, %rdx #170.34 - adox %r12, %rbp #166.34 - adox %r15, %rax #167.34 - adox %rdi, %r14 #168.34 - movq %rax, %rdi #172.34 - movq %r14, %rsi #173.34 - seto %r11b #168.34 - addl %r11d, %ebx #174.31 - movq $-1, %r11 #170.34 - subq %r11, %rdx #170.34 - movq %rbp, %r11 #171.34 - sbbq %r8, %r11 #171.34 - sbbq %r13, %rdi #172.34 - sbbq %rcx, %rsi #173.34 - movl %r9d, %ecx #173.34 - setb %cl #173.34 - cmpl %ecx, %r9d #174.31 - sbbq %r13, %rbx #174.31 - setb %r9b #174.31 - testq %r9, %r9 #18.0 - cmovnz %r14, %rsi #18.0 - movq %rsi, 248(%rsp) #18.0[spill] - testq %r9, %r9 #18.0 - cmovnz %rax, %rdi #18.0 - movq %rdi, 256(%rsp) #18.0[spill] - testq %r9, %r9 #18.0 - cmovnz %rbp, %r11 #18.0 - movq %r11, 264(%rsp) #18.0[spill] - testq %r9, %r9 #18.0 - cmovnz %r10, %rdx #18.0 - movq %rdx, 272(%rsp) #18.0[spill] - movq %rsi, 64(%rsp) #217.37 - movq %rdi, 72(%rsp) #217.37 - movq %r11, 80(%rsp) #217.37 - movq %rdx, 88(%rsp) #217.37 - vmovups %xmm0, (%rsp) #218.20 - vmovups %xmm0, 16(%rsp) #218.20 - movq 168(%rsp), %r12 #72.34[spill] - movq %r12, %rdx #72.34 - movq 184(%rsp), %r13 #73.34[spill] - xorl %r11d, %r11d #76.32 - xorl %ebx, %ebx #76.32 - xorl %r9d, %r9d #76.32 - mulx %r12, %r15, %r14 #72.34 - mulx %r13, %r10, %rsi #73.34 - adcx %r10, %r14 #76.32 - movq $-1, %r10 #80.34 - vpxor %xmm0, %xmm0, %xmm0 #219.21 - mulx 176(%rsp), %rdi, %r8 #74.34[spill] - adcx %rdi, %rsi #77.32 - movq $0xffffffff00000001, %rdi #82.34 - mulx 192(%rsp), %rcx, %rax #75.34[spill] - movq %r15, %rdx #80.34 - adcx %rcx, %r8 #78.32 - mulx %rdi, %rcx, %rdi #82.34 - setb %r9b #78.32 - adox %r11d, %ebx #79.30 - adox %rax, %r9 #79.30 - mulx %r10, %rbp, %rax #80.34 - movq $0x0ffffffff, %r10 #81.34 - clc #83.32 - mulx %r10, %r10, %rbx #81.34 - movl %r11d, %edx #86.30 - adcx %r10, %rax #83.32 - movl $0, %r10d #84.32 - adcx %r10, %rbx #84.32 - adcx %r10, %rcx #85.32 - movl %r11d, %r10d #85.32 - setb %r10b #85.32 - adox %r11d, %edx #86.30 - movq %r13, %rdx #92.34 - adox %rdi, %r10 #86.30 - movl %r11d, %edi #86.30 - seto %dil #86.30 - clc #87.30 - adcx %rbp, %r15 #87.30 - adcx %rax, %r14 #88.32 - adcx %rbx, %rsi #89.32 - mulx %r13, %rbx, %r15 #93.34 - movl %r11d, %r13d #96.32 - adcx %rcx, %r8 #90.32 - mulx %r12, %rbp, %rcx #92.34 - adcx %r10, %r9 #91.32 - movl %r11d, %r10d #91.32 - mulx 176(%rsp), %rax, %r12 #94.34[spill] - setb %r10b #91.32 - adox %r11d, %r13d #96.32 - mulx 192(%rsp), %rdx, %rdi #95.34[spill] - adox %rbx, %rcx #96.32 - movl %r11d, %ebx #98.32 - adox %rax, %r15 #97.32 - movl %r11d, %eax #100.34 - adox %rdx, %r12 #98.32 - seto %bl #98.32 - clc #99.30 - adcx %rdi, %rbx #99.30 - adox %r11d, %eax #100.34 - movl %r11d, %edi #104.34 - adox %rbp, %r14 #100.34 - movq %r14, %rdx #105.36 - adox %rcx, %rsi #101.34 - movq $0x0ffffffff, %rcx #106.36 - adox %r15, %r8 #102.34 - mulx %rcx, %r15, %rax #106.36 - adox %r12, %r9 #103.34 - movq $-1, %r12 #105.36 - mulx %r12, %rbp, %r13 #105.36 - movl $0, %r12d #109.34 - adox %rbx, %r10 #104.34 - movq $0xffffffff00000001, %rbx #107.36 - mulx %rbx, %rbx, %rcx #107.36 - seto %dil #104.34 - clc #108.34 - movq 176(%rsp), %rdx #118.36[spill] - adcx %r15, %r13 #108.34 - movl %r11d, %r15d #110.34 - adcx %r12, %rax #109.34 - adcx %r12, %rbx #110.34 - movl %r11d, %r12d #111.31 - setb %r15b #110.34 - adox %r11d, %r12d #111.31 - adox %rcx, %r15 #111.31 - clc #112.31 - adcx %rbp, %r14 #112.31 - movl %r11d, %r14d #116.34 - adcx %r13, %rsi #113.34 - mulx 168(%rsp), %r13, %rbp #118.36[spill] - adcx %rax, %r8 #114.34 - mulx %rdx, %rax, %r12 #120.36 - adcx %rbx, %r9 #115.34 - adcx %r15, %r10 #116.34 - mulx 184(%rsp), %rcx, %r15 #119.36[spill] - setb %r14b #116.34 - movl %r14d, 64(%rsp) #116.34[spill] - movl %r11d, %r14d #122.34 - adox %r11d, %r14d #122.34 - mulx 192(%rsp), %rdx, %rbx #121.36[spill] - adox %rcx, %rbp #122.34 - movl %r11d, %ecx #124.34 - adox %rax, %r15 #123.34 - movl %r11d, %eax #126.34 - adox %rdx, %r12 #124.34 - seto %cl #124.34 - clc #125.31 - adcx %rbx, %rcx #125.31 - adox %r11d, %eax #126.34 - adox %r13, %rsi #126.34 - movq $0x0ffffffff, %r13 #132.36 - movq %rsi, %rdx #131.36 - adox %rbp, %r8 #127.34 - movl %r11d, %ebp #129.34 - adox %r15, %r9 #128.34 - mulx %r13, %r13, %r15 #132.36 - adox %r12, %r10 #129.34 - movq $0xffffffff00000001, %r12 #133.36 - mulx %r12, %r14, %r12 #133.36 - seto %bpl #129.34 - xorl %ebx, %ebx #129.34 - addl 64(%rsp), %edi #130.34[spill] - cmpl %ebp, %r11d #130.34 - adcx %rcx, %rdi #130.34 - movq $-1, %rcx #131.36 - mulx %rcx, %rbp, %rax #131.36 - movl %r11d, %edx #134.34 - setb %bl #130.34 - adox %r11d, %edx #134.34 - movq 192(%rsp), %rdx #144.36[spill] - adox %r13, %rax #134.34 - movl $0, %r13d #135.34 - adox %r13, %r15 #135.34 - adox %r13, %r14 #136.34 - movl %r11d, %r13d #136.34 - seto %r13b #136.34 - clc #137.31 - adcx %r12, %r13 #137.31 - movl %r11d, %r12d #138.31 - adox %r11d, %r12d #138.31 - adox %rbp, %rsi #138.31 - mulx 184(%rsp), %rbp, %rsi #145.36[spill] - adox %rax, %r8 #139.34 - movl %r11d, %eax #142.34 - adox %r15, %r9 #140.34 - adox %r14, %r10 #141.34 - mulx 168(%rsp), %r12, %r14 #144.36[spill] - adox %r13, %rdi #142.34 - mulx 176(%rsp), %r15, %r13 #146.36[spill] - seto %al #142.34 - clc #148.34 - adcx %rbp, %r14 #148.34 - adcx %r15, %rsi #149.34 - mulx %rdx, %rbp, %r15 #147.36 - movl %r11d, %edx #151.31 - adcx %rbp, %r13 #150.34 - movl %r11d, %ebp #150.34 - setb %bpl #150.34 - adox %r11d, %edx #151.31 - adox %r15, %rbp #151.31 - clc #152.34 - adcx %r12, %r8 #152.34 - movq %r8, %rdx #157.36 - adcx %r14, %r9 #153.34 - movq $0xffffffff00000001, %r14 #159.36 - adcx %rsi, %r10 #154.34 - movl %r11d, %esi #155.34 - adcx %r13, %rdi #155.34 - mulx %rcx, %r15, %r13 #157.36 - setb %sil #155.34 - addl %eax, %ebx #156.34 - cmpl %esi, %r11d #156.34 - movq $0x0ffffffff, %rax #158.36 - mulx %rax, %rax, %r12 #158.36 - adcx %rbp, %rbx #156.34 - movl %r11d, %ebp #156.34 - mulx %r14, %r14, %rsi #159.36 - movl %r11d, %edx #160.34 - setb %bpl #156.34 - adox %r11d, %edx #160.34 - movl %r11d, %edx #162.34 - adox %rax, %r13 #160.34 - movl $0, %eax #161.34 - adox %rax, %r12 #161.34 - adox %rax, %r14 #162.34 - seto %dl #162.34 - clc #163.31 - adcx %rsi, %rdx #163.31 - movl %r11d, %esi #164.31 - adox %r11d, %esi #164.31 - adox %r15, %r8 #164.31 - movl %r11d, %r8d #168.34 - adox %r13, %r9 #165.34 - adox %r12, %r10 #166.34 - movq $0xffffffff00000001, %r12 #173.34 - adox %r14, %rdi #167.34 - movq %rdi, %r15 #172.34 - adox %rdx, %rbx #168.34 - movq %r9, %rdx #170.34 - seto %r8b #168.34 - xorl %r13d, %r13d #168.34 - addl %r8d, %ebp #174.31 - subq %rcx, %rdx #170.34 - movq %r10, %rcx #171.34 - movq $0x0ffffffff, %r8 #171.34 - sbbq %r8, %rcx #171.34 - movq %rbx, %r8 #173.34 - sbbq %rax, %r15 #172.34 - sbbq %r12, %r8 #173.34 - setb %r13b #173.34 - cmpl %r13d, %r11d #174.31 - sbbq %rax, %rbp #174.31 - setb %r11b #174.31 - testq %r11, %r11 #18.0 - cmovnz %rbx, %r8 #18.0 - testq %r11, %r11 #18.0 - cmovnz %rdi, %r15 #18.0 - movq %r15, 232(%rsp) #18.0[spill] - testq %r11, %r11 #18.0 - cmovnz %r10, %rcx #18.0 - testq %r11, %r11 #18.0 - cmovnz %r9, %rdx #18.0 - movq %rdx, 240(%rsp) #18.0[spill] - movq %r8, (%rsp) #218.37 - movq %r15, 8(%rsp) #218.37 - movq %rcx, 16(%rsp) #218.37 - movq %rdx, 24(%rsp) #218.37 - vmovups %xmm0, 32(%rsp) #219.21 - vmovups %xmm0, 48(%rsp) #219.21 - movq 272(%rsp), %rdx #72.34[spill] - xorl %r12d, %r12d #76.32 - xorl %ebp, %ebp #76.32 - vpxor %xmm0, %xmm0, %xmm0 #228.21 - movq 136(%rsp), %r9 #72.34[spill] - movq 160(%rsp), %r10 #73.34[spill] - movq %r8, 64(%rsp) #[spill] - mulx %r9, %r13, %r11 #72.34 - mulx %r10, %r8, %rbx #73.34 - adcx %r8, %r11 #76.32 - movl %ebp, %r8d #78.32 - mulx 152(%rsp), %rsi, %rdi #74.34[spill] - adcx %rsi, %rbx #77.32 - movq $-1, %rsi #80.34 - mulx 144(%rsp), %rax, %r15 #75.34[spill] - movq %r13, %rdx #80.34 - adcx %rax, %rdi #78.32 - movq $0xffffffff00000001, %rax #82.34 - movq %rcx, 72(%rsp) #[spill] - movl %ebp, %ecx #79.30 - setb %r8b #78.32 - adox %ebp, %ecx #79.30 - adox %r15, %r8 #79.30 - mulx %rax, %rcx, %rax #82.34 - seto %r12b #79.30 - mulx %rsi, %r14, %r12 #80.34 - movq $0x0ffffffff, %rsi #81.34 - clc #83.32 - mulx %rsi, %rsi, %r15 #81.34 - movl %ebp, %edx #86.30 - adcx %rsi, %r12 #83.32 - movl $0, %esi #84.32 - adcx %rsi, %r15 #84.32 - adcx %rsi, %rcx #85.32 - movl %ebp, %esi #85.32 - setb %sil #85.32 - adox %ebp, %edx #86.30 - adox %rax, %rsi #86.30 - movl %ebp, %eax #86.30 - movq 264(%rsp), %rdx #92.34[spill] - seto %al #86.30 - clc #87.30 - adcx %r14, %r13 #87.30 - movl %ebp, %r13d #96.32 - adcx %r12, %r11 #88.32 - mulx %r9, %r14, %r12 #92.34 - adcx %r15, %rbx #89.32 - mulx 152(%rsp), %r15, %r9 #94.34[spill] - adcx %rcx, %rdi #90.32 - mulx %r10, %rcx, %r10 #93.34 - adcx %rsi, %r8 #91.32 - movl %ebp, %esi #91.32 - mulx 144(%rsp), %rdx, %rax #95.34[spill] - setb %sil #91.32 - adox %ebp, %r13d #96.32 - adox %rcx, %r12 #96.32 - movl %ebp, %ecx #98.32 - adox %r15, %r10 #97.32 - movl %ebp, %r15d #100.34 - adox %rdx, %r9 #98.32 - seto %cl #98.32 - clc #99.30 - adcx %rax, %rcx #99.30 - adox %ebp, %r15d #100.34 - movl %ebp, %eax #104.34 - adox %r14, %r11 #100.34 - movq $0x0ffffffff, %r14 #106.36 - movq %r11, %rdx #105.36 - adox %r12, %rbx #101.34 - movq $0xffffffff00000001, %r12 #107.36 - adox %r10, %rdi #102.34 - movq $-1, %r10 #105.36 - adox %r9, %r8 #103.34 - mulx %r10, %r10, %r9 #105.36 - adox %rcx, %rsi #104.34 - mulx %r14, %rcx, %r15 #106.36 - movl $0, %r14d #109.34 - seto %al #104.34 - clc #108.34 - adcx %rcx, %r9 #108.34 - mulx %r12, %r13, %rcx #107.36 - movl %ebp, %r12d #110.34 - adcx %r14, %r15 #109.34 - movq 256(%rsp), %rdx #118.36[spill] - adcx %r14, %r13 #110.34 - movl %ebp, %r14d #111.31 - setb %r12b #110.34 - adox %ebp, %r14d #111.31 - adox %rcx, %r12 #111.31 - clc #112.31 - mulx 160(%rsp), %rcx, %r14 #119.36[spill] - adcx %r10, %r11 #112.31 - mulx 152(%rsp), %r10, %r11 #120.36[spill] - adcx %r9, %rbx #113.34 - movl %ebp, %r9d #116.34 - adcx %r15, %rdi #114.34 - adcx %r13, %r8 #115.34 - movl %ebp, %r13d #122.34 - adcx %r12, %rsi #116.34 - setb %r9b #116.34 - adox %ebp, %r13d #122.34 - movl %r9d, 80(%rsp) #116.34[spill] - mulx 136(%rsp), %r12, %r9 #118.36[spill] - adox %rcx, %r9 #122.34 - movl %ebp, %ecx #124.34 - mulx 144(%rsp), %rdx, %r15 #121.36[spill] - adox %r10, %r14 #123.34 - movl %ebp, %r10d #126.34 - adox %rdx, %r11 #124.34 - seto %cl #124.34 - clc #125.31 - adcx %r15, %rcx #125.31 - adox %ebp, %r10d #126.34 - movq $0x0ffffffff, %r10 #132.36 - adox %r12, %rbx #126.34 - movq %rbx, %rdx #131.36 - adox %r9, %rdi #127.34 - mulx %r10, %r9, %r12 #132.36 - adox %r14, %r8 #128.34 - adox %r11, %rsi #129.34 - movl %ebp, %r11d #129.34 - seto %r11b #129.34 - xorl %r15d, %r15d #129.34 - addl 80(%rsp), %eax #130.34[spill] - cmpl %r11d, %ebp #130.34 - movq $0xffffffff00000001, %r11 #133.36 - adcx %rcx, %rax #130.34 - movq $-1, %rcx #131.36 - mulx %rcx, %r14, %r13 #131.36 - mulx %r11, %r10, %r11 #133.36 - movl %ebp, %edx #134.34 - setb %r15b #130.34 - adox %ebp, %edx #134.34 - movq 248(%rsp), %rdx #144.36[spill] - adox %r9, %r13 #134.34 - movl $0, %r9d #135.34 - adox %r9, %r12 #135.34 - adox %r9, %r10 #136.34 - movl %ebp, %r9d #136.34 - seto %r9b #136.34 - clc #137.31 - adcx %r11, %r9 #137.31 - movl %ebp, %r11d #138.31 - adox %ebp, %r11d #138.31 - adox %r14, %rbx #138.31 - adox %r13, %rdi #139.34 - mulx 136(%rsp), %r13, %r11 #144.36[spill] - adox %r12, %r8 #140.34 - mulx 160(%rsp), %r12, %rbx #145.36[spill] - adox %r10, %rsi #141.34 - movl %ebp, %r10d #142.34 - adox %r9, %rax #142.34 - seto %r10b #142.34 - clc #148.34 - adcx %r12, %r11 #148.34 - mulx 152(%rsp), %r14, %r12 #146.36[spill] - adcx %r14, %rbx #149.34 - mulx 144(%rsp), %r9, %r14 #147.36[spill] - movl %ebp, %edx #151.31 - adcx %r9, %r12 #150.34 - movl %ebp, %r9d #150.34 - setb %r9b #150.34 - adox %ebp, %edx #151.31 - adox %r14, %r9 #151.31 - clc #152.34 - adcx %r13, %rdi #152.34 - movq $0xffffffff00000001, %r13 #159.36 - movq %rdi, %rdx #157.36 - adcx %r11, %r8 #153.34 - adcx %rbx, %rsi #154.34 - movl %ebp, %ebx #155.34 - adcx %r12, %rax #155.34 - mulx %rcx, %r14, %r12 #157.36 - setb %bl #155.34 - addl %r10d, %r15d #156.34 - cmpl %ebx, %ebp #156.34 - movq $0x0ffffffff, %r10 #158.36 - mulx %r10, %r10, %r11 #158.36 - adcx %r9, %r15 #156.34 - movl %ebp, %r9d #156.34 - mulx %r13, %r13, %rbx #159.36 - movl %ebp, %edx #160.34 - setb %r9b #156.34 - adox %ebp, %edx #160.34 - movl %ebp, %edx #162.34 - adox %r10, %r12 #160.34 - movl $0, %r10d #161.34 - adox %r10, %r11 #161.34 - adox %r10, %r13 #162.34 - seto %dl #162.34 - clc #163.31 - adcx %rbx, %rdx #163.31 - movl %ebp, %ebx #164.31 - adox %ebp, %ebx #164.31 - adox %r14, %rdi #164.31 - movl %ebp, %edi #168.34 - adox %r12, %r8 #165.34 - movq $0xffffffff00000001, %r12 #173.34 - adox %r11, %rsi #166.34 - movq $0x0ffffffff, %r11 #171.34 - adox %r13, %rax #167.34 - movq %rax, %rbx #172.34 - adox %rdx, %r15 #168.34 - movq %r15, %rdx #173.34 - seto %dil #168.34 - xorl %r14d, %r14d #168.34 - addl %edi, %r9d #174.31 - movq %r8, %rdi #170.34 - subq %rcx, %rdi #170.34 - movq %rsi, %rcx #171.34 - sbbq %r11, %rcx #171.34 - sbbq %r10, %rbx #172.34 - sbbq %r12, %rdx #173.34 - setb %r14b #173.34 - cmpl %r14d, %ebp #174.31 - sbbq %r10, %r9 #174.31 - setb %bpl #174.31 - movl $1, %r10d #174.31 - testq %rbp, %rbp #18.0 - cmovnz %r15, %rdx #18.0 - movq $0xffffffff00000000, %r15 #18.0 - movq %rdx, 200(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rax, %rbx #18.0 - movq %rbx, 208(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %rsi, %rcx #18.0 - movq %rcx, 224(%rsp) #18.0[spill] - testq %rbp, %rbp #18.0 - cmovnz %r8, %rdi #18.0 - movq 112(%rsp), %r8 #18.0[spill] - movq %rdi, 216(%rsp) #18.0[spill] - movq %rdi, 56(%rsp) #219.35 - movq %rdx, 32(%rsp) #219.35 - movq $0x0fffffffe, %rdx #18.0 - movq %rbx, 40(%rsp) #219.35 - movq %rcx, 48(%rsp) #219.35 - movq 88(%r8), %rax #18.0 - movq 96(%rsp), %rdi #18.0[spill] - testq %rdi, %rdi #18.0 - cmovnz %rax, %r10 #18.0 - movq $-1, %rax #18.0 - movq %r10, 88(%r8) #220.5 - movq 80(%r8), %rcx #18.0 - testq %rdi, %rdi #18.0 - cmovnz %rcx, %r15 #18.0 - movq %r15, 80(%r8) #221.5 - movq 72(%r8), %rsi #18.0 - testq %rdi, %rdi #18.0 - cmovnz %rsi, %rax #18.0 - movq %rax, 72(%r8) #222.5 - movq 64(%r8), %r9 #18.0 - testq %rdi, %rdi #18.0 - cmovnz %r9, %rdx #18.0 - movq 120(%rsp), %r11 #18.0[spill] - movq %rdx, 64(%r8) #223.5 - movq 128(%rsp), %r12 #18.0[spill] - movq 88(%r11), %r13 #18.0 - testq %r12, %r12 #18.0 - cmovnz %r10, %r13 #18.0 - movq %r13, 88(%r8) #18.0 - movq 80(%r11), %r10 #18.0 - testq %r12, %r12 #18.0 - cmovnz %r15, %r10 #18.0 - movq %r10, 80(%r8) #18.0 - movq 72(%r11), %r13 #18.0 - testq %r12, %r12 #18.0 - cmovnz %rax, %r13 #18.0 - movq %r13, 72(%r8) #18.0 - movq 64(%r11), %rcx #18.0 - testq %r12, %r12 #18.0 - cmovnz %rdx, %rcx #18.0 - movq %rcx, 64(%r8) #18.0 - vmovups %xmm0, (%rsp) #228.21 - vmovups %xmm0, 16(%rsp) #228.21 - movq 72(%rsp), %rcx #228.21[spill] - movq 64(%rsp), %r8 #228.21[spill] - xorl %r9d, %r9d #76.32 - movq 272(%rsp), %rdx #72.34[spill] - xorl %r14d, %r14d #79.30 - movq %r8, 64(%rsp) #[spill] - xorl %r8d, %r8d #76.32 - vpxor %xmm0, %xmm0, %xmm0 #229.21 - movq %rcx, 72(%rsp) #[spill] - mulx 24(%r11), %r13, %r12 #72.34 - mulx 16(%r11), %r10, %rcx #73.34 - adcx %r10, %r12 #76.32 - movl %r9d, %r10d #79.30 - mulx 8(%r11), %rsi, %rdi #74.34 - adcx %rsi, %rcx #77.32 - movq $-1, %rsi #80.34 - mulx (%r11), %rax, %r15 #75.34 - movq %r13, %rdx #80.34 - adcx %rax, %rdi #78.32 - movq $0x0ffffffff, %rax #81.34 - mulx %rsi, %rbp, %rbx #80.34 - setb %r8b #78.32 - adox %r9d, %r14d #79.30 - adox %r15, %r8 #79.30 - movq $0xffffffff00000001, %r15 #82.34 - mulx %rax, %r14, %rax #81.34 - seto %r10b #79.30 - clc #83.32 - mulx %r15, %rsi, %r10 #82.34 - movl %r9d, %r15d #86.30 - adcx %r14, %rbx #83.32 - movl $0, %r14d #84.32 - movq 264(%rsp), %rdx #92.34[spill] - adcx %r14, %rax #84.32 - adcx %r14, %rsi #85.32 - movl %r9d, %r14d #85.32 - setb %r14b #85.32 - adox %r9d, %r15d #86.30 - adox %r10, %r14 #86.30 - clc #87.30 - movl %r9d, %r10d #91.32 - adcx %rbp, %r13 #87.30 - mulx 16(%r11), %r13, %rbp #93.34 - adcx %rbx, %r12 #88.32 - adcx %rax, %rcx #89.32 - mulx 24(%r11), %rbx, %rax #92.34 - adcx %rsi, %rdi #90.32 - adcx %r14, %r8 #91.32 - mulx 8(%r11), %r15, %r14 #94.34 - mulx (%r11), %rdx, %rsi #95.34 - movl %r9d, %r11d #96.32 - setb %r10b #91.32 - adox %r9d, %r11d #96.32 - adox %r13, %rax #96.32 - movl %r9d, %r13d #98.32 - adox %r15, %rbp #97.32 - movl %r9d, %r15d #100.34 - adox %rdx, %r14 #98.32 - seto %r13b #98.32 - clc #99.30 - adcx %rsi, %r13 #99.30 - adox %r9d, %r15d #100.34 - movl %r9d, %esi #104.34 - adox %rbx, %r12 #100.34 - movq $0x0ffffffff, %rbx #106.36 - movq %r12, %rdx #105.36 - adox %rax, %rcx #101.34 - movq $-1, %rax #105.36 - adox %rbp, %rdi #102.34 - mulx %rax, %r11, %rbp #105.36 - adox %r14, %r8 #103.34 - movl $0, %r14d #109.34 - mulx %rbx, %rbx, %rax #106.36 - adox %r13, %r10 #104.34 - movq $0xffffffff00000001, %r13 #107.36 - seto %sil #104.34 - clc #108.34 - adcx %rbx, %rbp #108.34 - mulx %r13, %r15, %rbx #107.36 - movl %r9d, %r13d #110.34 - adcx %r14, %rax #109.34 - movq 256(%rsp), %rdx #118.36[spill] - adcx %r14, %r15 #110.34 - movl %r9d, %r14d #111.31 - setb %r13b #110.34 - adox %r9d, %r14d #111.31 - adox %rbx, %r13 #111.31 - movl %r9d, %ebx #111.31 - seto %bl #111.31 - clc #112.31 - adcx %r11, %r12 #112.31 - adcx %rbp, %rcx #113.34 - movl %r9d, %ebp #116.34 - adcx %rax, %rdi #114.34 - adcx %r15, %r8 #115.34 - movq 120(%rsp), %r15 #118.36[spill] - adcx %r13, %r10 #116.34 - mulx 16(%r15), %rax, %r12 #119.36 - setb %bpl #116.34 - movl %ebp, 80(%rsp) #116.34[spill] - mulx 24(%r15), %r13, %rbp #118.36 - mulx 8(%r15), %r11, %r14 #120.36 - mulx (%r15), %rdx, %rbx #121.36 - movl %r9d, %r15d #122.34 - adox %r9d, %r15d #122.34 - adox %rax, %rbp #122.34 - movl %r9d, %eax #124.34 - adox %r11, %r12 #123.34 - adox %rdx, %r14 #124.34 - seto %al #124.34 - clc #125.31 - adcx %rbx, %rax #125.31 - movl %r9d, %ebx #126.34 - adox %r9d, %ebx #126.34 - movq $0x0ffffffff, %r11 #132.36 - adox %r13, %rcx #126.34 - movq %rcx, %rdx #131.36 - adox %rbp, %rdi #127.34 - movq $0xffffffff00000001, %rbp #133.36 - mulx %r11, %r11, %r13 #132.36 - adox %r12, %r8 #128.34 - movl %r9d, %r12d #129.34 - adox %r14, %r10 #129.34 - seto %r12b #129.34 - xorl %ebx, %ebx #129.34 - addl 80(%rsp), %esi #130.34[spill] - cmpl %r12d, %r9d #130.34 - mulx %rbp, %rbp, %r12 #133.36 - adcx %rax, %rsi #130.34 - movq $-1, %rax #131.36 - mulx %rax, %r15, %r14 #131.36 - movl %r9d, %edx #134.34 - setb %bl #130.34 - adox %r9d, %edx #134.34 - movq 248(%rsp), %rdx #144.36[spill] - adox %r11, %r14 #134.34 - movl $0, %r11d #135.34 - adox %r11, %r13 #135.34 - adox %r11, %rbp #136.34 - movl %r9d, %r11d #136.34 - seto %r11b #136.34 - clc #137.31 - adcx %r12, %r11 #137.31 - movl %r9d, %r12d #138.31 - adox %r9d, %r12d #138.31 - adox %r15, %rcx #138.31 - movq 120(%rsp), %r15 #144.36[spill] - adox %r14, %rdi #139.34 - adox %r13, %r8 #140.34 - mulx 24(%r15), %r14, %r13 #144.36 - adox %rbp, %r10 #141.34 - movl %r9d, %ebp #142.34 - adox %r11, %rsi #142.34 - mulx 16(%r15), %rcx, %r11 #145.36 - seto %bpl #142.34 - clc #148.34 - adcx %rcx, %r13 #148.34 - mulx 8(%r15), %rcx, %r12 #146.36 - adcx %rcx, %r11 #149.34 - mulx (%r15), %r15, %rcx #147.36 - movl %r9d, %edx #151.31 - adcx %r15, %r12 #150.34 - movl %r9d, %r15d #150.34 - setb %r15b #150.34 - adox %r9d, %edx #151.31 - adox %rcx, %r15 #151.31 - clc #152.34 - adcx %r14, %rdi #152.34 - movq $0x0ffffffff, %r14 #158.36 - movq %rdi, %rdx #157.36 - adcx %r13, %r8 #153.34 - adcx %r11, %r10 #154.34 - movl %r9d, %r11d #155.34 - adcx %r12, %rsi #155.34 - mulx %rax, %r13, %r12 #157.36 - setb %r11b #155.34 - addl %ebp, %ebx #156.34 - xorl %ebp, %ebp #156.34 - cmpl %r11d, %r9d #156.34 - mulx %r14, %rcx, %r11 #158.36 - movq $0xffffffff00000001, %r14 #159.36 - adcx %r15, %rbx #156.34 - mulx %r14, %r14, %r15 #159.36 - movl %r9d, %edx #160.34 - setb %bpl #156.34 - adox %r9d, %edx #160.34 - movl %r9d, %edx #162.34 - adox %rcx, %r12 #160.34 - movl $0, %ecx #161.34 - adox %rcx, %r11 #161.34 - adox %rcx, %r14 #162.34 - seto %dl #162.34 - clc #163.31 - adcx %r15, %rdx #163.31 - movl %r9d, %r15d #164.31 - adox %r9d, %r15d #164.31 - adox %r13, %rdi #164.31 - movl %r9d, %edi #168.34 - adox %r12, %r8 #165.34 - adox %r11, %r10 #166.34 - movq $0x0ffffffff, %r11 #171.34 - adox %r14, %rsi #167.34 - adox %rdx, %rbx #168.34 - movq %r8, %rdx #170.34 - movq %rbx, %r13 #173.34 - seto %dil #168.34 - xorl %r12d, %r12d #168.34 - addl %edi, %ebp #174.31 - subq %rax, %rdx #170.34 - movq %r10, %rax #171.34 - movq $0xffffffff00000001, %rdi #173.34 - sbbq %r11, %rax #171.34 - movq %rsi, %r11 #172.34 - sbbq %rcx, %r11 #172.34 - sbbq %rdi, %r13 #173.34 - setb %r12b #173.34 - cmpl %r12d, %r9d #174.31 - sbbq %rcx, %rbp #174.31 - setb %r9b #174.31 - testq %r9, %r9 #18.0 - cmovnz %rbx, %r13 #18.0 - movq %r13, 136(%rsp) #18.0[spill] - testq %r9, %r9 #18.0 - cmovnz %rsi, %r11 #18.0 - testq %r9, %r9 #18.0 - cmovnz %r10, %rax #18.0 - testq %r9, %r9 #18.0 - cmovnz %r8, %rdx #18.0 - movq %r13, (%rsp) #228.35 - movq %r11, 8(%rsp) #228.35 - movq %rax, 16(%rsp) #228.35 - movq %rdx, 24(%rsp) #228.35 - vmovups %xmm0, 32(%rsp) #229.21 - vmovups %xmm0, 48(%rsp) #229.21 - movq 72(%rsp), %rcx #229.21[spill] - movq 64(%rsp), %r8 #229.21[spill] - movq %r13, %r9 #36.32 - movq %rdx, %r12 #33.32 - movq %rax, %r13 #34.32 - xorl %esi, %esi #33.32 - xorl %r10d, %r10d #33.32 - movq %r11, %r14 #35.32 - adcx %rdx, %r12 #33.32 - vpxor %xmm0, %xmm0, %xmm0 #230.20 - movq %r12, %r10 #37.32 - movq $0x0ffffffff, %rbx #38.32 - adcx %rax, %r13 #34.32 - movq $0xffffffff00000001, %r15 #40.32 - adcx %r11, %r14 #35.32 - adcx %r9, %r9 #36.32 - setb %sil #36.32 - movq $-1, %rdi #36.32 - xorl %ebp, %ebp #36.32 - subq %rdi, %r10 #37.32 - movq %r13, %rdi #38.32 - sbbq %rbx, %rdi #38.32 - movq %r14, %rbx #39.32 - sbbq %rbp, %rbx #39.32 - movq %r9, %rbp #40.32 - sbbq %r15, %rbp #40.32 - movl $0, %r15d #41.30 - sbbq %r15, %rsi #41.30 - movl $0, %esi #41.30 - setb %sil #41.30 - testq %rsi, %rsi #18.0 - cmovnz %r9, %rbp #18.0 - testq %rsi, %rsi #18.0 - cmovnz %r14, %rbx #18.0 - testq %rsi, %rsi #18.0 - cmovnz %r13, %rdi #18.0 - testq %rsi, %rsi #18.0 - cmovnz %r12, %r10 #18.0 - movq %rbp, 32(%rsp) #229.35 - movq %rbx, 40(%rsp) #229.35 - movq %rdi, 48(%rsp) #229.35 - movq %r10, 56(%rsp) #229.35 - vmovups %xmm0, 64(%rsp) #230.20 - vmovups %xmm0, 80(%rsp) #230.20 - movq 240(%rsp), %rsi #53.32[spill] - xorl %r15d, %r15d #53.32 - subq %r10, %rsi #53.32 - movl %r15d, %r10d #56.32 - sbbq %rdi, %rcx #54.32 - movq $0xffffffff00000001, %r13 #64.30 - movq 232(%rsp), %rdi #55.32[spill] - sbbq %rbx, %rdi #55.32 - vpxor %xmm0, %xmm0, %xmm0 #240.21 - sbbq %rbp, %r8 #56.32 - setb %r10b #56.32 - xorl %r14d, %r14d #56.32 - xorl %r12d, %r12d #56.32 - movq $-1, %rbp #56.32 - testq %r10, %r10 #18.0 - cmovnz %rbp, %r14 #18.0 - xorl %r10d, %r10d #59.32 - xorl %ebx, %ebx #59.32 - movl %r14d, %r9d #61.32 - adox %r14, %rsi #59.32 - movq %rsi, 88(%rsp) #230.34 - adox %r9, %rcx #61.32 - movq %rcx, 80(%rsp) #230.34 - adox %r12, %rdi #62.32 - movq %rdi, 72(%rsp) #230.34 - seto %r10b #62.32 - xorl %ebx, %ebx #62.32 - andq %r13, %r14 #64.30 - cmpl %r10d, %r15d #64.30 - adcx %r14, %r8 #64.30 - xorl %r10d, %r10d #64.30 - movq %r8, 64(%rsp) #230.34 - subq 216(%rsp), %rsi #53.32[spill] - sbbq 224(%rsp), %rcx #54.32[spill] - sbbq 208(%rsp), %rdi #55.32[spill] - sbbq 200(%rsp), %r8 #56.32[spill] - setb %r10b #56.32 - testq %r10, %r10 #18.0 - cmovnz %rbp, %rbx #18.0 - xorl %r10d, %r10d #59.32 - movl %ebx, %r10d #61.32 - adox %rbx, %rsi #59.32 - adox %r10, %rcx #61.32 - movq 112(%rsp), %r10 #66.1[spill] - adox %r12, %rdi #62.32 - movl %r15d, %r12d #62.32 - movq %rdi, 8(%r10) #66.1 - seto %r12b #62.32 - andq %rbx, %r13 #64.30 - cmpl %r12d, %r15d #64.30 - movq 104(%rsp), %r12 #18.0[spill] - adcx %r13, %r8 #64.30 - movq %rcx, 16(%r10) #67.1 - movq %rsi, 24(%r10) #68.1 - movq %r8, (%r10) #65.1 - movq 24(%r12), %r9 #18.0 - movq 96(%rsp), %r13 #18.0[spill] - testq %r13, %r13 #18.0 - cmovnz %rsi, %r9 #18.0 - movq %r9, 24(%r10) #232.5 - movq 16(%r12), %rbx #18.0 - testq %r13, %r13 #18.0 - cmovnz %rcx, %rbx #18.0 - movq %rbx, 16(%r10) #233.5 - movq 8(%r12), %rbp #18.0 - testq %r13, %r13 #18.0 - cmovnz %rdi, %rbp #18.0 - movq %rbp, 8(%r10) #234.5 - movq (%r12), %rcx #18.0 - testq %r13, %r13 #18.0 - cmovnz %r8, %rcx #18.0 - movq 120(%rsp), %rsi #18.0[spill] - movq %rcx, (%r10) #235.5 - movq 128(%rsp), %rdi #18.0[spill] - movq 24(%rsi), %r8 #18.0 - testq %rdi, %rdi #18.0 - cmovnz %r9, %r8 #18.0 - movq %r8, 24(%r10) #236.5 - movq %r8, 144(%rsp) #18.0[spill] - movq 16(%rsi), %r9 #18.0 - testq %rdi, %rdi #18.0 - cmovnz %rbx, %r9 #18.0 - movq %r9, 16(%r10) #237.5 - movq %r9, 152(%rsp) #18.0[spill] - movq 8(%rsi), %rbx #18.0 - testq %rdi, %rdi #18.0 - cmovnz %rbp, %rbx #18.0 - movq %rbx, 8(%r10) #238.5 - movq %rbx, 160(%rsp) #18.0[spill] - movq (%rsi), %rbp #18.0 - testq %rdi, %rdi #18.0 - cmovnz %rcx, %rbp #18.0 - movq %rbp, 248(%rsp) #18.0[spill] - movq %rbp, (%r10) #239.5 - vmovups %xmm0, (%rsp) #240.21 - vmovups %xmm0, 16(%rsp) #240.21 - movq %rsi, %rbp #72.34 - xorl %r8d, %r8d #76.32 - movq %rdx, 88(%rsp) #[spill] - xorl %r9d, %r9d #76.32 - movq 216(%rsp), %rdx #72.34[spill] - movq %rax, 232(%rsp) #[spill] - mulx 56(%rbp), %rax, %rdi #72.34 - movq $0x0ffffffff, %r13 #81.34 - mulx 48(%rbp), %rbx, %r10 #73.34 - movq $0xffffffff00000001, %r14 #82.34 - adox %rbx, %rdi #76.32 - vpxor %xmm0, %xmm0, %xmm0 #241.21 - movq %r11, 80(%rsp) #[spill] - mulx 40(%rbp), %rcx, %r11 #74.34 - adox %rcx, %r10 #77.32 - mulx 32(%rbp), %rsi, %r12 #75.34 - movq %rax, %rdx #80.34 - adox %rsi, %r11 #78.32 - movq $-1, %rsi #80.34 - seto %r9b #78.32 - clc #79.30 - adcx %r12, %r9 #79.30 - mulx %r13, %r12, %rcx #81.34 - mulx %rsi, %r15, %rbx #80.34 - mulx %r14, %r14, %r13 #82.34 - movl %r8d, %edx #83.32 - adox %r8d, %edx #83.32 - movl %r8d, %edx #85.32 - adox %r12, %rbx #83.32 - movl $0, %r12d #84.32 - adox %r12, %rcx #84.32 - adox %r12, %r14 #85.32 - seto %dl #85.32 - clc #86.30 - adcx %r13, %rdx #86.30 - movl %r8d, %r13d #87.30 - adox %r8d, %r13d #87.30 - adox %r15, %rax #87.30 - adox %rbx, %rdi #88.32 - movl %r8d, %ebx #91.32 - adox %rcx, %r10 #89.32 - adox %r14, %r11 #90.32 - adox %rdx, %r9 #91.32 - movq 224(%rsp), %rdx #92.34[spill] - seto %bl #91.32 - clc #96.32 - mulx 56(%rbp), %r15, %r14 #92.34 - mulx 48(%rbp), %rcx, %r13 #93.34 - adcx %rcx, %r14 #96.32 - mulx 40(%rbp), %rax, %rcx #94.34 - adcx %rax, %r13 #97.32 - mulx 32(%rbp), %rax, %rbp #95.34 - movl %r8d, %edx #99.30 - adcx %rax, %rcx #98.32 - movl %r8d, %eax #98.32 - setb %al #98.32 - adox %r8d, %edx #99.30 - adox %rbp, %rax #99.30 - movl %r8d, %ebp #99.30 - seto %bpl #99.30 - clc #100.34 - adcx %r15, %rdi #100.34 - movq %rdi, %rdx #105.36 - adcx %r14, %r10 #101.34 - movq $0xffffffff00000001, %r14 #107.36 - adcx %r13, %r11 #102.34 - mulx %r14, %r13, %r14 #107.36 - adcx %rcx, %r9 #103.34 - movl %r8d, %ecx #104.34 - adcx %rax, %rbx #104.34 - mulx %rsi, %rax, %rbp #105.36 - movq $0x0ffffffff, %rsi #106.36 - mulx %rsi, %r15, %rsi #106.36 - movl %r8d, %edx #108.34 - setb %cl #104.34 - adox %r8d, %edx #108.34 - movq 208(%rsp), %rdx #118.36[spill] - adox %r15, %rbp #108.34 - movl %r8d, %r15d #110.34 - adox %r12, %rsi #109.34 - adox %r12, %r13 #110.34 - seto %r15b #110.34 - clc #111.31 - adcx %r14, %r15 #111.31 - movl %r8d, %r14d #112.31 - adox %r8d, %r14d #112.31 - adox %rax, %rdi #112.31 - movl %r8d, %edi #116.34 - adox %rbp, %r10 #113.34 - adox %rsi, %r11 #114.34 - adox %r13, %r9 #115.34 - movq 120(%rsp), %r13 #118.36[spill] - adox %r15, %rbx #116.34 - mulx 56(%r13), %rax, %rbp #118.36 - seto %dil #116.34 - clc #122.34 - mulx 48(%r13), %rsi, %r15 #119.36 - adcx %rsi, %rbp #122.34 - mulx 40(%r13), %r14, %rsi #120.36 - adcx %r14, %r15 #123.34 - mulx 32(%r13), %r13, %r14 #121.36 - movl %r8d, %edx #125.31 - adcx %r13, %rsi #124.34 - movl %r8d, %r13d #124.34 - setb %r13b #124.34 - adox %r8d, %edx #125.31 - adox %r14, %r13 #125.31 - movl %r8d, %r14d #125.31 - seto %r14b #125.31 - clc #126.34 - adcx %rax, %r10 #126.34 - movl %r8d, %eax #129.34 - movq %r10, %rdx #131.36 - adcx %rbp, %r11 #127.34 - movq $0x0ffffffff, %rbp #132.36 - mulx %rbp, %rbp, %r14 #132.36 - adcx %r15, %r9 #128.34 - adcx %rsi, %rbx #129.34 - movq $0xffffffff00000001, %rsi #133.36 - mulx %rsi, %rsi, %r15 #133.36 - setb %al #129.34 - addl %edi, %ecx #130.34 - movq $-1, %rdi #130.34 - cmpl %eax, %r8d #130.34 - movl %r8d, %eax #130.34 - adcx %r13, %rcx #130.34 - mulx %rdi, %rdi, %r13 #131.36 - movl %r8d, %edx #134.34 - setb %al #130.34 - adox %r8d, %edx #134.34 - movq 200(%rsp), %rdx #144.36[spill] - adox %rbp, %r13 #134.34 - movl %r8d, %ebp #136.34 - adox %r12, %r14 #135.34 - adox %r12, %rsi #136.34 - seto %bpl #136.34 - clc #137.31 - adcx %r15, %rbp #137.31 - movl %r8d, %r15d #138.31 - adox %r8d, %r15d #138.31 - adox %rdi, %r10 #138.31 - movl %r8d, %r10d #142.34 - adox %r13, %r11 #139.34 - adox %r14, %r9 #140.34 - adox %rsi, %rbx #141.34 - movq 120(%rsp), %rsi #144.36[spill] - adox %rbp, %rcx #142.34 - mulx 56(%rsi), %rdi, %r13 #144.36 - seto %r10b #142.34 - clc #148.34 - mulx 48(%rsi), %r14, %rbp #145.36 - adcx %r14, %r13 #148.34 - mulx 40(%rsi), %r15, %r14 #146.36 - adcx %r15, %rbp #149.34 - mulx 32(%rsi), %rsi, %r15 #147.36 - movl %r8d, %edx #151.31 - adcx %rsi, %r14 #150.34 - movl %r8d, %esi #150.34 - setb %sil #150.34 - adox %r8d, %edx #151.31 - adox %r15, %rsi #151.31 - movl %r8d, %r15d #151.31 - seto %r15b #151.31 - clc #152.34 - adcx %rdi, %r11 #152.34 - movq %r11, %rdx #157.36 - adcx %r13, %r9 #153.34 - movl %r8d, %r13d #155.34 - adcx %rbp, %rbx #154.34 - movq $0x0ffffffff, %rbp #158.36 - mulx %rbp, %rbp, %r15 #158.36 - adcx %r14, %rcx #155.34 - setb %r13b #155.34 - xorl %edi, %edi #155.34 - addl %r10d, %eax #156.34 - movq $-1, %r10 #156.34 - cmpl %r13d, %r8d #156.34 - movq $0xffffffff00000001, %r13 #159.36 - adcx %rsi, %rax #156.34 - mulx %r10, %r10, %rsi #157.36 - mulx %r13, %r13, %r14 #159.36 - movl %r8d, %edx #160.34 - setb %dil #156.34 - adox %r8d, %edx #160.34 - adox %rbp, %rsi #160.34 - movl %r8d, %ebp #162.34 - adox %r12, %r15 #161.34 - adox %r12, %r13 #162.34 - seto %bpl #162.34 - clc #163.31 - adcx %r14, %rbp #163.31 - movl %r8d, %r14d #164.31 - adox %r8d, %r14d #164.31 - adox %r10, %r11 #164.31 - movq $0xffffffff00000001, %r10 #173.34 - movl %r8d, %r11d #168.34 - adox %rsi, %r9 #165.34 - movq $0x0ffffffff, %rsi #171.34 - movq %r9, %rdx #170.34 - adox %r15, %rbx #166.34 - adox %r13, %rcx #167.34 - adox %rbp, %rax #168.34 - movq %rax, %rbp #173.34 - seto %r11b #168.34 - xorl %r15d, %r15d #168.34 - addl %r11d, %edi #174.31 - movq $-1, %r11 #170.34 - subq %r11, %rdx #170.34 - movq %rbx, %r11 #171.34 - sbbq %rsi, %r11 #171.34 - movq %rcx, %rsi #172.34 - sbbq %r12, %rsi #172.34 - sbbq %r10, %rbp #173.34 - setb %r15b #173.34 - cmpl %r15d, %r8d #174.31 - sbbq %r12, %rdi #174.31 - setb %r8b #174.31 - testq %r8, %r8 #18.0 - cmovnz %rax, %rbp #18.0 - testq %r8, %r8 #18.0 - cmovnz %rcx, %rsi #18.0 - testq %r8, %r8 #18.0 - cmovnz %rbx, %r11 #18.0 - movq %r11, 72(%rsp) #18.0[spill] - testq %r8, %r8 #18.0 - cmovnz %r9, %rdx #18.0 - movq %rdx, 64(%rsp) #18.0[spill] - movq %rbp, (%rsp) #240.34 - movq %rsi, 8(%rsp) #240.34 - movq %r11, 16(%rsp) #240.34 - movq %rdx, 24(%rsp) #240.34 - vmovups %xmm0, 32(%rsp) #241.21 - vmovups %xmm0, 48(%rsp) #241.21 - movq 80(%rsp), %r11 #241.21[spill] - movq 232(%rsp), %rax #241.21[spill] - movq 88(%rsp), %rdx #241.21[spill] - xorl %ebx, %ebx #53.32 - xorl %edi, %edi #53.32 - subq 144(%rsp), %rdx #53.32[spill] - movq 136(%rsp), %rcx #56.32[spill] - sbbq 152(%rsp), %rax #54.32[spill] - sbbq 160(%rsp), %r11 #55.32[spill] - movq $0xffffffff00000001, %r15 #64.30 - sbbq 248(%rsp), %rcx #56.32[spill] - vpxor %xmm0, %xmm0, %xmm0 #242.21 - setb %dil #56.32 - movq $-1, %r8 #56.32 - xorl %r13d, %r13d #56.32 - xorl %r14d, %r14d #56.32 - testq %rdi, %rdi #18.0 - cmovnz %r8, %r13 #18.0 - xorl %r9d, %r9d #59.32 - movl %r13d, %r10d #61.32 - adcx %r13, %rdx #59.32 - movq %rdx, 56(%rsp) #241.34 - adcx %r10, %rax #61.32 - movq %rax, 48(%rsp) #241.34 - adcx %r12, %r11 #62.32 - movq %r11, 40(%rsp) #241.34 - setb %r14b #62.32 - andq %r13, %r15 #64.30 - cmpl %r14d, %ebx #64.30 - adcx %r15, %rcx #64.30 - movq %rcx, 136(%rsp) #64.30[spill] - movq %rcx, 32(%rsp) #241.34 - vmovups %xmm0, (%rsp) #242.21 - vmovups %xmm0, 16(%rsp) #242.21 - movq %rsi, 32(%rsp) #[spill] - movq $0x0ffffffff, %r13 #81.34 - xorl %esi, %esi #76.32 - movq $0xffffffff00000001, %r12 #82.34 - movq 168(%rsp), %r9 #72.34[spill] - mulx 184(%rsp), %rdi, %r10 #73.34[spill] - movq %rbp, 40(%rsp) #[spill] - mulx %r9, %rbx, %rbp #72.34 - adox %rdi, %rbp #76.32 - movl %esi, %edi #78.32 - movq %r11, 80(%rsp) #[spill] - mulx 176(%rsp), %r8, %r11 #74.34[spill] - adox %r8, %r10 #77.32 - mulx 192(%rsp), %rcx, %r15 #75.34[spill] - movq %rbx, %rdx #80.34 - adox %rcx, %r11 #78.32 - movq $-1, %rcx #80.34 - seto %dil #78.32 - clc #79.30 - adcx %r15, %rdi #79.30 - mulx %rcx, %r14, %r15 #80.34 - mulx %r13, %r8, %rcx #81.34 - mulx %r12, %r13, %r12 #82.34 - movl %esi, %edx #83.32 - adox %esi, %edx #83.32 - movl %esi, %edx #85.32 - adox %r8, %r15 #83.32 - movl $0, %r8d #84.32 - adox %r8, %rcx #84.32 - adox %r8, %r13 #85.32 - seto %dl #85.32 - clc #86.30 - adcx %r12, %rdx #86.30 - movl %esi, %r12d #87.30 - adox %esi, %r12d #87.30 - adox %r14, %rbx #87.30 - adox %r15, %rbp #88.32 - adox %rcx, %r10 #89.32 - movl %esi, %ecx #91.32 - adox %r13, %r11 #90.32 - adox %rdx, %rdi #91.32 - movq %rax, %rdx #92.34 - mulx 184(%rsp), %r15, %r13 #93.34[spill] - seto %cl #91.32 - clc #96.32 - mulx %r9, %rbx, %r14 #92.34 - adcx %r15, %r14 #96.32 - mulx 176(%rsp), %r15, %r12 #94.34[spill] - adcx %r15, %r13 #97.32 - mulx 192(%rsp), %r15, %rax #95.34[spill] - movl %esi, %edx #99.30 - adcx %r15, %r12 #98.32 - movl %esi, %r15d #98.32 - setb %r15b #98.32 - adox %esi, %edx #99.30 - adox %rax, %r15 #99.30 - clc #100.34 - movq $0x0ffffffff, %rax #106.36 - adcx %rbx, %rbp #100.34 - movl %esi, %ebx #104.34 - movq %rbp, %rdx #105.36 - adcx %r14, %r10 #101.34 - movq $-1, %r14 #105.36 - adcx %r13, %r11 #102.34 - mulx %rax, %r13, %rax #106.36 - adcx %r12, %rdi #103.34 - adcx %r15, %rcx #104.34 - setb %bl #104.34 - movl %ebx, 48(%rsp) #104.34[spill] - mulx %r14, %r15, %rbx #105.36 - movq $0xffffffff00000001, %r14 #107.36 - mulx %r14, %r14, %r12 #107.36 - movl %esi, %edx #108.34 - adox %esi, %edx #108.34 - movq 80(%rsp), %rdx #118.36[spill] - adox %r13, %rbx #108.34 - movl %esi, %r13d #110.34 - adox %r8, %rax #109.34 - adox %r8, %r14 #110.34 - seto %r13b #110.34 - clc #111.31 - adcx %r12, %r13 #111.31 - movl %esi, %r12d #112.31 - adox %esi, %r12d #112.31 - movl %esi, %r12d #116.34 - adox %r15, %rbp #112.31 - adox %rbx, %r10 #113.34 - adox %rax, %r11 #114.34 - adox %r14, %rdi #115.34 - mulx 184(%rsp), %rbx, %r14 #119.36[spill] - adox %r13, %rcx #116.34 - mulx %r9, %r13, %rbp #118.36 - seto %r12b #116.34 - clc #122.34 - adcx %rbx, %rbp #122.34 - mulx 176(%rsp), %r15, %rbx #120.36[spill] - adcx %r15, %r14 #123.34 - mulx 192(%rsp), %r15, %rax #121.36[spill] - movl %esi, %edx #125.31 - adcx %r15, %rbx #124.34 - movl %esi, %r15d #124.34 - setb %r15b #124.34 - adox %esi, %edx #125.31 - adox %rax, %r15 #125.31 - clc #126.34 - movl 48(%rsp), %eax #130.34[spill] - adcx %r13, %r10 #126.34 - movq $0x0ffffffff, %r13 #132.36 - movq %r10, %rdx #131.36 - adcx %rbp, %r11 #127.34 - movl %esi, %ebp #129.34 - adcx %r14, %rdi #128.34 - movq $0xffffffff00000001, %r14 #133.36 - adcx %rbx, %rcx #129.34 - setb %bpl #129.34 - xorl %ebx, %ebx #129.34 - addl %r12d, %eax #130.34 - cmpl %ebp, %esi #130.34 - movq $-1, %rbp #131.36 - mulx %r14, %r14, %r12 #133.36 - adcx %r15, %rax #130.34 - setb %bl #130.34 - movl %ebx, 56(%rsp) #130.34[spill] - mulx %rbp, %r15, %rbx #131.36 - mulx %r13, %r13, %rbp #132.36 - movl %esi, %edx #134.34 - adox %esi, %edx #134.34 - movq 136(%rsp), %rdx #144.36[spill] - adox %r13, %rbx #134.34 - movl %esi, %r13d #136.34 - adox %r8, %rbp #135.34 - adox %r8, %r14 #136.34 - seto %r13b #136.34 - clc #137.31 - adcx %r12, %r13 #137.31 - movl %esi, %r12d #138.31 - adox %esi, %r12d #138.31 - movl %esi, %r12d #151.31 - adox %r15, %r10 #138.31 - adox %rbx, %r11 #139.34 - mulx 184(%rsp), %r10, %rbx #145.36[spill] - adox %rbp, %rdi #140.34 - adox %r14, %rcx #141.34 - movl %esi, %r14d #142.34 - adox %r13, %rax #142.34 - mulx %r9, %r9, %r13 #144.36 - seto %r14b #142.34 - clc #148.34 - adcx %r10, %r13 #148.34 - mulx 176(%rsp), %r15, %r10 #146.36[spill] - adcx %r15, %rbx #149.34 - mulx 192(%rsp), %r15, %rbp #147.36[spill] - adcx %r15, %r10 #150.34 - movl %esi, %r15d #150.34 - setb %r15b #150.34 - adox %esi, %r12d #151.31 - adox %rbp, %r15 #151.31 - clc #152.34 - movl 56(%rsp), %ebp #156.34[spill] - adcx %r9, %r11 #152.34 - movl %esi, %r9d #155.34 - movq %r11, %rdx #157.36 - adcx %r13, %rdi #153.34 - movq $0xffffffff00000001, %r13 #159.36 - mulx %r13, %r13, %r12 #159.36 - adcx %rbx, %rcx #154.34 - adcx %r10, %rax #155.34 - movq $-1, %r10 #157.36 - mulx %r10, %rbx, %r10 #157.36 - setb %r9b #155.34 - addl %r14d, %ebp #156.34 - cmpl %r9d, %esi #156.34 - movq $0x0ffffffff, %r9 #158.36 - mulx %r9, %r14, %r9 #158.36 - movl %esi, %edx #160.34 - adcx %r15, %rbp #156.34 - movl %esi, %r15d #156.34 - setb %r15b #156.34 - adox %esi, %edx #160.34 - adox %r14, %r10 #160.34 - movl %esi, %r14d #162.34 - adox %r8, %r9 #161.34 - adox %r8, %r13 #162.34 - seto %r14b #162.34 - clc #163.31 - adcx %r12, %r14 #163.31 - movl %esi, %r12d #164.31 - adox %esi, %r12d #164.31 - adox %rbx, %r11 #164.31 - movl %esi, %r11d #168.34 - adox %r10, %rdi #165.34 - movq $0x0ffffffff, %r10 #171.34 - adox %r9, %rcx #166.34 - movq %rdi, %r9 #170.34 - movq %rcx, %rbx #171.34 - adox %r13, %rax #167.34 - adox %r14, %rbp #168.34 - seto %r11b #168.34 - movq $-1, %rdx #168.34 - xorl %r12d, %r12d #168.34 - xorl %r13d, %r13d #168.34 - addl %r11d, %r15d #174.31 - subq %rdx, %r9 #170.34 - movq %rbp, %rdx #173.34 - movq $0xffffffff00000001, %r11 #173.34 - sbbq %r10, %rbx #171.34 - movq %rax, %r10 #172.34 - sbbq %r8, %r10 #172.34 - sbbq %r11, %rdx #173.34 - setb %r13b #173.34 - cmpl %r13d, %esi #174.31 - sbbq %r8, %r15 #174.31 - setb %r12b #174.31 - testq %r12, %r12 #18.0 - cmovnz %rbp, %rdx #18.0 - xorl %ebp, %ebp #18.0 - testq %r12, %r12 #18.0 - cmovnz %rax, %r10 #18.0 - testq %r12, %r12 #18.0 - cmovnz %rcx, %rbx #18.0 - xorl %ecx, %ecx #56.32 - testq %r12, %r12 #18.0 - cmovnz %rdi, %r9 #18.0 - movq $-1, %rdi #18.0 - movq %r9, 24(%rsp) #242.34 - subq 64(%rsp), %r9 #53.32[spill] - movq %rbx, 16(%rsp) #242.34 - sbbq 72(%rsp), %rbx #54.32[spill] - movq %r10, 8(%rsp) #242.34 - sbbq 32(%rsp), %r10 #55.32[spill] - movq %rdx, (%rsp) #242.34 - sbbq 40(%rsp), %rdx #56.32[spill] - setb %cl #56.32 - testq %rcx, %rcx #18.0 - cmovnz %rdi, %rbp #18.0 - xorl %eax, %eax #59.32 - movl %ebp, %r14d #61.32 - adcx %rbp, %r9 #59.32 - movq 96(%rsp), %rcx #18.0[spill] - adcx %r14, %rbx #61.32 - adcx %r8, %r10 #62.32 - movq 112(%rsp), %r8 #66.1[spill] - setb %al #62.32 - andq %rbp, %r11 #64.30 - cmpl %eax, %esi #64.30 - movq 104(%rsp), %rax #18.0[spill] - adcx %r11, %rdx #64.30 - movq %r10, 40(%r8) #66.1 - movq %rbx, 48(%r8) #67.1 - movq %r9, 56(%r8) #68.1 - movq %rdx, 32(%r8) #65.1 - movq 56(%rax), %rbp #18.0 - testq %rcx, %rcx #18.0 - cmovnz %r9, %rbp #18.0 - movq %rbp, 56(%r8) #244.5 - movq 48(%rax), %rdi #18.0 - testq %rcx, %rcx #18.0 - cmovnz %rbx, %rdi #18.0 - movq %rdi, 48(%r8) #245.5 - movq 40(%rax), %rbx #18.0 - testq %rcx, %rcx #18.0 - cmovnz %r10, %rbx #18.0 - movq %rbx, 40(%r8) #246.5 - movq 32(%rax), %r12 #18.0 - testq %rcx, %rcx #18.0 - cmovnz %rdx, %r12 #18.0 - movq 120(%rsp), %rsi #18.0[spill] - movq %r12, 32(%r8) #247.5 - movq 128(%rsp), %r11 #18.0[spill] - movq 56(%rsi), %rdx #18.0 - testq %r11, %r11 #18.0 - cmovnz %rbp, %rdx #18.0 - movq %rdx, 56(%r8) #18.0 - movq 48(%rsi), %r10 #18.0 - testq %r11, %r11 #18.0 - cmovnz %rdi, %r10 #18.0 - movq %r10, 48(%r8) #18.0 - movq 40(%rsi), %r9 #18.0 - testq %r11, %r11 #18.0 - cmovnz %rbx, %r9 #18.0 - movq %r9, 40(%r8) #18.0 - movq 32(%rsi), %r13 #18.0 - testq %r11, %r11 #18.0 - cmovnz %r12, %r13 #18.0 - movq %r13, 32(%r8) #18.0 - addq $280, %rsp #252.1 - popq %rbp #252.1 - popq %rbx #252.1 - popq %r15 #252.1 - popq %r14 #252.1 - popq %r13 #252.1 - popq %r12 #252.1 - ret #252.1 |