enum ValueLatticeElement::ValueLatticeElementTy
Declared at: llvm/include/llvm/Analysis/ValueLattice.h:27
Enumerators
| Name | Value | Comment |
|---|---|---|
| undefined | 0 | This Value has no known value yet. As a result, this implies the producing instruction is dead. Caution: We use this as the starting state in our local meet rules. In this usage, it's taken to mean "nothing known yet". |
| constant | 1 | This Value has a specific constant value. (For constant integers, constantrange is used instead. Integer typed constantexprs can appear as constant.) |
| notconstant | 2 | This Value is known to not have the specified value. (For constant integers, constantrange is used instead. As above, integer typed constantexprs can appear here.) |
| constantrange | 3 | The Value falls within this range. (Used only for integer typed values.) |
| overdefined | 4 | We can not precisely model the dynamic values this value might take. |