Searched refs:FStar_UInt128_u32_64 (Results 1 – 1 of 1) sorted by relevance
109 static uint32_t FStar_UInt128_u32_64 = (uint32_t)64U; variable113 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()
