89 #define assert_fe(f)                                                     \  argument
92       assert(f[_assert_fe_i] <=                                          \
107 #define assert_fe_loose(f)                                               \  argument
110       assert(f[_assert_fe_i] <=                                          \
133 static void fe_tobytes(uint8_t s[32], const fe *f) {  in fe_tobytes()  argument
134   assert_fe(f->v);  in fe_tobytes()
135   fiat_25519_to_bytes(s, f->v);  in fe_tobytes()
159 static void fe_add(fe_loose *h, const fe *f, const fe *g) {  in fe_add()  argument
160   assert_fe(f->v);  in fe_add()
162   fiat_25519_add(h->v, f->v, g->v);  in fe_add()
168 static void fe_sub(fe_loose *h, const fe *f, const fe *g) {  in fe_sub()  argument
169   assert_fe(f->v);  in fe_sub()
171   fiat_25519_sub(h->v, f->v, g->v);  in fe_sub()
175 static void fe_carry(fe *h, const fe_loose* f) {  in fe_carry()  argument
176   assert_fe_loose(f->v);  in fe_carry()
177   fiat_25519_carry(h->v, f->v);  in fe_carry()
190 static void fe_mul_ltt(fe_loose *h, const fe *f, const fe *g) {  in fe_mul_ltt()  argument
191   fe_mul_impl(h->v, f->v, g->v);  in fe_mul_ltt()
194 static void fe_mul_ttt(fe *h, const fe *f, const fe *g) {  in fe_mul_ttt()  argument
195   fe_mul_impl(h->v, f->v, g->v);  in fe_mul_ttt()
198 static void fe_mul_tlt(fe *h, const fe_loose *f, const fe *g) {  in fe_mul_tlt()  argument
199   fe_mul_impl(h->v, f->v, g->v);  in fe_mul_tlt()
202 static void fe_mul_ttl(fe *h, const fe *f, const fe_loose *g) {  in fe_mul_ttl()  argument
203   fe_mul_impl(h->v, f->v, g->v);  in fe_mul_ttl()
206 static void fe_mul_tll(fe *h, const fe_loose *f, const fe_loose *g) {  in fe_mul_tll()  argument
207   fe_mul_impl(h->v, f->v, g->v);  in fe_mul_tll()
210 static void fe_sq_tl(fe *h, const fe_loose *f) {  in fe_sq_tl()  argument
211   assert_fe_loose(f->v);  in fe_sq_tl()
212   fiat_25519_carry_square(h->v, f->v);  in fe_sq_tl()
216 static void fe_sq_tt(fe *h, const fe *f) {  in fe_sq_tt()  argument
217   assert_fe_loose(f->v);  in fe_sq_tt()
218   fiat_25519_carry_square(h->v, f->v);  in fe_sq_tt()
223 static void fe_neg(fe_loose *h, const fe *f) {  in fe_neg()  argument
224   assert_fe(f->v);  in fe_neg()
225   fiat_25519_opp(h->v, f->v);  in fe_neg()
230 static void fe_copy(fe *h, const fe *f) {  in fe_copy()  argument
231   memmove(h, f, sizeof(fe));  in fe_copy()
234 static void fe_copy_lt(fe_loose *h, const fe *f) {  in fe_copy_lt()  argument
237   memmove(h, f, sizeof(fe));  in fe_copy_lt()
318 static int fe_isnonzero(const fe_loose *f) {  in fe_isnonzero()  argument
320   fe_carry(&tight, f);  in fe_isnonzero()
330 static int fe_isnegative(const fe *f) {  in fe_isnegative()  argument
332   fe_tobytes(s, f);  in fe_isnegative()
336 static void fe_sq2_tt(fe *h, const fe *f) {  in fe_sq2_tt()  argument
338   fe_sq_tt(h, f);  in fe_sq2_tt()
1150 static void fe_cswap(fe *f, fe *g, fe_limb_t b) {  in fe_cswap()  argument
1153     fe_limb_t x = f->v[i] ^ g->v[i];  in fe_cswap()
1155     f->v[i] ^= x;  in fe_cswap()
1220 static void fe_mul121666(fe *h, const fe_loose *f) {  in fe_mul121666()  argument
1221   assert_fe_loose(f->v);  in fe_mul121666()
1222   fiat_25519_carry_scmul_121666(h->v, f->v);  in fe_mul121666()