| /dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/ |
| H A D | FStar.c | 98 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
103 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
127 …return ((FStar_UInt128_uint128){.low = (uint64_t)0U, .high = a.low << (s - FStar_UInt128_u32_64) }… in FStar_UInt128_shift_left_large()
133 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
142 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
166 …return ((FStar_UInt128_uint128){.low = a.high >> (s - FStar_UInt128_u32_64), .high = (uint64_t)0U … in FStar_UInt128_shift_right_large()
172 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_right()
|
| /dports/www/firefox-esr/firefox-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | fstar_uint128_msvc.h | 220 static const uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
225 return (hi << s) + (lo >> FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_left()
249 .high = a.low << s - FStar_UInt128_u32_64 }); in FStar_UInt128_shift_left_large()
258 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
263 return _mm_set_epi64x(a.low << (s - FStar_UInt128_u32_64), 0); in FStar_UInt128_shift_left()
266 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
276 return (lo >> s) + (hi << FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_right()
299 return ((FStar_UInt128_uint128){.low = a.high >> s - FStar_UInt128_u32_64, in FStar_UInt128_shift_right_large()
309 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
314 return _mm_set_epi64x(0, a.high >> (s - FStar_UInt128_u32_64)); in FStar_UInt128_shift_right()
[all …]
|
| H A D | FStar_UInt128_Verified.h | 123 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
128 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
155 lit.high = a.low << (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_left_large()
162 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
172 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
198 lit.low = a.high >> (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_right_large()
206 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
|
| /dports/security/ca_root_nss/nss-3.71/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | fstar_uint128_msvc.h | 220 static const uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
225 return (hi << s) + (lo >> FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_left()
249 .high = a.low << s - FStar_UInt128_u32_64 }); in FStar_UInt128_shift_left_large()
258 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
263 return _mm_set_epi64x(a.low << (s - FStar_UInt128_u32_64), 0); in FStar_UInt128_shift_left()
266 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
276 return (lo >> s) + (hi << FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_right()
299 return ((FStar_UInt128_uint128){.low = a.high >> s - FStar_UInt128_u32_64, in FStar_UInt128_shift_right_large()
309 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
314 return _mm_set_epi64x(0, a.high >> (s - FStar_UInt128_u32_64)); in FStar_UInt128_shift_right()
[all …]
|
| H A D | FStar_UInt128_Verified.h | 123 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
128 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
155 lit.high = a.low << (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_left_large()
162 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
172 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
198 lit.low = a.high >> (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_right_large()
206 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
|
| /dports/www/firefox/firefox-99.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | fstar_uint128_msvc.h | 220 static const uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
225 return (hi << s) + (lo >> FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_left()
249 .high = a.low << s - FStar_UInt128_u32_64 }); in FStar_UInt128_shift_left_large()
258 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
263 return _mm_set_epi64x(a.low << (s - FStar_UInt128_u32_64), 0); in FStar_UInt128_shift_left()
266 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
276 return (lo >> s) + (hi << FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_right()
299 return ((FStar_UInt128_uint128){.low = a.high >> s - FStar_UInt128_u32_64, in FStar_UInt128_shift_right_large()
309 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
314 return _mm_set_epi64x(0, a.high >> (s - FStar_UInt128_u32_64)); in FStar_UInt128_shift_right()
[all …]
|
| H A D | FStar_UInt128_Verified.h | 123 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
128 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
155 lit.high = a.low << (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_left_large()
162 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
172 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
198 lit.low = a.high >> (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_right_large()
206 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
|
| /dports/security/nss/nss-3.76.1/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | fstar_uint128_msvc.h | 220 static const uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
225 return (hi << s) + (lo >> FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_left()
249 .high = a.low << s - FStar_UInt128_u32_64 }); in FStar_UInt128_shift_left_large()
258 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
263 return _mm_set_epi64x(a.low << (s - FStar_UInt128_u32_64), 0); in FStar_UInt128_shift_left()
266 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
276 return (lo >> s) + (hi << FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_right()
299 return ((FStar_UInt128_uint128){.low = a.high >> s - FStar_UInt128_u32_64, in FStar_UInt128_shift_right_large()
309 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
314 return _mm_set_epi64x(0, a.high >> (s - FStar_UInt128_u32_64)); in FStar_UInt128_shift_right()
[all …]
|
| H A D | FStar_UInt128_Verified.h | 123 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
128 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
155 lit.high = a.low << (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_left_large()
162 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
172 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
198 lit.low = a.high >> (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_right_large()
206 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | fstar_uint128_msvc.h | 220 static const uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
225 return (hi << s) + (lo >> FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_left()
249 .high = a.low << s - FStar_UInt128_u32_64 }); in FStar_UInt128_shift_left_large()
258 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
263 return _mm_set_epi64x(a.low << (s - FStar_UInt128_u32_64), 0); in FStar_UInt128_shift_left()
266 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
276 return (lo >> s) + (hi << FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_right()
299 return ((FStar_UInt128_uint128){.low = a.high >> s - FStar_UInt128_u32_64, in FStar_UInt128_shift_right_large()
309 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
314 return _mm_set_epi64x(0, a.high >> (s - FStar_UInt128_u32_64)); in FStar_UInt128_shift_right()
[all …]
|
| H A D | FStar_UInt128_Verified.h | 123 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
128 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
155 lit.high = a.low << (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_left_large()
162 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
172 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
198 lit.low = a.high >> (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_right_large()
206 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
|
| /dports/lang/spidermonkey78/firefox-78.9.0/security/nss/lib/freebl/verified/kremlin/kremlib/dist/minimal/ |
| H A D | fstar_uint128_msvc.h | 216 static const uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
221 return (hi << s) + (lo >> FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_left()
245 .high = a.low << s - FStar_UInt128_u32_64 }); in FStar_UInt128_shift_left_large()
254 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
259 return _mm_set_epi64x(a.low << (s - FStar_UInt128_u32_64), 0); in FStar_UInt128_shift_left()
262 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
272 return (lo >> s) + (hi << FStar_UInt128_u32_64 - s); in FStar_UInt128_add_u64_shift_right()
295 return ((FStar_UInt128_uint128){.low = a.high >> s - FStar_UInt128_u32_64, in FStar_UInt128_shift_right_large()
305 } else if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
310 return _mm_set_epi64x(0, a.high >> (s - FStar_UInt128_u32_64)); in FStar_UInt128_shift_right()
[all …]
|
| H A D | FStar_UInt128_Verified.h | 124 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
129 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
156 lit.high = a.low << (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_left_large()
163 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_left()
173 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
199 lit.low = a.high >> (s - FStar_UInt128_u32_64); in FStar_UInt128_shift_right_large()
207 if (s < FStar_UInt128_u32_64) { in FStar_UInt128_shift_right()
|
| /dports/devel/premake5/premake-5.0.0-alpha16-src/contrib/mbedtls/3rdparty/everest/library/kremlib/ |
| H A D | FStar_UInt128_extracted.c | 109 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable
113 return (hi << s) + (lo >> (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_left()
139 FStar_UInt128_uint128 flat = { (uint64_t)0U, a.low << (s - FStar_UInt128_u32_64) }; in FStar_UInt128_shift_left_large()
145 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_left()
157 return (lo >> s) + (hi << (FStar_UInt128_u32_64 - s)); in FStar_UInt128_add_u64_shift_right()
183 FStar_UInt128_uint128 flat = { a.high >> (s - FStar_UInt128_u32_64), (uint64_t)0U }; in FStar_UInt128_shift_right_large()
189 if (s < FStar_UInt128_u32_64) in FStar_UInt128_shift_right()
|