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

Method get

ir/instr.cpp:3762–3772  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

3760}
3761
3762MemInstr::ByteAccessInfo
3763MemInstr::ByteAccessInfo::get(const Type &t, bool store, unsigned align) {
3764 bool ptr_access = hasPtr(t);
3765 ByteAccessInfo info;
3766 info.hasIntByteAccess = t.enforcePtrOrVectorType().isFalse();
3767 info.doesPtrStore = ptr_access && store;
3768 info.doesPtrLoad = ptr_access && !store;
3769 info.byteSize = gcd(align, getCommonAccessSize(t));
3770 info.subByteAccess = t.maxSubBitAccess();
3771 return info;
3772}
3773
3774MemInstr::ByteAccessInfo MemInstr::ByteAccessInfo::full(unsigned byteSize) {
3775 return { true, true, true, true, byteSize, 0 };

Callers 15

mainFunction · 0.45
mainFunction · 0.45
alive_parser.cppFile · 0.45
parse_predicateFunction · 0.45
parse_icmpFunction · 0.45
parse_fcmpFunction · 0.45
parse_assumeFunction · 0.45
parse_fnFunction · 0.45
parseFunction · 0.45
mainFunction · 0.45
AggregateTypeMethod · 0.45
addInstrAtMethod · 0.45

Calls 5

hasPtrFunction · 0.85
getCommonAccessSizeFunction · 0.85
isFalseMethod · 0.80
maxSubBitAccessMethod · 0.80

Tested by 3

_executeShCmdFunction · 0.36
fromdefaultsMethod · 0.36
__new__Method · 0.36