@@ -1208,7 +1208,7 @@ adc %rdx,%r11
1208
1208
mov %r8 ,%rax
1209
1209
1210
1210
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1211
- mulq crypto_sign_ed25519_amd64_64_38
1211
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1212
1212
1213
1213
# qhasm: mulr4 = mulrax
1214
1214
# asm 1: mov <mulrax=int64#7,>mulr4=int64#5
@@ -1226,7 +1226,7 @@ mov %r9,%rax
1226
1226
mov %rdx ,%r9
1227
1227
1228
1228
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1229
- mulq crypto_sign_ed25519_amd64_64_38
1229
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1230
1230
1231
1231
# qhasm: carry? mulr5 += mulrax
1232
1232
# asm 1: add <mulrax=int64#7,<mulr5=int64#6
@@ -1249,7 +1249,7 @@ mov $0,%r10
1249
1249
adc %rdx ,%r10
1250
1250
1251
1251
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1252
- mulq crypto_sign_ed25519_amd64_64_38
1252
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1253
1253
1254
1254
# qhasm: carry? mulr6 += mulrax
1255
1255
# asm 1: add <mulrax=int64#7,<mulr6=int64#8
@@ -1272,7 +1272,7 @@ mov $0,%r11
1272
1272
adc %rdx ,%r11
1273
1273
1274
1274
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1275
- mulq crypto_sign_ed25519_amd64_64_38
1275
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1276
1276
1277
1277
# qhasm: carry? mulr7 += mulrax
1278
1278
# asm 1: add <mulrax=int64#7,<mulr7=int64#9
@@ -1890,7 +1890,7 @@ adc %rdx,%r11
1890
1890
mov %r8 ,%rax
1891
1891
1892
1892
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1893
- mulq crypto_sign_ed25519_amd64_64_38
1893
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1894
1894
1895
1895
# qhasm: mulr4 = mulrax
1896
1896
# asm 1: mov <mulrax=int64#7,>mulr4=int64#5
@@ -1908,7 +1908,7 @@ mov %r9,%rax
1908
1908
mov %rdx ,%r9
1909
1909
1910
1910
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1911
- mulq crypto_sign_ed25519_amd64_64_38
1911
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1912
1912
1913
1913
# qhasm: carry? mulr5 += mulrax
1914
1914
# asm 1: add <mulrax=int64#7,<mulr5=int64#6
@@ -1931,7 +1931,7 @@ mov $0,%r10
1931
1931
adc %rdx ,%r10
1932
1932
1933
1933
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1934
- mulq crypto_sign_ed25519_amd64_64_38
1934
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1935
1935
1936
1936
# qhasm: carry? mulr6 += mulrax
1937
1937
# asm 1: add <mulrax=int64#7,<mulr6=int64#8
@@ -1954,7 +1954,7 @@ mov $0,%r11
1954
1954
adc %rdx ,%r11
1955
1955
1956
1956
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
1957
- mulq crypto_sign_ed25519_amd64_64_38
1957
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
1958
1958
1959
1959
# qhasm: carry? mulr7 += mulrax
1960
1960
# asm 1: add <mulrax=int64#7,<mulr7=int64#9
@@ -2742,7 +2742,7 @@ adc %rdx,%r11
2742
2742
mov %r8 ,%rax
2743
2743
2744
2744
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
2745
- mulq crypto_sign_ed25519_amd64_64_38
2745
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
2746
2746
2747
2747
# qhasm: mulr4 = mulrax
2748
2748
# asm 1: mov <mulrax=int64#7,>mulr4=int64#5
@@ -2760,7 +2760,7 @@ mov %r9,%rax
2760
2760
mov %rdx ,%r9
2761
2761
2762
2762
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
2763
- mulq crypto_sign_ed25519_amd64_64_38
2763
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
2764
2764
2765
2765
# qhasm: carry? mulr5 += mulrax
2766
2766
# asm 1: add <mulrax=int64#7,<mulr5=int64#6
@@ -2783,7 +2783,7 @@ mov $0,%r10
2783
2783
adc %rdx ,%r10
2784
2784
2785
2785
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
2786
- mulq crypto_sign_ed25519_amd64_64_38
2786
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
2787
2787
2788
2788
# qhasm: carry? mulr6 += mulrax
2789
2789
# asm 1: add <mulrax=int64#7,<mulr6=int64#8
@@ -2806,7 +2806,7 @@ mov $0,%r11
2806
2806
adc %rdx ,%r11
2807
2807
2808
2808
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
2809
- mulq crypto_sign_ed25519_amd64_64_38
2809
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
2810
2810
2811
2811
# qhasm: carry? mulr7 += mulrax
2812
2812
# asm 1: add <mulrax=int64#7,<mulr7=int64#9
@@ -2941,7 +2941,7 @@ movq 56(%rsp),%r12
2941
2941
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D0
2942
2942
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=int64#7
2943
2943
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax
2944
- movq crypto_sign_ed25519_amd64_64_EC2D0,%rax
2944
+ movq crypto_sign_ed25519_amd64_64_EC2D0( %rip ) ,%rax
2945
2945
2946
2946
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx0
2947
2947
# asm 1: mul <mulx0=int64#10
@@ -2961,7 +2961,7 @@ mov %rdx,%r14
2961
2961
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D1
2962
2962
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=int64#7
2963
2963
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax
2964
- movq crypto_sign_ed25519_amd64_64_EC2D1,%rax
2964
+ movq crypto_sign_ed25519_amd64_64_EC2D1( %rip ) ,%rax
2965
2965
2966
2966
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx0
2967
2967
# asm 1: mul <mulx0=int64#10
@@ -2986,7 +2986,7 @@ adc %rdx,%r15
2986
2986
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D2
2987
2987
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=int64#7
2988
2988
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax
2989
- movq crypto_sign_ed25519_amd64_64_EC2D2,%rax
2989
+ movq crypto_sign_ed25519_amd64_64_EC2D2( %rip ) ,%rax
2990
2990
2991
2991
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx0
2992
2992
# asm 1: mul <mulx0=int64#10
@@ -3011,7 +3011,7 @@ adc %rdx,%rbx
3011
3011
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D3
3012
3012
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=int64#7
3013
3013
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax
3014
- movq crypto_sign_ed25519_amd64_64_EC2D3,%rax
3014
+ movq crypto_sign_ed25519_amd64_64_EC2D3( %rip ) ,%rax
3015
3015
3016
3016
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx0
3017
3017
# asm 1: mul <mulx0=int64#10
@@ -3036,7 +3036,7 @@ movq 64(%rsp),%r12
3036
3036
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D0
3037
3037
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=int64#7
3038
3038
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax
3039
- movq crypto_sign_ed25519_amd64_64_EC2D0,%rax
3039
+ movq crypto_sign_ed25519_amd64_64_EC2D0( %rip ) ,%rax
3040
3040
3041
3041
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx1
3042
3042
# asm 1: mul <mulx1=int64#10
@@ -3061,7 +3061,7 @@ adc %rdx,%rbp
3061
3061
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D1
3062
3062
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=int64#7
3063
3063
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax
3064
- movq crypto_sign_ed25519_amd64_64_EC2D1,%rax
3064
+ movq crypto_sign_ed25519_amd64_64_EC2D1( %rip ) ,%rax
3065
3065
3066
3066
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx1
3067
3067
# asm 1: mul <mulx1=int64#10
@@ -3096,7 +3096,7 @@ adc %rdx,%rbp
3096
3096
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D2
3097
3097
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=int64#7
3098
3098
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax
3099
- movq crypto_sign_ed25519_amd64_64_EC2D2,%rax
3099
+ movq crypto_sign_ed25519_amd64_64_EC2D2( %rip ) ,%rax
3100
3100
3101
3101
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx1
3102
3102
# asm 1: mul <mulx1=int64#10
@@ -3131,7 +3131,7 @@ adc %rdx,%rbp
3131
3131
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D3
3132
3132
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=int64#7
3133
3133
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax
3134
- movq crypto_sign_ed25519_amd64_64_EC2D3,%rax
3134
+ movq crypto_sign_ed25519_amd64_64_EC2D3( %rip ) ,%rax
3135
3135
3136
3136
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx1
3137
3137
# asm 1: mul <mulx1=int64#10
@@ -3166,7 +3166,7 @@ movq 72(%rsp),%r12
3166
3166
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D0
3167
3167
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=int64#7
3168
3168
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax
3169
- movq crypto_sign_ed25519_amd64_64_EC2D0,%rax
3169
+ movq crypto_sign_ed25519_amd64_64_EC2D0( %rip ) ,%rax
3170
3170
3171
3171
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx2
3172
3172
# asm 1: mul <mulx2=int64#10
@@ -3191,7 +3191,7 @@ adc %rdx,%rbp
3191
3191
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D1
3192
3192
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=int64#7
3193
3193
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax
3194
- movq crypto_sign_ed25519_amd64_64_EC2D1,%rax
3194
+ movq crypto_sign_ed25519_amd64_64_EC2D1( %rip ) ,%rax
3195
3195
3196
3196
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx2
3197
3197
# asm 1: mul <mulx2=int64#10
@@ -3226,7 +3226,7 @@ adc %rdx,%rbp
3226
3226
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D2
3227
3227
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=int64#7
3228
3228
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax
3229
- movq crypto_sign_ed25519_amd64_64_EC2D2,%rax
3229
+ movq crypto_sign_ed25519_amd64_64_EC2D2( %rip ) ,%rax
3230
3230
3231
3231
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx2
3232
3232
# asm 1: mul <mulx2=int64#10
@@ -3261,7 +3261,7 @@ adc %rdx,%rbp
3261
3261
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D3
3262
3262
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=int64#7
3263
3263
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax
3264
- movq crypto_sign_ed25519_amd64_64_EC2D3,%rax
3264
+ movq crypto_sign_ed25519_amd64_64_EC2D3( %rip ) ,%rax
3265
3265
3266
3266
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx2
3267
3267
# asm 1: mul <mulx2=int64#10
@@ -3296,7 +3296,7 @@ movq 80(%rsp),%r12
3296
3296
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D0
3297
3297
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=int64#7
3298
3298
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D0,>mulrax=%rax
3299
- movq crypto_sign_ed25519_amd64_64_EC2D0,%rax
3299
+ movq crypto_sign_ed25519_amd64_64_EC2D0( %rip ) ,%rax
3300
3300
3301
3301
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx3
3302
3302
# asm 1: mul <mulx3=int64#10
@@ -3321,7 +3321,7 @@ adc %rdx,%rbp
3321
3321
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D1
3322
3322
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=int64#7
3323
3323
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D1,>mulrax=%rax
3324
- movq crypto_sign_ed25519_amd64_64_EC2D1,%rax
3324
+ movq crypto_sign_ed25519_amd64_64_EC2D1( %rip ) ,%rax
3325
3325
3326
3326
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx3
3327
3327
# asm 1: mul <mulx3=int64#10
@@ -3356,7 +3356,7 @@ adc %rdx,%rbp
3356
3356
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D2
3357
3357
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=int64#7
3358
3358
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D2,>mulrax=%rax
3359
- movq crypto_sign_ed25519_amd64_64_EC2D2,%rax
3359
+ movq crypto_sign_ed25519_amd64_64_EC2D2( %rip ) ,%rax
3360
3360
3361
3361
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx3
3362
3362
# asm 1: mul <mulx3=int64#10
@@ -3391,7 +3391,7 @@ adc %rdx,%rbp
3391
3391
# qhasm: mulrax = *(uint64 *)&crypto_sign_ed25519_amd64_64_EC2D3
3392
3392
# asm 1: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=int64#7
3393
3393
# asm 2: movq crypto_sign_ed25519_amd64_64_EC2D3,>mulrax=%rax
3394
- movq crypto_sign_ed25519_amd64_64_EC2D3,%rax
3394
+ movq crypto_sign_ed25519_amd64_64_EC2D3( %rip ) ,%rax
3395
3395
3396
3396
# qhasm: (uint128) mulrdx mulrax = mulrax * mulx3
3397
3397
# asm 1: mul <mulx3=int64#10
@@ -3424,7 +3424,7 @@ adc %rdx,%r11
3424
3424
mov %r8 ,%rax
3425
3425
3426
3426
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
3427
- mulq crypto_sign_ed25519_amd64_64_38
3427
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
3428
3428
3429
3429
# qhasm: mulr4 = mulrax
3430
3430
# asm 1: mov <mulrax=int64#7,>mulr4=int64#5
@@ -3442,7 +3442,7 @@ mov %r9,%rax
3442
3442
mov %rdx ,%r9
3443
3443
3444
3444
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
3445
- mulq crypto_sign_ed25519_amd64_64_38
3445
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
3446
3446
3447
3447
# qhasm: carry? mulr5 += mulrax
3448
3448
# asm 1: add <mulrax=int64#7,<mulr5=int64#6
@@ -3465,7 +3465,7 @@ mov $0,%r10
3465
3465
adc %rdx ,%r10
3466
3466
3467
3467
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
3468
- mulq crypto_sign_ed25519_amd64_64_38
3468
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
3469
3469
3470
3470
# qhasm: carry? mulr6 += mulrax
3471
3471
# asm 1: add <mulrax=int64#7,<mulr6=int64#8
@@ -3488,7 +3488,7 @@ mov $0,%r11
3488
3488
adc %rdx ,%r11
3489
3489
3490
3490
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
3491
- mulq crypto_sign_ed25519_amd64_64_38
3491
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
3492
3492
3493
3493
# qhasm: carry? mulr7 += mulrax
3494
3494
# asm 1: add <mulrax=int64#7,<mulr7=int64#9
@@ -4106,7 +4106,7 @@ adc %rdx,%r11
4106
4106
mov %r8 ,%rax
4107
4107
4108
4108
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
4109
- mulq crypto_sign_ed25519_amd64_64_38
4109
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
4110
4110
4111
4111
# qhasm: mulr4 = mulrax
4112
4112
# asm 1: mov <mulrax=int64#7,>mulr4=int64#2
@@ -4124,7 +4124,7 @@ mov %r9,%rax
4124
4124
mov %rdx ,%rcx
4125
4125
4126
4126
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
4127
- mulq crypto_sign_ed25519_amd64_64_38
4127
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
4128
4128
4129
4129
# qhasm: carry? mulr5 += mulrax
4130
4130
# asm 1: add <mulrax=int64#7,<mulr5=int64#4
@@ -4147,7 +4147,7 @@ mov $0,%r8
4147
4147
adc %rdx ,%r8
4148
4148
4149
4149
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
4150
- mulq crypto_sign_ed25519_amd64_64_38
4150
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
4151
4151
4152
4152
# qhasm: carry? mulr6 += mulrax
4153
4153
# asm 1: add <mulrax=int64#7,<mulr6=int64#5
@@ -4170,7 +4170,7 @@ mov $0,%r9
4170
4170
adc %rdx ,%r9
4171
4171
4172
4172
# qhasm: (uint128) mulrdx mulrax = mulrax * *(uint64 *)&crypto_sign_ed25519_amd64_64_38
4173
- mulq crypto_sign_ed25519_amd64_64_38
4173
+ mulq crypto_sign_ed25519_amd64_64_38( %rip )
4174
4174
4175
4175
# qhasm: carry? mulr7 += mulrax
4176
4176
# asm 1: add <mulrax=int64#7,<mulr7=int64#6
0 commit comments