Lines Matching defs:x31
231 br_i62_modpow_opt(uint32_t *x31, const unsigned char *e, size_t elen,
266 br_i31_modpow(x31, e, elen, m31, m0i31,
279 br_i31_muladd_small(x31, 0, m31);
280 br_i31_muladd_small(x31, 0, m31);
301 x[v] = (uint64_t)x31[u + 1];
305 x[v] = (uint64_t)x31[u + 1]
306 + ((uint64_t)x31[u + 2] << 31);
354 br_i31_zero(x31, m31[0]);
355 x31[(m31[0] + 31) >> 5] = 1;
356 br_i31_muladd_small(x31, 0, m31);
358 br_i31_muladd_small(x31, 0, m31);
365 x[v] = (uint64_t)x31[u + 1];
367 x[v] = (uint64_t)x31[u + 1]
368 + ((uint64_t)x31[u + 2] << 31);
454 x31[u + 1] = (uint32_t)zw & 0x7FFFFFFF;
456 x31[u + 2] = (uint32_t)(zw >> 31);
466 br_i62_modpow_opt(uint32_t *x31, const unsigned char *e, size_t elen,
475 return br_i31_modpow_opt(x31, e, elen, m31, m0i31,
483 br_i62_modpow_opt_as_i31(uint32_t *x31, const unsigned char *e, size_t elen,
491 return br_i62_modpow_opt(x31, e, elen, m31, m0i31,