Searched refs:i3 (Results 1 – 2 of 2) sorted by relevance
423 uint64_t i3 = load64_le(x02); in Hacl_EC_Format_fexpand() local429 uint64_t output3 = i3 >> (uint32_t)1U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()
468 uint64_t i3 = load64_le(x02); in Hacl_EC_Format_fexpand() local474 uint64_t output3 = i3 >> (uint32_t)1U & (uint64_t)0x7ffffffffffffU; in Hacl_EC_Format_fexpand()