Home
last modified time | relevance | path

Searched refs:FStar_UInt128_carry (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.h22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add()
41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec()
50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod()
59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub()
68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec()
77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
H A Dfstar_uint128_msvc.h85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add()
115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec()
127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod()
143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub()
155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec()
164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
/dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add()
41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec()
50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod()
59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub()
68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec()
77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
H A Dfstar_uint128_msvc.h85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add()
115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec()
127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod()
143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub()
155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec()
164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
/dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add()
41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec()
50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod()
59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub()
68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec()
77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
H A Dfstar_uint128_msvc.h85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add()
115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec()
127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod()
143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub()
155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec()
164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
/dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add()
41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec()
50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod()
59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub()
68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec()
77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
H A Dfstar_uint128_msvc.h85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add()
115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec()
127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod()
143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub()
155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec()
164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
/dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h22 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
32 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add()
41 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec()
50 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod()
59 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub()
68 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec()
77 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
H A Dfstar_uint128_msvc.h85 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
103 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add()
115 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec()
127 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod()
143 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub()
155 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec()
164 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
/dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/
H A DFStar_UInt128_Verified.h23 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
33 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add()
42 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_underspec()
51 lit.high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low); in FStar_UInt128_add_mod()
60 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub()
69 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_underspec()
78 lit.high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low); in FStar_UInt128_sub_mod_impl()
H A Dfstar_uint128_msvc.h81 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
99 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add()
111 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_underspec()
123 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod()
139 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub()
151 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_underspec()
160 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()
/dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/kremlib/
H A DFStar_UInt128_extracted.c30 static uint64_t FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
38 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add()
46 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_underspec()
53 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_mod()
60 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub()
68 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_underspec()
76 flat = { a.low - b.low, a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }; in FStar_UInt128_sub_mod_impl()
/dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/
H A DFStar.c27 FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() function
38 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add()
47 .high = a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }); in FStar_UInt128_add_mod()
56 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub()
65 .high = a.high - b.high - FStar_UInt128_carry(a.low, a.low - b.low) }); in FStar_UInt128_sub_mod_impl()