Home
last modified time | relevance | path

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

12

/openbsd-src/gnu/gcc/libgomp/testsuite/libgomp.c/
H A Datomic-10.c7 volatile unsigned char z1, z2, z3, z4, z5; variable
84 ++z3; in f3()
94 z3 ^= 1; in f3()
104 z3 >>= 3; in f3()
130 if (z1 != 0 || z2 != 8 || z3 != 0 || z4 != 253 || z5 != 0) in main()
/openbsd-src/gnu/llvm/llvm/cmake/modules/
H A DFindZ3.cmake22 #include <z3.h>
52 find_path(Z3_INCLUDE_DIR NAMES z3.h
55 PATH_SUFFIXES libz3 z3
58 find_library(Z3_LIBRARIES NAMES z3 libz3
65 find_path(Z3_INCLUDE_DIR NAMES z3.h
66 PATH_SUFFIXES libz3 z3
69 find_library(Z3_LIBRARIES NAMES z3 libz3
/openbsd-src/gnu/usr.bin/binutils/gdb/testsuite/gdb.mi/
H A Dvar-cmd.c204 long z0, *z1, **z2, ***z3; in do_children_tests() local
247 z3 = &z2; in do_children_tests()
257 snp0.long_ptr = &z3; in do_children_tests()
280 snp2.long_ptr = &z3; in do_children_tests()
/openbsd-src/gnu/lib/libstdc++/libstdc++/testsuite/23_containers/
H A Dbitset_ctor.cc97 std::bitset<0> z3(std::string("10101010101")); in test02() local
98 VERIFY( z3.any() == false ); in test02()
/openbsd-src/sys/crypto/
H A Dcurve25519.c786 fe x1, x2, z2, x3, z3; in curve25519() local
824 fe_1(&z3); in curve25519()
843 fe_cswap(&z2, &z3, swap); in curve25519()
852 fe_sub(&tmp0l, &x3, &z3); in curve25519()
855 fe_add(&z2l, &x3, &z3); in curve25519()
856 fe_mul_tll(&z3, &tmp0l, &x2l); in curve25519()
860 fe_add(&x3l, &z3, &z2); in curve25519()
861 fe_sub(&z2l, &z3, &z2); in curve25519()
865 fe_mul121666(&z3, &tmp1l); in curve25519()
867 fe_add(&tmp0l, &tmp0, &z3); in curve25519()
[all …]
H A Daes.c111 uint32_t z0, z1, z2, z3, z4, z5, z6, z7, z8, z9; in aes_ct_bitslice_Sbox() local
210 z3 = t43 & y16; in aes_ct_bitslice_Sbox()
236 t53 = z0 ^ z3; in aes_ct_bitslice_Sbox()
242 t59 = z3 ^ t54; in aes_ct_bitslice_Sbox()
/openbsd-src/gnu/usr.bin/gcc/gcc/testsuite/g++.old-deja/g++.pt/
H A Dinstantiate8.C37 typedef Z z3; // ok in f() typedef
/openbsd-src/gnu/usr.bin/perl/dist/Attribute-Handlers/demo/
H A Ddemo2.pl9 my %z3 :Multi(qw(method,maybe));
/openbsd-src/regress/lib/libcrypto/x509/bettertls/certificates/
H A D2998.key25 ek3tRpLuNswXHa6o+aVEx44CWY/060ZFk9LeFh/4SQNUYkQ8ms7ikvTTCQVVo/z3
H A D2915.key24 nyrmhwKBgQDD7YnygG/Lf7giXFJ6VMwJa3FB5k5bGilBYqcxRAdDbV6onoZWD+z3
H A D197.key16 Yx4yBeGluq7nMmowTMTQ7pNshXehiKd6sVj8N3+S+8pdO0XB4mr3EAwZPYPSW/z3
H A D3172.key8 z3/FnvH4tXiEP29gnbVeZ1V/Gy983UKjPGpY5SVu42ZHQpTtANv0h6Z5MhwFRG24
H A D2413.key10 kR6FZ/lz0o9pze5TmHw9T3VD1W8S5+z3/522PqrlyH3ugHj4ZJT3SmBQqgeEyN91
H A D3401.chain10 MDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCejbJDiMm+trcYt/z3
H A D1303.chain11 W1x7dLw8VVb3UTzm5AK3GrBf3816uTFBD3aiuINNwYWwhZf8GJddGIPJmvjqt/z3
H A D1644.chain37 z3/ZjnIh34MUZcd5OlfiwjYyw/w7kEhxkrYiJvcZ7sbgyTOVi+BJ3+GTKY++ws/k
H A D2015.chain17 AE2TFh+V03Z4dUSdyF1q0rOX44BwqHzogAqITmQWs8IlnUV8+yF10ZM++TvL2+z3
/openbsd-src/lib/libc/softfloat/
H A Dsoftfloat-macros.h460 bits32 z0, z1, z2, z3; in mul64To128() local
463 mul32To64( a1, b1, &z2, &z3 ); in mul64To128()
471 *z3Ptr = z3; in mul64To128()
/openbsd-src/gnu/llvm/lldb/source/Utility/
H A DARM64_ehframe_Registers.h117 z3, enumerator
H A DARM64_DWARF_Registers.h118 z3, enumerator
/openbsd-src/sys/lib/libkern/
H A Dsoftfloat-macros.h557 bits64 z0, z1, z2, z3; in mul128To256() local
560 mul64To128( a1, b1, &z2, &z3 ); in mul128To256()
568 *z3Ptr = z3; in mul128To256()
/openbsd-src/gnu/usr.bin/perl/dist/Math-Complex/t/
H A DComplex.t424 my \$z3 = Math::Complex->emake();
425 print ((\$z3->rho() == 0) ? "ok $test\n" : "not ok $test\n");
430 print ((\$z3->theta() == 0) ? "ok $test\n" : "not ok $test\n");
/openbsd-src/gnu/llvm/lldb/source/Plugins/Process/Utility/
H A DRegisterInfos_arm64_sve.h412 DEFINE_VREG_SVE(v3, z3),
446 DEFINE_FPU_PSEUDO_SVE(s3, 4, z3),
479 DEFINE_FPU_PSEUDO_SVE(d3, 8, z3),
518 DEFINE_ZREG(z3),
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyses.def21 ANALYSIS_CONSTRAINTS(Z3Constraints, "z3", "Use Z3 contraint solver",
/openbsd-src/lib/libcrypto/curve25519/
H A Dcurve25519.c4824 fe x1, x2, z2, x3, z3, tmp0, tmp1; in x25519_scalar_mult_generic() local
4835 fe_1(z3); in x25519_scalar_mult_generic()
4843 fe_cswap(z2, z3, swap); in x25519_scalar_mult_generic()
4845 fe_sub(tmp0, x3, z3); in x25519_scalar_mult_generic()
4848 fe_add(z2, x3, z3); in x25519_scalar_mult_generic()
4849 fe_mul(z3, tmp0, x2); in x25519_scalar_mult_generic()
4853 fe_add(x3, z3, z2); in x25519_scalar_mult_generic()
4854 fe_sub(z2, z3, z2); in x25519_scalar_mult_generic()
4858 fe_mul121666(z3, tmp1); in x25519_scalar_mult_generic()
4860 fe_add(tmp0, tmp0, z3); in x25519_scalar_mult_generic()
[all …]

12