Home
last modified time | relevance | path

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

/dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h279 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
297 …Int128_u32_combine((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uin… in FStar_UInt128_mul32()
298 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)); in FStar_UInt128_mul32()
300 …((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_U… in FStar_UInt128_mul32()
315 FStar_UInt128_u32_combine_(FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
316 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
317 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y))); in FStar_UInt128_mul_wide()
320 …(((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt128_u64_mod_32(x) * FStar… in FStar_UInt128_mul_wide()
321 ((FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
322 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
H A Dfstar_uint128_msvc.h440 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
464 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
466 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
468 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
489 .fst = FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
490 .snd = FStar_UInt128_u64_mod_32( in FStar_UInt128_mul_wide_impl_t_()
491 FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
493 .f3 = (x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + in FStar_UInt128_mul_wide_impl_t_()
494 (FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y) >> in FStar_UInt128_mul_wide_impl_t_()
515 u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), w3), in FStar_UInt128_mul_wide_impl()
[all …]
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h279 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
297 …Int128_u32_combine((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uin… in FStar_UInt128_mul32()
298 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)); in FStar_UInt128_mul32()
300 …((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_U… in FStar_UInt128_mul32()
315 FStar_UInt128_u32_combine_(FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
316 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
317 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y))); in FStar_UInt128_mul_wide()
320 …(((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt128_u64_mod_32(x) * FStar… in FStar_UInt128_mul_wide()
321 ((FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
322 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
H A Dfstar_uint128_msvc.h440 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
464 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
466 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
468 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
489 .fst = FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
490 .snd = FStar_UInt128_u64_mod_32( in FStar_UInt128_mul_wide_impl_t_()
491 FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
493 .f3 = (x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + in FStar_UInt128_mul_wide_impl_t_()
494 (FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y) >> in FStar_UInt128_mul_wide_impl_t_()
515 u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), w3), in FStar_UInt128_mul_wide_impl()
[all …]
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h279 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
297 …Int128_u32_combine((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uin… in FStar_UInt128_mul32()
298 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)); in FStar_UInt128_mul32()
300 …((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_U… in FStar_UInt128_mul32()
315 FStar_UInt128_u32_combine_(FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
316 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
317 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y))); in FStar_UInt128_mul_wide()
320 …(((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt128_u64_mod_32(x) * FStar… in FStar_UInt128_mul_wide()
321 ((FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
322 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
H A Dfstar_uint128_msvc.h440 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
464 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
466 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
468 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
489 .fst = FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
490 .snd = FStar_UInt128_u64_mod_32( in FStar_UInt128_mul_wide_impl_t_()
491 FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
493 .f3 = (x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + in FStar_UInt128_mul_wide_impl_t_()
494 (FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y) >> in FStar_UInt128_mul_wide_impl_t_()
515 u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), w3), in FStar_UInt128_mul_wide_impl()
[all …]
/dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h279 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
297 …Int128_u32_combine((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uin… in FStar_UInt128_mul32()
298 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)); in FStar_UInt128_mul32()
300 …((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_U… in FStar_UInt128_mul32()
315 FStar_UInt128_u32_combine_(FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
316 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
317 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y))); in FStar_UInt128_mul_wide()
320 …(((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt128_u64_mod_32(x) * FStar… in FStar_UInt128_mul_wide()
321 ((FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
322 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
H A Dfstar_uint128_msvc.h440 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
464 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
466 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
468 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
489 .fst = FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
490 .snd = FStar_UInt128_u64_mod_32( in FStar_UInt128_mul_wide_impl_t_()
491 FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
493 .f3 = (x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + in FStar_UInt128_mul_wide_impl_t_()
494 (FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y) >> in FStar_UInt128_mul_wide_impl_t_()
515 u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), w3), in FStar_UInt128_mul_wide_impl()
[all …]
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h279 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
297 …Int128_u32_combine((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uin… in FStar_UInt128_mul32()
298 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)); in FStar_UInt128_mul32()
300 …((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_U… in FStar_UInt128_mul32()
315 FStar_UInt128_u32_combine_(FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
316 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
317 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y))); in FStar_UInt128_mul_wide()
320 …(((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt128_u64_mod_32(x) * FStar… in FStar_UInt128_mul_wide()
321 ((FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
322 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
H A Dfstar_uint128_msvc.h440 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
464 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
466 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
468 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
489 .fst = FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
490 .snd = FStar_UInt128_u64_mod_32( in FStar_UInt128_mul_wide_impl_t_()
491 FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
493 .f3 = (x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + in FStar_UInt128_mul_wide_impl_t_()
494 (FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y) >> in FStar_UInt128_mul_wide_impl_t_()
515 u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), w3), in FStar_UInt128_mul_wide_impl()
[all …]
/dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h280 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
298 …Int128_u32_combine((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uin… in FStar_UInt128_mul32()
299 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)); in FStar_UInt128_mul32()
301 …((x >> FStar_UInt128_u32_32) * (uint64_t)y + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_U… in FStar_UInt128_mul32()
316 FStar_UInt128_u32_combine_(FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
317 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
318 … FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y))); in FStar_UInt128_mul_wide()
321 …(((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt128_u64_mod_32(x) * FStar… in FStar_UInt128_mul_wide()
322 ((FStar_UInt128_u64_mod_32(x) * (y >> FStar_UInt128_u32_32) + in FStar_UInt128_mul_wide()
323 …FStar_UInt128_u64_mod_32((x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt12… in FStar_UInt128_mul_wide()
H A Dfstar_uint128_msvc.h436 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
460 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
462 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
464 (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> in FStar_UInt128_mul32()
485 .fst = FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
486 .snd = FStar_UInt128_u64_mod_32( in FStar_UInt128_mul_wide_impl_t_()
487 FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
489 .f3 = (x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + in FStar_UInt128_mul_wide_impl_t_()
490 (FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y) >> in FStar_UInt128_mul_wide_impl_t_()
511 u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), w3), in FStar_UInt128_mul_wide_impl()
[all …]
/dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/kremlib/
H A DFStar_UInt128_extracted.c329 static uint64_t FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
348 + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_UInt128_u32_32), in FStar_UInt128_mul32()
349 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * (uint64_t)y)), in FStar_UInt128_mul32()
352 + (FStar_UInt128_u64_mod_32(x) * (uint64_t)y >> FStar_UInt128_u32_32)) in FStar_UInt128_mul32()
373 FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
374 FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
378 * FStar_UInt128_u64_mod_32(y) 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_()
399 FStar_UInt128_u32_combine_(u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), in FStar_UInt128_mul_wide_impl()
404 + ((u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_)) >> FStar_UInt128_u32_32) in FStar_UInt128_mul_wide_impl()
/dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/
H A DFStar.c211 FStar_UInt128_u64_mod_32(uint64_t a) in FStar_UInt128_u64_mod_32() function
223 .fst = FStar_UInt128_u64_mod_32(x), in FStar_UInt128_mul_wide_impl_t_()
224 … .snd = FStar_UInt128_u64_mod_32(FStar_UInt128_u64_mod_32(x) * FStar_UInt128_u64_mod_32(y)), in FStar_UInt128_mul_wide_impl_t_()
226 …3 = (x >> FStar_UInt128_u32_32) * FStar_UInt128_u64_mod_32(y) + (FStar_UInt128_u64_mod_32(x) * FSt… in FStar_UInt128_mul_wide_impl_t_()
245 … .low = FStar_UInt128_u32_combine_(u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_), in FStar_UInt128_mul_wide_impl()
248 … ((u1 * (y >> FStar_UInt128_u32_32) + FStar_UInt128_u64_mod_32(t_)) >> FStar_UInt128_u32_32) }); in FStar_UInt128_mul_wide_impl()