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

Method getShortBid

ir/pointer.cpp:245–248  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

243}
244
245expr Pointer::getShortBid() const {
246 auto start = bits_for_offset + bits_for_ptrattrs;
247 return p.extract(start + bits_for_bid - 1 - hasLocalBit(), start);
248}
249
250expr Pointer::getOffset() const {
251 return p.extract(bits_for_offset + bits_for_ptrattrs - 1, bits_for_ptrattrs);

Callers 15

addFnCallMethod · 0.80
mkAxiomsMethod · 0.80
ensure_non_fncallmemFunction · 0.80
store_bvFunction · 0.80
valueToBytesFunction · 0.80
computeAliasingMethod · 0.80
accessMethod · 0.80
hasStoredMethod · 0.80
record_storeMethod · 0.80
mkNonlocalValAxiomsMethod · 0.80
mkInputMethod · 0.80

Calls 1

extractMethod · 0.45

Tested by

no test coverage detected