/dports/lang/solidity/solidity_0.8.11/test/formal/ |
H A D | util.py | 10 def BVUnsignedMax(type_bits, n_bits): argument 11 assert type_bits <= n_bits 12 return BitVecVal((1 << type_bits) - 1, n_bits) 21 def BVSignedMax(type_bits, n_bits): argument 22 assert type_bits <= n_bits 23 return BitVecVal((1 << (type_bits - 1)) - 1, n_bits) 25 def BVSignedMin(type_bits, n_bits): argument 26 assert type_bits <= n_bits 27 return BitVecVal(-(1 << (type_bits - 1)), n_bits)
|
H A D | checked_int_add.py | 11 type_bits = 8 variable 13 while type_bits <= n_bits: 18 X_short = BitVec('X', type_bits) 19 Y_short = BitVec('Y', type_bits) 30 maxValue = BVSignedMax(type_bits, n_bits) 31 minValue = BVSignedMin(type_bits, n_bits) 40 type_bits *= 2
|
H A D | checked_int_sub.py | 11 type_bits = 8 variable 13 while type_bits <= n_bits: 18 X_short = BitVec('X', type_bits) 19 Y_short = BitVec('Y', type_bits) 30 maxValue = BVSignedMax(type_bits, n_bits) 31 minValue = BVSignedMin(type_bits, n_bits) 40 type_bits *= 2
|
H A D | checked_uint_sub.py | 11 type_bits = 8 variable 13 while type_bits <= n_bits: 18 X_short = BitVec('X', type_bits) 19 Y_short = BitVec('Y', type_bits) 29 maxValue = BVUnsignedMax(type_bits, n_bits) 36 type_bits *= 2
|
H A D | checked_uint_add.py | 11 type_bits = 8 variable 13 while type_bits <= n_bits: 18 X_short = BitVec('X', type_bits) 19 Y_short = BitVec('Y', type_bits) 29 maxValue = BVUnsignedMax(type_bits, n_bits) 36 type_bits *= 2
|
H A D | checked_int_div.py | 11 type_bits = 8 variable 13 while type_bits <= n_bits: 18 X_short = BitVec('X', type_bits) 19 Y_short = BitVec('Y', type_bits) 29 minValue = BVSignedMin(type_bits, n_bits) 36 type_bits *= 2
|
H A D | checked_uint_mul_16.py | 12 type_bits = 8 variable 14 while type_bits <= n_bits: 19 X_short = BitVec('X', type_bits) 20 Y_short = BitVec('Y', type_bits) 30 maxValue = BVUnsignedMax(type_bits, n_bits) 37 type_bits *= 2
|
H A D | checked_int_mul_16.py | 12 type_bits = 8 variable 14 while type_bits <= n_bits: 19 X_short = BitVec('X', type_bits) 20 Y_short = BitVec('Y', type_bits) 31 maxValue = BVSignedMax(type_bits, n_bits) 32 minValue = BVSignedMin(type_bits, n_bits) 43 type_bits *= 2
|
/dports/devel/radare2/radare2-5.1.1/libr/reg/ |
H A D | profile.c | 333 type_bits = 0; in gdb_to_r2_profile() 339 type_bits |= gpr; in gdb_to_r2_profile() 341 type_bits |= all; in gdb_to_r2_profile() 343 type_bits |= save; in gdb_to_r2_profile() 347 type_bits |= float_; in gdb_to_r2_profile() 349 type_bits |= sse; in gdb_to_r2_profile() 351 type_bits |= mmx; in gdb_to_r2_profile() 353 type_bits |= vector; in gdb_to_r2_profile() 371 if (!(type_bits & sse) && !(type_bits & float_)) { in gdb_to_r2_profile() 372 type_bits |= gpr; in gdb_to_r2_profile() [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/base/metrics/ |
H A D | ukm_source_id.cc | 38 const int64_t type_bits = static_cast<int64_t>(type); in FromOtherId() local 39 DCHECK_EQ(type_bits, type_bits & kTypeMask); in FromOtherId() 43 return UkmSourceId((other_id << kNumTypeBits) | type_bits); in FromOtherId()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/services/metrics/public/cpp/ |
H A D | ukm_source_id.cc | 52 const int64_t type_bits = static_cast<int64_t>(type); in FromOtherId() local 53 DCHECK_EQ(type_bits, type_bits & kTypeMask); in FromOtherId() 57 return SourceIdObj((other_id << kNumTypeBits) | type_bits); in FromOtherId()
|
/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/runtime/ |
H A D | trace_helper.cpp | 10 int type_code, int type_bits, int type_lanes, in halide_trace_helper() argument 20 event.type.bits = (uint8_t)type_bits; in halide_trace_helper() 27 …(void)halide_msan_annotate_memory_is_initialized(user_context, value, type_lanes * ((type_bits + 7… in halide_trace_helper()
|
H A D | matlab.cpp | 77 WEAK mxClassID get_class_id(int32_t type_code, int32_t type_bits) { in get_class_id() argument 80 switch (type_bits) { in get_class_id() 94 switch (type_bits) { in get_class_id() 108 switch (type_bits) { in get_class_id() 371 int32_t type_bits = arg->type.bits; in halide_matlab_array_to_scalar() local 374 switch (type_bits) { in halide_matlab_array_to_scalar() 392 switch (type_bits) { in halide_matlab_array_to_scalar() 410 switch (type_bits) { in halide_matlab_array_to_scalar()
|
/dports/audio/lenticular-lv2/lenticular_lv2-0.5.0-14-g14d8075/eurorack/stages/ |
H A D | settings.cc | 75 uint8_t type_bits = state_.segment_configuration[i] & 0x3; in Init() local 77 CONSTRAIN(type_bits, 0, 3); in Init() 78 state_.segment_configuration[i] = type_bits | loop_bit; in Init()
|
H A D | ui.cc | 89 uint8_t type_bits = s->segment_configuration[i] & 0x03; in Poll() local 90 s->segment_configuration[i] = type_bits | (4 - loop_bit); in Poll() 97 uint8_t type_bits = s->segment_configuration[i] & 0x03; in Poll() local 98 s->segment_configuration[i] = ((type_bits + 1) % 3) | loop_bit; in Poll()
|
/dports/graphics/mesa-devel/mesa-22.0-branchpoint-2059-ge8a63cf61ec/src/vulkan/wsi/ |
H A D | wsi_common_drm.c | 95 uint32_t type_bits) in select_memory_type() argument 97 assert(type_bits); in select_memory_type() 104 if ((type_bits & (1 << i)) && local == want_device_local) in select_memory_type() 112 return ffs(type_bits) - 1; in select_memory_type() 120 uint32_t type_bits) in prime_select_buffer_memory_type() argument 122 return select_memory_type(wsi, false, type_bits); in prime_select_buffer_memory_type() 127 uint32_t type_bits) in prime_select_image_memory_type() argument 129 return select_memory_type(wsi, true, type_bits); in prime_select_image_memory_type()
|
/dports/devel/p5-Data-Rmap/Data-Rmap-0.65/lib/Data/ |
H A D | Rmap.pm | 432 my %type_bits = ( 497 $type = $type_bits{$type} or next; 535 my $type = $type_bits{reftype($_) || 'VALUE'} or return;
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/compiler/ |
H A D | oopMap.hpp | 57 enum { type_bits = 5, enumerator 58 register_bits = BitsPerShort - type_bits }; 61 register_shift = type_bits }; 63 enum { type_mask = right_n_bits(type_bits),
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/hotspot/src/share/vm/compiler/ |
H A D | oopMap.hpp | 57 enum { type_bits = 5, enumerator 58 register_bits = BitsPerShort - type_bits }; 61 register_shift = type_bits }; 63 enum { type_mask = right_n_bits(type_bits),
|
/dports/emulators/ppsspp-qt5/ppsspp-1.12.3/Core/ELF/ |
H A D | ElfReader.cpp | 228 int flag_bits, seg_bits, type_bits; in LoadRelocations2() local 241 type_bits = buf[3]; in LoadRelocations2() 270 type = ( cmd<<(16-type_bits-seg_bits-flag_bits))&0xffff; in LoadRelocations2() 271 type = (type>>(16-type_bits))&0xffff; in LoadRelocations2() 297 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2() 300 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2() 307 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2()
|
/dports/emulators/ppsspp/ppsspp-1.12.3/Core/ELF/ |
H A D | ElfReader.cpp | 228 int flag_bits, seg_bits, type_bits; in LoadRelocations2() local 241 type_bits = buf[3]; in LoadRelocations2() 270 type = ( cmd<<(16-type_bits-seg_bits-flag_bits))&0xffff; in LoadRelocations2() 271 type = (type>>(16-type_bits))&0xffff; in LoadRelocations2() 297 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2() 300 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2() 307 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2()
|
/dports/emulators/libretro-ppsspp/ppsspp-1.12.3/Core/ELF/ |
H A D | ElfReader.cpp | 228 int flag_bits, seg_bits, type_bits; in LoadRelocations2() local 241 type_bits = buf[3]; in LoadRelocations2() 270 type = ( cmd<<(16-type_bits-seg_bits-flag_bits))&0xffff; in LoadRelocations2() 271 type = (type>>(16-type_bits))&0xffff; in LoadRelocations2() 297 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2() 300 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2() 307 rel_offset >>= type_bits+seg_bits+flag_bits; in LoadRelocations2()
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/hotspot/share/compiler/ |
H A D | oopMap.hpp | 56 enum { type_bits = 2, enumerator 57 register_bits = BitsPerShort - type_bits }; 60 register_shift = type_bits }; 62 enum { type_mask = right_n_bits(type_bits),
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/hotspot/share/compiler/ |
H A D | oopMap.hpp | 60 enum { type_bits = 2, enumerator 61 register_bits = BitsPerShort - type_bits }; 64 register_shift = type_bits }; 66 enum { type_mask = right_n_bits(type_bits),
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/hotspot/share/compiler/ |
H A D | oopMap.hpp | 58 enum { type_bits = 2, enumerator 59 register_bits = BitsPerShort - type_bits }; 62 register_shift = type_bits }; 64 enum { type_mask = right_n_bits(type_bits),
|