enter curve25519_sq int64 h int64 f input h input f int64 constants int64 constants_low float64 two float64 f0 float64 f22 float64 f43 float64 f64 float64 f85 float64 f107 float64 f128 float64 f149 float64 f170 float64 f192 float64 f213 float64 f234 float64 2f0 float64 2f22 float64 2f43 float64 2f64 float64 2f85 float64 2f107 float64 2f128 float64 2f149 float64 2f170 float64 2f192 float64 2f213 float64 x 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 h404 float64 h425 float64 h447 float64 h468 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 two = *(float64 *) (constants + 24) f0 = *(float64 *) (f + 0) f22 = *(float64 *) (f + 8) f43 = *(float64 *) (f + 16) f64 = *(float64 *) (f + 24) f85 = *(float64 *) (f + 32) f107 = *(float64 *) (f + 40) f128 = *(float64 *) (f + 48) f149 = *(float64 *) (f + 56) f170 = *(float64 *) (f + 64) f192 = *(float64 *) (f + 72) f213 = *(float64 *) (f + 80) f234 = *(float64 *) (f + 88) 2f0 = two * f0 2f22 = two * f22 2f43 = two * f43 2f64 = two * f64 2f85 = two * f85 2f107 = two * f107 2f128 = two * f128 2f149 = two * f149 2f170 = two * f170 2f192 = two * f192 2f213 = two * f213 h0 = f0 * f0 *(float64 *) (h + 0) = h0 h22 = 2f0 * f22 *(float64 *) (h + 8) = h22 h43 = 2f0 * f43 x = f22 * f22 h43 += x *(float64 *) (h + 16) = h43 h64 = 2f0 * f64 x = 2f22 * f43 h64 += x *(float64 *) (h + 24) = h64 h85 = 2f0 * f85 x = 2f22 * f64 h85 += x x = f43 * f43 h85 += x *(float64 *) (h + 32) = h85 h107 = 2f0 * f107 x = 2f22 * f85 h107 += x x = 2f43 * f64 h107 += x *(float64 *) (h + 40) = h107 h128 = 2f0 * f128 x = 2f22 * f107 h128 += x x = 2f43 * f85 h128 += x x = f64 * f64 h128 += x *(float64 *) (h + 48) = h128 h149 = 2f0 * f149 x = 2f22 * f128 h149 += x x = 2f43 * f107 h149 += x x = 2f64 * f85 h149 += x *(float64 *) (h + 56) = h149 h170 = 2f0 * f170 x = 2f22 * f149 h170 += x x = 2f43 * f128 h170 += x x = 2f64 * f107 h170 += x x = f85 * f85 h170 += x *(float64 *) (h + 64) = h170 h192 = 2f0 * f192 x = 2f22 * f170 h192 += x x = 2f43 * f149 h192 += x x = 2f64 * f128 h192 += x x = 2f85 * f107 h192 += x *(float64 *) (h + 72) = h192 h213 = 2f0 * f213 x = 2f22 * f192 h213 += x x = 2f43 * f170 h213 += x x = 2f64 * f149 h213 += x x = 2f85 * f128 h213 += x x = f107 * f107 h213 += x *(float64 *) (h + 80) = h213 h234 = 2f0 * f234 x = 2f22 * f213 h234 += x x = 2f43 * f192 h234 += x x = 2f64 * f170 h234 += x x = 2f85 * f149 h234 += x x = 2f107 * f128 h234 += x *(float64 *) (h + 88) = h234 h255 = 2f22 * f234 x = 2f43 * f213 h255 += x x = 2f64 * f192 h255 += x x = 2f85 * f170 h255 += x x = 2f107 * f149 h255 += x x = f128 * f128 h255 += x *(float64 *) (h + 96) = h255 h277 = 2f43 * f234 x = 2f64 * f213 h277 += x x = 2f85 * f192 h277 += x x = 2f107 * f170 h277 += x x = 2f128 * f149 h277 += x *(float64 *) (h + 104) = h277 h298 = 2f64 * f234 x = 2f85 * f213 h298 += x x = 2f107 * f192 h298 += x x = 2f128 * f170 h298 += x x = f149 * f149 h298 += x *(float64 *) (h + 112) = h298 h319 = 2f85 * f234 x = 2f107 * f213 h319 += x x = 2f128 * f192 h319 += x x = 2f149 * f170 h319 += x *(float64 *) (h + 120) = h319 h340 = 2f107 * f234 x = 2f128 * f213 h340 += x x = 2f149 * f192 h340 += x x = f170 * f170 h340 += x *(float64 *) (h + 128) = h340 h362 = 2f128 * f234 x = 2f149 * f213 h362 += x x = 2f170 * f192 h362 += x *(float64 *) (h + 136) = h362 h383 = 2f149 * f234 x = 2f170 * f213 h383 += x x = f192 * f192 h383 += x *(float64 *) (h + 144) = h383 h404 = 2f170 * f234 x = 2f192 * f213 h404 += x *(float64 *) (h + 152) = h404 h425 = 2f192 * f234 x = f213 * f213 h425 += x *(float64 *) (h + 160) = h425 h447 = 2f213 * f234 *(float64 *) (h + 168) = h447 h468 = f234 * f234 *(float64 *) (h + 176) = h468 leave