| /dports/sysutils/triton/Triton-0.8.1/src/libtriton/includes/triton/ |
| H A D | x86.spec | 63 REG_SPEC(AH, ah, triton::bitsize::word-1, triton::bitsize::byte, RAX, triton::bitsize::word-1, …
68 REG_SPEC(BH, bh, triton::bitsize::word-1, triton::bitsize::byte, RBX, triton::bitsize::word-1, …
73 REG_SPEC(CH, ch, triton::bitsize::word-1, triton::bitsize::byte, RCX, triton::bitsize::word-1, …
78 REG_SPEC(DH, dh, triton::bitsize::word-1, triton::bitsize::byte, RDX, triton::bitsize::word-1, …
82 REG_SPEC(DI, di, triton::bitsize::word-1, 0, RDI, triton::bitsize::word-1, 0, EDI, true) // di
86 REG_SPEC(SI, si, triton::bitsize::word-1, 0, RSI, triton::bitsize::word-1, 0, ESI, true) // si
90 REG_SPEC(BP, bp, triton::bitsize::word-1, 0, RBP, triton::bitsize::word-1, 0, EBP, true) // bp
94 REG_SPEC(SP, sp, triton::bitsize::word-1, 0, RSP, triton::bitsize::word-1, 0, ESP, true) // sp
98 REG_SPEC(IP, ip, triton::bitsize::word-1, 0, RIP, triton::bitsize::word-1, 0, EIP, true) // ip
103 REG_SPEC(MM0, mm0, triton::bitsize::qword-1, 0, MM0, triton::bitsize::qword-1, 0, MM0, true) // mm0
[all …]
|
| H A D | aarch64.spec | 13 REG_SPEC(X0, x0, triton::bitsize::qword-1, 0, X0, TT_MUTABLE_REG) // x0
14 REG_SPEC(X1, x1, triton::bitsize::qword-1, 0, X1, TT_MUTABLE_REG) // x1
15 REG_SPEC(X2, x2, triton::bitsize::qword-1, 0, X2, TT_MUTABLE_REG) // x2
16 REG_SPEC(X3, x3, triton::bitsize::qword-1, 0, X3, TT_MUTABLE_REG) // x3
17 REG_SPEC(X4, x4, triton::bitsize::qword-1, 0, X4, TT_MUTABLE_REG) // x4
18 REG_SPEC(X5, x5, triton::bitsize::qword-1, 0, X5, TT_MUTABLE_REG) // x5
19 REG_SPEC(X6, x6, triton::bitsize::qword-1, 0, X6, TT_MUTABLE_REG) // x6
20 REG_SPEC(X7, x7, triton::bitsize::qword-1, 0, X7, TT_MUTABLE_REG) // x7
21 REG_SPEC(X8, x8, triton::bitsize::qword-1, 0, X8, TT_MUTABLE_REG) // x8
22 REG_SPEC(X9, x9, triton::bitsize::qword-1, 0, X9, TT_MUTABLE_REG) // x9
[all …]
|
| /dports/databases/mariadb104-client/mariadb-10.4.24/unittest/mysys/ |
| H A D | bitmap-t.c | 32 return (rand() % bitsize); in get_rand_bit()
38 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
61 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
95 for (i=0; i<bitsize;i++) in test_get_all_bits()
99 for (i=0; i<bitsize;i++) in test_get_all_bits()
127 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
233 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
259 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
297 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
316 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
[all …]
|
| /dports/databases/mariadb104-server/mariadb-10.4.24/unittest/mysys/ |
| H A D | bitmap-t.c | 32 return (rand() % bitsize); in get_rand_bit()
38 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
61 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
95 for (i=0; i<bitsize;i++) in test_get_all_bits()
99 for (i=0; i<bitsize;i++) in test_get_all_bits()
127 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
233 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
259 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
297 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
316 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
[all …]
|
| /dports/databases/mariadb105-client/mariadb-10.5.15/unittest/mysys/ |
| H A D | bitmap-t.c | 32 return (rand() % bitsize); in get_rand_bit()
38 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
61 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
95 for (i=0; i<bitsize;i++) in test_get_all_bits()
99 for (i=0; i<bitsize;i++) in test_get_all_bits()
127 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
233 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
259 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
297 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
316 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
[all …]
|
| /dports/databases/mariadb103-server/mariadb-10.3.34/unittest/mysys/ |
| H A D | bitmap-t.c | 32 return (rand() % bitsize); in get_rand_bit()
38 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
61 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
95 for (i=0; i<bitsize;i++) in test_get_all_bits()
99 for (i=0; i<bitsize;i++) in test_get_all_bits()
127 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
233 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
259 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
297 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
316 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
[all …]
|
| /dports/databases/mariadb103-client/mariadb-10.3.34/unittest/mysys/ |
| H A D | bitmap-t.c | 32 return (rand() % bitsize); in get_rand_bit()
38 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
61 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
95 for (i=0; i<bitsize;i++) in test_get_all_bits()
99 for (i=0; i<bitsize;i++) in test_get_all_bits()
127 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
233 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
259 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
297 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
316 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
[all …]
|
| /dports/databases/mysql55-client/mysql-5.5.62/unittest/mysys/ |
| H A D | bitmap-t.c | 32 return (rand() % bitsize); in get_rand_bit()
38 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
61 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
94 for (i=0; i<bitsize;i++) in test_get_all_bits()
98 for (i=0; i<bitsize;i++) in test_get_all_bits()
126 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
232 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
258 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
296 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
315 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
[all …]
|
| /dports/databases/mariadb105-server/mariadb-10.5.15/unittest/mysys/ |
| H A D | bitmap-t.c | 32 return (rand() % bitsize); in get_rand_bit()
38 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
61 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
95 for (i=0; i<bitsize;i++) in test_get_all_bits()
99 for (i=0; i<bitsize;i++) in test_get_all_bits()
127 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
233 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
259 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
297 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
316 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
[all …]
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 36 uint get_rand_bit(uint bitsize) { return (rand() % bitsize); } in get_rand_bit() argument
40 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
59 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_flip_bit()
111 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_compare_operators()
203 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
224 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
254 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
269 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
307 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_prefix()
355 uint no_loops = bitsize > 128 ? 128 : bitsize; in test_compare()
[all …]
|
| /dports/databases/xtrabackup/percona-xtrabackup-2.4.21/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/percona57-server/percona-server-5.7.36-39/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/mysql57-client/mysql-5.7.36/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/databases/mysql56-client/mysql-5.6.51/unittest/gunit/ |
| H A D | my_bitmap-t.cc | 44 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_get_clear_bit()
67 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_flip_bit()
132 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare_operators()
237 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_count_bits_set()
263 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_first_bit()
301 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_set_next_bit()
320 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_get_next_bit()
368 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_prefix()
428 uint no_loops= bitsize > 128 ? 128 : bitsize; in test_compare()
541 uint bitsize; member in my_bitmap_unittest::BitMapTest
[all …]
|
| /dports/emulators/yuzu/yuzu-0b47f7a46/externals/dynarmic/src/frontend/A64/translate/impl/ |
| H A D | impl.cpp | 65 switch (bitsize) { in I()
80 switch (bitsize) { in X()
95 switch (bitsize) { in X()
108 switch (bitsize) { in SP()
119 switch (bitsize) { in SP()
132 switch (bitsize) { in V()
145 switch (bitsize) { in V()
162 if (bitsize == 128) { in V_scalar()
201 ASSERT(bitsize == 8 || bitsize == 16 || bitsize == 32 || bitsize == 64); in Vpart_scalar()
211 ASSERT(bitsize == 8 || bitsize == 16 || bitsize == 32 || bitsize == 64); in Vpart_scalar()
[all …]
|
| /dports/emulators/citra/citra-ac98458e0/externals/dynarmic/src/frontend/A64/translate/impl/ |
| H A D | impl.cpp | 65 switch (bitsize) { in I()
80 switch (bitsize) { in X()
95 switch (bitsize) { in X()
108 switch (bitsize) { in SP()
119 switch (bitsize) { in SP()
132 switch (bitsize) { in V()
145 switch (bitsize) { in V()
162 if (bitsize == 128) { in V_scalar()
201 ASSERT(bitsize == 8 || bitsize == 16 || bitsize == 32 || bitsize == 64); in Vpart_scalar()
211 ASSERT(bitsize == 8 || bitsize == 16 || bitsize == 32 || bitsize == 64); in Vpart_scalar()
[all …]
|
| /dports/emulators/citra-qt5/citra-ac98458e0/externals/dynarmic/src/frontend/A64/translate/impl/ |
| H A D | impl.cpp | 65 switch (bitsize) { in I()
80 switch (bitsize) { in X()
95 switch (bitsize) { in X()
108 switch (bitsize) { in SP()
119 switch (bitsize) { in SP()
132 switch (bitsize) { in V()
145 switch (bitsize) { in V()
162 if (bitsize == 128) { in V_scalar()
201 ASSERT(bitsize == 8 || bitsize == 16 || bitsize == 32 || bitsize == 64); in Vpart_scalar()
211 ASSERT(bitsize == 8 || bitsize == 16 || bitsize == 32 || bitsize == 64); in Vpart_scalar()
[all …]
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | bvarith64_buffers.h | 78 uint32_t bitsize; member
471 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_add_buffer()
480 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_sub_buffer()
489 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_add_const_times_buffer()
498 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_sub_const_times_buffer()
507 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_add_pp_times_buffer()
516 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_sub_pp_times_buffer()
525 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_add_mono_times_buffer()
533 assert(b->bitsize > 0 && b->ptbl == b1->ptbl && b->bitsize == b1->bitsize); in bvarith64_buffer_sub_mono_times_buffer()
562 …& b->ptbl == b1->ptbl && b->ptbl == b2->ptbl && b->bitsize == b1->bitsize && b->bitsize == b2->bit… in bvarith64_buffer_add_buffer_times_buffer()
[all …]
|