Home
last modified time | relevance | path

Searched refs:z3 (Results 1 – 25 of 56) sorted by relevance

123

/netbsd-src/sys/external/isc/libsodium/dist/src/libsodium/crypto_scalarmult/curve25519/ref10/
H A Dx25519_ref10.c62 fe25519 z3; in crypto_scalarmult_curve25519_ref10() local
82 fe25519_1(z3); in crypto_scalarmult_curve25519_ref10()
90 fe25519_cswap(z2, z3, swap); in crypto_scalarmult_curve25519_ref10()
92 fe25519_sub(tmp0, x3, z3); in crypto_scalarmult_curve25519_ref10()
95 fe25519_add(z2, x3, z3); in crypto_scalarmult_curve25519_ref10()
96 fe25519_mul(z3, tmp0, x2); in crypto_scalarmult_curve25519_ref10()
100 fe25519_add(x3, z3, z2); in crypto_scalarmult_curve25519_ref10()
101 fe25519_sub(z2, z3, z2); in crypto_scalarmult_curve25519_ref10()
105 fe25519_scalar_product(z3, tmp1, 121666); in crypto_scalarmult_curve25519_ref10()
107 fe25519_add(tmp0, tmp0, z3); in crypto_scalarmult_curve25519_ref10()
[all …]
/netbsd-src/external/lgpl3/mpc/dist/tests/
H A Dtgeneric.c912 mpc_t z1, z2, z3, z4, z5, zzzz, zzzz2; in tgeneric() local
924 mpc_init2 (z3, prec_max); in tgeneric()
931 mpc_init2 (z3, prec_max); in tgeneric()
947 mpc_init2 (z3, prec_max); in tgeneric()
954 mpc_init2 (z3, prec_max); in tgeneric()
960 mpc_init2 (z3, prec_max); in tgeneric()
966 mpc_init2 (z3, prec_max); in tgeneric()
976 mpc_init2 (z3, prec_max); in tgeneric()
1007 mpc_set_prec (z3, prec); in tgeneric()
1041 mpc_set_prec (z3, prec); in tgeneric()
[all …]
/netbsd-src/sys/external/isc/libsodium/dist/src/libsodium/crypto_stream/salsa20/xmm6int/
H A Du4.h4 __m128i z0, z1, z2, z3, z4, z5, z6, z7, z8, z9, z10, z11, z12, z13, z14, variable
30 z3 = _mm_loadu_si128((__m128i *) (x + 12));
31 z4 = _mm_shuffle_epi32(z3, 0x00);
32 z14 = _mm_shuffle_epi32(z3, 0xaa);
33 z3 = _mm_shuffle_epi32(z3, 0xff);
38 orig3 = z3;
85 z3 = orig3;
181 z3 = _mm_xor_si128(z3, y3);
183 z3 = _mm_xor_si128(z3, r3);
194 y7 = _mm_add_epi32(y7, z3);
[all …]
H A Du8.h21 __m256i z3 = _mm256_set1_epi32(x[15]); variable
26 __m256i orig3 = z3;
85 z3 = orig3;
181 z3 = _mm256_xor_si256(z3, y3);
183 z3 = _mm256_xor_si256(z3, r3);
194 y7 = _mm256_add_epi32(y7, z3);
209 y11 = z3;
225 y1 = z3;
269 z3 = _mm256_xor_si256(z3, y3);
271 z3 = _mm256_xor_si256(z3, r3);
[all …]
/netbsd-src/external/apache2/llvm/dist/llvm/cmake/modules/
H A DFindZ3.cmake8 #include <z3.h>
37 find_path(Z3_INCLUDE_DIR NAMES z3.h
40 PATH_SUFFIXES libz3 z3
43 find_library(Z3_LIBRARIES NAMES z3 libz3
50 find_path(Z3_INCLUDE_DIR NAMES z3.h
51 PATH_SUFFIXES libz3 z3
54 find_library(Z3_LIBRARIES NAMES z3 libz3
/netbsd-src/crypto/external/bsd/openssl/dist/crypto/ec/curve448/
H A Dcurve448.c390 gf x1, x2, z2, x3, z3, t1, t2; in ossl_x448_int() local
399 gf_copy(z3, ONE); in ossl_x448_int()
416 gf_cond_swap(z2, z3, swap); in ossl_x448_int()
426 gf_sub_nr(z2, x3, z3); /* D = x3 - z3 */ /* 3+e */ in ossl_x448_int()
428 gf_add_nr(z2, z3, x3); /* C = x3 + z3 */ /* 2+e */ in ossl_x448_int()
430 gf_sub_nr(z3, x2, x3); /* DA-CB */ /* 3+e */ in ossl_x448_int()
431 gf_sqr(z2, z3); /* (DA-CB)^2 */ in ossl_x448_int()
432 gf_mul(z3, x1, z2); /* z3 = x1(DA-CB)^2 */ in ossl_x448_int()
448 gf_cond_swap(z2, z3, swap); in ossl_x448_int()
458 OPENSSL_cleanse(z3, sizeof(z3)); in ossl_x448_int()
/netbsd-src/crypto/external/bsd/openssl.old/dist/crypto/ec/curve448/
H A Dcurve448.c383 gf x1, x2, z2, x3, z3, t1, t2; in x448_int() local
392 gf_copy(z3, ONE); in x448_int()
409 gf_cond_swap(z2, z3, swap); in x448_int()
419 gf_sub_nr(z2, x3, z3); /* D = x3 - z3 */ /* 3+e */ in x448_int()
421 gf_add_nr(z2, z3, x3); /* C = x3 + z3 */ /* 2+e */ in x448_int()
423 gf_sub_nr(z3, x2, x3); /* DA-CB */ /* 3+e */ in x448_int()
424 gf_sqr(z2, z3); /* (DA-CB)^2 */ in x448_int()
425 gf_mul(z3, x1, z2); /* z3 = x1(DA-CB)^2 */ in x448_int()
441 gf_cond_swap(z2, z3, swap); in x448_int()
451 OPENSSL_cleanse(z3, sizeof(z3)); in x448_int()
/netbsd-src/external/gpl3/gcc/dist/gcc/config/mips/
H A Dmips-dspr2.md206 "dpa.w.ph\t%q0,%z2,%z3"
218 "dps.w.ph\t%q0,%z2,%z3"
294 "mulsa.w.ph\t%q0,%z2,%z3"
540 "dpax.w.ph\t%q0,%z2,%z3"
552 "dpsx.w.ph\t%q0,%z2,%z3"
567 "dpaqx_s.w.ph\t%q0,%z2,%z3"
582 "dpaqx_sa.w.ph\t%q0,%z2,%z3"
597 "dpsqx_s.w.ph\t%q0,%z2,%z3"
612 "dpsqx_sa.w.ph\t%q0,%z2,%z3"
H A Dmicromips.md131 return "movep\t%0,%2,%z1,%z3";
133 return "movep\t%2,%0,%z3,%z1";
/netbsd-src/external/gpl3/gcc.old/dist/gcc/config/mips/
H A Dmips-dspr2.md206 "dpa.w.ph\t%q0,%z2,%z3"
218 "dps.w.ph\t%q0,%z2,%z3"
294 "mulsa.w.ph\t%q0,%z2,%z3"
540 "dpax.w.ph\t%q0,%z2,%z3"
552 "dpsx.w.ph\t%q0,%z2,%z3"
567 "dpaqx_s.w.ph\t%q0,%z2,%z3"
582 "dpaqx_sa.w.ph\t%q0,%z2,%z3"
597 "dpsqx_s.w.ph\t%q0,%z2,%z3"
612 "dpsqx_sa.w.ph\t%q0,%z2,%z3"
H A Dmicromips.md131 return "movep\t%0,%2,%z1,%z3";
133 return "movep\t%2,%0,%z3,%z1";
/netbsd-src/crypto/external/bsd/openssl.old/dist/crypto/ec/
H A Dcurve25519.c204 fe64 x1, x2, z2, x3, z3, tmp0, tmp1; in x25519_scalar_mulx() local
217 fe64_1(z3); in x25519_scalar_mulx()
224 fe64_cswap(z2, z3, swap); in x25519_scalar_mulx()
226 fe64_sub(tmp0, x3, z3); in x25519_scalar_mulx()
229 fe64_add(z2, x3, z3); in x25519_scalar_mulx()
230 fe64_mul(z3, x2, tmp0); in x25519_scalar_mulx()
234 fe64_add(x3, z3, z2); in x25519_scalar_mulx()
235 fe64_sub(z2, z3, z2); in x25519_scalar_mulx()
239 fe64_mul121666(z3, tmp1); in x25519_scalar_mulx()
241 fe64_add(tmp0, tmp0, z3); in x25519_scalar_mulx()
[all …]
H A Decp_nistp256.c1235 static void point_add(felem x3, felem y3, felem z3,
1364 point_double(x3, y3, z3, x1, y1, z1);
1413 felem_assign(z3, z_out);
1420 static void point_add_small(smallfelem x3, smallfelem y3, smallfelem z3,
1433 felem_shrink(z3, felem_z3);
H A Decp_nistp224.c903 static void point_add(felem x3, felem y3, felem z3,
1003 point_double(x3, y3, z3, x1, y1, z1);
1092 felem_assign(z3, z_out);
/netbsd-src/crypto/external/bsd/openssl/dist/crypto/ec/
H A Dcurve25519.c214 fe64 x1, x2, z2, x3, z3, tmp0, tmp1; in x25519_scalar_mulx() local
227 fe64_1(z3); in x25519_scalar_mulx()
234 fe64_cswap(z2, z3, swap); in x25519_scalar_mulx()
236 fe64_sub(tmp0, x3, z3); in x25519_scalar_mulx()
239 fe64_add(z2, x3, z3); in x25519_scalar_mulx()
240 fe64_mul(z3, x2, tmp0); in x25519_scalar_mulx()
244 fe64_add(x3, z3, z2); in x25519_scalar_mulx()
245 fe64_sub(z2, z3, z2); in x25519_scalar_mulx()
249 fe64_mul121666(z3, tmp1); in x25519_scalar_mulx()
251 fe64_add(tmp0, tmp0, z3); in x25519_scalar_mulx()
[all …]
H A Decp_nistp256.c1235 static void point_add(felem x3, felem y3, felem z3, in point_add() argument
1364 point_double(x3, y3, z3, x1, y1, z1); in point_add()
1413 felem_assign(z3, z_out); in point_add()
1420 static void point_add_small(smallfelem x3, smallfelem y3, smallfelem z3, in point_add_small() argument
1433 felem_shrink(z3, felem_z3); in point_add_small()
/netbsd-src/sys/crypto/aes/
H A Daes_ct.c58 uint32_t z0, z1, z2, z3, z4, z5, z6, z7, z8, z9; in br_aes_ct_bitslice_Sbox() local
157 z3 = t43 & y16; in br_aes_ct_bitslice_Sbox()
183 t53 = z0 ^ z3; in br_aes_ct_bitslice_Sbox()
189 t59 = z3 ^ t54; in br_aes_ct_bitslice_Sbox()
/netbsd-src/sys/crypto/aes/arch/x86/
H A Daes_sse2.c61 __m128i z0, z1, z2, z3, z4, z5, z6, z7, z8, z9; in aes_sse2_bitslice_Sbox() local
160 z3 = t43 & y16; in aes_sse2_bitslice_Sbox()
186 t53 = z0 ^ z3; in aes_sse2_bitslice_Sbox()
192 t59 = z3 ^ t54; in aes_sse2_bitslice_Sbox()
/netbsd-src/sys/crypto/chacha/arch/x86/
H A Dchacha_sse2.c201 __m128i z0,z1,z2,z3,z4,z5,z6,z7,z8,z9,z10,z11,z12,z13,z14,z15; in chacha_stream_sse2() local
273 z3 = unpack0_epi32(y12, y13, y14, y15); in chacha_stream_sse2()
290 storeu_epi32(s + 16*3, z3); in chacha_stream_sse2()
357 __m128i z0,z1,z2,z3,z4,z5,z6,z7,z8,z9,z10,z11,z12,z13,z14,z15; in chacha_stream_xor_sse2() local
429 z3 = unpack0_epi32(y12, y13, y14, y15); in chacha_stream_xor_sse2()
446 storeu_epi32(s + 16*3, loadu_epi32(p + 16*3) ^ z3); in chacha_stream_xor_sse2()
/netbsd-src/external/lgpl3/gmp/dist/tests/rand/
H A Dt-rand.c34 const char *z3[ENTS] = {"4", "3", "1", "7", "3", "0", "3", "3", "3", "1"}; variable
90 {z3, 3},
/netbsd-src/sys/lib/libkern/
H A Dsoftfloat-macros.h513 bits64 z0, z1, z2, z3; in mul128To256() local
516 mul64To128( a1, b1, &z2, &z3 ); in mul128To256()
524 *z3Ptr = z3; in mul128To256()
/netbsd-src/external/lgpl3/mpfr/dist/tests/
H A Dtdiv.c460 mpfr_t x, y, z, z2, z3, tmp; in check_lowr() local
469 mpfr_init2 (z3, 50); in check_lowr()
572 test_div(z3, x, y, MPFR_RNDD); in check_lowr()
573 mpfr_set(z, z3, MPFR_RNDD); in check_lowr()
585 test_div (z3, x, y, MPFR_RNDU); in check_lowr()
586 mpfr_set (z, z3, MPFR_RNDU); in check_lowr()
604 mpfr_clear (z3); in check_lowr()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyses.def28 ANALYSIS_CONSTRAINTS(Z3Constraints, "z3", "Use Z3 contraint solver",
/netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/Config/
H A Dllvm-config.h.cmake82 /* Define if we have z3 and want to build it */
/netbsd-src/lib/libc/softfloat/bits32/
H A Dsoftfloat-macros459 bits32 z0, z1, z2, z3;
462 mul32To64( a1, b1, &z2, &z3 );
470 *z3Ptr = z3;

123