Home
last modified time | relevance | path

Searched refs:FStar_UInt128_u32_32 (Results 1 – 1 of 1) sorted by relevance

/mbedtls-3.4.0/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c334 static uint32_t FStar_UInt128_u32_32 = (uint32_t)32U; variable
338 return lo + (hi << FStar_UInt128_u32_32); in FStar_UInt128_u32_combine()
346 FStar_UInt128_u32_combine((x >> FStar_UInt128_u32_32) in FStar_UInt128_mul32()
348 + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_UInt128_u32_32), in FStar_UInt128_mul32()
350 ((x >> FStar_UInt128_u32_32) in FStar_UInt128_mul32()
352 + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_UInt128_u32_32)) in FStar_UInt128_mul32()
353 >> FStar_UInt128_u32_32 in FStar_UInt128_mul32()
376 >> FStar_UInt128_u32_32, in FStar_UInt128_mul_wide_impl_t_()
377 (x >> FStar_UInt128_u32_32) in FStar_UInt128_mul_wide_impl_t_()
379 + (FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y) >> FStar_UInt128_u32_32) in FStar_UInt128_mul_wide_impl_t_()
[all …]