Module sym

Symbolic analysis of integer expressions.

Laid out like python/tvm_tirx/sym/: analyzer holds the analyzer and its results, int_set the integer sets, and iter_affine_map the iterator maps. The analyses run through the native sym.* functions.

Re-exports

• pub use analyzer::*;
• pub use int_set::*;
• pub use iter_affine_map::*;

Modules

• analyzer
  The analyzer, its bound and modular results, and the forms of its simplifiers.
• int_set
  Sets of integers.
• iter_affine_map
  Iterator maps: index expressions decomposed into splits of iterators.

Structs

• BindingConstraint
• BindingConstraintObj
  Complete: reflected fields fill [24, 40) exactly.
• Constraint
• ConstraintContext
• ConstraintContextObj
  Opaque: bytes [24, 48) of [24, 48) are not accounted for by reflected fields. Fields are read through the C ABI getters.
• ConstraintObj
  Complete: reflected fields fill [24, 24) exactly.
• PredicateConstraint
• PredicateConstraintObj
  Complete: reflected fields fill [24, 40) exactly (alignment padding [33, 40)).
• RangeConstraint
• RangeConstraintObj
  Complete: reflected fields fill [24, 40) exactly.