enter curve25519_modp

int64 r
int64 h

input r
input h

int64 constants
int64 constants_low

float64 scale

float64 r0
float64 r22
float64 r43
float64 r64
float64 r85
float64 r107
float64 r128
float64 r149
float64 r170
float64 r192
float64 r213
float64 r234

float64 h0
float64 h22
float64 h43
float64 h64
float64 h85
float64 h107
float64 h128
float64 h149
float64 h170
float64 h192
float64 h213

float64 h255
float64 h277
float64 h298
float64 h319
float64 h340
float64 h362
float64 h383
float64 h468
float64 h404
float64 h425
float64 h447

constants = (curve25519_constants & 0xfffffc0000000000) >> 32
constants_low = curve25519_constants & 0xfffffc00
constants |= (curve25519_constants & 0x3ff00000000) >> 32
constants_low |= curve25519_constants & 0x3ff
constants <<= 32
constants |= constants_low

h0 = *(float64 *) (h + 0)
h22 = *(float64 *) (h + 8)
h43 = *(float64 *) (h + 16)
h64 = *(float64 *) (h + 24)
h85 = *(float64 *) (h + 32)
h107 = *(float64 *) (h + 40)
h128 = *(float64 *) (h + 48)
h149 = *(float64 *) (h + 56)
h170 = *(float64 *) (h + 64)
h192 = *(float64 *) (h + 72)
h213 = *(float64 *) (h + 80)

r234 = *(float64 *) (h + 88)

h255 = *(float64 *) (h + 96)
h277 = *(float64 *) (h + 104)
h298 = *(float64 *) (h + 112)
h319 = *(float64 *) (h + 120)
h340 = *(float64 *) (h + 128)
h362 = *(float64 *) (h + 136)
h383 = *(float64 *) (h + 144)
h468 = *(float64 *) (h + 176)
h404 = *(float64 *) (h + 152)
h425 = *(float64 *) (h + 160)
h447 = *(float64 *) (h + 168)

scale = *(float64 *) (constants + 16)

r0 = scale * h255
r22 = scale * h277
r43 = scale * h298
r64 = scale * h319
r85 = scale * h340
r107 = scale * h362
r128 = scale * h383
r149 = scale * h404
r170 = scale * h425
r192 = scale * h447
r213 = scale * h468

r0 += h0
r22 += h22
r43 += h43
r64 += h64
r85 += h85
r107 += h107
r128 += h128
r149 += h149
r170 += h170
r192 += h192
r213 += h213

*(float64 *) (r + 0) = r0
*(float64 *) (r + 8) = r22
*(float64 *) (r + 16) = r43
*(float64 *) (r + 24) = r64
*(float64 *) (r + 32) = r85
*(float64 *) (r + 40) = r107
*(float64 *) (r + 48) = r128
*(float64 *) (r + 56) = r149
*(float64 *) (r + 64) = r170
*(float64 *) (r + 72) = r192
*(float64 *) (r + 80) = r213
*(float64 *) (r + 88) = r234

leave