MCPcopy Create free account
hub / github.com/AliveToolkit/alive2 / padding_nonptr_byte

Function padding_nonptr_byte

ir/memory.cpp:162–166  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

160}
161
162static unsigned padding_nonptr_byte() {
163 return
164 Byte::bitsByte() - byte_has_ptr_bit() - bits_byte - bits_poison_per_byte
165 - num_sub_byte_bits - size_byte_number();
166}
167
168static expr concat_if(const expr &ifvalid, expr &&e) {
169 return ifvalid.isValid() ? ifvalid.concat(e) : std::move(e);

Callers 5

ByteMethod · 0.85
nonptrNonpoisonMethod · 0.85
nonptrValueMethod · 0.85
numStoredBitsMethod · 0.85
byteNumberMethod · 0.85

Calls 2

byte_has_ptr_bitFunction · 0.85
size_byte_numberFunction · 0.85

Tested by

no test coverage detected