Lines Matching refs:br_i31_encode
8189 br_i31_encode(ba, nlen, a); in test_EC_inner()
8192 br_i31_encode(bb, nlen, b); in test_EC_inner()
8203 br_i31_encode(bx, nlen, x); in test_EC_inner()
8206 br_i31_encode(by, nlen, y); in test_EC_inner()
8220 br_i31_encode(bz, nlen, z); in test_EC_inner()
8261 br_i31_encode(bb, nlen, b); in test_EC_inner()
8265 br_i31_encode(by, nlen, y); in test_EC_inner()
8276 br_i31_encode(bz, nlen, z); in test_EC_inner()
8302 br_i31_encode(by, nlen, y); in test_EC_inner()
9270 br_i31_encode(bx1, blen, x1); in test_modpow_i31()
9321 br_i31_encode(bx1, blen, x1); in test_modpow_i62()