From 674c7e7bf33e60a1b880532c365e819ed946e473 Mon Sep 17 00:00:00 2001 From: Lee Clagett Date: Sun, 20 Aug 2017 11:30:02 -0400 Subject: [PATCH] Make amd64-51-30k and amd64-54-24k position independent --- .../crypto/ed25519/amd64-51-30k/choose_t.s | 10 +- .../ed25519/amd64-51-30k/fe25519_freeze.s | 2 +- .../crypto/ed25519/amd64-51-30k/fe25519_mul.s | 2 +- .../ed25519/amd64-51-30k/fe25519_nsquare.s | 2 +- .../ed25519/amd64-51-30k/fe25519_square.s | 2 +- .../ed25519/amd64-51-30k/ge25519_add_p1p1.s | 100 +++++++++--------- .../ed25519/amd64-51-30k/ge25519_dbl_p1p1.s | 38 +++---- .../ed25519/amd64-51-30k/ge25519_nielsadd2.s | 44 ++++---- .../amd64-51-30k/ge25519_nielsadd_p1p1.s | 36 +++---- .../ed25519/amd64-51-30k/ge25519_p1p1_to_p2.s | 6 +- .../ed25519/amd64-51-30k/ge25519_p1p1_to_p3.s | 8 +- .../amd64-51-30k/ge25519_p1p1_to_pniels.s | 70 ++++++------ .../amd64-51-30k/ge25519_pnielsadd_p1p1.s | 38 +++---- .../crypto/ed25519/amd64-64-24k/fe25519_mul.s | 8 +- .../ed25519/amd64-64-24k/fe25519_square.s | 8 +- .../ed25519/amd64-64-24k/ge25519_add_p1p1.s | 72 ++++++------- .../ed25519/amd64-64-24k/ge25519_dbl_p1p1.s | 32 +++--- .../ed25519/amd64-64-24k/ge25519_nielsadd2.s | 56 +++++----- .../amd64-64-24k/ge25519_nielsadd_p1p1.s | 24 ++--- .../ed25519/amd64-64-24k/ge25519_p1p1_to_p2.s | 24 ++--- .../ed25519/amd64-64-24k/ge25519_p1p1_to_p3.s | 32 +++--- .../amd64-64-24k/ge25519_pnielsadd_p1p1.s | 32 +++--- 22 files changed, 323 insertions(+), 323 deletions(-) diff --git a/src/wallet/crypto/ed25519/amd64-51-30k/choose_t.s b/src/wallet/crypto/ed25519/amd64-51-30k/choose_t.s index 6a64c082e4..ed9772f115 100644 --- a/src/wallet/crypto/ed25519/amd64-51-30k/choose_t.s +++ b/src/wallet/crypto/ed25519/amd64-51-30k/choose_t.s @@ -1680,27 +1680,27 @@ cmove %rdi,%r11 # qhasm: tt0 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P0 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P0,>tt0=int64#1 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P0,>tt0=%rdi -movq crypto_sign_ed25519_amd64_51_30k_batch_2P0,%rdi +movq crypto_sign_ed25519_amd64_51_30k_batch_2P0(%rip),%rdi # qhasm: tt1 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt1=int64#4 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt1=%rcx -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%rcx +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%rcx # qhasm: tt2 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt2=int64#5 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt2=%r8 -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%r8 +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%r8 # qhasm: tt3 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt3=int64#10 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt3=%r12 -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%r12 +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%r12 # qhasm: tt4 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt4=int64#11 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>tt4=%r13 -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%r13 +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%r13 # qhasm: tt0 -= tt2d0 # asm 1: sub two51minus1=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>two51minus1=%rax -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rax +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rax # qhasm: two51minus19 = two51minus1 # asm 1: mov two51minus19=int64#8 diff --git a/src/wallet/crypto/ed25519/amd64-51-30k/fe25519_mul.s b/src/wallet/crypto/ed25519/amd64-51-30k/fe25519_mul.s index 9d6c537a24..63e4d654a6 100644 --- a/src/wallet/crypto/ed25519/amd64-51-30k/fe25519_mul.s +++ b/src/wallet/crypto/ed25519/amd64-51-30k/fe25519_mul.s @@ -692,7 +692,7 @@ adc %rdx,%r15 # qhasm: mulredmask = *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: mulr01 = (mulr01.r0) << 13 # asm 1: shld $13,squareredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>squareredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: squarer01 = (squarer01.r0) << 13 # asm 1: shld $13,squareredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>squareredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: squarer01 = (squarer01.r0) << 13 # asm 1: shld $13,x0=int64#10 @@ -357,7 +357,7 @@ mov %r8,%r12 # qhasm: a1 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,x1=int64#11 @@ -382,7 +382,7 @@ mov %r9,%r13 # qhasm: a2 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,x2=int64#12 @@ -407,7 +407,7 @@ mov %rax,%r14 # qhasm: a3 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,x3=int64#13 @@ -432,7 +432,7 @@ mov %r10,%r15 # qhasm: a4 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,x4=int64#14 @@ -532,7 +532,7 @@ mov %rdx,%r11 # qhasm: t10 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P0 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P0,rx0=int64#10 @@ -557,7 +557,7 @@ mov %r8,%r12 # qhasm: t11 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,rx1=int64#11 @@ -582,7 +582,7 @@ mov %r9,%r13 # qhasm: t12 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,rx2=int64#12 @@ -607,7 +607,7 @@ mov %rax,%r14 # qhasm: t13 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,rx3=int64#13 @@ -632,7 +632,7 @@ mov %r10,%r15 # qhasm: t14 += *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P1234,rx4=int64#14 @@ -1237,7 +1237,7 @@ adc %rdx,%r15 # qhasm: mulredmask = *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.a0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rx0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.c0) << 13 # asm 1: shld $13,c0=int64#5 @@ -3118,7 +3118,7 @@ imulq $19,%rdx,%rax movq %rax,104(%rsp) # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D1 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D1 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D1(%rip) # qhasm: carry? c0 += mulrax # asm 1: add c1=int64#8 @@ -3172,7 +3172,7 @@ mov %rdx,%r11 movq 56(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D2 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D2 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D2(%rip) # qhasm: c2 = mulrax # asm 1: mov c2=int64#10 @@ -3190,7 +3190,7 @@ mov %rdx,%r13 movq 56(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D3 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D3 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D3(%rip) # qhasm: c3 = mulrax # asm 1: mov c3=int64#12 @@ -3208,7 +3208,7 @@ mov %rdx,%r15 movq 56(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D4 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D4 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D4(%rip) # qhasm: c4 = mulrax # asm 1: mov c4=int64#14 @@ -3226,7 +3226,7 @@ mov %rdx,%rbp movq 64(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D0 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D0 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D0(%rip) # qhasm: carry? c1 += mulrax # asm 1: add mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.c0) << 13 # asm 1: shld $13,mulredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: mulr01 = (mulr01.rt0) << 13 # asm 1: shld $13,squareredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>squareredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: squarer01 = (squarer01.a0) << 13 # asm 1: shld $13,squareredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>squareredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: squarer01 = (squarer01.b0) << 13 # asm 1: shld $13,squareredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>squareredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: squarer01 = (squarer01.c0) << 13 # asm 1: shld $13,d0=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P0,>d0=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_2P0,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_2P0(%rip),%rdx # qhasm: d1 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d1=int64#4 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d1=%rcx -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%rcx +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%rcx # qhasm: d2 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d2=int64#5 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d2=%r8 -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%r8 +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%r8 # qhasm: d3 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d3=int64#6 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d3=%r9 -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%r9 +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%r9 # qhasm: d4 = *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P1234 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d4=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,>d4=%rax -movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234,%rax +movq crypto_sign_ed25519_amd64_51_30k_batch_2P1234(%rip),%rax # qhasm: e0 = d0 # asm 1: mov e0=int64#8 @@ -2266,27 +2266,27 @@ movq %r14,72(%rdi) # qhasm: d0 += *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_2P0 # asm 1: add crypto_sign_ed25519_amd64_51_30k_batch_2P0,squareredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>squareredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: squarer01 = (squarer01.rx0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.a0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.e0) << 13 # asm 1: shld $13,mulredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: mulr01 = (mulr01.c0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rx0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.ry0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rz0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rt0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.a0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.e0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.c0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rx0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.ry0) << 13 # asm 1: shld $13,mulredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: mulr01 = (mulr01.rz0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rx0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.ry0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rz0) << 13 # asm 1: shld $13,mulredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: mulr01 = (mulr01.rt0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.x0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.y0) << 13 # asm 1: shld $13,x0=int64#13 @@ -2406,7 +2406,7 @@ adc %rdx,%r14 # qhasm: mulredmask = *(uint64 *) &crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51 # asm 1: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rz0) << 13 # asm 1: shld $13,mulredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: mulr01 = (mulr01.t0) << 13 # asm 1: shld $13,t2d0=int64#2 @@ -3412,7 +3412,7 @@ imulq $19,%rdx,%rax movq %rax,104(%rsp) # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D1 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D1 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D1(%rip) # qhasm: carry? t2d0 += mulrax # asm 1: add t2d1=int64#5 @@ -3466,7 +3466,7 @@ mov %rdx,%r9 movq 56(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D2 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D2 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D2(%rip) # qhasm: t2d2 = mulrax # asm 1: mov t2d2=int64#8 @@ -3484,7 +3484,7 @@ mov %rdx,%r11 movq 56(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D3 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D3 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D3(%rip) # qhasm: t2d3 = mulrax # asm 1: mov t2d3=int64#10 @@ -3502,7 +3502,7 @@ mov %rdx,%r13 movq 56(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D4 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D4 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D4(%rip) # qhasm: t2d4 = mulrax # asm 1: mov t2d4=int64#12 @@ -3520,7 +3520,7 @@ mov %rdx,%r15 movq 64(%rsp),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_51_30k_batch_EC2D0 -mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D0 +mulq crypto_sign_ed25519_amd64_51_30k_batch_EC2D0(%rip) # qhasm: carry? t2d1 += mulrax # asm 1: add mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.t2d0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.a0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.rx0) << 13 # asm 1: shld $13,mulredmask=int64#3 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rdx -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rdx +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rdx # qhasm: mulr01 = (mulr01.c0) << 13 # asm 1: shld $13,mulredmask=int64#2 # asm 2: movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,>mulredmask=%rsi -movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51,%rsi +movq crypto_sign_ed25519_amd64_51_30k_batch_REDMASK51(%rip),%rsi # qhasm: mulr01 = (mulr01.rt0) << 13 # asm 1: shld $13,mulr4=int64#2 @@ -670,7 +670,7 @@ mov %r9,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add squarer4=int64#2 @@ -444,7 +444,7 @@ mov %r12,%rax mov %rdx,%r11 # qhasm: (uint128) squarerdx squarerax = squarerax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? squarer5 += squarerax # asm 1: add mulr4=int64#5 @@ -1226,7 +1226,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#5 @@ -1908,7 +1908,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#5 @@ -2760,7 +2760,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D0,%rax +movq crypto_sign_ed25519_amd64_64_EC2D0(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx0 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D1,%rax +movq crypto_sign_ed25519_amd64_64_EC2D1(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx0 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D2,%rax +movq crypto_sign_ed25519_amd64_64_EC2D2(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx0 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D3,%rax +movq crypto_sign_ed25519_amd64_64_EC2D3(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx0 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D0,%rax +movq crypto_sign_ed25519_amd64_64_EC2D0(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx1 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D1,%rax +movq crypto_sign_ed25519_amd64_64_EC2D1(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx1 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D2,%rax +movq crypto_sign_ed25519_amd64_64_EC2D2(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx1 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D3,%rax +movq crypto_sign_ed25519_amd64_64_EC2D3(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx1 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D0,%rax +movq crypto_sign_ed25519_amd64_64_EC2D0(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx2 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D1,%rax +movq crypto_sign_ed25519_amd64_64_EC2D1(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx2 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D2,%rax +movq crypto_sign_ed25519_amd64_64_EC2D2(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx2 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D3,%rax +movq crypto_sign_ed25519_amd64_64_EC2D3(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx2 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D0,%rax +movq crypto_sign_ed25519_amd64_64_EC2D0(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx3 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D1,%rax +movq crypto_sign_ed25519_amd64_64_EC2D1(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx3 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D2,%rax +movq crypto_sign_ed25519_amd64_64_EC2D2(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx3 # asm 1: mul mulrax=int64#7 # asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax -movq crypto_sign_ed25519_amd64_64_EC2D3,%rax +movq crypto_sign_ed25519_amd64_64_EC2D3(%rip),%rax # qhasm: (uint128) mulrdx mulrax = mulrax * mulx3 # asm 1: mul mulr4=int64#5 @@ -3442,7 +3442,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -4124,7 +4124,7 @@ mov %r9,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add squarer4=int64#9 @@ -594,7 +594,7 @@ mov %r12,%rax mov %rdx,%r12 # qhasm: (uint128) squarerdx squarerax = squarerax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? squarer5 += squarerax # asm 1: add squarer4=int64#9 @@ -1061,7 +1061,7 @@ mov %r12,%rax mov %rdx,%r12 # qhasm: (uint128) squarerdx squarerax = squarerax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? squarer5 += squarerax # asm 1: add squarer4=int64#9 @@ -1528,7 +1528,7 @@ mov %r12,%rax mov %rdx,%r12 # qhasm: (uint128) squarerdx squarerax = squarerax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? squarer5 += squarerax # asm 1: add squarer4=int64#8 @@ -2650,7 +2650,7 @@ mov %r11,%rax mov %rdx,%r11 # qhasm: (uint128) squarerdx squarerax = squarerax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? squarer5 += squarerax # asm 1: add mulr4=int64#4 @@ -1079,7 +1079,7 @@ mov %r8,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#4 @@ -1761,7 +1761,7 @@ mov %r8,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -2613,7 +2613,7 @@ mov %r8,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -3550,7 +3550,7 @@ mov %rcx,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -4232,7 +4232,7 @@ mov %rcx,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -4914,7 +4914,7 @@ mov %rcx,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -5596,7 +5596,7 @@ mov %rcx,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#5 @@ -1088,7 +1088,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#5 @@ -1770,7 +1770,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#4 @@ -2622,7 +2622,7 @@ mov %r9,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#4 @@ -677,7 +677,7 @@ mov %r8,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#4 @@ -1359,7 +1359,7 @@ mov %r8,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -2041,7 +2041,7 @@ mov %r8,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#4 @@ -685,7 +685,7 @@ mov %r8,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#4 @@ -1367,7 +1367,7 @@ mov %r8,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#4 @@ -2049,7 +2049,7 @@ mov %r8,%rax mov %rdx,%r8 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -2731,7 +2731,7 @@ mov %r8,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#5 @@ -1016,7 +1016,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#5 @@ -1698,7 +1698,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#5 @@ -2550,7 +2550,7 @@ mov %r9,%rax mov %rdx,%r9 # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add mulr4=int64#2 @@ -3232,7 +3232,7 @@ mov %r9,%rax mov %rdx,%rcx # qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38 -mulq crypto_sign_ed25519_amd64_64_38 +mulq crypto_sign_ed25519_amd64_64_38(%rip) # qhasm: carry? mulr5 += mulrax # asm 1: add