/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl.h | 29 void mk_le(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 84 … void mk_udiv(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & q_bits); 85 … void mk_urem(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & r_bits); 87 …void mk_sdiv(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits… 88 …void mk_srem(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits… 96 void mk_eq(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 99 …void mk_shl(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits); 102 void mk_sle(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 103 void mk_ule(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 105 …void mk_and(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits); [all …]
|
H A D | bit_blaster_tpl_def.h | 163 mk_not(b_bits[j], not_b); in mk_subtracter() 185 std::swap(a_bits, b_bits); in mk_multiplier() 186 if (is_minus_one(sz, b_bits)) { in mk_multiplier() 281 ext_b_bits.append(sz, b_bits); in mk_umul_no_overflow() 320 ext_b_bits.append(sz, b_bits); in mk_smul_no_overflow_core() 345 mk_xor(b_bits[sz-1], b_bits[i], b); in mk_smul_no_overflow_core() 602 expr * b_msb = b_bits[sz - 1]; in mk_sdiv() 651 expr * b_msb = b_bits[sz - 1]; in mk_srem() 732 expr * b_msb = b_bits[sz - 1]; in mk_smod() 1034 mk_or(not_a, b_bits[0], out); in mk_le() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/bit_blaster/ |
H A D | bit_blaster_tpl.h | 29 void mk_le(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 88 … void mk_udiv(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & q_bits); 89 … void mk_urem(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & r_bits); 91 …void mk_sdiv(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits… 92 …void mk_srem(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits… 100 void mk_eq(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 103 …void mk_shl(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits); 106 void mk_sle(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 107 void mk_ule(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref & out); 109 …void mk_and(unsigned sz, expr * const * a_bits, expr * const * b_bits, expr_ref_vector & out_bits); [all …]
|
H A D | bit_blaster_tpl_def.h | 163 mk_not(b_bits[j], not_b); in mk_subtracter() 185 std::swap(a_bits, b_bits); in mk_multiplier() 186 if (is_minus_one(sz, b_bits)) { in mk_multiplier() 361 ext_b_bits.append(sz, b_bits); in mk_umul_no_overflow() 400 ext_b_bits.append(sz, b_bits); in mk_smul_no_overflow_core() 425 mk_xor(b_bits[sz-1], b_bits[i], b); in mk_smul_no_overflow_core() 682 expr * b_msb = b_bits[sz - 1]; in mk_sdiv() 731 expr * b_msb = b_bits[sz - 1]; in mk_srem() 812 expr * b_msb = b_bits[sz - 1]; in mk_smod() 1114 mk_or(not_a, b_bits[0], out); in mk_le() [all …]
|
/dports/multimedia/xanim/xanim2920/ |
H A D | xa_cmap.c | 998 xa_b_shift = 16 - b_bits; 999 xa_b_mask = ((0x01 << b_bits) - 1) << (16 - b_bits); 1010 disp_bits,r_bits,g_bits,b_bits); 1016 i = r_bits + g_bits + b_bits; 1021 b_scale = cmap_scale[b_bits]; 1026 gshft = b_bits; rshft = b_bits + g_bits; 1311 xa_b_shift = 16 - b_bits; 1312 xa_b_mask = ((0x01 << b_bits) - 1) << (16 - b_bits); 1320 i = r_bits + g_bits + b_bits; 1325 b_scale = cmap_scale[b_bits]; [all …]
|
/dports/graphics/xv-m17n/xv-3.10a/ |
H A D | xvpic.c | 37 int g_bits, r_bits, b_bits, i_bits; member 336 pi->b_bits = 2; 346 pi->r_bits = pi->b_bits = 5; 365 pi->g_bits = pi->r_bits = pi->b_bits = 5; 372 pi->r_bits = pi->g_bits = pi->b_bits = 5; 407 pi->g_bits = pi->r_bits = pi->b_bits = 4; 412 pi->g_bits = pi->r_bits = pi->b_bits = 5; 417 pi->g_bits = pi->r_bits = pi->b_bits = 5; 640 pic.b_bits = 8; 649 pic.b_bits = 8; [all …]
|
/dports/japanese/xv/xv-3.10a/ |
H A D | xvpic.c | 37 int g_bits, r_bits, b_bits, i_bits; member 336 pi->b_bits = 2; 346 pi->r_bits = pi->b_bits = 5; 365 pi->g_bits = pi->r_bits = pi->b_bits = 5; 372 pi->r_bits = pi->g_bits = pi->b_bits = 5; 407 pi->g_bits = pi->r_bits = pi->b_bits = 4; 412 pi->g_bits = pi->r_bits = pi->b_bits = 5; 417 pi->g_bits = pi->r_bits = pi->b_bits = 5; 640 pic.b_bits = 8; 649 pic.b_bits = 8; [all …]
|
/dports/graphics/xv/xv-3.10a/ |
H A D | xvpic.c | 37 int g_bits, r_bits, b_bits, i_bits; member 336 pi->b_bits = 2; 346 pi->r_bits = pi->b_bits = 5; 365 pi->g_bits = pi->r_bits = pi->b_bits = 5; 372 pi->r_bits = pi->g_bits = pi->b_bits = 5; 407 pi->g_bits = pi->r_bits = pi->b_bits = 4; 412 pi->g_bits = pi->r_bits = pi->b_bits = 5; 417 pi->g_bits = pi->r_bits = pi->b_bits = 5; 640 pic.b_bits = 8; 649 pic.b_bits = 8; [all …]
|
/dports/editors/encryptpad/EncryptPad-0.5.0.1/deps/botan/src/lib/misc/srp6/ |
H A D | srp6.cpp | 154 const size_t b_bits = group.exponent_bits(); in step1() local 156 return this->step1(v, group, hash_id, b_bits, rng); in step1() 162 size_t b_bits, in step1() argument 170 m_b = BigInt(rng, b_bits); in step1() 176 m_B = group.mod_p(v*k + group.power_g_p(m_b, b_bits)); in step1()
|
/dports/security/botan2/Botan-2.18.2/src/lib/misc/srp6/ |
H A D | srp6.cpp | 154 const size_t b_bits = group.exponent_bits(); in step1() local 156 return this->step1(v, group, hash_id, b_bits, rng); in step1() 162 size_t b_bits, in step1() argument 170 m_b = BigInt(rng, b_bits); in step1() 176 m_B = group.mod_p(v*k + group.power_g_p(m_b, b_bits)); in step1()
|
/dports/mail/thunderbird/thunderbird-91.8.0/comm/third_party/botan/src/lib/misc/srp6/ |
H A D | srp6.cpp | 154 const size_t b_bits = group.exponent_bits(); in step1() local 156 return this->step1(v, group, hash_id, b_bits, rng); in step1() 162 size_t b_bits, in step1() argument 170 m_b = BigInt(rng, b_bits); in step1() 176 m_B = group.mod_p(v*k + group.power_g_p(m_b, b_bits)); in step1()
|
/dports/math/gmp/gmp-6.2.1/tests/mpn/ |
H A D | t-mod_1.c | 95 unsigned b_bits; in main() local 108 b_bits = 1 + gmp_urandomm_ui (rands, GMP_NUMB_BITS); in main() 111 mpz_rrandomb (b, rands, b_bits); in main()
|
/dports/math/gap/gap-4.11.0/extern/gmp/tests/mpn/ |
H A D | t-mod_1.c | 96 unsigned b_bits; in main() local 109 b_bits = 1 + gmp_urandomm_ui (rands, GMP_NUMB_BITS); in main() 112 mpz_rrandomb (b, rands, b_bits); in main()
|
/dports/math/mingw32-libgmp/gmp-6.0.0/tests/mpn/ |
H A D | t-mod_1.c | 96 unsigned b_bits; in main() local 109 b_bits = 1 + gmp_urandomm_ui (rands, GMP_NUMB_BITS); in main() 112 mpz_rrandomb (b, rands, b_bits); in main()
|
/dports/math/kalker/gmp-mpfr-sys-21966f4bfb56c87d407eb14c72e92ef4e55856aa/gmp-6.2.1-c/tests/mpn/ |
H A D | t-mod_1.c | 95 unsigned b_bits; in main() local 108 b_bits = 1 + gmp_urandomm_ui (rands, GMP_NUMB_BITS); in main() 111 mpz_rrandomb (b, rands, b_bits); in main()
|
/dports/security/botan110/Botan-1.10.17/src/math/numbertheory/ |
H A D | pow_mod.cpp | 164 const size_t b_bits = b.bits(); in choose_base_hints() local 167 if(b_bits < n_bits / 32) in choose_base_hints() 169 if(b_bits > n_bits / 4) in choose_base_hints()
|
/dports/security/masscan/masscan-1.3.2/src/ |
H A D | crypto-blackrock2.c | 274 br->b_bits = bit_count(br->b); in blackrock2_init() 340 ENCRYPT(unsigned r, uint64_t a_bits, uint64_t a_mask, uint64_t b_bits, uint64_t b_mask, uint64_t m,… in ENCRYPT() argument 346 UNUSEDPARM(b_bits); in ENCRYPT() 420 c = ENCRYPT(br->rounds, br->a_bits, br->a_mask, br->b_bits, br->b_mask, m, br->seed); in blackrock2_shuffle() 422 c = ENCRYPT(br->rounds, br->a_bits, br->a_mask, br->b_bits, br->b_mask, c, br->seed); in blackrock2_shuffle()
|
/dports/comms/acfax/acfax/ |
H A D | x_image.c | 53 int b_bits; /* count of significant bits in b_mask */ variable 200 r_bits = g_bits = b_bits = 0; in alloc_cmap() 235 b_bits++; in alloc_cmap() 351 cval += (((1 << b_bits) - 1) * yv / 63) << b_shift; in fill_cmap_gray()
|
/dports/graphics/gimageview/gimageview-0.2.27/plugins/image_loader/ |
H A D | bmp.c | 57 gint b_mask, b_shift, b_bits; member 391 find_bits (bf->b_mask, &bf->b_shift, &bf->b_bits); in bmp_read_bitmasks() 393 if (bf->r_bits == 0 || bf->g_bits == 0 || bf->b_bits == 0) { in bmp_read_bitmasks() 401 bf->r_bits = bf->g_bits = bf->b_bits = 5; in bmp_read_bitmasks() 449 b_lshift = 8 - bf->b_bits; in bmp_read_image() 453 b_rshift = bf->b_bits - b_lshift; in bmp_read_image() 559 b_lshift = 8 - bf->b_bits; in bmp_read_image() 563 b_rshift = bf->b_bits - b_lshift; in bmp_read_image()
|
H A D | spi_image_loader.c | 93 gint b_mask, b_shift, b_bits; member 123 find_bits (bf->b_mask, &bf->b_shift, &bf->b_bits); in dib_read_bitmasks() 125 if (bf->r_bits == 0 || bf->g_bits == 0 || bf->b_bits == 0) { in dib_read_bitmasks() 133 bf->r_bits = bf->g_bits = bf->b_bits = 5; in dib_read_bitmasks()
|
/dports/graphics/exiftran/fbida-2.14/rd/ |
H A D | read-xwd.c | 60 int r_bits,g_bits,b_bits; member 83 h->b_bits++; in xwd_map() 84 else if (!h->b_bits) in xwd_map() 89 h->b_shift -= (8 - h->b_bits); in xwd_map() 94 fprintf(stderr,"xwd: blue : %04i %05i\n", h->b_bits, h->b_shift); in xwd_map()
|
/dports/graphics/ida/fbida-2.14/rd/ |
H A D | read-xwd.c | 60 int r_bits,g_bits,b_bits; member 83 h->b_bits++; in xwd_map() 84 else if (!h->b_bits) in xwd_map() 89 h->b_shift -= (8 - h->b_bits); in xwd_map() 94 fprintf(stderr,"xwd: blue : %04i %05i\n", h->b_bits, h->b_shift); in xwd_map()
|
/dports/editors/encryptpad/EncryptPad-0.5.0.1/deps/botan/src/lib/math/numbertheory/ |
H A D | pow_mod.cpp | 279 const size_t b_bits = b.bits(); in choose_base_hints() local 282 if(b_bits < n_bits / 32) in choose_base_hints() 284 if(b_bits > n_bits / 4) in choose_base_hints()
|
/dports/mail/thunderbird/thunderbird-91.8.0/comm/third_party/botan/src/lib/math/numbertheory/ |
H A D | pow_mod.cpp | 279 const size_t b_bits = b.bits(); in choose_base_hints() local 282 if(b_bits < n_bits / 32) in choose_base_hints() 284 if(b_bits > n_bits / 4) in choose_base_hints()
|
/dports/security/botan2/Botan-2.18.2/src/lib/math/numbertheory/ |
H A D | pow_mod.cpp | 279 const size_t b_bits = b.bits(); in choose_base_hints() local 282 if(b_bits < n_bits / 32) in choose_base_hints() 284 if(b_bits > n_bits / 4) in choose_base_hints()
|