Home
last modified time | relevance | path

Searched refs:b_bits (Results 1 – 25 of 95) sorted by relevance

1234

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/bit_blaster/
H A Dbit_blaster_tpl.h29 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 Dbit_blaster_tpl_def.h163 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 Dbit_blaster_tpl.h29 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 Dbit_blaster_tpl_def.h163 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 Dxa_cmap.c998 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 Dxvpic.c37 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 Dxvpic.c37 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 Dxvpic.c37 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 Dsrp6.cpp154 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 Dsrp6.cpp154 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 Dsrp6.cpp154 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 Dt-mod_1.c95 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 Dt-mod_1.c96 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 Dt-mod_1.c96 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 Dt-mod_1.c95 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 Dpow_mod.cpp164 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 Dcrypto-blackrock2.c274 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 Dx_image.c53 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 Dbmp.c57 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 Dspi_image_loader.c93 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 Dread-xwd.c60 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 Dread-xwd.c60 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 Dpow_mod.cpp279 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 Dpow_mod.cpp279 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 Dpow_mod.cpp279 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()

1234