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

Method getLogAddress

ir/pointer.cpp:310–313  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

308}
309
310expr Pointer::getLogAddress(bool simplify) const {
311 return getBlockBaseAddress(simplify)
312 + getOffset().sextOrTrunc(bits_ptr_address);
313}
314
315expr Pointer::getAddress(bool simplify) const {
316 return mkIf_fold(isLogical(), getLogAddress(simplify), getPhysicalAddress());

Callers 4

isOfBlockMethod · 0.80
isInboundsOfMethod · 0.80
isDereferenceableMethod · 0.80

Calls 1

sextOrTruncMethod · 0.80

Tested by

no test coverage detected