enum class ModRefInfo

Description

Flags indicating whether a memory access modifies or references memory. This is no access at all, a modification, a reference, or both a modification and a reference. These are specifically structured such that they form a three bit matrix and bit-tests for 'mod' or 'ref' or 'must' work with any of the possible values.

Declared at: llvm/include/llvm/Analysis/AliasAnalysis.h:148

Enumerators

NameValueComment
Must0Must is provided for completeness, but no routines will return only Must today. See definition of Must below.
MustRef1The access may reference the value stored in memory, a mustAlias relation was found, and no mayAlias or partialAlias found.
MustMod2The access may modify the value stored in memory, a mustAlias relation was found, and no mayAlias or partialAlias found.
MustModRef3The access may reference, modify or both the value stored in memory, a mustAlias relation was found, and no mayAlias or partialAlias found.
NoModRef4The access neither references nor modifies the value stored in memory.
Ref5The access may reference the value stored in memory.
Mod6The access may modify the value stored in memory.
ModRef7The access may reference and may modify the value stored in memory.