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

Method raw_load

ir/memory.cpp:1149–1152  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1147}
1148
1149Byte Memory::raw_load(bool local, unsigned bid, const expr &offset) const {
1150 auto &block = (local ? local_block_val : non_local_block_val)[bid].val;
1151 return {*this, ::raw_load(block, offset) };
1152}
1153
1154vector<Byte> Memory::load(const Pointer &ptr, unsigned bytes, set<expr> &undef,
1155 uint64_t align, bool left2right, DataType type) {

Callers 3

check_refinementFunction · 0.80
blockValRefinedMethod · 0.80
toSMTMethod · 0.80

Calls 2

raw_loadFunction · 0.85
rewriteUndefMethod · 0.80

Tested by

no test coverage detected