Home
last modified time | relevance | path

Searched refs:type_bits (Results 1 – 25 of 203) sorted by relevance

123456789

/dports/lang/solidity/solidity_0.8.11/test/formal/
H A Dutil.py10 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 Dchecked_int_add.py11 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 Dchecked_int_sub.py11 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 Dchecked_uint_sub.py11 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 Dchecked_uint_add.py11 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 Dchecked_int_div.py11 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 Dchecked_uint_mul_16.py12 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 Dchecked_int_mul_16.py12 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 Dprofile.c333 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 Dukm_source_id.cc38 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 Dukm_source_id.cc52 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 Dtrace_helper.cpp10 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 Dmatlab.cpp77 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 Dsettings.cc75 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 Dui.cc89 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 Dwsi_common_drm.c95 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 DRmap.pm432 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 DoopMap.hpp57 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 DoopMap.hpp57 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 DElfReader.cpp228 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 DElfReader.cpp228 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 DElfReader.cpp228 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 DoopMap.hpp56 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 DoopMap.hpp60 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 DoopMap.hpp58 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),

123456789