Home
last modified time | relevance | path

Searched refs:bit_t (Results 1 – 25 of 145) sorted by relevance

123456

/dports/devel/tla/tla-1.3.5/src/hackerlab/bitsets/
H A Dbitset.h34 typedef long bit_t; /* A bit address. */ typedef
166 extern int bitset_is_empty_range (bitset a, bit_t from, bit_t to);
168 extern int bitset_is_full_range (bitset a, bit_t from, bit_t to);
173 extern void bitset_clear_range (bitset b, bit_t from, bit_t to);
175 extern void bitset_fill_range (bitset b, bit_t from, bit_t to);
183 extern bit_t bitset_population (bit_t size, bitset a);
184 extern bit_t bitset_population_range (bitset a, bit_t from, bit_t to);
185 extern bit_t bitset_ffs (bit_t size, bitset b);
186 extern bit_t bitset_ffs_range (bitset b, bit_t from, bit_t to);
187 extern bit_t bitset_ffc (bit_t size, bitset b);
[all …]
H A Dbitset.c169 bit_t x; in bitset_is_equal()
201 bit_t x; in bitset_is_subset()
234 bit_t x; in bitset_is_empty()
268 bit_t x; in bitset_is_empty_range()
307 bit_t x; in bitset_is_full()
751 bit_t
793 bit_t
878 bit_t
915 bit_t
1008 bit_t
[all …]
/dports/math/yices/yices-2.6.2/src/terms/
H A Dbit_expr.h133 static inline bit_t unsigned_bit(bit_t x) { in unsigned_bit()
138 static inline bool opposite_bits(bit_t x, bit_t y) { in opposite_bits()
271 static inline bit_t bit_not(bit_t b) { in bit_not()
295 extern bit_t bit_or2(node_table_t *table, bit_t b1, bit_t b2);
296 extern bit_t bit_xor2(node_table_t *table, bit_t b1, bit_t b2);
299 extern bit_t bit_or2simplify(node_table_t *table, bit_t b1, bit_t b2);
300 extern bit_t bit_xor2simplify(node_table_t *table, bit_t b1, bit_t b2);
308 static inline bit_t bit_and2(node_table_t *table, bit_t b1, bit_t b2) { in bit_and2()
312 static inline bit_t bit_eq2(node_table_t *table, bit_t b1, bit_t b2) { in bit_eq2()
316 static inline bit_t bit_and2simplify(node_table_t *table, bit_t b1, bit_t b2) { in bit_and2simplify()
[all …]
H A Dbit_expr.c201 static inline uint32_t hash_or(bit_t a, bit_t b) { in hash_or()
205 static inline uint32_t hash_xor(bit_t a, bit_t b) { in hash_xor()
541 static bit_t make_or2(node_table_t *table, bit_t a, bit_t b) { in make_or2()
559 static bit_t make_xor2(node_table_t *table, bit_t a, bit_t b) { in make_xor2()
589 bit_t bit_or2(node_table_t *table, bit_t a, bit_t b) { in bit_or2()
618 bit_t bit_or2simplify(node_table_t *table, bit_t a, bit_t b) { in bit_or2simplify()
865 bit_t bit_xor2(node_table_t *table, bit_t a, bit_t b) { in bit_xor2()
889 bit_t bit_xor2simplify(node_table_t *table, bit_t a, bit_t b) { in bit_xor2simplify()
1071 bit_t b; in bit_or()
1101 bit_t b; in bit_and()
[all …]
H A Dbvlogic_buffers.h68 bit_t *bit;
78 #define BVLOGIC_BUFFER_MAX_SIZE (UINT32_MAX/sizeof(bit_t))
164 extern bool bvlogic_buffer_allbits_equal(bvlogic_buffer_t *b, bit_t bit);
186 extern void bvlogic_buffer_set_bitarray(bvlogic_buffer_t *b, uint32_t n, bit_t *a);
187 extern void bvlogic_buffer_set_allbits(bvlogic_buffer_t *b, uint32_t n, bit_t bit);
258 extern void bvlogic_buffer_and_bitarray(bvlogic_buffer_t *b, uint32_t n, bit_t *a);
259 extern void bvlogic_buffer_or_bitarray(bvlogic_buffer_t *b, uint32_t n, bit_t *a);
260 extern void bvlogic_buffer_xor_bitarray(bvlogic_buffer_t *b, uint32_t n, bit_t *a);
340 extern void bvlogic_buffer_shift_left(bvlogic_buffer_t *b, uint32_t k, bit_t padding);
355 extern void bvlogic_buffer_shift_right(bvlogic_buffer_t *b, uint32_t k, bit_t padding);
[all …]
H A Dbvlogic_buffers.c143 bit_t aux; in bvlogic_buffer_get_var()
337 bit_t s; in get_abs64_sign_bit()
363 bit_t s; in bvlogic_buffer_set_abs64()
522 bit_t s; in bvlogic_buffer_set_slice_abs64()
751 bit_t x; in bvlogic_buffer_and_bv()
767 bit_t x; in bvlogic_buffer_or_bv()
783 bit_t x; in bvlogic_buffer_xor_bv()
804 bit_t x; in bvlogic_buffer_and_term_array()
821 bit_t x; in bvlogic_buffer_or_term_array()
838 bit_t x; in bvlogic_buffer_xor_term_array()
[all …]
/dports/devel/commoncpp/commoncpp2-1.8.1/src/
H A Dcidr.cpp53 static void bitmask(bit_t *bits, bit_t *mask, unsigned len) in bitmask()
59 static void bitimask(bit_t *bits, bit_t *mask, unsigned len) in bitimask()
67 bit_t mask; in bitset()
119 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
135 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
146 bitimask((bit_t *)&bcast, (bit_t *)&netmask, sizeof(bcast)); in getBroadcast()
222 bitmask((bit_t *)&network, (bit_t *)&netmask, sizeof(network)); in set()
251 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
267 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
278 bitimask((bit_t *)&bcast, (bit_t *)&netmask, sizeof(bcast)); in getBroadcast()
[all …]
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_bit_expr.c69 static bit_t va, vb, vc, vd, ve;
151 static void print_id(bit_t x) { in print_id()
234 bit_t x; in init()
360 static void test_or(bit_t x, bit_t y) { in test_or()
361 bit_t z; in test_or()
395 static void test_xor(bit_t x, bit_t y) { in test_xor()
396 bit_t z; in test_xor()
430 static void multi_test(bit_t x, bit_t y) { in multi_test()
458 bit_t x, y; in test_all_pairs()
479 bit_t x; in random_bit()
[all …]
/dports/devel/ucommon/ucommon-7.0.0/commoncpp/
H A Daddress.cpp916 static void bitmask(bit_t *bits, bit_t *mask, unsigned len) in bitmask()
922 static void bitimask(bit_t *bits, bit_t *mask, unsigned len) in bitimask()
930 bit_t mask; in bitset()
982 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
998 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
1009 bitimask((bit_t *)&bcast, (bit_t *)&netmask, sizeof(bcast)); in getBroadcast()
1085 bitmask((bit_t *)&network, (bit_t *)&netmask, sizeof(network)); in set()
1114 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
1130 bitmask((bit_t *)&host, (bit_t *)&netmask, sizeof(host)); in isMember()
1141 bitimask((bit_t *)&bcast, (bit_t *)&netmask, sizeof(bcast)); in getBroadcast()
[all …]
/dports/graphics/freeimage/FreeImage/Source/LibWebP/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
122 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
150 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
170 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/devel/godot2-tools/godot-2.1.6-stable/thirdparty/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
122 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
150 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
170 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/devel/godot2/godot-2.1.6-stable/thirdparty/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
122 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
150 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
170 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/www/zola/zola-0.15.2/cargo-crates/libwebp-sys-0.2.0/vendor/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
122 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
150 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
170 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/graphics/urho3d/Urho3D-1.7.1/Source/ThirdParty/WebP/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
122 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
150 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
170 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/multimedia/gstreamer1-plugins-rust/gst-plugins-rs-d0466b3eee114207f851b37cae0015c0e718f021/cargo-crates/libwebp-sys2-0.1.2/c_src/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/www/firefox-esr/firefox-91.8.0/media/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/devel/godot/godot-3.2.3-stable/thirdparty/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/devel/godot-tools/godot-3.2.3-stable/thirdparty/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/security/keybase/client-v5.7.1/shared/ios/Pods/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/www/firefox/firefox-99.0/media/libwebp/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
153 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
175 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/security/keybase/client-v5.7.1/shared/ios/Pods/Headers/Private/libwebp/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/graphics/webp/libwebp-1.2.1/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
153 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
175 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()
/dports/www/gohugo/hugo-0.91.2/vendor/github.com/bep/gowebp/libwebp_src/src/utils/
H A Dbit_reader_inl_utils.h63 bit_t bits; in VP8LoadNewBytes()
93 bits = (bit_t)in_bits; in VP8LoadNewBytes()
96 bits = (bit_t)in_bits; in VP8LoadNewBytes()
97 if (BITS != 8 * sizeof(bit_t)) bits >>= (8 * sizeof(bit_t) - BITS); in VP8LoadNewBytes()
123 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBit()
152 br->value_ -= (bit_t)((split + 1) & mask) << pos; in VP8GetSigned()
174 br->value_ -= (bit_t)(split + 1) << pos; in VP8GetBitAlt()

123456