INNER CODE UNIT · C
x18
gost-engine/engine · ecp_id_GostR3410_2001_CryptoPro_A_ParamSet.c:376
x18 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[1]) *
((arg2[2]) * 0x2));
x19 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[1]) *
((arg2[1]) * 0x2));
x20 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[1]) *
(arg2[0]));
x21 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[0]) *
(arg2[4]));
x22 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[0]) *
(arg2[3]));
x23 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[0]) *
(arg2[2]));
x24 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[0]) *
(arg2[1]));
x25 = ((fiat_id_GostR3410_2001_CryptoPro_A_ParamSet_uint128)(arg1[0]) *
(arg2[0]));
x26 = (x25 + (x10 + (x9 + (x7 + x4))));
x27 = (x26 >> 52);