Searched refs:bi (Results 1 – 2 of 2) sorted by relevance
380 uint64_t bi = b[i]; in Hacl_EC_Point_swap_conditional_step() local381 uint64_t x = swap1 & (ai ^ bi); in Hacl_EC_Point_swap_conditional_step()383 uint64_t bi1 = bi ^ x; in Hacl_EC_Point_swap_conditional_step()
425 uint64_t bi = b[i]; in Hacl_EC_Point_swap_conditional_step() local426 uint64_t x = swap1 & (ai ^ bi); in Hacl_EC_Point_swap_conditional_step()428 uint64_t bi1 = bi ^ x; in Hacl_EC_Point_swap_conditional_step()