diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-07-04 09:53:51 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-07-04 09:54:01 -0400 |
| commit | 4c69be425e3631e53def5f3b92662e1cae9be68c (patch) | |
| tree | 630ba369a9499705e78fec3ce91fafa2d7034291 | |
| parent | e8d7196498560153959e38451a56745e42aa640f (diff) | |
use att style assembly with icc, test it
| -rw-r--r-- | Makefile | 25 | ||||
| -rwxr-xr-x | src/Specific/NISTP256/AMD64/icc/compiler.sh | 2 | ||||
| -rw-r--r-- | src/Specific/NISTP256/AMD64/icc/compiler.txt | 1 | ||||
| -rw-r--r-- | src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s | 5930 |
4 files changed, 2966 insertions, 2992 deletions
@@ -162,19 +162,19 @@ src/Specific/X25519/C64/measurements.txt: src/Specific/X25519/C64/measure captur third_party/openssl-curve25519/measure: third_party/openssl-curve25519/compiler.sh third_party/openssl-curve25519/crypto_scalarmult_bench.c third_party/openssl-curve25519/ec_curve25519.c third_party/openssl-curve25519/ec_curve25519.h third_party/openssl-curve25519/compiler.sh -o third_party/openssl-curve25519/measure measure.c third_party/openssl-curve25519/crypto_scalarmult_bench.c third_party/openssl-curve25519/ec_curve25519.c -I liblow -I third_party/openssl-curve25519 -D UUT=crypto_scalarmult_bench -third_party/openssl-curve25519/measurements.txt: third_party/openssl-curve25519/measure +third_party/openssl-curve25519/measurements.txt: third_party/openssl-curve25519/measure capture.sh ./capture.sh third_party/openssl-curve25519 2047 third_party/openssl-nistz256/measure: third_party/openssl-nistz256/compiler.sh third_party/openssl-nistz256/bench_madd.c third_party/openssl-nistz256/cpu_intel.c third_party/openssl-nistz256/ecp_nistz256-x86_64.s third_party/openssl-nistz256/nistz256.h third_party/openssl-nistz256/compiler.sh -o third_party/openssl-nistz256/measure measure.c third_party/openssl-nistz256/bench_madd.c third_party/openssl-nistz256/cpu_intel.c third_party/openssl-nistz256/ecp_nistz256-x86_64.s -I liblow -I third_party/openssl-nistz256 -D UUT=bench_madd -third_party/openssl-nistz256/measurements.txt: third_party/openssl-nistz256/measure +third_party/openssl-nistz256/measurements.txt: third_party/openssl-nistz256/measure capture.sh ./capture.sh third_party/openssl-nistz256 65535 third_party/openssl-nistp256c64/measure: third_party/openssl-nistp256c64/compiler.sh third_party/openssl-nistp256c64/bench_madd.c third_party/openssl-nistp256c64/ecp_nistp256.c third_party/openssl-nistp256c64/ecp_nistp256.h third_party/openssl-nistp256c64/compiler.sh -o third_party/openssl-nistp256c64/measure measure.c third_party/openssl-nistp256c64/bench_madd.c third_party/openssl-nistp256c64/ecp_nistp256.c third_party/openssl-nistp256c64/ecp_nistp256.h -I liblow -I third_party/openssl-nistp256c64 -D UUT=bench_madd -third_party/openssl-nistp256c64/measurements.txt: third_party/openssl-nistp256c64/measure +third_party/openssl-nistp256c64/measurements.txt: third_party/openssl-nistp256c64/measure capture.sh ./capture.sh third_party/openssl-nistp256c64 65535 src/Specific/NISTP256/AMD64/test/feadd_test: src/Specific/NISTP256/AMD64/compiler.sh src/Specific/NISTP256/AMD64/feadd.c liblow/cmovznz.c src/Specific/NISTP256/AMD64/test/feadd_test.c liblow/cmovznz.c @@ -183,29 +183,36 @@ src/Specific/NISTP256/AMD64/test/feadd_test: src/Specific/NISTP256/AMD64/compile src/Specific/NISTP256/AMD64/test/femul_test: src/Specific/NISTP256/AMD64/compiler.sh src/Specific/NISTP256/AMD64/femul.c liblow/cmovznz.c src/Specific/NISTP256/AMD64/test/femul_test.c liblow/cmovznz.c src/Specific/NISTP256/AMD64/compiler.sh -o src/Specific/NISTP256/AMD64/test/femul_test src/Specific/NISTP256/AMD64/femul.c -I liblow -I src/Specific/NISTP256/AMD64/ src/Specific/NISTP256/AMD64/test/femul_test.c liblow/cmovznz.c -src/Specific/NISTP256/AMD64/test/p256_test: src/Specific/NISTP256/AMD64/compiler.sh src/Specific/NISTP256/AMD64/test/p256_test.c liblow/cmovznz.c src/Specific/NISTP256/feadd.c src/Specific/NISTP256/feadd.h src/Specific/NISTP256/femul.c src/Specific/NISTP256/femul.h src/Specific/NISTP256/fenz.c src/Specific/NISTP256/fenz.h src/Specific/NISTP256/fesub.c src/Specific/NISTP256/fesub.h src/Specific/NISTP256/p256_jacobian_add_affine.c src/Specific/NISTP256/p256.h - src/Specific/NISTP256/AMD64/compiler.sh -o src/Specific/NISTP256/AMD64/test/p256_test src/Specific/NISTP256/p256_jacobian_add_affine.c src/Specific/NISTP256/feadd.c src/Specific/NISTP256/femul.c src/Specific/NISTP256/fenz.c src/Specific/NISTP256/fesub.c src/Specific/NISTP256/p256_jacobian_add_affine.c liblow/cmovznz.c -I liblow -I src/Specific/NISTP256/AMD64/ +src/Specific/NISTP256/AMD64/test/p256_test: src/Specific/NISTP256/AMD64/compiler.sh src/Specific/NISTP256/AMD64/test/p256_test.c liblow/cmovznz.c src/Specific/NISTP256/AMD64/feadd.c src/Specific/NISTP256/AMD64/feadd.h src/Specific/NISTP256/AMD64/femul.c src/Specific/NISTP256/AMD64/femul.h src/Specific/NISTP256/AMD64/fenz.c src/Specific/NISTP256/AMD64/fenz.h src/Specific/NISTP256/AMD64/fesub.c src/Specific/NISTP256/AMD64/fesub.h src/Specific/NISTP256/AMD64/p256_jacobian_add_affine.c src/Specific/NISTP256/AMD64/p256.h + src/Specific/NISTP256/AMD64/compiler.sh -o src/Specific/NISTP256/AMD64/test/p256_test src/Specific/NISTP256/AMD64/test/p256_test.c src/Specific/NISTP256/AMD64/p256_jacobian_add_affine.c src/Specific/NISTP256/AMD64/feadd.c src/Specific/NISTP256/AMD64/femul.c src/Specific/NISTP256/AMD64/fenz.c src/Specific/NISTP256/AMD64/fesub.c liblow/cmovznz.c -I liblow -I src/Specific/NISTP256/AMD64/ src/Specific/NISTP256/AMD64/measure: src/Specific/NISTP256/AMD64/bench_madd.c src/Specific/NISTP256/AMD64/feadd.c src/Specific/NISTP256/AMD64/femul.c src/Specific/NISTP256/AMD64/fenz.c src/Specific/NISTP256/AMD64/feopp.c src/Specific/NISTP256/AMD64/fesub.c src/Specific/NISTP256/AMD64/p256_jacobian_add_affine.c liblow/cmovznz.c measure.c src/Specific/NISTP256/AMD64/compiler.sh measure.c src/Specific/NISTP256/AMD64/compiler.sh -o src/Specific/NISTP256/AMD64/measure src/Specific/NISTP256/AMD64/*.c -I src/Specific/NISTP256/AMD64/ measure.c -D UUT=bench_madd -I liblow liblow/*.c -src/Specific/NISTP256/AMD64/measurements.txt: src/Specific/NISTP256/AMD64/measure +src/Specific/NISTP256/AMD64/measurements.txt: src/Specific/NISTP256/AMD64/measure capture.sh ./capture.sh src/Specific/NISTP256/AMD64 65535 -src/Specific/NISTP256/AMD64/icc/measure: src/Specific/NISTP256/AMD64/compiler.sh src/Specific/NISTP256/AMD64/p256.h src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s src/Specific/NISTP256/AMD64/bench_madd.c +src/Specific/NISTP256/AMD64/icc/combined.c: liblow/cmovznz.c src/Specific/NISTP256/AMD64/feadd.c src/Specific/NISTP256/AMD64/femul.c src/Specific/NISTP256/AMD64/fenz.c src/Specific/NISTP256/AMD64/fesub.c src/Specific/NISTP256/AMD64/p256_jacobian_add_affine.c extract-function.sh + (cd src/Specific/NISTP256/AMD64 && ( ../../../../extract-function.sh "stdint" < /dev/null | grep -v stdint && sed 's:^uint64_t:static inline &:' ../../../../liblow/cmovznz.c && echo fenz.c feadd.c fesub.c femul.c p256_jacobian_add_affine.c | xargs -n1 grep -A99999 void -- ) | sed 's:^void force_inline:static inline void force_inline:' | grep -v liblow > icc/combined.c ) + +src/Specific/NISTP256/AMD64/icc/p256_test: src/Specific/NISTP256/AMD64/icc/compiler.sh src/Specific/NISTP256/AMD64/test/p256_test.c src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s src/Specific/NISTP256/AMD64/p256.h + src/Specific/NISTP256/AMD64/icc/compiler.sh -o src/Specific/NISTP256/AMD64/icc/p256_test src/Specific/NISTP256/AMD64/test/p256_test.c src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s -I src/Specific/NISTP256/AMD64/ + +src/Specific/NISTP256/AMD64/icc/measure: src/Specific/NISTP256/AMD64/icc/compiler.sh src/Specific/NISTP256/AMD64/p256.h src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s src/Specific/NISTP256/AMD64/bench_madd.c src/Specific/NISTP256/AMD64/icc/compiler.sh -o src/Specific/NISTP256/AMD64/icc/measure src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s src/Specific/NISTP256/AMD64/bench_madd.c -I liblow -I src/Specific/NISTP256/AMD64 measure.c -D UUT=bench_madd -src/Specific/NISTP256/AMD64/icc/measurements.txt: src/Specific/NISTP256/AMD64/icc/measure +src/Specific/NISTP256/AMD64/icc/measurements.txt: src/Specific/NISTP256/AMD64/icc/measure capture.sh ./capture.sh src/Specific/NISTP256/AMD64/icc 65535 bench: src/Specific/X25519/C64/measurements.txt third_party/openssl-curve25519/measurements.txt src/Specific/NISTP256/AMD64/measurements.txt src/Specific/NISTP256/AMD64/icc/measurements.txt third_party/openssl-nistz256/measurements.txt third_party/openssl-nistp256c64/measurements.txt head -999999 $? -test: src/Specific/X25519/C64/test src/Specific/NISTP256/AMD64/test/feadd_test src/Specific/NISTP256/AMD64/test/femul_test +test: src/Specific/X25519/C64/test src/Specific/NISTP256/AMD64/test/feadd_test src/Specific/NISTP256/AMD64/test/femul_test src/Specific/NISTP256/AMD64/test/p256_test src/Specific/NISTP256/AMD64/icc/p256_test src/Specific/X25519/C64/test src/Specific/NISTP256/AMD64/test/feadd_test src/Specific/NISTP256/AMD64/test/femul_test src/Specific/NISTP256/AMD64/test/p256_test + src/Specific/NISTP256/AMD64/icc/p256_test clean:: rm -f Makefile.coq diff --git a/src/Specific/NISTP256/AMD64/icc/compiler.sh b/src/Specific/NISTP256/AMD64/icc/compiler.sh index 4a9f2ce77..da4dc9912 100755 --- a/src/Specific/NISTP256/AMD64/icc/compiler.sh +++ b/src/Specific/NISTP256/AMD64/icc/compiler.sh @@ -1,4 +1,4 @@ #!/bin/sh set -eu -gcc -march=native -mtune=native -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes $@ +gcc -march=native -mtune=native -std=gnu11 -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes -fno-strict-aliasing $@ diff --git a/src/Specific/NISTP256/AMD64/icc/compiler.txt b/src/Specific/NISTP256/AMD64/icc/compiler.txt new file mode 100644 index 000000000..485a3da40 --- /dev/null +++ b/src/Specific/NISTP256/AMD64/icc/compiler.txt @@ -0,0 +1 @@ +icc -march=broadwell -mtune=broadwell -std=gnu11 -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes -fno-strict-aliasing -ipo -masm=att 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 index 8dc77ca47..9cc1dc48b 100644 --- a/src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s +++ b/src/Specific/NISTP256/AMD64/icc/icc17_p256_jacobian_add_affine.s @@ -1,2986 +1,2952 @@ -.intel_syntax noprefix .section .text .globl p256_jacobian_add_affine .type p256_jacobian_add_affine, @function p256_jacobian_add_affine: - push rbx #187.3 - mov rbx, rsp #187.3 - and rsp, -32 #187.3 - push rbp #187.3 - push rbp #187.3 - mov rbp, QWORD PTR [8+rbx] #187.3 - mov QWORD PTR [8+rsp], rbp #187.3 - mov rbp, rsp #187.3 - push r12 #187.3 - push r13 #187.3 - push r14 #187.3 - push r15 #187.3 - sub rsp, 304 #187.3 - vpxor ymm0, ymm0, ymm0 #196.20 - mov QWORD PTR [-104+rbp], rdx #187.3[spill] - mov QWORD PTR [-88+rbp], rsi #187.3[spill] - mov QWORD PTR [-96+rbp], rdi #187.3[spill] - vmovups YMMWORD PTR [-240+rbp], ymm0 #196.20 - xor r13d, r13d #42.32 - xor eax, eax #42.32 - xor r9d, r9d #42.32 - mov rdx, QWORD PTR [64+rsi] #38.33 - mulx r12, r15, QWORD PTR [64+rsi] #38.33 - mulx r10, rdi, QWORD PTR [72+rsi] #39.33 - adcx r15, r10 #42.32 - mov r10, -1 #46.33 - mulx r14, r8, QWORD PTR [80+rsi] #40.33 - adcx rdi, r14 #43.32 - mov r14, 0x0ffffffff #47.33 - mulx rcx, r11, QWORD PTR [88+rsi] #41.33 - mov esi, 0 #42.32 - adcx r8, rcx #44.32 - setb r13b #44.32 - mov rdx, r12 #46.33 - adox eax, esi #45.30 - adox r13, r11 #45.30 - mulx rax, r11, r10 #46.33 - mov r10, 0xffffffff00000001 #48.33 - seto r9b #45.30 - clc #49.32 - mulx r9, rcx, r14 #47.33 - adcx r11, r9 #49.32 - mulx r14, r9, r10 #48.33 - mov r10d, 0 #50.32 - adcx rcx, r10 #50.32 - mov edx, esi #52.30 - adcx r14, r10 #51.32 - mov r10d, esi #51.32 - setb r10b #51.32 - adox edx, esi #52.30 - adox r10, r9 #52.30 - clc #53.30 - adcx r12, rax #53.30 - adcx r15, r11 #54.32 - adcx rdi, rcx #55.32 - mov ecx, esi #57.32 - adcx r8, r14 #56.32 - mov r14, QWORD PTR [-88+rbp] #58.33[spill] - adcx r13, r10 #57.32 - mov rdx, QWORD PTR [72+r14] #58.33 - setb cl #57.32 - mov QWORD PTR [-304+rbp], r13 #57.32[spill] - mov QWORD PTR [-296+rbp], rcx #70.34[spill] - mulx r11, r13, QWORD PTR [64+r14] #58.33 - mulx rcx, r12, QWORD PTR [72+r14] #59.33 - mulx rax, r10, QWORD PTR [80+r14] #60.33 - mulx rdx, r9, QWORD PTR [88+r14] #61.33 - mov r14d, esi #62.32 - adox r14d, esi #62.32 - adox r13, rcx #62.32 - mov ecx, esi #64.32 - adox r12, rax #63.32 - adox r10, rdx #64.32 - seto cl #64.32 - clc #65.30 - adcx rcx, r9 #65.30 - mov r9d, esi #66.34 - adox r9d, esi #66.34 - mov rax, 0x0ffffffff #72.35 - mov r9, QWORD PTR [-304+rbp] #69.34[spill] - adox r15, r11 #66.34 - mov rdx, r15 #71.35 - adox rdi, r13 #67.34 - mov r13, QWORD PTR [-296+rbp] #70.34[spill] - adox r8, r12 #68.34 - mov r12d, esi #70.34 - adox r9, r10 #69.34 - mulx r10, r14, rax #72.35 - mov eax, 0 #75.34 - adox r13, rcx #70.34 - mov rcx, -1 #71.35 - seto r12b #70.34 - clc #74.34 - mov DWORD PTR [-288+rbp], r12d #70.34[spill] - mulx r12, r11, rcx #71.35 - mov rcx, 0xffffffff00000001 #73.35 - adcx r11, r10 #74.34 - mulx r10, rcx, rcx #73.35 - mov edx, esi #77.31 - adcx r14, rax #75.34 - adcx r10, rax #76.34 - mov eax, esi #76.34 - setb al #76.34 - adox edx, esi #77.31 - adox rax, rcx #77.31 - clc #78.31 - mov rcx, QWORD PTR [-88+rbp] #84.35[spill] - adcx r15, r12 #78.31 - mov r15d, esi #82.34 - adcx rdi, r11 #79.34 - mov rdx, QWORD PTR [80+rcx] #84.35 - adcx r8, r14 #80.34 - mulx r11, r14, QWORD PTR [72+rcx] #85.35 - adcx r9, r10 #81.34 - mulx r12, r10, QWORD PTR [64+rcx] #84.35 - adcx r13, rax #82.34 - mov QWORD PTR [-296+rbp], r13 #82.34[spill] - setb r15b #82.34 - mov DWORD PTR [-280+rbp], r15d #82.34[spill] - mov r15d, esi #88.34 - adox r15d, esi #88.34 - mulx r13, rax, QWORD PTR [80+rcx] #86.35 - mov r15d, esi #90.34 - adox r10, r11 #88.34 - mov r11d, esi #95.34 - mulx rdx, rcx, QWORD PTR [88+rcx] #87.35 - adox r14, r13 #89.34 - adox rax, rdx #90.34 - seto r15b #90.34 - clc #91.31 - adcx r15, rcx #91.31 - mov ecx, esi #92.34 - adox ecx, esi #92.34 - mov rcx, QWORD PTR [-296+rbp] #95.34[spill] - adox rdi, r12 #92.34 - mov rdx, rdi #97.35 - adox r8, r10 #93.34 - adox r9, r14 #94.34 - mov r14, 0x0ffffffff #98.35 - adox rcx, rax #95.34 - mov eax, DWORD PTR [-288+rbp] #96.34[spill] - seto r11b #95.34 - xor r12d, r12d #95.34 - mov r10, -1 #95.34 - add eax, DWORD PTR [-280+rbp] #96.34[spill] - cmp esi, r11d #96.34 - adcx rax, r15 #96.34 - mulx r15, r13, r10 #97.35 - mov r10, 0xffffffff00000001 #99.35 - setb r12b #96.34 - mov DWORD PTR [-272+rbp], r12d #96.34[spill] - mulx r12, r11, r14 #98.35 - mulx r14, r10, r10 #99.35 - mov edx, esi #100.34 - adox edx, esi #100.34 - adox r13, r12 #100.34 - mov r12d, 0 #101.34 - adox r11, r12 #101.34 - adox r14, r12 #102.34 - mov r12d, esi #102.34 - seto r12b #102.34 - clc #103.31 - adcx r12, r10 #103.31 - mov r10d, esi #104.31 - adox r10d, esi #104.31 - adox rdi, r15 #104.31 - mov edi, esi #108.34 - adox r8, r13 #105.34 - adox r9, r11 #106.34 - mov r11, QWORD PTR [-88+rbp] #110.35[spill] - adox rcx, r14 #107.34 - mov rdx, QWORD PTR [88+r11] #110.35 - adox rax, r12 #108.34 - mulx r12, r14, QWORD PTR [64+r11] #110.35 - seto dil #108.34 - clc #114.34 - mulx r13, r15, QWORD PTR [72+r11] #111.35 - adcx r14, r13 #114.34 - mulx r13, r10, QWORD PTR [80+r11] #112.35 - adcx r15, r13 #115.34 - mulx r13, r11, QWORD PTR [88+r11] #113.35 - mov edx, esi #117.31 - adcx r10, r13 #116.34 - mov r13d, esi #116.34 - setb r13b #116.34 - adox edx, esi #117.31 - adox r13, r11 #117.31 - clc #118.34 - mov r11d, DWORD PTR [-272+rbp] #122.34[spill] - adcx r8, r12 #118.34 - mov rdx, r8 #123.35 - adcx r9, r14 #119.34 - adcx rcx, r15 #120.34 - mov r15d, esi #121.34 - adcx rax, r10 #121.34 - mov r10, 0x0ffffffff #124.35 - setb r15b #121.34 - add r11d, edi #122.34 - xor edi, edi #122.34 - cmp esi, r15d #122.34 - adcx r11, r13 #122.34 - mov r13, -1 #123.35 - mulx r12, r14, r13 #123.35 - setb dil #122.34 - mov DWORD PTR [-264+rbp], edi #122.34[spill] - mov rdi, 0xffffffff00000001 #125.35 - mulx r10, r13, r10 #124.35 - mulx rdi, r15, rdi #125.35 - mov edx, esi #126.34 - adox edx, esi #126.34 - mov edx, esi #128.34 - adox r14, r10 #126.34 - mov r10d, 0 #127.34 - adox r13, r10 #127.34 - adox rdi, r10 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r15 #129.31 - mov r15d, esi #130.31 - adox r15d, esi #130.31 - adox r8, r12 #130.31 - mov r8d, esi #134.34 - adox r9, r14 #131.34 - mov r14d, DWORD PTR [-264+rbp] #140.31[spill] - adox rcx, r13 #132.34 - mov r13, r9 #136.34 - adox rax, rdi #133.34 - mov rdi, 0xffffffff00000001 #139.34 - adox r11, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r8b #134.34 - xor r15d, r15d #134.34 - mov r12, -1 #134.34 - add r14d, r8d #140.31 - sub r13, r12 #136.34 - mov r12, rcx #137.34 - mov r8, rax #138.34 - sbb r12, rdx #137.34 - mov rdx, r11 #139.34 - sbb r8, r10 #138.34 - sbb rdx, rdi #139.34 - setb r15b #139.34 - cmp esi, r15d #140.31 - sbb r14, r10 #140.31 - setb sil #140.31 - testq rsi, rsi; - cmovnzq r11, rdx; - testq rsi, rsi; - cmovnzq rax, r8; - testq rsi, rsi; - cmovnzq rcx, r12; - testq rsi, rsi; - cmovnzq r9, r13; - mov rax, QWORD PTR [-104+rbp] #197.39[spill] - mov QWORD PTR [-216+rbp], r13 #9.0 - mov QWORD PTR [-240+rbp], rdx #196.37 - mov rcx, QWORD PTR [16+rax] #197.39 - or rcx, QWORD PTR [24+rax] #152.23 - or rcx, QWORD PTR [8+rax] #153.23 - or rcx, QWORD PTR [rax] #154.23 - mov QWORD PTR [-232+rbp], r8 #196.37 - mov QWORD PTR [-224+rbp], r12 #196.37 - mov QWORD PTR [-112+rbp], rcx #154.23[spill] - vmovups YMMWORD PTR [-336+rbp], ymm0 #198.20 - mov r8, rax #198.66 - xor r14d, r14d #42.32 - mov rdx, QWORD PTR [-240+rbp] #198.59 - mov rcx, QWORD PTR [8+r8] #198.80 - mov rsi, QWORD PTR [r8] #198.87 - mulx r12, rdi, rsi #38.33 - mulx r15, r9, rcx #39.33 - adcx rdi, r15 #42.32 - mov r15, 0x0ffffffff #47.33 - mov rax, QWORD PTR [16+r8] #198.73 - mov r11, QWORD PTR [24+r8] #198.66 - mulx r8, r10, rax #40.33 - adcx r9, r8 #43.32 - mov r8d, 0 #44.32 - mov QWORD PTR [-192+rbp], rcx #198.80[spill] - mulx r13, rcx, r11 #41.33 - mov rdx, r12 #46.33 - adcx r10, r13 #44.32 - mov QWORD PTR [-80+rbp], rsi #198.87[spill] - mov esi, r8d #45.30 - setb r14b #44.32 - adox esi, r8d #45.30 - adox r14, rcx #45.30 - mov ecx, 0 #50.32 - mov QWORD PTR [-200+rbp], rax #198.73[spill] - mov eax, r8d #45.30 - mov QWORD PTR [-208+rbp], r11 #198.66[spill] - mov r11, -1 #46.33 - seto al #45.30 - clc #49.32 - mulx r13, r11, r11 #46.33 - mulx rsi, r15, r15 #47.33 - adcx r11, rsi #49.32 - mov rsi, 0xffffffff00000001 #48.33 - mulx rax, rsi, rsi #48.33 - mov edx, r8d #52.30 - adcx r15, rcx #50.32 - adcx rax, rcx #51.32 - mov ecx, r8d #51.32 - setb cl #51.32 - adox edx, r8d #52.30 - adox rcx, rsi #52.30 - mov rdx, QWORD PTR [-232+rbp] #58.33 - clc #53.30 - adcx r12, r13 #53.30 - mov r13d, r8d #62.32 - mov r12d, r8d #57.32 - adcx rdi, r11 #54.32 - adcx r9, r15 #55.32 - adcx r10, rax #56.32 - adcx r14, rcx #57.32 - mov QWORD PTR [-304+rbp], r14 #57.32[spill] - setb r12b #57.32 - adox r13d, r8d #62.32 - mov r13, 0x0ffffffff #72.35 - mov QWORD PTR [-296+rbp], r12 #70.34[spill] - mulx r14, r15, QWORD PTR [-80+rbp] #58.33[spill] - mulx rax, r12, QWORD PTR [-192+rbp] #59.33[spill] - adox r15, rax #62.32 - mov eax, r8d #64.32 - mulx r11, rcx, QWORD PTR [-200+rbp] #60.33[spill] - adox r12, r11 #63.32 - mulx rdx, rsi, QWORD PTR [-208+rbp] #61.33[spill] - adox rcx, rdx #64.32 - seto al #64.32 - clc #65.30 - adcx rax, rsi #65.30 - mov esi, r8d #66.34 - adox esi, r8d #66.34 - mov rsi, QWORD PTR [-304+rbp] #69.34[spill] - adox rdi, r14 #66.34 - mov r14, QWORD PTR [-296+rbp] #70.34[spill] - mov rdx, rdi #71.35 - adox r9, r15 #67.34 - mov r15, -1 #71.35 - adox r10, r12 #68.34 - adox rsi, rcx #69.34 - mov ecx, r8d #70.34 - adox r14, rax #70.34 - mulx r12, rax, r15 #71.35 - mov r15, 0xffffffff00000001 #73.35 - seto cl #70.34 - clc #74.34 - mov DWORD PTR [-288+rbp], ecx #70.34[spill] - mulx rcx, r11, r13 #72.35 - mov r13d, 0 #75.34 - adcx rax, rcx #74.34 - mulx r15, rcx, r15 #73.35 - mov edx, r8d #77.31 - adcx r11, r13 #75.34 - adcx r15, r13 #76.34 - mov r13d, r8d #76.34 - setb r13b #76.34 - adox edx, r8d #77.31 - adox r13, rcx #77.31 - mov rdx, QWORD PTR [-224+rbp] #84.35 - clc #78.31 - adcx rdi, r12 #78.31 - mov edi, r8d #82.34 - adcx r9, rax #79.34 - mulx rax, r12, QWORD PTR [-192+rbp] #85.35[spill] - adcx r10, r11 #80.34 - adcx rsi, r15 #81.34 - adcx r14, r13 #82.34 - mov r13d, r8d #88.34 - mov QWORD PTR [-296+rbp], r14 #82.34[spill] - setb dil #82.34 - adox r13d, r8d #88.34 - mulx r14, r15, QWORD PTR [-80+rbp] #84.35[spill] - adox r15, rax #88.34 - mov DWORD PTR [-280+rbp], edi #82.34[spill] - mulx r11, rdi, QWORD PTR [-200+rbp] #86.35[spill] - adox r12, r11 #89.34 - mov r11d, r8d #90.34 - mulx rdx, rcx, QWORD PTR [-208+rbp] #87.35[spill] - adox rdi, rdx #90.34 - seto r11b #90.34 - clc #91.31 - adcx r11, rcx #91.31 - mov ecx, r8d #92.34 - adox ecx, r8d #92.34 - mov rcx, QWORD PTR [-296+rbp] #95.34[spill] - adox r9, r14 #92.34 - mov r14d, r8d #95.34 - mov eax, DWORD PTR [-288+rbp] #96.34[spill] - mov rdx, r9 #97.35 - adox r10, r15 #93.34 - adox rsi, r12 #94.34 - adox rcx, rdi #95.34 - mov rdi, 0x0ffffffff #98.35 - seto r14b #95.34 - xor r15d, r15d #95.34 - mov r12, -1 #95.34 - add eax, DWORD PTR [-280+rbp] #96.34[spill] - cmp r8d, r14d #96.34 - mov r14, 0xffffffff00000001 #99.35 - adcx rax, r11 #96.34 - mulx r11, rdi, rdi #98.35 - setb r15b #96.34 - mov DWORD PTR [-184+rbp], r15d #96.34[spill] - mulx r15, r13, r12 #97.35 - mulx r14, r12, r14 #99.35 - mov edx, r8d #100.34 - adox edx, r8d #100.34 - mov rdx, QWORD PTR [-216+rbp] #110.35 - adox r13, r11 #100.34 - mov r11d, 0 #101.34 - adox rdi, r11 #101.34 - adox r14, r11 #102.34 - mov r11d, r8d #102.34 - seto r11b #102.34 - clc #103.31 - adcx r11, r12 #103.31 - mov r12d, r8d #104.31 - adox r12d, r8d #104.31 - mov r12d, r8d #108.34 - adox r9, r15 #104.31 - adox r10, r13 #105.34 - adox rsi, rdi #106.34 - mulx r9, rdi, QWORD PTR [-192+rbp] #111.35[spill] - adox rcx, r14 #107.34 - mulx r14, r15, QWORD PTR [-80+rbp] #110.35[spill] - adox rax, r11 #108.34 - mulx r11, r13, QWORD PTR [-200+rbp] #112.35[spill] - seto r12b #108.34 - clc #114.34 - adcx r15, r9 #114.34 - adcx rdi, r11 #115.34 - mulx r9, r11, QWORD PTR [-208+rbp] #113.35[spill] - mov edx, r8d #117.31 - adcx r13, r9 #116.34 - mov r9d, r8d #116.34 - setb r9b #116.34 - adox edx, r8d #117.31 - adox r9, r11 #117.31 - clc #118.34 - mov r11d, DWORD PTR [-184+rbp] #122.34[spill] - adcx r10, r14 #118.34 - mov rdx, r10 #123.35 - adcx rsi, r15 #119.34 - mov r15, -1 #123.35 - adcx rcx, rdi #120.34 - mulx r15, rdi, r15 #123.35 - adcx rax, r13 #121.34 - mov r13d, r8d #121.34 - setb r13b #121.34 - xor r14d, r14d #121.34 - add r11d, r12d #122.34 - cmp r8d, r13d #122.34 - mov r12, 0x0ffffffff #124.35 - adcx r11, r9 #122.34 - mov r9, 0xffffffff00000001 #125.35 - mulx r9, r13, r9 #125.35 - setb r14b #122.34 - mov DWORD PTR [-176+rbp], r14d #122.34[spill] - mulx r12, r14, r12 #124.35 - mov edx, r8d #126.34 - adox edx, r8d #126.34 - mov edx, r8d #128.34 - adox rdi, r12 #126.34 - mov r12d, 0 #127.34 - adox r14, r12 #127.34 - adox r9, r12 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r13 #129.31 - mov r13d, r8d #130.31 - adox r13d, r8d #130.31 - adox r10, r15 #130.31 - mov r10d, r8d #134.34 - adox rsi, rdi #131.34 - mov edi, DWORD PTR [-176+rbp] #140.31[spill] - adox rcx, r14 #132.34 - mov r14, rsi #136.34 - adox rax, r9 #133.34 - mov r9, 0xffffffff00000001 #139.34 - adox r11, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r10b #134.34 - xor r13d, r13d #134.34 - mov r15, -1 #134.34 - add edi, r10d #140.31 - sub r14, r15 #136.34 - mov r15, rcx #137.34 - mov r10, rax #138.34 - sbb r15, rdx #137.34 - mov rdx, r11 #139.34 - sbb r10, r12 #138.34 - sbb rdx, r9 #139.34 - setb r13b #139.34 - cmp r8d, r13d #140.31 - sbb rdi, r12 #140.31 - setb r8b #140.31 - testq r8, r8; - cmovnzq r11, rdx; - testq r8, r8; - cmovnzq rax, r10; - testq r8, r8; - cmovnzq rcx, r15; - testq r8, r8; - cmovnzq rsi, r14; - mov QWORD PTR [-216+rbp], r14 #9.0 - mov QWORD PTR [-240+rbp], rdx #198.34 - mov QWORD PTR [-232+rbp], r10 #198.34 - mov QWORD PTR [-224+rbp], r15 #198.34 - vmovups YMMWORD PTR [-272+rbp], ymm0 #200.21 - mov r8, QWORD PTR [-88+rbp] #38.33[spill] - mov rdx, QWORD PTR [-240+rbp] #200.61 - xor r14d, r14d #42.32 - xor r13d, r13d #42.32 - xor esi, esi #42.32 - mulx r12, rdi, QWORD PTR [64+r8] #38.33 - mulx rcx, r9, QWORD PTR [72+r8] #39.33 - adcx rdi, rcx #42.32 - mov rcx, -1 #46.33 - mulx rax, r10, QWORD PTR [80+r8] #40.33 - adcx r9, rax #43.32 - mov rax, 0x0ffffffff #47.33 - mulx r15, r11, QWORD PTR [88+r8] #41.33 - mov r8d, 0 #44.32 - adcx r10, r15 #44.32 - setb r14b #44.32 - mov rdx, r12 #46.33 - adox r13d, r8d #45.30 - adox r14, r11 #45.30 - mulx r13, r11, rcx #46.33 - mov ecx, 0 #50.32 - seto sil #45.30 - clc #49.32 - mulx rsi, r15, rax #47.33 - adcx r11, rsi #49.32 - mov rsi, 0xffffffff00000001 #48.33 - mulx rax, rsi, rsi #48.33 - mov edx, r8d #52.30 - adcx r15, rcx #50.32 - adcx rax, rcx #51.32 - mov ecx, r8d #51.32 - setb cl #51.32 - adox edx, r8d #52.30 - adox rcx, rsi #52.30 - mov rdx, QWORD PTR [-232+rbp] #58.33 - clc #53.30 - adcx r12, r13 #53.30 - mov r13, QWORD PTR [-88+rbp] #58.33[spill] - adcx rdi, r11 #54.32 - adcx r9, r15 #55.32 - mov r15d, r8d #57.32 - adcx r10, rax #56.32 - mulx rax, r11, QWORD PTR [72+r13] #59.33 - adcx r14, rcx #57.32 - mov QWORD PTR [-184+rbp], r14 #57.32[spill] - setb r15b #57.32 - mov QWORD PTR [-176+rbp], r15 #70.34[spill] - mulx r12, r14, QWORD PTR [64+r13] #58.33 - mulx r15, rcx, QWORD PTR [80+r13] #60.33 - mulx rdx, rsi, QWORD PTR [88+r13] #61.33 - mov r13d, r8d #62.32 - adox r13d, r8d #62.32 - mov r13d, 0 #75.34 - adox r14, rax #62.32 - mov eax, r8d #64.32 - adox r11, r15 #63.32 - mov r15d, r8d #66.34 - adox rcx, rdx #64.32 - seto al #64.32 - clc #65.30 - adcx rax, rsi #65.30 - adox r15d, r8d #66.34 - mov rsi, QWORD PTR [-184+rbp] #69.34[spill] - mov r15, 0xffffffff00000001 #73.35 - adox rdi, r12 #66.34 - mov r12d, r8d #70.34 - mov rdx, rdi #71.35 - adox r9, r14 #67.34 - mov r14, QWORD PTR [-176+rbp] #70.34[spill] - adox r10, r11 #68.34 - mov r11, 0x0ffffffff #72.35 - adox rsi, rcx #69.34 - mov rcx, -1 #71.35 - adox r14, rax #70.34 - seto r12b #70.34 - clc #74.34 - mov DWORD PTR [-168+rbp], r12d #70.34[spill] - mulx r12, rax, rcx #71.35 - mulx rcx, r11, r11 #72.35 - adcx rax, rcx #74.34 - mulx r15, rcx, r15 #73.35 - mov edx, r8d #77.31 - adcx r11, r13 #75.34 - adcx r15, r13 #76.34 - mov r13d, r8d #76.34 - setb r13b #76.34 - adox edx, r8d #77.31 - adox r13, rcx #77.31 - mov rdx, QWORD PTR [-224+rbp] #84.35 - clc #78.31 - adcx rdi, r12 #78.31 - mov edi, r8d #82.34 - adcx r9, rax #79.34 - adcx r10, r11 #80.34 - adcx rsi, r15 #81.34 - adcx r14, r13 #82.34 - mov r13, QWORD PTR [-88+rbp] #84.35[spill] - setb dil #82.34 - mov QWORD PTR [-176+rbp], r14 #82.34[spill] - mov DWORD PTR [-160+rbp], edi #82.34[spill] - mulx r12, r14, QWORD PTR [64+r13] #84.35 - mulx rax, r11, QWORD PTR [72+r13] #85.35 - mulx r15, rdi, QWORD PTR [80+r13] #86.35 - mulx rdx, rcx, QWORD PTR [88+r13] #87.35 - mov r13d, r8d #88.34 - adox r13d, r8d #88.34 - mov r13d, r8d #90.34 - adox r14, rax #88.34 - adox r11, r15 #89.34 - mov r15d, r8d #95.34 - adox rdi, rdx #90.34 - seto r13b #90.34 - clc #91.31 - adcx r13, rcx #91.31 - mov ecx, r8d #92.34 - adox ecx, r8d #92.34 - mov rcx, QWORD PTR [-176+rbp] #95.34[spill] - adox r9, r12 #92.34 - mov eax, DWORD PTR [-168+rbp] #96.34[spill] - mov rdx, r9 #97.35 - adox r10, r14 #93.34 - mov r14, 0x0ffffffff #98.35 - adox rsi, r11 #94.34 - adox rcx, rdi #95.34 - seto r15b #95.34 - xor r12d, r12d #95.34 - mov rdi, -1 #95.34 - add eax, DWORD PTR [-160+rbp] #96.34[spill] - cmp r8d, r15d #96.34 - adcx rax, r13 #96.34 - mulx r15, r13, rdi #97.35 - setb r12b #96.34 - mov DWORD PTR [-152+rbp], r12d #96.34[spill] - mov r12, 0xffffffff00000001 #99.35 - mulx r14, rdi, r14 #98.35 - mulx r11, r12, r12 #99.35 - mov edx, r8d #100.34 - adox edx, r8d #100.34 - mov rdx, QWORD PTR [-216+rbp] #110.35 - adox r13, r14 #100.34 - mov r14d, 0 #101.34 - adox rdi, r14 #101.34 - adox r11, r14 #102.34 - mov r14d, r8d #102.34 - seto r14b #102.34 - clc #103.31 - adcx r14, r12 #103.31 - mov r12d, r8d #104.31 - adox r12d, r8d #104.31 - mov r12, QWORD PTR [-88+rbp] #110.35[spill] - adox r9, r15 #104.31 - mov r9d, r8d #108.34 - adox r10, r13 #105.34 - mulx r13, r15, QWORD PTR [64+r12] #110.35 - adox rsi, rdi #106.34 - adox rcx, r11 #107.34 - adox rax, r14 #108.34 - mulx r11, r14, QWORD PTR [72+r12] #111.35 - seto r9b #108.34 - clc #114.34 - adcx r15, r11 #114.34 - mulx r11, rdi, QWORD PTR [80+r12] #112.35 - adcx r14, r11 #115.34 - mulx r12, r11, QWORD PTR [88+r12] #113.35 - mov edx, r8d #117.31 - adcx rdi, r12 #116.34 - mov r12d, r8d #116.34 - setb r12b #116.34 - adox edx, r8d #117.31 - adox r12, r11 #117.31 - clc #118.34 - adcx r10, r13 #118.34 - mov rdx, r10 #123.35 - adcx rsi, r15 #119.34 - mov r15d, r8d #121.34 - adcx rcx, r14 #120.34 - mov r14, 0x0ffffffff #124.35 - adcx rax, rdi #121.34 - mov edi, DWORD PTR [-152+rbp] #122.34[spill] - setb r15b #121.34 - add edi, r9d #122.34 - xor r9d, r9d #122.34 - cmp r8d, r15d #122.34 - mov r15, -1 #123.35 - adcx rdi, r12 #122.34 - mulx r12, r11, r15 #123.35 - setb r9b #122.34 - mov DWORD PTR [-144+rbp], r9d #122.34[spill] - mov r9, 0xffffffff00000001 #125.35 - mulx r14, r15, r14 #124.35 - mulx r9, r13, r9 #125.35 - mov edx, r8d #126.34 - adox edx, r8d #126.34 - mov edx, r8d #128.34 - adox r11, r14 #126.34 - mov r14d, 0 #127.34 - adox r15, r14 #127.34 - adox r9, r14 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r13 #129.31 - mov r13d, r8d #130.31 - adox r13d, r8d #130.31 - adox r10, r12 #130.31 - mov r10d, r8d #134.34 - adox rsi, r11 #131.34 - mov r11d, DWORD PTR [-144+rbp] #140.31[spill] - adox rcx, r15 #132.34 - mov r15, rsi #136.34 - adox rax, r9 #133.34 - mov r9, 0xffffffff00000001 #139.34 - adox rdi, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r10b #134.34 - xor r13d, r13d #134.34 - mov r12, -1 #134.34 - add r11d, r10d #140.31 - sub r15, r12 #136.34 - mov r12, rcx #137.34 - mov r10, rax #138.34 - sbb r12, rdx #137.34 - mov rdx, rdi #139.34 - sbb r10, r14 #138.34 - sbb rdx, r9 #139.34 - setb r13b #139.34 - cmp r8d, r13d #140.31 - sbb r11, r14 #140.31 - setb r8b #140.31 - testq r8, r8; - cmovnzq rdi, rdx; - testq r8, r8; - cmovnzq rax, r10; - testq r8, r8; - cmovnzq rcx, r12; - testq r8, r8; - cmovnzq rsi, r15; - mov QWORD PTR [-248+rbp], r15 #9.0 - mov QWORD PTR [-272+rbp], rdx #200.35 - mov QWORD PTR [-264+rbp], r10 #200.35 - mov QWORD PTR [-256+rbp], r12 #200.35 - vmovups YMMWORD PTR [-304+rbp], ymm0 #201.19 - mov r15, QWORD PTR [-88+rbp] #159.32[spill] - xor r11d, r11d #9.0 - mov r12, QWORD PTR [-200+rbp] #152.23[spill] - xor edi, edi #168.32 - or r12, QWORD PTR [-208+rbp] #152.23[spill] - mov rsi, QWORD PTR [-336+rbp] #159.32 - mov r9, QWORD PTR [-192+rbp] #153.23[spill] - or r9, r12 #153.23 - xor r12d, r12d #162.32 - xor r10d, r10d #159.32 - sub rsi, QWORD PTR [r15] #159.32 - mov r14, QWORD PTR [-328+rbp] #160.32 - sbb r14, QWORD PTR [8+r15] #160.32 - mov rcx, QWORD PTR [-320+rbp] #161.32 - sbb rcx, QWORD PTR [16+r15] #161.32 - mov r13, QWORD PTR [-312+rbp] #162.32 - sbb r13, QWORD PTR [24+r15] #162.32 - setb r10b #162.32 - xor r8d, r8d #162.32 - or QWORD PTR [-80+rbp], r9 #154.23[spill] - mov r9, -1 #9.0 - testq r10, r10; - cmovnzq r9, r11; - xor edx, edx #165.32 - mov eax, r11d #167.32 - mov r9, 0xffffffff00000001 #170.30 - adcx rsi, r11 #165.32 - mov rdx, QWORD PTR [64+r15] #38.33 - adcx r14, rax #167.32 - mov QWORD PTR [-184+rbp], rsi #165.32[spill] - adcx rcx, rdi #168.32 - mov QWORD PTR [-168+rbp], rcx #168.32[spill] - setb r8b #168.32 - xor r15d, r15d #168.32 - and r11, r9 #170.30 - cmp r12d, r8d #170.30 - mov QWORD PTR [-296+rbp], rcx #201.33 - adcx r13, r11 #170.30 - mov QWORD PTR [-160+rbp], r13 #170.30[spill] - adox r15d, r12d #42.32 - mov QWORD PTR [-304+rbp], r13 #201.33 - mov r15d, r12d #44.32 - mulx r8, r10, r13 #38.33 - mulx rcx, r13, rcx #39.33 - adox r10, rcx #42.32 - mov rcx, -1 #46.33 - mulx rax, r11, r14 #40.33 - adox r13, rax #43.32 - mov QWORD PTR [-280+rbp], rsi #201.33 - mov QWORD PTR [-176+rbp], r14 #167.32[spill] - mov QWORD PTR [-288+rbp], r14 #201.33 - mulx r14, rsi, rsi #41.33 - mov rdx, r8 #46.33 - adox r11, r14 #44.32 - seto r15b #44.32 - clc #45.30 - adcx r15, rsi #45.30 - mov QWORD PTR [-152+rbp], r15 #45.30[spill] - mulx r15, r14, rcx #46.33 - mov ecx, r12d #49.32 - adox ecx, r12d #49.32 - mov rsi, 0x0ffffffff #47.33 - mulx rax, rsi, rsi #47.33 - mov ecx, r12d #51.32 - adox r14, rax #49.32 - mov eax, r12d #53.30 - mulx r9, rdx, r9 #48.33 - adox rsi, rdi #50.32 - adox r9, rdi #51.32 - seto cl #51.32 - clc #52.30 - adcx rcx, rdx #52.30 - adox eax, r12d #53.30 - adox r8, r15 #53.30 - mov r15, QWORD PTR [-88+rbp] #58.33[spill] - adox r10, r14 #54.32 - mov rdx, QWORD PTR [72+r15] #58.33 - adox r13, rsi #55.32 - mov rsi, QWORD PTR [-152+rbp] #57.32[spill] - adox r11, r9 #56.32 - mulx r8, rdi, QWORD PTR [-160+rbp] #58.33[spill] - adox rsi, rcx #57.32 - mov ecx, r12d #57.32 - mulx r9, rax, QWORD PTR [-168+rbp] #59.33[spill] - seto cl #57.32 - clc #62.32 - adcx rdi, r9 #62.32 - mulx r14, r9, QWORD PTR [-176+rbp] #60.33[spill] - adcx rax, r14 #63.32 - mulx r15, r14, QWORD PTR [-184+rbp] #61.33[spill] - mov edx, r12d #65.30 - adcx r9, r15 #64.32 - mov r15d, r12d #64.32 - setb r15b #64.32 - adox edx, r12d #65.30 - adox r15, r14 #65.30 - clc #66.34 - adcx r10, r8 #66.34 - mov r8d, r12d #70.34 - mov rdx, r10 #71.35 - adcx r13, rdi #67.34 - mov rdi, -1 #71.35 - adcx r11, rax #68.34 - adcx rsi, r9 #69.34 - mov r9, 0x0ffffffff #72.35 - adcx rcx, r15 #70.34 - mulx rax, r15, r9 #72.35 - mov r9, 0xffffffff00000001 #73.35 - setb r8b #70.34 - mov DWORD PTR [-144+rbp], r8d #70.34[spill] - mulx rdi, r8, rdi #71.35 - mulx r9, r14, r9 #73.35 - mov edx, r12d #74.34 - adox edx, r12d #74.34 - adox r8, rax #74.34 - mov eax, 0 #75.34 - adox r15, rax #75.34 - adox r9, rax #76.34 - mov eax, r12d #76.34 - seto al #76.34 - clc #77.31 - adcx rax, r14 #77.31 - mov r14d, r12d #78.31 - adox r14d, r12d #78.31 - mov r14, QWORD PTR [-88+rbp] #84.35[spill] - adox r10, rdi #78.31 - mov r10d, r12d #82.34 - adox r13, r8 #79.34 - mov rdx, QWORD PTR [80+r14] #84.35 - adox r11, r15 #80.34 - mulx rdi, r15, QWORD PTR [-168+rbp] #85.35[spill] - adox rsi, r9 #81.34 - adox rcx, rax #82.34 - mulx rax, r8, QWORD PTR [-160+rbp] #84.35[spill] - seto r10b #82.34 - clc #88.34 - adcx r8, rdi #88.34 - mulx r9, rdi, QWORD PTR [-176+rbp] #86.35[spill] - adcx r15, r9 #89.34 - mulx r14, r9, QWORD PTR [-184+rbp] #87.35[spill] - mov edx, r12d #91.31 - adcx rdi, r14 #90.34 - mov r14d, r12d #90.34 - setb r14b #90.34 - adox edx, r12d #91.31 - adox r14, r9 #91.31 - clc #92.34 - adcx r13, rax #92.34 - mov eax, DWORD PTR [-144+rbp] #96.34[spill] - mov rdx, r13 #97.35 - adcx r11, r8 #93.34 - mov r8, 0x0ffffffff #98.35 - adcx rsi, r15 #94.34 - mov r15d, r12d #95.34 - adcx rcx, rdi #95.34 - setb r15b #95.34 - mov r9, -1 #95.34 - add eax, r10d #96.34 - xor r10d, r10d #96.34 - cmp r12d, r15d #96.34 - adcx rax, r14 #96.34 - mulx r15, r14, r8 #98.35 - mov r8, 0xffffffff00000001 #99.35 - setb r10b #96.34 - mov DWORD PTR [-136+rbp], r10d #96.34[spill] - mulx r10, r9, r9 #97.35 - mulx r8, rdi, r8 #99.35 - mov edx, r12d #100.34 - adox edx, r12d #100.34 - adox r9, r15 #100.34 - mov r15d, 0 #101.34 - adox r14, r15 #101.34 - adox r8, r15 #102.34 - mov r15d, r12d #102.34 - seto r15b #102.34 - clc #103.31 - adcx r15, rdi #103.31 - mov edi, r12d #104.31 - adox edi, r12d #104.31 - adox r13, r10 #104.31 - mov r13d, r12d #108.34 - adox r11, r9 #105.34 - adox rsi, r14 #106.34 - adox rcx, r8 #107.34 - adox rax, r15 #108.34 - mov r15, QWORD PTR [-88+rbp] #110.35[spill] - seto r13b #108.34 - clc #114.34 - mov rdx, QWORD PTR [88+r15] #110.35 - mulx r10, r9, QWORD PTR [-160+rbp] #110.35[spill] - mulx r14, r8, QWORD PTR [-168+rbp] #111.35[spill] - adcx r9, r14 #114.34 - mulx rdi, r14, QWORD PTR [-176+rbp] #112.35[spill] - adcx r8, rdi #115.34 - mulx r15, rdi, QWORD PTR [-184+rbp] #113.35[spill] - mov edx, r12d #117.31 - adcx r14, r15 #116.34 - mov r15d, r12d #116.34 - setb r15b #116.34 - adox edx, r12d #117.31 - adox r15, rdi #117.31 - clc #118.34 - adcx r11, r10 #118.34 - mov rdx, r11 #123.35 - adcx rsi, r9 #119.34 - mov r9d, r12d #121.34 - adcx rcx, r8 #120.34 - mov r8, 0x0ffffffff #124.35 - adcx rax, r14 #121.34 - mov r14d, DWORD PTR [-136+rbp] #122.34[spill] - setb r9b #121.34 - add r14d, r13d #122.34 - xor r13d, r13d #122.34 - cmp r12d, r9d #122.34 - mov r9, -1 #123.35 - adcx r14, r15 #122.34 - mulx r15, rdi, r9 #123.35 - setb r13b #122.34 - mov DWORD PTR [-128+rbp], r13d #122.34[spill] - mov r13, 0xffffffff00000001 #125.35 - mulx r8, r9, r8 #124.35 - mulx r13, r10, r13 #125.35 - mov edx, r12d #126.34 - adox edx, r12d #126.34 - mov edx, r12d #128.34 - adox rdi, r8 #126.34 - mov r8d, 0 #127.34 - adox r9, r8 #127.34 - adox r13, r8 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r10 #129.31 - mov r10d, r12d #130.31 - adox r10d, r12d #130.31 - adox r11, r15 #130.31 - mov r15d, r12d #134.34 - adox rsi, rdi #131.34 - mov edi, DWORD PTR [-128+rbp] #140.31[spill] - adox rcx, r9 #132.34 - mov r9, rsi #136.34 - adox rax, r13 #133.34 - mov r13, 0xffffffff00000001 #139.34 - adox r14, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r15b #134.34 - xor r10d, r10d #134.34 - mov r11, -1 #134.34 - add edi, r15d #140.31 - sub r9, r11 #136.34 - mov r15, rcx #137.34 - mov r11, r14 #139.34 - sbb r15, rdx #137.34 - mov rdx, rax #138.34 - sbb rdx, r8 #138.34 - sbb r11, r13 #139.34 - setb r10b #139.34 - cmp r12d, r10d #140.31 - sbb rdi, r8 #140.31 - setb r12b #140.31 - testq r12, r12; - cmovnzq r14, r11; - testq r12, r12; - cmovnzq rax, rdx; - testq r12, r12; - cmovnzq rcx, r15; - testq r12, r12; - cmovnzq rsi, r9; - mov rax, QWORD PTR [-96+rbp] #9.0[spill] - mov QWORD PTR [72+rax], rdx #146.1 - mov rdx, QWORD PTR [-104+rbp] #203.39[spill] - mov QWORD PTR [88+rax], r9 #9.0 - mov QWORD PTR [64+rax], r11 #145.1 - mov QWORD PTR [80+rax], r15 #147.1 - mov rcx, QWORD PTR [48+rdx] #203.39 - or rcx, QWORD PTR [56+rdx] #152.23 - or rcx, QWORD PTR [40+rdx] #153.23 - or rcx, QWORD PTR [32+rdx] #154.23 - or QWORD PTR [-80+rbp], rcx #204.28[spill] - vmovups YMMWORD PTR [-240+rbp], ymm0 #205.20 - mov r8, rdx #38.33 - mov rdx, QWORD PTR [-272+rbp] #205.62 - xor r14d, r14d #42.32 - xor r13d, r13d #42.32 - xor esi, esi #42.32 - mulx r12, rdi, QWORD PTR [32+r8] #38.33 - mulx rcx, r9, QWORD PTR [40+r8] #39.33 - adcx rdi, rcx #42.32 - mov rcx, -1 #46.33 - mulx rax, r10, QWORD PTR [48+r8] #40.33 - adcx r9, rax #43.32 - mov rax, 0x0ffffffff #47.33 - mulx r15, r11, QWORD PTR [56+r8] #41.33 - mov r8d, 0 #44.32 - adcx r10, r15 #44.32 - setb r14b #44.32 - mov rdx, r12 #46.33 - adox r13d, r8d #45.30 - adox r14, r11 #45.30 - mulx r13, r11, rcx #46.33 - mov ecx, 0 #50.32 - seto sil #45.30 - clc #49.32 - mulx rsi, r15, rax #47.33 - adcx r11, rsi #49.32 - mov rsi, 0xffffffff00000001 #48.33 - mulx rax, rsi, rsi #48.33 - mov edx, r8d #52.30 - adcx r15, rcx #50.32 - adcx rax, rcx #51.32 - mov ecx, r8d #51.32 - setb cl #51.32 - adox edx, r8d #52.30 - adox rcx, rsi #52.30 - mov rdx, QWORD PTR [-264+rbp] #58.33 - clc #53.30 - adcx r12, r13 #53.30 - mov r13, QWORD PTR [-104+rbp] #58.33[spill] - adcx rdi, r11 #54.32 - adcx r9, r15 #55.32 - mov r15d, r8d #57.32 - adcx r10, rax #56.32 - mulx rax, r11, QWORD PTR [40+r13] #59.33 - adcx r14, rcx #57.32 - mov QWORD PTR [-208+rbp], r14 #57.32[spill] - setb r15b #57.32 - mov QWORD PTR [-200+rbp], r15 #70.34[spill] - mulx r12, r14, QWORD PTR [32+r13] #58.33 - mulx r15, rcx, QWORD PTR [48+r13] #60.33 - mulx rdx, rsi, QWORD PTR [56+r13] #61.33 - mov r13d, r8d #62.32 - adox r13d, r8d #62.32 - mov r13d, 0 #75.34 - adox r14, rax #62.32 - mov eax, r8d #64.32 - adox r11, r15 #63.32 - mov r15d, r8d #66.34 - adox rcx, rdx #64.32 - seto al #64.32 - clc #65.30 - adcx rax, rsi #65.30 - adox r15d, r8d #66.34 - mov rsi, QWORD PTR [-208+rbp] #69.34[spill] - mov r15, 0xffffffff00000001 #73.35 - adox rdi, r12 #66.34 - mov r12d, r8d #70.34 - mov rdx, rdi #71.35 - adox r9, r14 #67.34 - mov r14, QWORD PTR [-200+rbp] #70.34[spill] - adox r10, r11 #68.34 - mov r11, 0x0ffffffff #72.35 - adox rsi, rcx #69.34 - mov rcx, -1 #71.35 - adox r14, rax #70.34 - seto r12b #70.34 - clc #74.34 - mov DWORD PTR [-192+rbp], r12d #70.34[spill] - mulx r12, rax, rcx #71.35 - mulx rcx, r11, r11 #72.35 - adcx rax, rcx #74.34 - mulx r15, rcx, r15 #73.35 - mov edx, r8d #77.31 - adcx r11, r13 #75.34 - adcx r15, r13 #76.34 - mov r13d, r8d #76.34 - setb r13b #76.34 - adox edx, r8d #77.31 - adox r13, rcx #77.31 - mov rdx, QWORD PTR [-256+rbp] #84.35 - clc #78.31 - adcx rdi, r12 #78.31 - mov edi, r8d #82.34 - adcx r9, rax #79.34 - adcx r10, r11 #80.34 - adcx rsi, r15 #81.34 - adcx r14, r13 #82.34 - mov r13, QWORD PTR [-104+rbp] #84.35[spill] - setb dil #82.34 - mov QWORD PTR [-200+rbp], r14 #82.34[spill] - mov DWORD PTR [-184+rbp], edi #82.34[spill] - mulx r12, r14, QWORD PTR [32+r13] #84.35 - mulx rax, r11, QWORD PTR [40+r13] #85.35 - mulx r15, rdi, QWORD PTR [48+r13] #86.35 - mulx rdx, rcx, QWORD PTR [56+r13] #87.35 - mov r13d, r8d #88.34 - adox r13d, r8d #88.34 - mov r13d, r8d #90.34 - adox r14, rax #88.34 - adox r11, r15 #89.34 - mov r15d, r8d #95.34 - adox rdi, rdx #90.34 - seto r13b #90.34 - clc #91.31 - adcx r13, rcx #91.31 - mov ecx, r8d #92.34 - adox ecx, r8d #92.34 - mov rcx, QWORD PTR [-200+rbp] #95.34[spill] - adox r9, r12 #92.34 - mov eax, DWORD PTR [-192+rbp] #96.34[spill] - mov rdx, r9 #97.35 - adox r10, r14 #93.34 - mov r14, 0x0ffffffff #98.35 - adox rsi, r11 #94.34 - adox rcx, rdi #95.34 - seto r15b #95.34 - xor r12d, r12d #95.34 - mov rdi, -1 #95.34 - add eax, DWORD PTR [-184+rbp] #96.34[spill] - cmp r8d, r15d #96.34 - adcx rax, r13 #96.34 - mulx r15, r13, rdi #97.35 - setb r12b #96.34 - mov DWORD PTR [-176+rbp], r12d #96.34[spill] - mov r12, 0xffffffff00000001 #99.35 - mulx r14, rdi, r14 #98.35 - mulx r11, r12, r12 #99.35 - mov edx, r8d #100.34 - adox edx, r8d #100.34 - mov rdx, QWORD PTR [-248+rbp] #110.35 - adox r13, r14 #100.34 - mov r14d, 0 #101.34 - adox rdi, r14 #101.34 - adox r11, r14 #102.34 - mov r14d, r8d #102.34 - seto r14b #102.34 - clc #103.31 - adcx r14, r12 #103.31 - mov r12d, r8d #104.31 - adox r12d, r8d #104.31 - mov r12, QWORD PTR [-104+rbp] #110.35[spill] - adox r9, r15 #104.31 - mov r9d, r8d #108.34 - adox r10, r13 #105.34 - mulx r13, r15, QWORD PTR [32+r12] #110.35 - adox rsi, rdi #106.34 - adox rcx, r11 #107.34 - adox rax, r14 #108.34 - mulx r11, r14, QWORD PTR [40+r12] #111.35 - seto r9b #108.34 - clc #114.34 - adcx r15, r11 #114.34 - mulx r11, rdi, QWORD PTR [48+r12] #112.35 - adcx r14, r11 #115.34 - mulx r12, r11, QWORD PTR [56+r12] #113.35 - mov edx, r8d #117.31 - adcx rdi, r12 #116.34 - mov r12d, r8d #116.34 - setb r12b #116.34 - adox edx, r8d #117.31 - adox r12, r11 #117.31 - clc #118.34 - adcx r10, r13 #118.34 - mov rdx, r10 #123.35 - adcx rsi, r15 #119.34 - mov r15d, r8d #121.34 - adcx rcx, r14 #120.34 - mov r14, 0x0ffffffff #124.35 - adcx rax, rdi #121.34 - mov edi, DWORD PTR [-176+rbp] #122.34[spill] - setb r15b #121.34 - add edi, r9d #122.34 - xor r9d, r9d #122.34 - cmp r8d, r15d #122.34 - mov r15, -1 #123.35 - adcx rdi, r12 #122.34 - mulx r12, r11, r15 #123.35 - setb r9b #122.34 - mov DWORD PTR [-168+rbp], r9d #122.34[spill] - mov r9, 0xffffffff00000001 #125.35 - mulx r14, r15, r14 #124.35 - mulx r9, r13, r9 #125.35 - mov edx, r8d #126.34 - adox edx, r8d #126.34 - mov edx, r8d #128.34 - adox r11, r14 #126.34 - mov r14d, 0 #127.34 - adox r15, r14 #127.34 - adox r9, r14 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r13 #129.31 - mov r13d, r8d #130.31 - adox r13d, r8d #130.31 - adox r10, r12 #130.31 - mov r10d, r8d #134.34 - adox rsi, r11 #131.34 - mov r11d, DWORD PTR [-168+rbp] #140.31[spill] - adox rcx, r15 #132.34 - mov r15, rsi #136.34 - adox rax, r9 #133.34 - mov r9, 0xffffffff00000001 #139.34 - adox rdi, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r10b #134.34 - xor r13d, r13d #134.34 - mov r12, -1 #134.34 - add r11d, r10d #140.31 - sub r15, r12 #136.34 - mov r12, rcx #137.34 - mov r10, rax #138.34 - sbb r12, rdx #137.34 - mov rdx, rdi #139.34 - sbb r10, r14 #138.34 - sbb rdx, r9 #139.34 - setb r13b #139.34 - cmp r8d, r13d #140.31 - sbb r11, r14 #140.31 - setb r8b #140.31 - testq r8, r8; - cmovnzq rdi, rdx; - testq r8, r8; - cmovnzq rax, r10; - testq r8, r8; - cmovnzq rcx, r12; - testq r8, r8; - cmovnzq rsi, r15; - mov QWORD PTR [-216+rbp], r15 #9.0 - mov QWORD PTR [-240+rbp], rdx #205.34 - mov QWORD PTR [-232+rbp], r10 #205.34 - mov QWORD PTR [-224+rbp], r12 #205.34 - vmovups YMMWORD PTR [-336+rbp], ymm0 #206.19 - mov rcx, QWORD PTR [-88+rbp] #159.32[spill] - xor eax, eax #162.32 - mov r9, QWORD PTR [-240+rbp] #159.32 - xor esi, esi #162.32 - mov r11, QWORD PTR [-232+rbp] #160.32 - mov rdi, -1 #9.0 - sub r9, QWORD PTR [32+rcx] #159.32 - mov r13, QWORD PTR [-224+rbp] #161.32 - sbb r11, QWORD PTR [40+rcx] #160.32 - mov r14, 0xffffffff00000001 #170.30 - mov rdx, QWORD PTR [-216+rbp] #162.32 - sbb r13, QWORD PTR [48+rcx] #161.32 - sbb rdx, QWORD PTR [56+rcx] #162.32 - setb sil #162.32 - xor r12d, r12d #162.32 - xor r15d, r15d #162.32 - xor ecx, ecx #162.32 - testq rsi, rsi; - cmovnzq rdi, rcx; - xor r8d, r8d #165.32 - mov r10d, ecx #167.32 - adcx r9, rcx #165.32 - mov QWORD PTR [-312+rbp], r9 #206.33 - adcx r11, r10 #167.32 - mov QWORD PTR [-320+rbp], r11 #206.33 - adcx r13, r12 #168.32 - mov QWORD PTR [-328+rbp], r13 #206.33 - setb r15b #168.32 - and rcx, r14 #170.30 - cmp eax, r15d #170.30 - adcx rdx, rcx #170.30 - mov QWORD PTR [-336+rbp], rdx #206.33 - vmovups YMMWORD PTR [-176+rbp], ymm0 #207.20 - setb al #170.30 - mov rdx, QWORD PTR [-304+rbp] #207.59 - mov r13, -1 #46.33 - xor r9d, r9d #42.32 - mov r15, 0xffffffff00000001 #48.33 - mulx r8, rdi, QWORD PTR [-296+rbp] #39.33 - mulx r11, rsi, rdx #38.33 - adox rsi, r8 #42.32 - mov r8d, 0 #44.32 - mulx rcx, r10, QWORD PTR [-288+rbp] #40.33 - adox rdi, rcx #43.32 - mulx rax, r12, QWORD PTR [-280+rbp] #41.33 - mov rdx, r11 #46.33 - adox r10, rax #44.32 - mov rcx, 0x0ffffffff #47.33 - mulx rax, r15, r15 #48.33 - seto r9b #44.32 - clc #45.30 - adcx r9, r12 #45.30 - mulx r13, r12, r13 #46.33 - mulx rcx, r14, rcx #47.33 - mov edx, r8d #49.32 - adox edx, r8d #49.32 - mov rdx, QWORD PTR [-296+rbp] #58.33 - adox r12, rcx #49.32 - mov ecx, 0 #50.32 - adox r14, rcx #50.32 - adox rax, rcx #51.32 - mov ecx, r8d #51.32 - seto cl #51.32 - clc #52.30 - adcx rcx, r15 #52.30 - mov r15d, r8d #53.30 - adox r15d, r8d #53.30 - adox r11, r13 #53.30 - mulx r11, r13, rdx #59.33 - adox rsi, r12 #54.32 - adox rdi, r14 #55.32 - mulx r12, r14, QWORD PTR [-304+rbp] #58.33 - adox r10, rax #56.32 - mulx rax, r15, QWORD PTR [-288+rbp] #60.33 - adox r9, rcx #57.32 - mov ecx, r8d #57.32 - seto cl #57.32 - clc #62.32 - adcx r14, r11 #62.32 - adcx r13, rax #63.32 - mulx r11, rax, QWORD PTR [-280+rbp] #61.33 - mov edx, r8d #65.30 - adcx r15, r11 #64.32 - mov r11d, r8d #64.32 - setb r11b #64.32 - adox edx, r8d #65.30 - adox r11, rax #65.30 - mov eax, r8d #65.30 - seto al #65.30 - clc #66.34 - adcx rsi, r12 #66.34 - mov r12, -1 #71.35 - mov rdx, rsi #71.35 - adcx rdi, r14 #67.34 - mov r14, 0x0ffffffff #72.35 - adcx r10, r13 #68.34 - mov r13, 0xffffffff00000001 #73.35 - adcx r9, r15 #69.34 - mov r15d, r8d #70.34 - adcx rcx, r11 #70.34 - setb r15b #70.34 - mov DWORD PTR [-272+rbp], r15d #70.34[spill] - mulx rax, r15, r12 #71.35 - mulx r12, r11, r14 #72.35 - mulx r14, r13, r13 #73.35 - mov edx, r8d #74.34 - adox edx, r8d #74.34 - mov rdx, QWORD PTR [-288+rbp] #84.35 - adox r15, r12 #74.34 - mov r12d, 0 #75.34 - adox r11, r12 #75.34 - adox r14, r12 #76.34 - mov r12d, r8d #76.34 - seto r12b #76.34 - clc #77.31 - adcx r12, r13 #77.31 - mov r13d, r8d #78.31 - adox r13d, r8d #78.31 - adox rsi, rax #78.31 - mulx rax, r13, QWORD PTR [-296+rbp] #85.35 - adox rdi, r15 #79.34 - adox r10, r11 #80.34 - mulx r11, r15, rdx #86.35 - adox r9, r14 #81.34 - mov r14d, r8d #82.34 - adox rcx, r12 #82.34 - mulx rsi, r12, QWORD PTR [-304+rbp] #84.35 - seto r14b #82.34 - clc #88.34 - adcx r12, rax #88.34 - adcx r13, r11 #89.34 - mulx r11, rax, QWORD PTR [-280+rbp] #87.35 - mov edx, r8d #91.31 - adcx r15, r11 #90.34 - mov r11d, r8d #90.34 - setb r11b #90.34 - adox edx, r8d #91.31 - adox r11, rax #91.31 - clc #92.34 - mov eax, DWORD PTR [-272+rbp] #96.34[spill] - adcx rdi, rsi #92.34 - mov esi, r8d #95.34 - mov rdx, rdi #97.35 - adcx r10, r12 #93.34 - adcx r9, r13 #94.34 - adcx rcx, r15 #95.34 - setb sil #95.34 - mov r15, -1 #95.34 - add eax, r14d #96.34 - cmp r8d, esi #96.34 - mov r14, 0x0ffffffff #98.35 - mulx r15, rsi, r15 #97.35 - adcx rax, r11 #96.34 - mov r11d, r8d #96.34 - setb r11b #96.34 - mov DWORD PTR [-264+rbp], r11d #96.34[spill] - mulx r11, r12, r14 #98.35 - mov r14, 0xffffffff00000001 #99.35 - mulx r14, r13, r14 #99.35 - mov edx, r8d #100.34 - adox edx, r8d #100.34 - mov rdx, QWORD PTR [-280+rbp] #110.35 - adox rsi, r11 #100.34 - mov r11d, 0 #101.34 - adox r12, r11 #101.34 - adox r14, r11 #102.34 - mov r11d, r8d #102.34 - seto r11b #102.34 - clc #103.31 - adcx r11, r13 #103.31 - mov r13d, r8d #104.31 - adox r13d, r8d #104.31 - adox rdi, r15 #104.31 - adox r10, rsi #105.34 - mulx r15, rsi, QWORD PTR [-304+rbp] #110.35 - adox r9, r12 #106.34 - mov r12d, r8d #108.34 - adox rcx, r14 #107.34 - mulx rdi, r14, QWORD PTR [-296+rbp] #111.35 - adox rax, r11 #108.34 - mulx r11, r13, QWORD PTR [-288+rbp] #112.35 - seto r12b #108.34 - clc #114.34 - adcx rsi, rdi #114.34 - adcx r14, r11 #115.34 - mulx rdi, r11, rdx #113.35 - mov edx, r8d #117.31 - adcx r13, rdi #116.34 - mov edi, r8d #116.34 - setb dil #116.34 - adox edx, r8d #117.31 - adox rdi, r11 #117.31 - clc #118.34 - mov r11d, DWORD PTR [-264+rbp] #122.34[spill] - adcx r10, r15 #118.34 - mov r15d, r8d #121.34 - mov rdx, r10 #123.35 - adcx r9, rsi #119.34 - adcx rcx, r14 #120.34 - adcx rax, r13 #121.34 - mov r13, 0x0ffffffff #124.35 - setb r15b #121.34 - xor esi, esi #121.34 - add r11d, r12d #122.34 - mov r12, -1 #122.34 - cmp r8d, r15d #122.34 - adcx r11, rdi #122.34 - mov rdi, 0xffffffff00000001 #125.35 - setb sil #122.34 - mov DWORD PTR [-256+rbp], esi #122.34[spill] - mulx r14, rsi, r12 #123.35 - mulx r12, r15, r13 #124.35 - mulx rdi, r13, rdi #125.35 - mov edx, r8d #126.34 - adox edx, r8d #126.34 - mov edx, r8d #128.34 - adox rsi, r12 #126.34 - mov r12d, 0 #127.34 - adox r15, r12 #127.34 - adox rdi, r12 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r13 #129.31 - mov r13d, r8d #130.31 - adox r13d, r8d #130.31 - adox r10, r14 #130.31 - mov r10d, r8d #134.34 - adox r9, rsi #131.34 - mov r14d, DWORD PTR [-256+rbp] #140.31[spill] - adox rcx, r15 #132.34 - mov r15, r9 #136.34 - adox rax, rdi #133.34 - mov rdi, 0xffffffff00000001 #139.34 - adox r11, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r10b #134.34 - xor r13d, r13d #134.34 - mov rsi, -1 #134.34 - add r14d, r10d #140.31 - sub r15, rsi #136.34 - mov rsi, rcx #137.34 - mov r10, rax #138.34 - sbb rsi, rdx #137.34 - mov rdx, r11 #139.34 - sbb r10, r12 #138.34 - sbb rdx, rdi #139.34 - setb r13b #139.34 - cmp r8d, r13d #140.31 - sbb r14, r12 #140.31 - setb r8b #140.31 - testq r8, r8; - cmovnzq r11, rdx; - testq r8, r8; - cmovnzq rax, r10; - testq r8, r8; - cmovnzq rcx, rsi; - testq r8, r8; - cmovnzq r9, r15; - mov QWORD PTR [-152+rbp], r15 #9.0 - mov QWORD PTR [-176+rbp], rdx #207.37 - mov QWORD PTR [-168+rbp], r10 #207.37 - mov QWORD PTR [-160+rbp], rsi #207.37 - vmovups YMMWORD PTR [-208+rbp], ymm0 #208.20 - mov rdx, QWORD PTR [-336+rbp] #208.59 - mov r15, 0x0ffffffff #47.33 - xor r14d, r14d #42.32 - xor r13d, r13d #42.32 - xor r8d, r8d #42.32 - mulx rsi, r9, QWORD PTR [-328+rbp] #39.33 - mulx r12, rdi, rdx #38.33 - adcx rdi, rsi #42.32 - mulx rcx, r10, QWORD PTR [-320+rbp] #40.33 - adcx r9, rcx #43.32 - mov rcx, -1 #46.33 - mulx rax, r11, QWORD PTR [-312+rbp] #41.33 - mov rdx, r12 #46.33 - adcx r10, rax #44.32 - mulx rax, r15, r15 #47.33 - setb r14b #44.32 - adox r13d, r8d #45.30 - adox r14, r11 #45.30 - mulx r13, r11, rcx #46.33 - mov ecx, 0 #50.32 - clc #49.32 - mov rsi, 0xffffffff00000001 #48.33 - adcx r11, rax #49.32 - mulx rax, rsi, rsi #48.33 - mov edx, r8d #52.30 - adcx r15, rcx #50.32 - adcx rax, rcx #51.32 - mov ecx, r8d #51.32 - setb cl #51.32 - adox edx, r8d #52.30 - adox rcx, rsi #52.30 - mov rdx, QWORD PTR [-328+rbp] #58.33 - clc #53.30 - adcx r12, r13 #53.30 - mov r13d, r8d #62.32 - adcx rdi, r11 #54.32 - adcx r9, r15 #55.32 - adcx r10, rax #56.32 - mulx rax, r12, rdx #59.33 - adcx r14, rcx #57.32 - mov QWORD PTR [-240+rbp], r14 #57.32[spill] - mov r14d, r8d #57.32 - setb r14b #57.32 - adox r13d, r8d #62.32 - mov r13d, 0 #75.34 - mov QWORD PTR [-232+rbp], r14 #70.34[spill] - mulx r14, r15, QWORD PTR [-336+rbp] #58.33 - adox r15, rax #62.32 - mov eax, r8d #64.32 - mulx r11, rcx, QWORD PTR [-320+rbp] #60.33 - adox r12, r11 #63.32 - mulx rdx, rsi, QWORD PTR [-312+rbp] #61.33 - adox rcx, rdx #64.32 - seto al #64.32 - clc #65.30 - adcx rax, rsi #65.30 - mov esi, r8d #66.34 - adox esi, r8d #66.34 - mov rsi, QWORD PTR [-240+rbp] #69.34[spill] - adox rdi, r14 #66.34 - mov r14, QWORD PTR [-232+rbp] #70.34[spill] - mov rdx, rdi #71.35 - adox r9, r15 #67.34 - mov r15, 0x0ffffffff #72.35 - adox r10, r12 #68.34 - mov r12d, r8d #70.34 - adox rsi, rcx #69.34 - mov rcx, -1 #71.35 - adox r14, rax #70.34 - seto r12b #70.34 - clc #74.34 - mov DWORD PTR [-224+rbp], r12d #70.34[spill] - mulx r12, rax, rcx #71.35 - mulx rcx, r11, r15 #72.35 - mov r15, 0xffffffff00000001 #73.35 - adcx rax, rcx #74.34 - mulx r15, rcx, r15 #73.35 - mov edx, r8d #77.31 - adcx r11, r13 #75.34 - adcx r15, r13 #76.34 - mov r13d, r8d #76.34 - setb r13b #76.34 - adox edx, r8d #77.31 - adox r13, rcx #77.31 - mov rdx, QWORD PTR [-320+rbp] #84.35 - clc #78.31 - adcx rdi, r12 #78.31 - mov edi, r8d #82.34 - adcx r9, rax #79.34 - mulx rax, r12, QWORD PTR [-328+rbp] #85.35 - adcx r10, r11 #80.34 - adcx rsi, r15 #81.34 - adcx r14, r13 #82.34 - mov r13d, r8d #88.34 - mov QWORD PTR [-232+rbp], r14 #82.34[spill] - setb dil #82.34 - adox r13d, r8d #88.34 - mulx r14, r15, QWORD PTR [-336+rbp] #84.35 - adox r15, rax #88.34 - mov DWORD PTR [-216+rbp], edi #82.34[spill] - mulx r11, rdi, rdx #86.35 - adox r12, r11 #89.34 - mov r11d, r8d #90.34 - mulx rdx, rcx, QWORD PTR [-312+rbp] #87.35 - adox rdi, rdx #90.34 - seto r11b #90.34 - clc #91.31 - adcx r11, rcx #91.31 - mov ecx, r8d #92.34 - adox ecx, r8d #92.34 - mov rcx, QWORD PTR [-232+rbp] #95.34[spill] - adox r9, r14 #92.34 - mov r14d, r8d #95.34 - mov eax, DWORD PTR [-224+rbp] #96.34[spill] - mov rdx, r9 #97.35 - adox r10, r15 #93.34 - adox rsi, r12 #94.34 - adox rcx, rdi #95.34 - mov rdi, 0x0ffffffff #98.35 - seto r14b #95.34 - xor r15d, r15d #95.34 - mov r12, -1 #95.34 - add eax, DWORD PTR [-216+rbp] #96.34[spill] - cmp r8d, r14d #96.34 - mov r14, 0xffffffff00000001 #99.35 - adcx rax, r11 #96.34 - mulx r11, rdi, rdi #98.35 - setb r15b #96.34 - mov DWORD PTR [-144+rbp], r15d #96.34[spill] - mulx r15, r13, r12 #97.35 - mulx r14, r12, r14 #99.35 - mov edx, r8d #100.34 - adox edx, r8d #100.34 - mov rdx, QWORD PTR [-312+rbp] #110.35 - adox r13, r11 #100.34 - mov r11d, 0 #101.34 - adox rdi, r11 #101.34 - adox r14, r11 #102.34 - mov r11d, r8d #102.34 - seto r11b #102.34 - clc #103.31 - adcx r11, r12 #103.31 - mov r12d, r8d #104.31 - adox r12d, r8d #104.31 - mov r12d, r8d #108.34 - adox r9, r15 #104.31 - adox r10, r13 #105.34 - adox rsi, rdi #106.34 - mulx r9, rdi, QWORD PTR [-328+rbp] #111.35 - adox rcx, r14 #107.34 - mulx r14, r15, QWORD PTR [-336+rbp] #110.35 - adox rax, r11 #108.34 - mulx r11, r13, QWORD PTR [-320+rbp] #112.35 - seto r12b #108.34 - clc #114.34 - adcx r15, r9 #114.34 - adcx rdi, r11 #115.34 - mulx r9, r11, rdx #113.35 - mov edx, r8d #117.31 - adcx r13, r9 #116.34 - mov r9d, r8d #116.34 - setb r9b #116.34 - adox edx, r8d #117.31 - adox r9, r11 #117.31 - clc #118.34 - mov r11d, DWORD PTR [-144+rbp] #122.34[spill] - adcx r10, r14 #118.34 - mov rdx, r10 #123.35 - adcx rsi, r15 #119.34 - mov r15, -1 #123.35 - adcx rcx, rdi #120.34 - mulx r15, rdi, r15 #123.35 - adcx rax, r13 #121.34 - mov r13d, r8d #121.34 - setb r13b #121.34 - xor r14d, r14d #121.34 - add r11d, r12d #122.34 - cmp r8d, r13d #122.34 - mov r12, 0x0ffffffff #124.35 - adcx r11, r9 #122.34 - mov r9, 0xffffffff00000001 #125.35 - mulx r9, r13, r9 #125.35 - setb r14b #122.34 - mov DWORD PTR [-136+rbp], r14d #122.34[spill] - mulx r12, r14, r12 #124.35 - mov edx, r8d #126.34 - adox edx, r8d #126.34 - mov edx, r8d #128.34 - adox rdi, r12 #126.34 - mov r12d, 0 #127.34 - adox r14, r12 #127.34 - adox r9, r12 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r13 #129.31 - mov r13d, r8d #130.31 - adox r13d, r8d #130.31 - adox r10, r15 #130.31 - mov r10d, r8d #134.34 - adox rsi, rdi #131.34 - mov edi, DWORD PTR [-136+rbp] #140.31[spill] - adox rcx, r14 #132.34 - mov r14, rsi #136.34 - adox rax, r9 #133.34 - mov r9, 0xffffffff00000001 #139.34 - adox r11, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r10b #134.34 - xor r13d, r13d #134.34 - mov r15, -1 #134.34 - add edi, r10d #140.31 - sub r14, r15 #136.34 - mov r15, rcx #137.34 - mov r10, rax #138.34 - sbb r15, rdx #137.34 - mov rdx, r11 #139.34 - sbb r10, r12 #138.34 - sbb rdx, r9 #139.34 - setb r13b #139.34 - cmp r8d, r13d #140.31 - sbb rdi, r12 #140.31 - setb r8b #140.31 - testq r8, r8; - cmovnzq r11, rdx; - testq r8, r8; - cmovnzq rax, r10; - testq r8, r8; - cmovnzq rcx, r15; - testq r8, r8; - cmovnzq rsi, r14; - mov QWORD PTR [-184+rbp], r14 #9.0 - mov QWORD PTR [-208+rbp], rdx #208.37 - mov QWORD PTR [-200+rbp], r10 #208.37 - mov QWORD PTR [-192+rbp], r15 #208.37 - vmovups YMMWORD PTR [-272+rbp], ymm0 #209.21 - mov rdx, QWORD PTR [-176+rbp] #209.61 - mov r15, 0x0ffffffff #47.33 - xor r14d, r14d #42.32 - xor r13d, r13d #42.32 - xor r8d, r8d #42.32 - mulx r12, rdi, QWORD PTR [-304+rbp] #38.33 - mulx rsi, r9, QWORD PTR [-296+rbp] #39.33 - adcx rdi, rsi #42.32 - mulx rcx, r10, QWORD PTR [-288+rbp] #40.33 - adcx r9, rcx #43.32 - mov rcx, -1 #46.33 - mulx rax, r11, QWORD PTR [-280+rbp] #41.33 - mov rdx, r12 #46.33 - adcx r10, rax #44.32 - mulx rax, r15, r15 #47.33 - setb r14b #44.32 - adox r13d, r8d #45.30 - adox r14, r11 #45.30 - mulx r13, r11, rcx #46.33 - mov ecx, 0 #50.32 - clc #49.32 - mov rsi, 0xffffffff00000001 #48.33 - adcx r11, rax #49.32 - mulx rax, rsi, rsi #48.33 - mov edx, r8d #52.30 - adcx r15, rcx #50.32 - adcx rax, rcx #51.32 - mov ecx, r8d #51.32 - setb cl #51.32 - adox edx, r8d #52.30 - adox rcx, rsi #52.30 - mov rdx, QWORD PTR [-168+rbp] #58.33 - clc #53.30 - adcx r12, r13 #53.30 - mov r13d, r8d #62.32 - adcx rdi, r11 #54.32 - adcx r9, r15 #55.32 - adcx r10, rax #56.32 - mulx rax, r12, QWORD PTR [-296+rbp] #59.33 - adcx r14, rcx #57.32 - mov QWORD PTR [-144+rbp], r14 #57.32[spill] - mov r14d, r8d #57.32 - setb r14b #57.32 - adox r13d, r8d #62.32 - mov r13d, 0 #75.34 - mov QWORD PTR [-136+rbp], r14 #70.34[spill] - mulx r14, r15, QWORD PTR [-304+rbp] #58.33 - adox r15, rax #62.32 - mov eax, r8d #64.32 - mulx r11, rcx, QWORD PTR [-288+rbp] #60.33 - adox r12, r11 #63.32 - mulx rdx, rsi, QWORD PTR [-280+rbp] #61.33 - adox rcx, rdx #64.32 - seto al #64.32 - clc #65.30 - adcx rax, rsi #65.30 - mov esi, r8d #66.34 - adox esi, r8d #66.34 - mov rsi, QWORD PTR [-144+rbp] #69.34[spill] - adox rdi, r14 #66.34 - mov r14, QWORD PTR [-136+rbp] #70.34[spill] - mov rdx, rdi #71.35 - adox r9, r15 #67.34 - mov r15, 0x0ffffffff #72.35 - adox r10, r12 #68.34 - mov r12d, r8d #70.34 - adox rsi, rcx #69.34 - mov rcx, -1 #71.35 - adox r14, rax #70.34 - seto r12b #70.34 - clc #74.34 - mov DWORD PTR [-128+rbp], r12d #70.34[spill] - mulx r12, rax, rcx #71.35 - mulx rcx, r11, r15 #72.35 - mov r15, 0xffffffff00000001 #73.35 - adcx rax, rcx #74.34 - mulx r15, rcx, r15 #73.35 - mov edx, r8d #77.31 - adcx r11, r13 #75.34 - adcx r15, r13 #76.34 - mov r13d, r8d #76.34 - setb r13b #76.34 - adox edx, r8d #77.31 - adox r13, rcx #77.31 - mov rdx, QWORD PTR [-160+rbp] #84.35 - clc #78.31 - adcx rdi, r12 #78.31 - mov edi, r8d #82.34 - adcx r9, rax #79.34 - mulx rax, r12, QWORD PTR [-296+rbp] #85.35 - adcx r10, r11 #80.34 - adcx rsi, r15 #81.34 - adcx r14, r13 #82.34 - mov r13d, r8d #88.34 - mov QWORD PTR [-136+rbp], r14 #82.34[spill] - setb dil #82.34 - adox r13d, r8d #88.34 - mulx r14, r15, QWORD PTR [-304+rbp] #84.35 - adox r15, rax #88.34 - mov DWORD PTR [-120+rbp], edi #82.34[spill] - mulx r11, rdi, QWORD PTR [-288+rbp] #86.35 - adox r12, r11 #89.34 - mov r11d, r8d #90.34 - mulx rdx, rcx, QWORD PTR [-280+rbp] #87.35 - adox rdi, rdx #90.34 - seto r11b #90.34 - clc #91.31 - adcx r11, rcx #91.31 - mov ecx, r8d #92.34 - adox ecx, r8d #92.34 - mov rcx, QWORD PTR [-136+rbp] #95.34[spill] - adox r9, r14 #92.34 - mov r14d, r8d #95.34 - mov eax, DWORD PTR [-128+rbp] #96.34[spill] - mov rdx, r9 #97.35 - adox r10, r15 #93.34 - adox rsi, r12 #94.34 - adox rcx, rdi #95.34 - mov rdi, 0x0ffffffff #98.35 - seto r14b #95.34 - xor r15d, r15d #95.34 - mov r12, -1 #95.34 - add eax, DWORD PTR [-120+rbp] #96.34[spill] - cmp r8d, r14d #96.34 - mov r14, 0xffffffff00000001 #99.35 - adcx rax, r11 #96.34 - mulx r11, rdi, rdi #98.35 - setb r15b #96.34 - mov DWORD PTR [-72+rbp], r15d #96.34[spill] - mulx r15, r13, r12 #97.35 - mulx r14, r12, r14 #99.35 - mov edx, r8d #100.34 - adox edx, r8d #100.34 - mov rdx, QWORD PTR [-152+rbp] #110.35 - adox r13, r11 #100.34 - mov r11d, 0 #101.34 - adox rdi, r11 #101.34 - adox r14, r11 #102.34 - mov r11d, r8d #102.34 - seto r11b #102.34 - clc #103.31 - adcx r11, r12 #103.31 - mov r12d, r8d #104.31 - adox r12d, r8d #104.31 - mov r12d, r8d #108.34 - adox r9, r15 #104.31 - adox r10, r13 #105.34 - adox rsi, rdi #106.34 - mulx r9, rdi, QWORD PTR [-296+rbp] #111.35 - adox rcx, r14 #107.34 - mulx r14, r15, QWORD PTR [-304+rbp] #110.35 - adox rax, r11 #108.34 - mulx r11, r13, QWORD PTR [-288+rbp] #112.35 - seto r12b #108.34 - clc #114.34 - adcx r15, r9 #114.34 - adcx rdi, r11 #115.34 - mulx r9, r11, QWORD PTR [-280+rbp] #113.35 - mov edx, r8d #117.31 - adcx r13, r9 #116.34 - mov r9d, r8d #116.34 - setb r9b #116.34 - adox edx, r8d #117.31 - adox r9, r11 #117.31 - clc #118.34 - mov r11d, DWORD PTR [-72+rbp] #122.34[spill] - adcx r10, r14 #118.34 - mov rdx, r10 #123.35 - adcx rsi, r15 #119.34 - mov r15, -1 #123.35 - adcx rcx, rdi #120.34 - mulx r15, rdi, r15 #123.35 - adcx rax, r13 #121.34 - mov r13d, r8d #121.34 - setb r13b #121.34 - xor r14d, r14d #121.34 - add r11d, r12d #122.34 - cmp r8d, r13d #122.34 - mov r12, 0x0ffffffff #124.35 - adcx r11, r9 #122.34 - mov r9, 0xffffffff00000001 #125.35 - mulx r9, r13, r9 #125.35 - setb r14b #122.34 - mov DWORD PTR [-64+rbp], r14d #122.34[spill] - mulx r12, r14, r12 #124.35 - mov edx, r8d #126.34 - adox edx, r8d #126.34 - mov edx, r8d #128.34 - adox rdi, r12 #126.34 - mov r12d, 0 #127.34 - adox r14, r12 #127.34 - adox r9, r12 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r13 #129.31 - mov r13d, r8d #130.31 - adox r13d, r8d #130.31 - adox r10, r15 #130.31 - mov r10d, r8d #134.34 - adox rsi, rdi #131.34 - mov edi, DWORD PTR [-64+rbp] #140.31[spill] - adox rcx, r14 #132.34 - mov r14, rsi #136.34 - adox rax, r9 #133.34 - mov r9, 0xffffffff00000001 #139.34 - adox r11, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r10b #134.34 - xor r13d, r13d #134.34 - mov r15, -1 #134.34 - add edi, r10d #140.31 - sub r14, r15 #136.34 - mov r15, rcx #137.34 - mov r10, rax #138.34 - sbb r15, rdx #137.34 - mov rdx, r11 #139.34 - sbb r10, r12 #138.34 - sbb rdx, r9 #139.34 - setb r13b #139.34 - cmp r8d, r13d #140.31 - sbb rdi, r12 #140.31 - setb r8b #140.31 - testq r8, r8; - cmovnzq r11, rdx; - mov r11d, 1 #9.0 - testq r8, r8; - cmovnzq rax, r10; - testq r8, r8; - cmovnzq rcx, r15; - testq r8, r8; - cmovnzq rsi, r14; - mov rsi, QWORD PTR [-96+rbp] #9.0[spill] - mov rdi, QWORD PTR [-112+rbp] #9.0[spill] - mov QWORD PTR [-248+rbp], r14 #9.0 - mov r14, 0xffffffff00000000 #9.0 - mov QWORD PTR [-272+rbp], rdx #209.35 - mov QWORD PTR [-264+rbp], r10 #209.35 - mov QWORD PTR [-256+rbp], r15 #209.35 - mov rax, QWORD PTR [88+rsi] #9.0 - testq rdi, rdi; - cmovnzq rax, r11; - mov rax, -1 #9.0 - mov QWORD PTR [88+rsi], r11 #210.5 - mov rdx, QWORD PTR [80+rsi] #9.0 - testq rdi, rdi; - cmovnzq rdx, r14; - mov rdx, -1 #9.0 - mov QWORD PTR [80+rsi], r14 #211.5 - mov rcx, QWORD PTR [72+rsi] #9.0 - testq rdi, rdi; - cmovnzq rcx, rax; - mov QWORD PTR [72+rsi], rax #212.5 - mov r9, QWORD PTR [64+rsi] #9.0 - testq rdi, rdi; - cmovnzq r9, rdx; - mov r10, QWORD PTR [-88+rbp] #9.0[spill] - mov QWORD PTR [64+rsi], rdx #213.5 - mov r13, QWORD PTR [-80+rbp] #9.0[spill] - mov r12, QWORD PTR [88+r10] #9.0 - testq r13, r13; - cmovnzq r11, r12; - mov QWORD PTR [88+rsi], r12 #9.0 - mov r11, QWORD PTR [80+r10] #9.0 - testq r13, r13; - cmovnzq r14, r11; - mov QWORD PTR [80+rsi], r11 #9.0 - mov r12, QWORD PTR [72+r10] #9.0 - testq r13, r13; - cmovnzq rax, r12; - mov QWORD PTR [72+rsi], r12 #9.0 - mov rcx, QWORD PTR [64+r10] #9.0 - testq r13, r13; - cmovnzq rdx, rcx; - mov QWORD PTR [64+rsi], rcx #9.0 - vmovups YMMWORD PTR [-240+rbp], ymm0 #218.21 - mov r8, r10 #38.33 - mov rdx, QWORD PTR [-176+rbp] #218.60 - xor r14d, r14d #42.32 - xor r13d, r13d #42.32 - xor esi, esi #42.32 - mulx r12, rdi, QWORD PTR [r8] #38.33 - mulx rcx, r9, QWORD PTR [8+r8] #39.33 - adcx rdi, rcx #42.32 - mov rcx, -1 #46.33 - mulx rax, r10, QWORD PTR [16+r8] #40.33 - adcx r9, rax #43.32 - mov rax, 0x0ffffffff #47.33 - mulx r15, r11, QWORD PTR [24+r8] #41.33 - mov r8d, 0 #44.32 - adcx r10, r15 #44.32 - setb r14b #44.32 - mov rdx, r12 #46.33 - adox r13d, r8d #45.30 - adox r14, r11 #45.30 - mulx r13, r11, rcx #46.33 - mov ecx, 0 #50.32 - seto sil #45.30 - clc #49.32 - mulx rsi, r15, rax #47.33 - adcx r11, rsi #49.32 - mov rsi, 0xffffffff00000001 #48.33 - mulx rax, rsi, rsi #48.33 - mov edx, r8d #52.30 - adcx r15, rcx #50.32 - adcx rax, rcx #51.32 - mov ecx, r8d #51.32 - setb cl #51.32 - adox edx, r8d #52.30 - adox rcx, rsi #52.30 - mov rdx, QWORD PTR [-168+rbp] #58.33 - clc #53.30 - adcx r12, r13 #53.30 - mov r13, QWORD PTR [-88+rbp] #58.33[spill] - adcx rdi, r11 #54.32 - adcx r9, r15 #55.32 - mov r15d, r8d #57.32 - adcx r10, rax #56.32 - mulx rax, r11, QWORD PTR [8+r13] #59.33 - adcx r14, rcx #57.32 - mov QWORD PTR [-304+rbp], r14 #57.32[spill] - setb r15b #57.32 - mov QWORD PTR [-296+rbp], r15 #70.34[spill] - mulx r12, r14, QWORD PTR [r13] #58.33 - mulx r15, rcx, QWORD PTR [16+r13] #60.33 - mulx rdx, rsi, QWORD PTR [24+r13] #61.33 - mov r13d, r8d #62.32 - adox r13d, r8d #62.32 - mov r13d, 0 #75.34 - adox r14, rax #62.32 - mov eax, r8d #64.32 - adox r11, r15 #63.32 - mov r15d, r8d #66.34 - adox rcx, rdx #64.32 - seto al #64.32 - clc #65.30 - adcx rax, rsi #65.30 - adox r15d, r8d #66.34 - mov rsi, QWORD PTR [-304+rbp] #69.34[spill] - mov r15, 0xffffffff00000001 #73.35 - adox rdi, r12 #66.34 - mov r12d, r8d #70.34 - mov rdx, rdi #71.35 - adox r9, r14 #67.34 - mov r14, QWORD PTR [-296+rbp] #70.34[spill] - adox r10, r11 #68.34 - mov r11, 0x0ffffffff #72.35 - adox rsi, rcx #69.34 - mov rcx, -1 #71.35 - adox r14, rax #70.34 - seto r12b #70.34 - clc #74.34 - mov DWORD PTR [-288+rbp], r12d #70.34[spill] - mulx r12, rax, rcx #71.35 - mulx rcx, r11, r11 #72.35 - adcx rax, rcx #74.34 - mulx r15, rcx, r15 #73.35 - mov edx, r8d #77.31 - adcx r11, r13 #75.34 - adcx r15, r13 #76.34 - mov r13d, r8d #76.34 - setb r13b #76.34 - adox edx, r8d #77.31 - adox r13, rcx #77.31 - mov rdx, QWORD PTR [-160+rbp] #84.35 - clc #78.31 - adcx rdi, r12 #78.31 - mov edi, r8d #82.34 - adcx r9, rax #79.34 - adcx r10, r11 #80.34 - adcx rsi, r15 #81.34 - adcx r14, r13 #82.34 - mov r13, QWORD PTR [-88+rbp] #84.35[spill] - setb dil #82.34 - mov QWORD PTR [-296+rbp], r14 #82.34[spill] - mov DWORD PTR [-280+rbp], edi #82.34[spill] - mulx r12, r14, QWORD PTR [r13] #84.35 - mulx rax, r11, QWORD PTR [8+r13] #85.35 - mulx r15, rdi, QWORD PTR [16+r13] #86.35 - mulx rdx, rcx, QWORD PTR [24+r13] #87.35 - mov r13d, r8d #88.34 - adox r13d, r8d #88.34 - mov r13d, r8d #90.34 - adox r14, rax #88.34 - adox r11, r15 #89.34 - mov r15d, r8d #95.34 - adox rdi, rdx #90.34 - seto r13b #90.34 - clc #91.31 - adcx r13, rcx #91.31 - mov ecx, r8d #92.34 - adox ecx, r8d #92.34 - mov rcx, QWORD PTR [-296+rbp] #95.34[spill] - adox r9, r12 #92.34 - mov eax, DWORD PTR [-288+rbp] #96.34[spill] - mov rdx, r9 #97.35 - adox r10, r14 #93.34 - mov r14, 0x0ffffffff #98.35 - adox rsi, r11 #94.34 - adox rcx, rdi #95.34 - seto r15b #95.34 - xor r12d, r12d #95.34 - mov rdi, -1 #95.34 - add eax, DWORD PTR [-280+rbp] #96.34[spill] - cmp r8d, r15d #96.34 - adcx rax, r13 #96.34 - mulx r15, r13, rdi #97.35 - setb r12b #96.34 - mov DWORD PTR [-72+rbp], r12d #96.34[spill] - mov r12, 0xffffffff00000001 #99.35 - mulx r14, rdi, r14 #98.35 - mulx r11, r12, r12 #99.35 - mov edx, r8d #100.34 - adox edx, r8d #100.34 - mov rdx, QWORD PTR [-152+rbp] #110.35 - adox r13, r14 #100.34 - mov r14d, 0 #101.34 - adox rdi, r14 #101.34 - adox r11, r14 #102.34 - mov r14d, r8d #102.34 - seto r14b #102.34 - clc #103.31 - adcx r14, r12 #103.31 - mov r12d, r8d #104.31 - adox r12d, r8d #104.31 - mov r12, QWORD PTR [-88+rbp] #110.35[spill] - adox r9, r15 #104.31 - mov r9d, r8d #108.34 - adox r10, r13 #105.34 - mulx r13, r15, QWORD PTR [r12] #110.35 - adox rsi, rdi #106.34 - adox rcx, r11 #107.34 - adox rax, r14 #108.34 - mulx r11, r14, QWORD PTR [8+r12] #111.35 - seto r9b #108.34 - clc #114.34 - adcx r15, r11 #114.34 - mulx r11, rdi, QWORD PTR [16+r12] #112.35 - adcx r14, r11 #115.34 - mulx r12, r11, QWORD PTR [24+r12] #113.35 - mov edx, r8d #117.31 - adcx rdi, r12 #116.34 - mov r12d, r8d #116.34 - setb r12b #116.34 - adox edx, r8d #117.31 - adox r12, r11 #117.31 - clc #118.34 - adcx r10, r13 #118.34 - mov rdx, r10 #123.35 - adcx rsi, r15 #119.34 - mov r15d, r8d #121.34 - adcx rcx, r14 #120.34 - mov r14, 0x0ffffffff #124.35 - adcx rax, rdi #121.34 - mov edi, DWORD PTR [-72+rbp] #122.34[spill] - setb r15b #121.34 - add edi, r9d #122.34 - xor r9d, r9d #122.34 - cmp r8d, r15d #122.34 - mov r15, -1 #123.35 - adcx rdi, r12 #122.34 - mulx r12, r11, r15 #123.35 - setb r9b #122.34 - mov DWORD PTR [-64+rbp], r9d #122.34[spill] - mov r9, 0xffffffff00000001 #125.35 - mulx r14, r15, r14 #124.35 - mulx r9, r13, r9 #125.35 - mov edx, r8d #126.34 - adox edx, r8d #126.34 - mov edx, r8d #128.34 - adox r11, r14 #126.34 - mov r14d, 0 #127.34 - adox r15, r14 #127.34 - adox r9, r14 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r13 #129.31 - mov r13d, r8d #130.31 - adox r13d, r8d #130.31 - adox r10, r12 #130.31 - mov r10d, r8d #134.34 - adox rsi, r11 #131.34 - mov r11d, DWORD PTR [-64+rbp] #140.31[spill] - adox rcx, r15 #132.34 - mov r15, rsi #136.34 - adox rax, r9 #133.34 - mov r9, 0xffffffff00000001 #139.34 - adox rdi, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r10b #134.34 - xor r13d, r13d #134.34 - mov r12, -1 #134.34 - add r11d, r10d #140.31 - sub r15, r12 #136.34 - mov r12, rcx #137.34 - mov r10, rax #138.34 - sbb r12, rdx #137.34 - mov rdx, rdi #139.34 - sbb r10, r14 #138.34 - sbb rdx, r9 #139.34 - setb r13b #139.34 - cmp r8d, r13d #140.31 - sbb r11, r14 #140.31 - setb r8b #140.31 - testq r8, r8; - cmovnzq rdi, rdx; - testq r8, r8; - cmovnzq rax, r10; - testq r8, r8; - cmovnzq rcx, r12; - testq r8, r8; - cmovnzq rsi, r15; - mov QWORD PTR [-152+rbp], r15 #9.0 - mov QWORD PTR [-176+rbp], rdx #218.35 - mov QWORD PTR [-168+rbp], r10 #218.35 - mov QWORD PTR [-160+rbp], r12 #218.35 - vmovups YMMWORD PTR [-144+rbp], ymm0 #219.21 - mov r12, QWORD PTR [-240+rbp] #219.64 - xor r8d, r8d #21.32 - xor edi, edi #18.32 - xor r13d, r13d #18.32 - mov r11, QWORD PTR [-232+rbp] #219.88 - adcx r12, r12 #18.32 - mov r15, 0x0ffffffff #23.32 - mov r10, QWORD PTR [-224+rbp] #219.80 - mov rsi, r12 #22.32 - adcx r11, r11 #19.32 - mov r13, 0xffffffff00000001 #25.32 - mov r9, QWORD PTR [-216+rbp] #219.72 - mov rcx, r11 #23.32 - adcx r10, r10 #20.32 - mov rdx, r10 #24.32 - adcx r9, r9 #21.32 - mov rax, r9 #25.32 - setb dil #21.32 - mov r14, -1 #21.32 - sub rsi, r14 #22.32 - mov r14d, 0 #24.32 - sbb rcx, r15 #23.32 - sbb rdx, r14 #24.32 - sbb rax, r13 #25.32 - sbb rdi, r14 #26.30 - setb r8b #26.30 - testq r8, r8; - cmovnzq r9, rax; - testq r8, r8; - cmovnzq r10, rdx; - testq r8, r8; - cmovnzq r11, rcx; - testq r8, r8; - cmovnzq r12, rsi; - mov QWORD PTR [-120+rbp], rsi #9.0 - mov QWORD PTR [-144+rbp], rax #219.35 - mov QWORD PTR [-136+rbp], rdx #219.35 - mov QWORD PTR [-128+rbp], rcx #219.35 - vmovups YMMWORD PTR [-176+rbp], ymm0 #220.20 - mov r13, QWORD PTR [-208+rbp] #159.32 - xor r10d, r10d #162.32 - xor r15d, r15d #159.32 - sub r13, QWORD PTR [-144+rbp] #159.32 - mov r14, QWORD PTR [-200+rbp] #160.32 - sbb r14, QWORD PTR [-136+rbp] #160.32 - mov r12, QWORD PTR [-192+rbp] #161.32 - sbb r12, QWORD PTR [-128+rbp] #161.32 - mov r11, QWORD PTR [-184+rbp] #162.32 - mov r8, 0xffffffff00000001 #170.30 - sbb r11, QWORD PTR [-120+rbp] #162.32 - setb r15b #162.32 - mov rsi, -1 #162.32 - xor edi, edi #162.32 - xor r9d, r9d #162.32 - xor ecx, ecx #162.32 - testq r15, r15; - cmovnzq rsi, rdi; - xor eax, eax #165.32 - mov edx, edi #167.32 - adox r13, rdi #165.32 - mov QWORD PTR [-152+rbp], r13 #220.34 - adox r14, rdx #167.32 - mov QWORD PTR [-160+rbp], r14 #220.34 - adox r12, r9 #168.32 - mov QWORD PTR [-168+rbp], r12 #220.34 - seto cl #168.32 - mov rdx, -1 #168.32 - and rdi, r8 #170.30 - cmp r10d, ecx #170.30 - adcx r11, rdi #170.30 - xor edi, edi #9.0 - mov QWORD PTR [-176+rbp], r11 #220.34 - sub r11, QWORD PTR [-272+rbp] #159.32 - sbb r12, QWORD PTR [-264+rbp] #160.32 - sbb r14, QWORD PTR [-256+rbp] #161.32 - sbb r13, QWORD PTR [-248+rbp] #162.32 - setb al #162.32 - testq rax, rax; - cmovnzq rdx, rdi; - xor r15d, r15d #165.32 - mov ecx, edi #167.32 - adox r11, rdi #165.32 - mov rsi, QWORD PTR [-96+rbp] #174.1[spill] - adox r12, rcx #167.32 - mov QWORD PTR [24+rsi], r11 #174.1 - adox r14, r9 #168.32 - mov r9d, r10d #168.32 - mov QWORD PTR [8+rsi], r14 #172.1 - seto r9b #168.32 - and rdi, r8 #170.30 - cmp r10d, r9d #170.30 - mov r8, QWORD PTR [-104+rbp] #9.0[spill] - adcx r13, rdi #170.30 - mov QWORD PTR [16+rsi], r12 #173.1 - mov QWORD PTR [rsi], r13 #171.1 - mov rcx, QWORD PTR [24+r8] #9.0 - mov rdi, QWORD PTR [-112+rbp] #9.0[spill] - testq rdi, rdi; - cmovnzq r11, rcx; - mov QWORD PTR [24+rsi], rcx #222.5 - mov rdx, QWORD PTR [16+r8] #9.0 - testq rdi, rdi; - cmovnzq r12, rdx; - mov QWORD PTR [16+rsi], rdx #223.5 - mov rax, QWORD PTR [8+r8] #9.0 - testq rdi, rdi; - cmovnzq r14, rax; - mov QWORD PTR [8+rsi], rax #224.5 - mov r8, QWORD PTR [r8] #9.0 - testq rdi, rdi; - cmovnzq r13, r8; - mov r14, QWORD PTR [-88+rbp] #9.0[spill] - mov QWORD PTR [rsi], r8 #225.5 - mov rdi, QWORD PTR [-80+rbp] #9.0[spill] - mov r13, QWORD PTR [24+r14] #9.0 - testq rdi, rdi; - cmovnzq rcx, r13; - mov QWORD PTR [24+rsi], r13 #9.0 - mov r11, QWORD PTR [16+r14] #9.0 - testq rdi, rdi; - cmovnzq rdx, r11; - mov QWORD PTR [16+rsi], r11 #9.0 - mov r12, QWORD PTR [8+r14] #9.0 - testq rdi, rdi; - cmovnzq rax, r12; - mov QWORD PTR [8+rsi], r12 #9.0 - mov rax, QWORD PTR [r14] #9.0 - testq rdi, rdi; - cmovnzq r8, rax; - mov QWORD PTR [rsi], rax #9.0 - vmovups YMMWORD PTR [-304+rbp], ymm0 #230.21 - mov r10, r14 #38.33 - mov r13, -1 #46.33 - mov rdx, QWORD PTR [-272+rbp] #230.63 - xor edi, edi #42.32 - mov r15, 0xffffffff00000001 #48.33 - mulx r11, rsi, QWORD PTR [32+r10] #38.33 - mulx rcx, r8, QWORD PTR [40+r10] #39.33 - adox rsi, rcx #42.32 - mov rcx, 0x0ffffffff #47.33 - mulx rax, r9, QWORD PTR [48+r10] #40.33 - adox r8, rax #43.32 - mulx r10, r12, QWORD PTR [56+r10] #41.33 - mov rdx, r11 #46.33 - adox r9, r10 #44.32 - mov r10d, edi #44.32 - mulx rax, r15, r15 #48.33 - seto r10b #44.32 - clc #45.30 - adcx r10, r12 #45.30 - mulx r13, r12, r13 #46.33 - mulx rcx, r14, rcx #47.33 - mov edx, edi #49.32 - adox edx, edi #49.32 - mov rdx, QWORD PTR [-264+rbp] #58.33 - adox r12, rcx #49.32 - mov ecx, 0 #50.32 - adox r14, rcx #50.32 - adox rax, rcx #51.32 - mov ecx, edi #51.32 - seto cl #51.32 - clc #52.30 - adcx rcx, r15 #52.30 - mov r15d, edi #53.30 - adox r15d, edi #53.30 - adox r11, r13 #53.30 - adox rsi, r12 #54.32 - adox r8, r14 #55.32 - mov r14, QWORD PTR [-88+rbp] #58.33[spill] - adox r9, rax #56.32 - mulx r15, rax, QWORD PTR [32+r14] #58.33 - adox r10, rcx #57.32 - mov ecx, edi #57.32 - mulx r11, r12, QWORD PTR [40+r14] #59.33 - seto cl #57.32 - clc #62.32 - adcx rax, r11 #62.32 - mulx r13, r11, QWORD PTR [48+r14] #60.33 - adcx r12, r13 #63.32 - mulx r14, r13, QWORD PTR [56+r14] #61.33 - mov edx, edi #65.30 - adcx r11, r14 #64.32 - mov r14d, edi #64.32 - setb r14b #64.32 - adox edx, edi #65.30 - adox r14, r13 #65.30 - clc #66.34 - adcx rsi, r15 #66.34 - mov rdx, rsi #71.35 - adcx r8, rax #67.34 - mov eax, edi #70.34 - adcx r9, r12 #68.34 - mov r12, 0x0ffffffff #72.35 - adcx r10, r11 #69.34 - mov r11, -1 #71.35 - mulx r15, r13, r11 #71.35 - mov r11, 0xffffffff00000001 #73.35 - adcx rcx, r14 #70.34 - setb al #70.34 - mov DWORD PTR [-176+rbp], eax #70.34[spill] - mulx rax, r14, r12 #72.35 - mulx r11, r12, r11 #73.35 - mov edx, edi #74.34 - adox edx, edi #74.34 - mov rdx, QWORD PTR [-256+rbp] #84.35 - adox r13, rax #74.34 - mov eax, 0 #75.34 - adox r14, rax #75.34 - adox r11, rax #76.34 - mov eax, edi #76.34 - seto al #76.34 - clc #77.31 - adcx rax, r12 #77.31 - mov r12d, edi #78.31 - adox r12d, edi #78.31 - adox rsi, r15 #78.31 - mov esi, edi #82.34 - adox r8, r13 #79.34 - adox r9, r14 #80.34 - adox r10, r11 #81.34 - mov r11, QWORD PTR [-88+rbp] #84.35[spill] - adox rcx, rax #82.34 - mulx rax, r15, QWORD PTR [32+r11] #84.35 - seto sil #82.34 - clc #88.34 - mulx r13, r14, QWORD PTR [40+r11] #85.35 - adcx r15, r13 #88.34 - mulx r12, r13, QWORD PTR [48+r11] #86.35 - adcx r14, r12 #89.34 - mulx r11, r12, QWORD PTR [56+r11] #87.35 - mov edx, edi #91.31 - adcx r13, r11 #90.34 - mov r11d, edi #90.34 - setb r11b #90.34 - adox edx, edi #91.31 - adox r11, r12 #91.31 - clc #92.34 - adcx r8, rax #92.34 - mov eax, DWORD PTR [-176+rbp] #96.34[spill] - mov rdx, r8 #97.35 - adcx r9, r15 #93.34 - mov r15, 0x0ffffffff #98.35 - adcx r10, r14 #94.34 - mov r14d, edi #95.34 - adcx rcx, r13 #95.34 - setb r14b #95.34 - add eax, esi #96.34 - xor esi, esi #96.34 - cmp edi, r14d #96.34 - mov r14, 0xffffffff00000001 #99.35 - adcx rax, r11 #96.34 - mov r11, -1 #97.35 - mulx r13, r14, r14 #99.35 - setb sil #96.34 - mov DWORD PTR [-168+rbp], esi #96.34[spill] - mulx rsi, r12, r11 #97.35 - mulx r15, r11, r15 #98.35 - mov edx, edi #100.34 - adox edx, edi #100.34 - mov rdx, QWORD PTR [-248+rbp] #110.35 - adox r12, r15 #100.34 - mov r15d, 0 #101.34 - adox r11, r15 #101.34 - adox r13, r15 #102.34 - mov r15d, edi #102.34 - seto r15b #102.34 - clc #103.31 - adcx r15, r14 #103.31 - mov r14d, edi #104.31 - adox r14d, edi #104.31 - mov r14, QWORD PTR [-88+rbp] #110.35[spill] - adox r8, rsi #104.31 - mov r8d, edi #108.34 - adox r9, r12 #105.34 - mulx rsi, r12, QWORD PTR [32+r14] #110.35 - adox r10, r11 #106.34 - adox rcx, r13 #107.34 - adox rax, r15 #108.34 - mulx r13, r15, QWORD PTR [40+r14] #111.35 - seto r8b #108.34 - clc #114.34 - adcx r12, r13 #114.34 - mulx r13, r11, QWORD PTR [48+r14] #112.35 - adcx r15, r13 #115.34 - mulx r14, r13, QWORD PTR [56+r14] #113.35 - mov edx, edi #117.31 - adcx r11, r14 #116.34 - mov r14d, edi #116.34 - setb r14b #116.34 - adox edx, edi #117.31 - adox r14, r13 #117.31 - clc #118.34 - adcx r9, rsi #118.34 - mov rdx, r9 #123.35 - adcx r10, r12 #119.34 - mov r12d, edi #121.34 - adcx rcx, r15 #120.34 - mov r15, 0x0ffffffff #124.35 - adcx rax, r11 #121.34 - mov r11d, DWORD PTR [-168+rbp] #122.34[spill] - setb r12b #121.34 - add r11d, r8d #122.34 - xor r8d, r8d #122.34 - cmp edi, r12d #122.34 - mov r12, -1 #123.35 - adcx r11, r14 #122.34 - mulx r14, r13, r12 #123.35 - setb r8b #122.34 - mov DWORD PTR [-160+rbp], r8d #122.34[spill] - mov r8, 0xffffffff00000001 #125.35 - mulx r15, r12, r15 #124.35 - mulx r8, rsi, r8 #125.35 - mov edx, edi #126.34 - adox edx, edi #126.34 - mov edx, edi #128.34 - adox r13, r15 #126.34 - mov r15d, 0 #127.34 - adox r12, r15 #127.34 - adox r8, r15 #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, rsi #129.31 - mov esi, edi #130.31 - adox esi, edi #130.31 - adox r9, r14 #130.31 - mov r9d, edi #134.34 - adox r10, r13 #131.34 - mov r13d, DWORD PTR [-160+rbp] #140.31[spill] - adox rcx, r12 #132.34 - mov r12, r10 #136.34 - adox rax, r8 #133.34 - mov r8, 0xffffffff00000001 #139.34 - adox r11, rdx #134.34 - mov rdx, 0x0ffffffff #137.34 - seto r9b #134.34 - xor esi, esi #134.34 - mov r14, -1 #134.34 - add r13d, r9d #140.31 - sub r12, r14 #136.34 - mov r14, rcx #137.34 - mov r9, rax #138.34 - sbb r14, rdx #137.34 - mov rdx, r11 #139.34 - sbb r9, r15 #138.34 - sbb rdx, r8 #139.34 - setb sil #139.34 - cmp edi, esi #140.31 - sbb r13, r15 #140.31 - setb dil #140.31 - testq rdi, rdi; - cmovnzq r11, rdx; - testq rdi, rdi; - cmovnzq rax, r9; - testq rdi, rdi; - cmovnzq rcx, r14; - testq rdi, rdi; - cmovnzq r10, r12; - mov QWORD PTR [-280+rbp], r12 #9.0 - mov QWORD PTR [-304+rbp], rdx #230.34 - mov QWORD PTR [-296+rbp], r9 #230.34 - mov QWORD PTR [-288+rbp], r14 #230.34 - vmovups YMMWORD PTR [-208+rbp], ymm0 #231.21 - mov rcx, QWORD PTR [-96+rbp] #159.32[spill] - xor eax, eax #162.32 - mov r9, QWORD PTR [-240+rbp] #159.32 - xor esi, esi #162.32 - mov r11, QWORD PTR [-232+rbp] #160.32 - mov rdi, -1 #9.0 - sub r9, QWORD PTR [rcx] #159.32 - mov r13, QWORD PTR [-224+rbp] #161.32 - sbb r11, QWORD PTR [8+rcx] #160.32 - mov r14, 0xffffffff00000001 #170.30 - mov rdx, QWORD PTR [-216+rbp] #162.32 - sbb r13, QWORD PTR [16+rcx] #161.32 - sbb rdx, QWORD PTR [24+rcx] #162.32 - setb sil #162.32 - xor r12d, r12d #162.32 - xor r15d, r15d #162.32 - xor ecx, ecx #162.32 - testq rsi, rsi; - cmovnzq rdi, rcx; - xor r8d, r8d #165.32 - mov r10d, ecx #167.32 - adcx r9, rcx #165.32 - mov QWORD PTR [-184+rbp], r9 #231.34 - adcx r11, r10 #167.32 - mov QWORD PTR [-192+rbp], r11 #231.34 - adcx r13, r12 #168.32 - mov QWORD PTR [-200+rbp], r13 #231.34 - setb r15b #168.32 - and rcx, r14 #170.30 - cmp eax, r15d #170.30 - adcx rdx, rcx #170.30 - mov QWORD PTR [-208+rbp], rdx #231.34 - vmovups YMMWORD PTR [-272+rbp], ymm0 #232.21 - setb al #170.30 - mov rdx, QWORD PTR [-208+rbp] #232.63 - mov r15, -1 #46.33 - xor esi, esi #42.32 - xor r10d, r10d #42.32 - mov rcx, 0xffffffff00000001 #48.33 - mulx r13, r8, QWORD PTR [-336+rbp] #38.33 - mulx r12, r9, QWORD PTR [-328+rbp] #39.33 - adox r8, r12 #42.32 - mov r12d, r10d #44.32 - mulx rax, r11, QWORD PTR [-320+rbp] #40.33 - adox r9, rax #43.32 - mov rax, 0x0ffffffff #47.33 - mulx rdi, r14, QWORD PTR [-312+rbp] #41.33 - mov rdx, r13 #46.33 - adox r11, rdi #44.32 - mulx rdi, rax, rax #47.33 - seto r12b #44.32 - clc #45.30 - adcx r12, r14 #45.30 - mulx r15, r14, r15 #46.33 - setb sil #45.30 - mulx rsi, rcx, rcx #48.33 - mov edx, r10d #49.32 - adox edx, r10d #49.32 - mov rdx, QWORD PTR [-200+rbp] #58.33 - adox r14, rdi #49.32 - mov edi, 0 #50.32 - adox rax, rdi #50.32 - adox rsi, rdi #51.32 - mov edi, r10d #51.32 - seto dil #51.32 - clc #52.30 - adcx rdi, rcx #52.30 - mov ecx, r10d #53.30 - adox ecx, r10d #53.30 - adox r13, r15 #53.30 - mulx r13, r15, QWORD PTR [-328+rbp] #59.33 - adox r8, r14 #54.32 - mulx r14, rcx, QWORD PTR [-336+rbp] #58.33 - adox r9, rax #55.32 - adox r11, rsi #56.32 - adox r12, rdi #57.32 - mov edi, r10d #57.32 - seto dil #57.32 - clc #62.32 - adcx rcx, r13 #62.32 - mulx rsi, r13, QWORD PTR [-320+rbp] #60.33 - adcx r15, rsi #63.32 - mulx rax, rsi, QWORD PTR [-312+rbp] #61.33 - mov edx, r10d #65.30 - adcx r13, rax #64.32 - mov eax, r10d #64.32 - setb al #64.32 - adox edx, r10d #65.30 - adox rax, rsi #65.30 - clc #66.34 - adcx r8, r14 #66.34 - mov r14d, r10d #70.34 - mov rdx, r8 #71.35 - adcx r9, rcx #67.34 - adcx r11, r15 #68.34 - mov r15, 0x0ffffffff #72.35 - adcx r12, r13 #69.34 - mov r13, -1 #71.35 - mulx rcx, rsi, r13 #71.35 - adcx rdi, rax #70.34 - mulx rax, r13, r15 #72.35 - setb r14b #70.34 - mov DWORD PTR [-240+rbp], r14d #70.34[spill] - mov r14, 0xffffffff00000001 #73.35 - mulx r14, r15, r14 #73.35 - mov edx, r10d #74.34 - adox edx, r10d #74.34 - mov rdx, QWORD PTR [-192+rbp] #84.35 - adox rsi, rax #74.34 - mov eax, 0 #75.34 - adox r13, rax #75.34 - adox r14, rax #76.34 - mov eax, r10d #76.34 - seto al #76.34 - clc #77.31 - adcx rax, r15 #77.31 - mov r15d, r10d #78.31 - adox r15d, r10d #78.31 - adox r8, rcx #78.31 - mov ecx, r10d #82.34 - mulx r8, r15, QWORD PTR [-328+rbp] #85.35 - adox r9, rsi #79.34 - adox r11, r13 #80.34 - adox r12, r14 #81.34 - mulx r13, r14, QWORD PTR [-336+rbp] #84.35 - adox rdi, rax #82.34 - seto cl #82.34 - clc #88.34 - adcx r14, r8 #88.34 - mulx rsi, r8, QWORD PTR [-320+rbp] #86.35 - adcx r15, rsi #89.34 - mulx rax, rsi, QWORD PTR [-312+rbp] #87.35 - mov edx, r10d #91.31 - adcx r8, rax #90.34 - mov eax, r10d #90.34 - setb al #90.34 - adox edx, r10d #91.31 - adox rax, rsi #91.31 - clc #92.34 - mov esi, DWORD PTR [-240+rbp] #96.34[spill] - adcx r9, r13 #92.34 - mov r13d, r10d #95.34 - mov rdx, r9 #97.35 - adcx r11, r14 #93.34 - adcx r12, r15 #94.34 - adcx rdi, r8 #95.34 - setb r13b #95.34 - xor r14d, r14d #95.34 - mov r8, -1 #95.34 - add esi, ecx #96.34 - cmp r10d, r13d #96.34 - mov rcx, 0x0ffffffff #98.35 - mov r13, 0xffffffff00000001 #99.35 - adcx rsi, rax #96.34 - mulx rcx, rax, rcx #98.35 - setb r14b #96.34 - mov DWORD PTR [-232+rbp], r14d #96.34[spill] - mulx r14, r8, r8 #97.35 - mulx r13, r15, r13 #99.35 - mov edx, r10d #100.34 - adox edx, r10d #100.34 - mov rdx, QWORD PTR [-184+rbp] #110.35 - adox r8, rcx #100.34 - mov ecx, 0 #101.34 - adox rax, rcx #101.34 - adox r13, rcx #102.34 - mov ecx, r10d #102.34 - seto cl #102.34 - clc #103.31 - adcx rcx, r15 #103.31 - mov r15d, r10d #104.31 - adox r15d, r10d #104.31 - adox r9, r14 #104.31 - mulx r9, r14, QWORD PTR [-328+rbp] #111.35 - adox r11, r8 #105.34 - mulx r15, r8, QWORD PTR [-336+rbp] #110.35 - adox r12, rax #106.34 - adox rdi, r13 #107.34 - mov r13d, r10d #108.34 - adox rsi, rcx #108.34 - mulx rcx, rax, QWORD PTR [-320+rbp] #112.35 - seto r13b #108.34 - clc #114.34 - adcx r8, r9 #114.34 - adcx r14, rcx #115.34 - mulx r9, rcx, QWORD PTR [-312+rbp] #113.35 - mov edx, r10d #117.31 - adcx rax, r9 #116.34 - mov r9d, r10d #116.34 - setb r9b #116.34 - adox edx, r10d #117.31 - adox r9, rcx #117.31 - clc #118.34 - mov ecx, DWORD PTR [-232+rbp] #122.34[spill] - adcx r11, r15 #118.34 - mov r15, 0x0ffffffff #124.35 - mov rdx, r11 #123.35 - adcx r12, r8 #119.34 - adcx rdi, r14 #120.34 - adcx rsi, rax #121.34 - mov eax, r10d #121.34 - setb al #121.34 - xor r8d, r8d #121.34 - add ecx, r13d #122.34 - mov r13, -1 #122.34 - cmp r10d, eax #122.34 - adcx rcx, r9 #122.34 - mov r9, 0xffffffff00000001 #125.35 - setb r8b #122.34 - mov DWORD PTR [-224+rbp], r8d #122.34[spill] - mulx r8, r14, r13 #123.35 - mulx rax, r13, r15 #124.35 - mulx r9, r15, r9 #125.35 - mov edx, r10d #126.34 - adox edx, r10d #126.34 - mov edx, r10d #128.34 - adox r14, rax #126.34 - mov eax, 0 #127.34 - adox r13, rax #127.34 - adox r9, rax #128.34 - seto dl #128.34 - clc #129.31 - adcx rdx, r15 #129.31 - mov r15d, r10d #130.31 - adox r15d, r10d #130.31 - adox r11, r8 #130.31 - mov r11d, r10d #134.34 - adox r12, r14 #131.34 - mov r14, 0xffffffff00000001 #139.34 - mov r8, r12 #136.34 - adox rdi, r13 #132.34 - adox rsi, r9 #133.34 - mov r9d, DWORD PTR [-224+rbp] #140.31[spill] - adox rcx, rdx #134.34 - mov r13, rcx #139.34 - seto r11b #134.34 - xor r15d, r15d #134.34 - mov rdx, -1 #134.34 - add r9d, r11d #140.31 - sub r8, rdx #136.34 - mov rdx, rdi #137.34 - mov r11, 0x0ffffffff #137.34 - sbb rdx, r11 #137.34 - mov r11, rsi #138.34 - sbb r11, rax #138.34 - sbb r13, r14 #139.34 - setb r15b #139.34 - cmp r10d, r15d #140.31 - mov r15d, r10d #140.31 - sbb r9, rax #140.31 - setb r15b #140.31 - testq r15, r15; - cmovnzq rcx, r13; - xor ecx, ecx #9.0 - testq r15, r15; - cmovnzq rsi, r11; - testq r15, r15; - cmovnzq rdi, rdx; - mov rdi, -1 #9.0 - testq r15, r15; - cmovnzq r12, r8; - xor r12d, r12d #162.32 - mov QWORD PTR [-272+rbp], r13 #232.34 - sub r13, QWORD PTR [-304+rbp] #159.32 - mov QWORD PTR [-264+rbp], r11 #232.34 - sbb r11, QWORD PTR [-296+rbp] #160.32 - mov QWORD PTR [-256+rbp], rdx #232.34 - sbb rdx, QWORD PTR [-288+rbp] #161.32 - mov QWORD PTR [-248+rbp], r8 #232.34 - sbb r8, QWORD PTR [-280+rbp] #162.32 - setb r12b #162.32 - testq r12, r12; - cmovnzq rdi, rcx; - xor esi, esi #165.32 - mov r12d, ecx #167.32 - adcx r13, rcx #165.32 - mov rsi, QWORD PTR [-112+rbp] #9.0[spill] - adcx r11, r12 #167.32 - mov r12d, r10d #168.32 - adcx rdx, rax #168.32 - mov rax, QWORD PTR [-96+rbp] #172.1[spill] - setb r12b #168.32 - and r14, rcx #170.30 - cmp r10d, r12d #170.30 - mov rcx, QWORD PTR [-104+rbp] #9.0[spill] - adcx r8, r14 #170.30 - mov QWORD PTR [40+rax], rdx #172.1 - mov QWORD PTR [48+rax], r11 #173.1 - mov QWORD PTR [56+rax], r13 #174.1 - mov QWORD PTR [32+rax], r8 #171.1 - mov rdi, QWORD PTR [56+rcx] #9.0 - testq rsi, rsi; - cmovnzq r13, rdi; - mov QWORD PTR [56+rax], rdi #234.5 - mov r12, QWORD PTR [48+rcx] #9.0 - testq rsi, rsi; - cmovnzq r11, r12; - mov QWORD PTR [48+rax], r12 #235.5 - mov r10, QWORD PTR [40+rcx] #9.0 - testq rsi, rsi; - cmovnzq rdx, r10; - mov QWORD PTR [40+rax], r10 #236.5 - mov rcx, QWORD PTR [32+rcx] #9.0 - testq rsi, rsi; - cmovnzq r8, rcx; - mov rsi, QWORD PTR [-88+rbp] #9.0[spill] - mov QWORD PTR [32+rax], rcx #237.5 - mov rdx, QWORD PTR [-80+rbp] #9.0[spill] - mov r8, QWORD PTR [56+rsi] #9.0 - testq rdx, rdx; - cmovnzq rdi, r8; - mov QWORD PTR [56+rax], r8 #9.0 - mov r13, QWORD PTR [48+rsi] #9.0 - testq rdx, rdx; - cmovnzq r12, r13; - mov QWORD PTR [48+rax], r13 #9.0 - mov rdi, QWORD PTR [40+rsi] #9.0 - testq rdx, rdx; - cmovnzq r10, rdi; - mov QWORD PTR [40+rax], rdi #9.0 - mov r8, QWORD PTR [32+rsi] #9.0 - testq rdx, rdx; - cmovnzq rcx, r8; - mov QWORD PTR [32+rax], r8 #9.0 - vzeroupper #242.1 - lea rsp, QWORD PTR [-32+rbp] #242.1 - pop r15 #242.1 - pop r14 #242.1 - pop r13 #242.1 - pop r12 #242.1 - pop rbp #242.1 - mov rsp, rbx #242.1 - pop rbx #242.1 - ret #242.1 + 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 |