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
| Name | Value | Comment |
|---|---|---|
| Must | 0 | Must is provided for completeness, but no routines will return only Must today. See definition of Must below. |
| MustRef | 1 | The access may reference the value stored in memory, a mustAlias relation was found, and no mayAlias or partialAlias found. |
| MustMod | 2 | The access may modify the value stored in memory, a mustAlias relation was found, and no mayAlias or partialAlias found. |
| MustModRef | 3 | The access may reference, modify or both the value stored in memory, a mustAlias relation was found, and no mayAlias or partialAlias found. |
| NoModRef | 4 | The access neither references nor modifies the value stored in memory. |
| Ref | 5 | The access may reference the value stored in memory. |
| Mod | 6 | The access may modify the value stored in memory. |
| ModRef | 7 | The access may reference and may modify the value stored in memory. |