Module analyzer

The analyzer, its bound and modular results, and the forms of its simplifiers.

The objects python/tvm_tirx/sym/analyzer.py defines. An Analyzer keeps the facts the native analyses share. A ConstIntBound is an inclusive range [min_value, max_value], and a ModularSet is the set coeff * x + base_ for any integer x.

Structs

• AllowUintAsIndexScope
  The uint-as-index assumption, in effect while it is alive: allow_uint_as_index.
• Analyzer
• AnalyzerObj
  Opaque: bytes [24, 160) of [24, 160) are not accounted for by reflected fields. Fields are read through the C ABI getters.
• CanonicalExpr
• CanonicalExprObj
  Opaque: no metadata of its own: total_size is unknown. Fields are read through the C ABI getters.
• ConstIntBound
• ConstIntBoundObj
  Complete: reflected fields fill [24, 40) exactly.
• ModularSet
• ModularSetObj
  Complete: reflected fields fill [24, 40) exactly.
• RewriteSimplifierStats
• RewriteSimplifierStatsObj
  Complete: reflected fields fill [24, 72) exactly.
• SplitExpr
• SplitExprObj
  Opaque: no metadata of its own: total_size is unknown. Fields are read through the C ABI getters.
• SumExpr
• SumExprObj
  Opaque: no metadata of its own: total_size is unknown. Fields are read through the C ABI getters.

Enums

• CompareResult
  The result of Analyzer::try_compare: sym::CompareResult.
• ProofStrength
  How hard Analyzer::can_prove tries: sym::ProofStrength.

Functions

• allow_uint_as_index
  Treat uint32 and uint64 scalars as non-wrapping index types until the returned scope is dropped (sym.AnalyzerEnterAllowUintAsIndex).