Enum CompareResult#
Defined in File analyzer.h
Enum Documentation#
-
enum class tvm::sym::CompareResult : int#
Possible orderings of two expressions, represented as a bit set.
EQ, LT, and GT are independent bits. Intersection combines facts that all hold; union combines alternative possibilities. Zero indicates inconsistency.
Values:
-
enumerator kInconsistent#
No ordering is possible under the known facts.
-
enumerator kEQ#
Equal.
-
enumerator kLT#
Strictly less.
-
enumerator kLE#
Less than or equal.
-
enumerator kGT#
Strictly greater.
-
enumerator kGE#
Greater than or equal.
-
enumerator kNE#
Unequal.
-
enumerator kUnknown#
Any ordering is possible.
-
enumerator kInconsistent#