enter curve25519_carry int64 r int64 h input r input h int64 constants int64 constants_low float64 scale float64 alpha22 float64 alpha43 float64 alpha64 float64 alpha85 float64 alpha107 float64 alpha128 float64 alpha149 float64 alpha170 float64 alpha192 float64 alpha213 float64 alpha234 float64 alpha255 float64 h0 float64 h22 float64 h43 float64 h64 float64 h85 float64 h107 float64 h128 float64 h149 float64 h170 float64 h192 float64 h213 float64 h234 float64 h255 float64 h277 float64 h298 float64 h319 float64 h340 float64 h362 float64 h383 float64 h468 float64 h404 float64 h425 float64 h447 float64 closest22 float64 closest43 float64 closest64 float64 closest85 float64 closest107 float64 closest128 float64 closest149 float64 closest170 float64 closest192 float64 closest213 float64 closest234 float64 closest255 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) h234 = *(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) alpha213 = *(float64 *) (constants + 104) alpha234 = *(float64 *) (constants + 112) alpha255 = *(float64 *) (constants + 120) h447 *= scale h192 += h447 h468 *= scale h213 += h468 closest213 = h192 + alpha213 closest213 -= alpha213 h192 -= closest213 h213 += closest213 closest234 = h213 + alpha234 closest234 -= alpha234 h213 -= closest234 h234 += closest234 closest255 = h234 + alpha255 closest255 -= alpha255 h234 -= closest255 h255 += closest255 h255 *= scale h0 += h255 h277 *= scale h22 += h277 h298 *= scale h43 += h298 h319 *= scale h64 += h319 h340 *= scale h85 += h340 h362 *= scale h107 += h362 h383 *= scale h128 += h383 h404 *= scale h149 += h404 h425 *= scale h170 += h425 alpha22 = *(float64 *) (constants + 32) alpha43 = *(float64 *) (constants + 40) alpha64 = *(float64 *) (constants + 48) alpha85 = *(float64 *) (constants + 56) alpha107 = *(float64 *) (constants + 64) alpha128 = *(float64 *) (constants + 72) alpha149 = *(float64 *) (constants + 80) alpha170 = *(float64 *) (constants + 88) alpha192 = *(float64 *) (constants + 96) closest22 = h0 + alpha22 closest22 -= alpha22 h0 -= closest22 h22 += closest22 closest43 = h22 + alpha43 closest43 -= alpha43 h22 -= closest43 h43 += closest43 closest64 = h43 + alpha64 closest64 -= alpha64 h43 -= closest64 h64 += closest64 closest85 = h64 + alpha85 closest85 -= alpha85 h64 -= closest85 h85 += closest85 closest107 = h85 + alpha107 closest107 -= alpha107 h85 -= closest107 h107 += closest107 closest128 = h107 + alpha128 closest128 -= alpha128 h107 -= closest128 h128 += closest128 closest149 = h128 + alpha149 closest149 -= alpha149 h128 -= closest149 h149 += closest149 closest170 = h149 + alpha170 closest170 -= alpha170 h149 -= closest170 h170 += closest170 closest192 = h170 + alpha192 closest192 -= alpha192 h170 -= closest192 h192 += closest192 closest213 = h192 + alpha213 closest213 -= alpha213 h192 -= closest213 h213 += closest213 *(float64 *) (r + 0) = h0 *(float64 *) (r + 8) = h22 *(float64 *) (r + 16) = h43 *(float64 *) (r + 24) = h64 *(float64 *) (r + 32) = h85 *(float64 *) (r + 40) = h107 *(float64 *) (r + 48) = h128 *(float64 *) (r + 56) = h149 *(float64 *) (r + 64) = h170 *(float64 *) (r + 72) = h192 *(float64 *) (r + 80) = h213 *(float64 *) (r + 88) = h234 leave