This is an automated email from the ASF dual-hosted git repository.
tqchen pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/tvm-site.git
The following commit(s) were added to refs/heads/asf-site by this push:
new 1666f6d0f12 deploying tirx docs
(3b95be6782ff60ef547b3cd5bf052d9a313d5053)
1666f6d0f12 is described below
commit 1666f6d0f1238e5b81b9d67843bbd2f0249cb297
Author: tvm-bot <[email protected]>
AuthorDate: Tue Oct 20 20:05:05 2026 +0000
deploying tirx docs (3b95be6782ff60ef547b3cd5bf052d9a313d5053)
---
.../generated/tvm_tirx.sym.detect_clip_bound.rst | 6 --
.../tvm_tirx.sym.detect_linear_equation.rst | 6 --
.../tvm_tirx.tirx.analysis.detect_clip_bound.rst | 6 ++
...m_tirx.tirx.analysis.detect_linear_equation.rst | 6 ++
tirx/_sources/reference/python/sym.rst | 2 -
tirx/_sources/reference/python/tirx.analysis.rst | 2 +
tirx/commit_hash | 2 +-
tirx/genindex.html | 4 +-
tirx/objects.inv | Bin 45962 -> 45964 bytes
.../python/generated/tvm_tirx.sym.Analyzer.html | 2 -
.../generated/tvm_tirx.sym.CompareResult.html | 2 -
.../generated/tvm_tirx.sym.ConstIntBound.html | 2 -
.../python/generated/tvm_tirx.sym.IntSet.html | 2 -
.../python/generated/tvm_tirx.sym.IntervalSet.html | 2 -
.../python/generated/tvm_tirx.sym.IterMapExpr.html | 2 -
.../python/generated/tvm_tirx.sym.IterMark.html | 2 -
.../generated/tvm_tirx.sym.IterSplitExpr.html | 2 -
.../python/generated/tvm_tirx.sym.IterSumExpr.html | 2 -
.../python/generated/tvm_tirx.sym.ModularSet.html | 2 -
.../generated/tvm_tirx.sym.ProofStrength.html | 2 -
.../tvm_tirx.sym.allow_uint_as_index.html | 2 -
.../tvm_tirx.sym.analyzer.ConstraintScope.html | 2 -
.../generated/tvm_tirx.sym.deduce_bound.html | 8 +--
.../generated/tvm_tirx.sym.detect_iter_map.html | 8 +--
.../tvm_tirx.sym.estimate_region_lower_bound.html | 2 -
.../tvm_tirx.sym.estimate_region_strict_bound.html | 2 -
.../tvm_tirx.sym.estimate_region_upper_bound.html | 2 -
.../generated/tvm_tirx.sym.int_set.neg_inf.html | 2 -
.../generated/tvm_tirx.sym.int_set.pos_inf.html | 2 -
.../tvm_tirx.sym.int_set.union_lower_bound.html | 2 -
.../tvm_tirx.sym.inverse_affine_iter_map.html | 2 -
.../tvm_tirx.sym.iter_affine_map.IterMapLevel.html | 2 -
...tvm_tirx.sym.iter_affine_map.IterMapResult.html | 2 -
.../generated/tvm_tirx.sym.iter_map_simplify.html | 2 -
.../tvm_tirx.sym.normalize_iter_map_to_expr.html | 2 -
.../tvm_tirx.sym.normalize_to_iter_sum.html | 2 -
.../generated/tvm_tirx.sym.subspace_divide.html | 2 -
.../tvm_tirx.sym.utils.get_const_int.html | 2 -
.../tvm_tirx.tirx.analysis.check_well_formed.html | 8 ++-
... tvm_tirx.tirx.analysis.detect_clip_bound.html} | 76 +++++++--------------
...tirx.tirx.analysis.detect_linear_equation.html} | 76 +++++++--------------
.../tvm_tirx.tirx.analysis.undefined_vars.html | 2 +
.../tvm_tirx.tirx.analysis.verify_memory.html | 2 +
.../generated/tvm_tirx.tirx.tile.Operand.html | 2 +-
tirx/reference/python/sym.html | 8 ---
tirx/reference/python/sym.utils.html | 2 -
tirx/reference/python/tirx.analysis.html | 8 +++
tirx/reference/python/tirx.transform.html | 6 +-
tirx/searchindex.js | 2 +-
49 files changed, 95 insertions(+), 201 deletions(-)
diff --git
a/tirx/_sources/reference/python/generated/tvm_tirx.sym.detect_clip_bound.rst
b/tirx/_sources/reference/python/generated/tvm_tirx.sym.detect_clip_bound.rst
deleted file mode 100644
index 75fb1704a3f..00000000000
---
a/tirx/_sources/reference/python/generated/tvm_tirx.sym.detect_clip_bound.rst
+++ /dev/null
@@ -1,6 +0,0 @@
-tvm\_tirx.sym.detect\_clip\_bound
-=================================
-
-.. currentmodule:: tvm_tirx.sym
-
-.. autofunction:: detect_clip_bound
\ No newline at end of file
diff --git
a/tirx/_sources/reference/python/generated/tvm_tirx.sym.detect_linear_equation.rst
b/tirx/_sources/reference/python/generated/tvm_tirx.sym.detect_linear_equation.rst
deleted file mode 100644
index 9062148c07f..00000000000
---
a/tirx/_sources/reference/python/generated/tvm_tirx.sym.detect_linear_equation.rst
+++ /dev/null
@@ -1,6 +0,0 @@
-tvm\_tirx.sym.detect\_linear\_equation
-======================================
-
-.. currentmodule:: tvm_tirx.sym
-
-.. autofunction:: detect_linear_equation
\ No newline at end of file
diff --git
a/tirx/_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.rst
b/tirx/_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.rst
new file mode 100644
index 00000000000..2ca49b9c174
--- /dev/null
+++
b/tirx/_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.rst
@@ -0,0 +1,6 @@
+tvm\_tirx.tirx.analysis.detect\_clip\_bound
+===========================================
+
+.. currentmodule:: tvm_tirx.tirx.analysis
+
+.. autofunction:: detect_clip_bound
\ No newline at end of file
diff --git
a/tirx/_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.rst
b/tirx/_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.rst
new file mode 100644
index 00000000000..cb4be4c059c
--- /dev/null
+++
b/tirx/_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.rst
@@ -0,0 +1,6 @@
+tvm\_tirx.tirx.analysis.detect\_linear\_equation
+================================================
+
+.. currentmodule:: tvm_tirx.tirx.analysis
+
+.. autofunction:: detect_linear_equation
\ No newline at end of file
diff --git a/tirx/_sources/reference/python/sym.rst
b/tirx/_sources/reference/python/sym.rst
index 0f35e9df7ee..703371cd7e5 100644
--- a/tirx/_sources/reference/python/sym.rst
+++ b/tirx/_sources/reference/python/sym.rst
@@ -52,8 +52,6 @@ Functions
estimate_region_upper_bound
allow_uint_as_index
deduce_bound
- detect_linear_equation
- detect_clip_bound
detect_iter_map
iter_map_simplify
normalize_iter_map_to_expr
diff --git a/tirx/_sources/reference/python/tirx.analysis.rst
b/tirx/_sources/reference/python/tirx.analysis.rst
index fd428c8d786..2ea762cbc16 100644
--- a/tirx/_sources/reference/python/tirx.analysis.rst
+++ b/tirx/_sources/reference/python/tirx.analysis.rst
@@ -32,3 +32,5 @@ Functions
verify_memory
undefined_vars
check_well_formed
+ detect_linear_equation
+ detect_clip_bound
diff --git a/tirx/commit_hash b/tirx/commit_hash
index c0038218a2b..118da091f30 100644
--- a/tirx/commit_hash
+++ b/tirx/commit_hash
@@ -1 +1 @@
-da44a4644a96012b3b25417b928035012cbacd47
+3b95be6782ff60ef547b3cd5bf052d9a313d5053
diff --git a/tirx/genindex.html b/tirx/genindex.html
index 9da6d53e37f..1e9e58ab29c 100644
--- a/tirx/genindex.html
+++ b/tirx/genindex.html
@@ -1624,11 +1624,11 @@ document.write(`
</li>
<li><a
href="reference/python/generated/tvm_tirx.ir.TensorStore.html#tvm_tirx.ir.TensorStore.dest">dest
(tvm_tirx.ir.TensorStore property)</a>
</li>
- <li><a
href="reference/python/generated/tvm_tirx.sym.detect_clip_bound.html#tvm_tirx.sym.detect_clip_bound">detect_clip_bound()
(in module tvm_tirx.sym)</a>
+ <li><a
href="reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.html#tvm_tirx.tirx.analysis.detect_clip_bound">detect_clip_bound()
(in module tvm_tirx.tirx.analysis)</a>
</li>
<li><a
href="reference/python/generated/tvm_tirx.sym.detect_iter_map.html#tvm_tirx.sym.detect_iter_map">detect_iter_map()
(in module tvm_tirx.sym)</a>
</li>
- <li><a
href="reference/python/generated/tvm_tirx.sym.detect_linear_equation.html#tvm_tirx.sym.detect_linear_equation">detect_linear_equation()
(in module tvm_tirx.sym)</a>
+ <li><a
href="reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.html#tvm_tirx.tirx.analysis.detect_linear_equation">detect_linear_equation()
(in module tvm_tirx.tirx.analysis)</a>
</li>
<li><a
href="reference/python/generated/tvm_tirx.target.detect_target.detect_target_from_device.html#tvm_tirx.target.detect_target.detect_target_from_device">detect_target_from_device()
(in module tvm_tirx.target.detect_target)</a>
</li>
diff --git a/tirx/objects.inv b/tirx/objects.inv
index cd3399fde7a..dac4759be92 100644
Binary files a/tirx/objects.inv and b/tirx/objects.inv differ
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.Analyzer.html
b/tirx/reference/python/generated/tvm_tirx.sym.Analyzer.html
index b6725a4f969..764e132b88c 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.Analyzer.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.Analyzer.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.CompareResult.html
b/tirx/reference/python/generated/tvm_tirx.sym.CompareResult.html
index 9c5e45b4a48..3a50c878c97 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.CompareResult.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.CompareResult.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.ConstIntBound.html
b/tirx/reference/python/generated/tvm_tirx.sym.ConstIntBound.html
index 63a11c3aafb..6b5340b53be 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.ConstIntBound.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.ConstIntBound.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.IntSet.html
b/tirx/reference/python/generated/tvm_tirx.sym.IntSet.html
index 55421a5b555..e2c2ef88229 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.IntSet.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.IntSet.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.IntervalSet.html
b/tirx/reference/python/generated/tvm_tirx.sym.IntervalSet.html
index 131d93070bd..168ecc3ce7f 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.IntervalSet.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.IntervalSet.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.IterMapExpr.html
b/tirx/reference/python/generated/tvm_tirx.sym.IterMapExpr.html
index 9b746a8e70b..a459c754a37 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.IterMapExpr.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.IterMapExpr.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.IterMark.html
b/tirx/reference/python/generated/tvm_tirx.sym.IterMark.html
index 85ed36b42de..89c29e7103a 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.IterMark.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.IterMark.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.IterSplitExpr.html
b/tirx/reference/python/generated/tvm_tirx.sym.IterSplitExpr.html
index df44a375212..99af30f7023 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.IterSplitExpr.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.IterSplitExpr.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.IterSumExpr.html
b/tirx/reference/python/generated/tvm_tirx.sym.IterSumExpr.html
index 87f117a7dd5..e056b3c437a 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.IterSumExpr.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.IterSumExpr.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.ModularSet.html
b/tirx/reference/python/generated/tvm_tirx.sym.ModularSet.html
index c295aee3ee7..24b16c1899a 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.ModularSet.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.ModularSet.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.ProofStrength.html
b/tirx/reference/python/generated/tvm_tirx.sym.ProofStrength.html
index 422eaf01dcd..f30992560ae 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.ProofStrength.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.ProofStrength.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.allow_uint_as_index.html
b/tirx/reference/python/generated/tvm_tirx.sym.allow_uint_as_index.html
index 3f3d2e379e2..bef2152aef6 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.allow_uint_as_index.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.allow_uint_as_index.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.analyzer.ConstraintScope.html
b/tirx/reference/python/generated/tvm_tirx.sym.analyzer.ConstraintScope.html
index 71a6476e2f9..2a31087aa60 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.analyzer.ConstraintScope.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.analyzer.ConstraintScope.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.deduce_bound.html
b/tirx/reference/python/generated/tvm_tirx.sym.deduce_bound.html
index 71fb291e275..cffc6f1dd03 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.deduce_bound.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.deduce_bound.html
@@ -43,7 +43,7 @@
<script>DOCUMENTATION_OPTIONS.pagename =
'reference/python/generated/tvm_tirx.sym.deduce_bound';</script>
<link rel="index" title="Index" href="../../../genindex.html" />
<link rel="search" title="Search" href="../../../search.html" />
- <link rel="next" title="tvm_tirx.sym.detect_linear_equation"
href="tvm_tirx.sym.detect_linear_equation.html" />
+ <link rel="next" title="tvm_tirx.sym.detect_iter_map"
href="tvm_tirx.sym.detect_iter_map.html" />
<link rel="prev" title="tvm_tirx.sym.allow_uint_as_index"
href="tvm_tirx.sym.allow_uint_as_index.html" />
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="docsearch:language" content="en"/>
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
@@ -440,11 +438,11 @@ using the provided domain.</p></li>
</div>
</a>
<a class="right-next"
- href="tvm_tirx.sym.detect_linear_equation.html"
+ href="tvm_tirx.sym.detect_iter_map.html"
title="next page">
<div class="prev-next-info">
<p class="prev-next-subtitle">next</p>
- <p class="prev-next-title">tvm_tirx.sym.detect_linear_equation</p>
+ <p class="prev-next-title">tvm_tirx.sym.detect_iter_map</p>
</div>
<i class="fa-solid fa-angle-right"></i>
</a>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.detect_iter_map.html
b/tirx/reference/python/generated/tvm_tirx.sym.detect_iter_map.html
index 359aac8460d..cd227e1f2dc 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.detect_iter_map.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.detect_iter_map.html
@@ -44,7 +44,7 @@
<link rel="index" title="Index" href="../../../genindex.html" />
<link rel="search" title="Search" href="../../../search.html" />
<link rel="next" title="tvm_tirx.sym.iter_map_simplify"
href="tvm_tirx.sym.iter_map_simplify.html" />
- <link rel="prev" title="tvm_tirx.sym.detect_clip_bound"
href="tvm_tirx.sym.detect_clip_bound.html" />
+ <link rel="prev" title="tvm_tirx.sym.deduce_bound"
href="tvm_tirx.sym.deduce_bound.html" />
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="docsearch:language" content="en"/>
</head>
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
@@ -438,12 +436,12 @@ The result’s .indices is empty array if no match can be
found.</p>
<div class="prev-next-area">
<a class="left-prev"
- href="tvm_tirx.sym.detect_clip_bound.html"
+ href="tvm_tirx.sym.deduce_bound.html"
title="previous page">
<i class="fa-solid fa-angle-left"></i>
<div class="prev-next-info">
<p class="prev-next-subtitle">previous</p>
- <p class="prev-next-title">tvm_tirx.sym.detect_clip_bound</p>
+ <p class="prev-next-title">tvm_tirx.sym.deduce_bound</p>
</div>
</a>
<a class="right-next"
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_lower_bound.html
b/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_lower_bound.html
index c110a21c0d1..07f18504c96 100644
---
a/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_lower_bound.html
+++
b/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_lower_bound.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_strict_bound.html
b/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_strict_bound.html
index ee68bfde7da..3e6499898f4 100644
---
a/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_strict_bound.html
+++
b/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_strict_bound.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_upper_bound.html
b/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_upper_bound.html
index 6434759809a..08b640987ca 100644
---
a/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_upper_bound.html
+++
b/tirx/reference/python/generated/tvm_tirx.sym.estimate_region_upper_bound.html
@@ -175,8 +175,6 @@
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.int_set.neg_inf.html
b/tirx/reference/python/generated/tvm_tirx.sym.int_set.neg_inf.html
index 3f52119a904..14ca9f6e834 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.int_set.neg_inf.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.int_set.neg_inf.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.int_set.pos_inf.html
b/tirx/reference/python/generated/tvm_tirx.sym.int_set.pos_inf.html
index 814bd712045..4c4f7bd2067 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.int_set.pos_inf.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.int_set.pos_inf.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.int_set.union_lower_bound.html
b/tirx/reference/python/generated/tvm_tirx.sym.int_set.union_lower_bound.html
index 642b8ba79d1..824f5cd6132 100644
---
a/tirx/reference/python/generated/tvm_tirx.sym.int_set.union_lower_bound.html
+++
b/tirx/reference/python/generated/tvm_tirx.sym.int_set.union_lower_bound.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.inverse_affine_iter_map.html
b/tirx/reference/python/generated/tvm_tirx.sym.inverse_affine_iter_map.html
index 18a05005023..2277b6705d8 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.inverse_affine_iter_map.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.inverse_affine_iter_map.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapLevel.html
b/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapLevel.html
index 311b04482af..556742c174d 100644
---
a/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapLevel.html
+++
b/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapLevel.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapResult.html
b/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapResult.html
index ca9f9ec6250..241729d2bbb 100644
---
a/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapResult.html
+++
b/tirx/reference/python/generated/tvm_tirx.sym.iter_affine_map.IterMapResult.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.iter_map_simplify.html
b/tirx/reference/python/generated/tvm_tirx.sym.iter_map_simplify.html
index 28a691d537a..92f978f744c 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.iter_map_simplify.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.iter_map_simplify.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.normalize_iter_map_to_expr.html
b/tirx/reference/python/generated/tvm_tirx.sym.normalize_iter_map_to_expr.html
index 2fd164c36dc..049c9a96801 100644
---
a/tirx/reference/python/generated/tvm_tirx.sym.normalize_iter_map_to_expr.html
+++
b/tirx/reference/python/generated/tvm_tirx.sym.normalize_iter_map_to_expr.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.normalize_to_iter_sum.html
b/tirx/reference/python/generated/tvm_tirx.sym.normalize_to_iter_sum.html
index 341c20540e0..2826c55687d 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.normalize_to_iter_sum.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.normalize_to_iter_sum.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.sym.subspace_divide.html
b/tirx/reference/python/generated/tvm_tirx.sym.subspace_divide.html
index 8b393129bc9..602746cea30 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.subspace_divide.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.subspace_divide.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.utils.get_const_int.html
b/tirx/reference/python/generated/tvm_tirx.sym.utils.get_const_int.html
index 4e6c3d68cc2..f2d5615a1c5 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.utils.get_const_int.html
+++ b/tirx/reference/python/generated/tvm_tirx.sym.utils.get_const_int.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.tirx.analysis.check_well_formed.html
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.check_well_formed.html
index b44772f5a23..8390d58e995 100644
---
a/tirx/reference/python/generated/tvm_tirx.tirx.analysis.check_well_formed.html
+++
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.check_well_formed.html
@@ -43,7 +43,7 @@
<script>DOCUMENTATION_OPTIONS.pagename =
'reference/python/generated/tvm_tirx.tirx.analysis.check_well_formed';</script>
<link rel="index" title="Index" href="../../../genindex.html" />
<link rel="search" title="Search" href="../../../search.html" />
- <link rel="next" title="tvm_tirx.tirx.transform"
href="../tirx.transform.html" />
+ <link rel="next" title="tvm_tirx.tirx.analysis.detect_linear_equation"
href="tvm_tirx.tirx.analysis.detect_linear_equation.html" />
<link rel="prev" title="tvm_tirx.tirx.analysis.undefined_vars"
href="tvm_tirx.tirx.analysis.undefined_vars.html" />
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="docsearch:language" content="en"/>
@@ -166,6 +166,8 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.verify_memory.html">tvm_tirx.tirx.analysis.verify_memory</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.undefined_vars.html">tvm_tirx.tirx.analysis.undefined_vars</a></li>
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.tirx.analysis.check_well_formed</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_linear_equation.html">tvm_tirx.tirx.analysis.detect_linear_equation</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_clip_bound.html">tvm_tirx.tirx.analysis.detect_clip_bound</a></li>
</ul>
</details></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.transform.html">tvm_tirx.tirx.transform</a></li>
@@ -418,11 +420,11 @@ document.write(`
</div>
</a>
<a class="right-next"
- href="../tirx.transform.html"
+ href="tvm_tirx.tirx.analysis.detect_linear_equation.html"
title="next page">
<div class="prev-next-info">
<p class="prev-next-subtitle">next</p>
- <p class="prev-next-title">tvm_tirx.tirx.transform</p>
+ <p
class="prev-next-title">tvm_tirx.tirx.analysis.detect_linear_equation</p>
</div>
<i class="fa-solid fa-angle-right"></i>
</a>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.detect_clip_bound.html
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.html
similarity index 74%
rename from tirx/reference/python/generated/tvm_tirx.sym.detect_clip_bound.html
rename to
tirx/reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.html
index f58f38ae789..3ffa0fd5d88 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.detect_clip_bound.html
+++
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.html
@@ -8,7 +8,7 @@
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0"
/><meta name="viewport" content="width=device-width, initial-scale=1" />
- <title>tvm_tirx.sym.detect_clip_bound — tvm-tirx</title>
+ <title>tvm_tirx.tirx.analysis.detect_clip_bound — tvm-tirx</title>
@@ -40,11 +40,11 @@
<script src="../../../_static/doctools.js?v=9bcbadda"></script>
<script src="../../../_static/sphinx_highlight.js?v=dc90522c"></script>
<script
src="../../../_static/scripts/sphinx-book-theme.js?v=887ef09a"></script>
- <script>DOCUMENTATION_OPTIONS.pagename =
'reference/python/generated/tvm_tirx.sym.detect_clip_bound';</script>
+ <script>DOCUMENTATION_OPTIONS.pagename =
'reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound';</script>
<link rel="index" title="Index" href="../../../genindex.html" />
<link rel="search" title="Search" href="../../../search.html" />
- <link rel="next" title="tvm_tirx.sym.detect_iter_map"
href="tvm_tirx.sym.detect_iter_map.html" />
- <link rel="prev" title="tvm_tirx.sym.detect_linear_equation"
href="tvm_tirx.sym.detect_linear_equation.html" />
+ <link rel="next" title="tvm_tirx.tirx.transform"
href="../tirx.transform.html" />
+ <link rel="prev" title="tvm_tirx.tirx.analysis.detect_linear_equation"
href="tvm_tirx.tirx.analysis.detect_linear_equation.html" />
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="docsearch:language" content="en"/>
</head>
@@ -158,44 +158,18 @@
<li class="toctree-l2"><a class="reference internal"
href="../script.html">tvm_tirx.script</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../script.parser.html">tvm_tirx.script.parser</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../script.ir_builder.html">tvm_tirx.script.ir_builder</a></li>
-<li class="toctree-l2 current active has-children"><a class="reference
internal" href="../sym.html">tvm_tirx.sym</a><details
open="open"><summary><span class="toctree-toggle" role="presentation"><i
class="fa-solid fa-chevron-down"></i></span></summary><ul class="current">
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IntSet.html">tvm_tirx.sym.IntSet</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IntervalSet.html">tvm_tirx.sym.IntervalSet</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.ModularSet.html">tvm_tirx.sym.ModularSet</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.ConstIntBound.html">tvm_tirx.sym.ConstIntBound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.Analyzer.html">tvm_tirx.sym.Analyzer</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.ProofStrength.html">tvm_tirx.sym.ProofStrength</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.CompareResult.html">tvm_tirx.sym.CompareResult</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterMapExpr.html">tvm_tirx.sym.IterMapExpr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterMark.html">tvm_tirx.sym.IterMark</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterSplitExpr.html">tvm_tirx.sym.IterSplitExpr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterSumExpr.html">tvm_tirx.sym.IterSumExpr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_lower_bound.html">tvm_tirx.sym.estimate_region_lower_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_strict_bound.html">tvm_tirx.sym.estimate_region_strict_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.detect_clip_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_to_iter_sum.html">tvm_tirx.sym.normalize_to_iter_sum</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.subspace_divide.html">tvm_tirx.sym.subspace_divide</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.inverse_affine_iter_map.html">tvm_tirx.sym.inverse_affine_iter_map</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="../sym.utils.html">tvm_tirx.sym.utils</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.analyzer.ConstraintScope.html">tvm_tirx.sym.analyzer.ConstraintScope</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_affine_map.IterMapResult.html">tvm_tirx.sym.iter_affine_map.IterMapResult</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_affine_map.IterMapLevel.html">tvm_tirx.sym.iter_affine_map.IterMapLevel</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.int_set.pos_inf.html">tvm_tirx.sym.int_set.pos_inf</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.int_set.neg_inf.html">tvm_tirx.sym.int_set.neg_inf</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.int_set.union_lower_bound.html">tvm_tirx.sym.int_set.union_lower_bound</a></li>
-</ul>
-</details></li>
+<li class="toctree-l2"><a class="reference internal"
href="../sym.html">tvm_tirx.sym</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../target.html">tvm_tirx.target</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.html">tvm_tirx.tirx</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.op.html">tvm_tirx.tirx.op</a></li>
-<li class="toctree-l2"><a class="reference internal"
href="../tirx.analysis.html">tvm_tirx.tirx.analysis</a></li>
+<li class="toctree-l2 current active has-children"><a class="reference
internal" href="../tirx.analysis.html">tvm_tirx.tirx.analysis</a><details
open="open"><summary><span class="toctree-toggle" role="presentation"><i
class="fa-solid fa-chevron-down"></i></span></summary><ul class="current">
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.verify_memory.html">tvm_tirx.tirx.analysis.verify_memory</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.undefined_vars.html">tvm_tirx.tirx.analysis.undefined_vars</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.check_well_formed.html">tvm_tirx.tirx.analysis.check_well_formed</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_linear_equation.html">tvm_tirx.tirx.analysis.detect_linear_equation</a></li>
+<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.tirx.analysis.detect_clip_bound</a></li>
+</ul>
+</details></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.transform.html">tvm_tirx.tirx.transform</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.layout.html">tvm_tirx.tirx.layout</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.tile.html">tvm_tirx.tirx.tile</a></li>
@@ -292,7 +266,7 @@
- <li><a
href="../../../_sources/reference/python/generated/tvm_tirx.sym.detect_clip_bound.rst"
target="_blank"
+ <li><a
href="../../../_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_clip_bound.rst"
target="_blank"
class="btn btn-sm btn-download-source-button dropdown-item"
title="Download source file"
data-bs-placement="left" data-bs-toggle="tooltip"
@@ -376,7 +350,7 @@ document.write(`
<div id="jb-print-docs-body" class="onlyprint">
- <h1>tvm_tirx.sym.detect_clip_bound</h1>
+ <h1>tvm_tirx.tirx.analysis.detect_clip_bound</h1>
<!-- Table of contents -->
<div id="print-main-content">
<div id="jb-print-toc">
@@ -386,7 +360,7 @@ document.write(`
</div>
<nav aria-label="Page">
<ul class="visible nav section-nav flex-column">
-<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.sym.detect_clip_bound"><code class="docutils literal
notranslate"><span class="pre">detect_clip_bound()</span></code></a></li>
+<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.tirx.analysis.detect_clip_bound"><code class="docutils literal
notranslate"><span class="pre">detect_clip_bound()</span></code></a></li>
</ul>
</nav>
</div>
@@ -398,11 +372,11 @@ document.write(`
<div id="searchbox"></div>
<article class="bd-article">
- <section id="tvm-tirx-sym-detect-clip-bound">
-<h1>tvm_tirx.sym.detect_clip_bound<a class="headerlink"
href="#tvm-tirx-sym-detect-clip-bound" title="Link to this heading">#</a></h1>
+ <section id="tvm-tirx-tirx-analysis-detect-clip-bound">
+<h1>tvm_tirx.tirx.analysis.detect_clip_bound<a class="headerlink"
href="#tvm-tirx-tirx-analysis-detect-clip-bound" title="Link to this
heading">#</a></h1>
<dl class="py function">
-<dt class="sig sig-object py" id="tvm_tirx.sym.detect_clip_bound">
-<span class="sig-prename descclassname"><span
class="pre">tvm_tirx.sym.</span></span><span class="sig-name descname"><span
class="pre">detect_clip_bound</span></span><span class="sig-paren">(</span><em
class="sig-param"><span class="n"><span class="pre">expr</span></span></em>,
<em class="sig-param"><span class="n"><span
class="pre">var_list</span></span></em><span class="sig-paren">)</span><a
class="headerlink" href="#tvm_tirx.sym.detect_clip_bound" title="Link to this
definition">#</a></dt>
+<dt class="sig sig-object py" id="tvm_tirx.tirx.analysis.detect_clip_bound">
+<span class="sig-prename descclassname"><span
class="pre">tvm_tirx.tirx.analysis.</span></span><span class="sig-name
descname"><span class="pre">detect_clip_bound</span></span><span
class="sig-paren">(</span><em class="sig-param"><span class="n"><span
class="pre">expr</span></span></em>, <em class="sig-param"><span
class="n"><span class="pre">var_list</span></span></em><span
class="sig-paren">)</span><a class="headerlink"
href="#tvm_tirx.tirx.analysis.detect_clip_bound" title="Link to th [...]
<dd><p>Detect if expression corresponds to clip bound of the vars</p>
<dl class="field-list simple">
<dt class="field-odd">Parameters<span class="colon">:</span></dt>
@@ -432,20 +406,20 @@ An empty list if the match failed.</p>
<div class="prev-next-area">
<a class="left-prev"
- href="tvm_tirx.sym.detect_linear_equation.html"
+ href="tvm_tirx.tirx.analysis.detect_linear_equation.html"
title="previous page">
<i class="fa-solid fa-angle-left"></i>
<div class="prev-next-info">
<p class="prev-next-subtitle">previous</p>
- <p class="prev-next-title">tvm_tirx.sym.detect_linear_equation</p>
+ <p
class="prev-next-title">tvm_tirx.tirx.analysis.detect_linear_equation</p>
</div>
</a>
<a class="right-next"
- href="tvm_tirx.sym.detect_iter_map.html"
+ href="../tirx.transform.html"
title="next page">
<div class="prev-next-info">
<p class="prev-next-subtitle">next</p>
- <p class="prev-next-title">tvm_tirx.sym.detect_iter_map</p>
+ <p class="prev-next-title">tvm_tirx.tirx.transform</p>
</div>
<i class="fa-solid fa-angle-right"></i>
</a>
@@ -465,7 +439,7 @@ An empty list if the match failed.</p>
</div>
<nav class="bd-toc-nav page-toc">
<ul class="visible nav section-nav flex-column">
-<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.sym.detect_clip_bound"><code class="docutils literal
notranslate"><span class="pre">detect_clip_bound()</span></code></a></li>
+<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.tirx.analysis.detect_clip_bound"><code class="docutils literal
notranslate"><span class="pre">detect_clip_bound()</span></code></a></li>
</ul>
</nav></div>
diff --git
a/tirx/reference/python/generated/tvm_tirx.sym.detect_linear_equation.html
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.html
similarity index 74%
rename from
tirx/reference/python/generated/tvm_tirx.sym.detect_linear_equation.html
rename to
tirx/reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.html
index 4c9e663d703..7d4fe14677c 100644
--- a/tirx/reference/python/generated/tvm_tirx.sym.detect_linear_equation.html
+++
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.html
@@ -8,7 +8,7 @@
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0"
/><meta name="viewport" content="width=device-width, initial-scale=1" />
- <title>tvm_tirx.sym.detect_linear_equation — tvm-tirx</title>
+ <title>tvm_tirx.tirx.analysis.detect_linear_equation —
tvm-tirx</title>
@@ -40,11 +40,11 @@
<script src="../../../_static/doctools.js?v=9bcbadda"></script>
<script src="../../../_static/sphinx_highlight.js?v=dc90522c"></script>
<script
src="../../../_static/scripts/sphinx-book-theme.js?v=887ef09a"></script>
- <script>DOCUMENTATION_OPTIONS.pagename =
'reference/python/generated/tvm_tirx.sym.detect_linear_equation';</script>
+ <script>DOCUMENTATION_OPTIONS.pagename =
'reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation';</script>
<link rel="index" title="Index" href="../../../genindex.html" />
<link rel="search" title="Search" href="../../../search.html" />
- <link rel="next" title="tvm_tirx.sym.detect_clip_bound"
href="tvm_tirx.sym.detect_clip_bound.html" />
- <link rel="prev" title="tvm_tirx.sym.deduce_bound"
href="tvm_tirx.sym.deduce_bound.html" />
+ <link rel="next" title="tvm_tirx.tirx.analysis.detect_clip_bound"
href="tvm_tirx.tirx.analysis.detect_clip_bound.html" />
+ <link rel="prev" title="tvm_tirx.tirx.analysis.check_well_formed"
href="tvm_tirx.tirx.analysis.check_well_formed.html" />
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="docsearch:language" content="en"/>
</head>
@@ -158,44 +158,18 @@
<li class="toctree-l2"><a class="reference internal"
href="../script.html">tvm_tirx.script</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../script.parser.html">tvm_tirx.script.parser</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../script.ir_builder.html">tvm_tirx.script.ir_builder</a></li>
-<li class="toctree-l2 current active has-children"><a class="reference
internal" href="../sym.html">tvm_tirx.sym</a><details
open="open"><summary><span class="toctree-toggle" role="presentation"><i
class="fa-solid fa-chevron-down"></i></span></summary><ul class="current">
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IntSet.html">tvm_tirx.sym.IntSet</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IntervalSet.html">tvm_tirx.sym.IntervalSet</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.ModularSet.html">tvm_tirx.sym.ModularSet</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.ConstIntBound.html">tvm_tirx.sym.ConstIntBound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.Analyzer.html">tvm_tirx.sym.Analyzer</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.ProofStrength.html">tvm_tirx.sym.ProofStrength</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.CompareResult.html">tvm_tirx.sym.CompareResult</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterMapExpr.html">tvm_tirx.sym.IterMapExpr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterMark.html">tvm_tirx.sym.IterMark</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterSplitExpr.html">tvm_tirx.sym.IterSplitExpr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.IterSumExpr.html">tvm_tirx.sym.IterSumExpr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_lower_bound.html">tvm_tirx.sym.estimate_region_lower_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_strict_bound.html">tvm_tirx.sym.estimate_region_strict_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.normalize_to_iter_sum.html">tvm_tirx.sym.normalize_to_iter_sum</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.subspace_divide.html">tvm_tirx.sym.subspace_divide</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.inverse_affine_iter_map.html">tvm_tirx.sym.inverse_affine_iter_map</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="../sym.utils.html">tvm_tirx.sym.utils</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.analyzer.ConstraintScope.html">tvm_tirx.sym.analyzer.ConstraintScope</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_affine_map.IterMapResult.html">tvm_tirx.sym.iter_affine_map.IterMapResult</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.iter_affine_map.IterMapLevel.html">tvm_tirx.sym.iter_affine_map.IterMapLevel</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.int_set.pos_inf.html">tvm_tirx.sym.int_set.pos_inf</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.int_set.neg_inf.html">tvm_tirx.sym.int_set.neg_inf</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.sym.int_set.union_lower_bound.html">tvm_tirx.sym.int_set.union_lower_bound</a></li>
-</ul>
-</details></li>
+<li class="toctree-l2"><a class="reference internal"
href="../sym.html">tvm_tirx.sym</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../target.html">tvm_tirx.target</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.html">tvm_tirx.tirx</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.op.html">tvm_tirx.tirx.op</a></li>
-<li class="toctree-l2"><a class="reference internal"
href="../tirx.analysis.html">tvm_tirx.tirx.analysis</a></li>
+<li class="toctree-l2 current active has-children"><a class="reference
internal" href="../tirx.analysis.html">tvm_tirx.tirx.analysis</a><details
open="open"><summary><span class="toctree-toggle" role="presentation"><i
class="fa-solid fa-chevron-down"></i></span></summary><ul class="current">
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.verify_memory.html">tvm_tirx.tirx.analysis.verify_memory</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.undefined_vars.html">tvm_tirx.tirx.analysis.undefined_vars</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.check_well_formed.html">tvm_tirx.tirx.analysis.check_well_formed</a></li>
+<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.tirx.analysis.detect_linear_equation</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_clip_bound.html">tvm_tirx.tirx.analysis.detect_clip_bound</a></li>
+</ul>
+</details></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.transform.html">tvm_tirx.tirx.transform</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.layout.html">tvm_tirx.tirx.layout</a></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.tile.html">tvm_tirx.tirx.tile</a></li>
@@ -292,7 +266,7 @@
- <li><a
href="../../../_sources/reference/python/generated/tvm_tirx.sym.detect_linear_equation.rst"
target="_blank"
+ <li><a
href="../../../_sources/reference/python/generated/tvm_tirx.tirx.analysis.detect_linear_equation.rst"
target="_blank"
class="btn btn-sm btn-download-source-button dropdown-item"
title="Download source file"
data-bs-placement="left" data-bs-toggle="tooltip"
@@ -376,7 +350,7 @@ document.write(`
<div id="jb-print-docs-body" class="onlyprint">
- <h1>tvm_tirx.sym.detect_linear_equation</h1>
+ <h1>tvm_tirx.tirx.analysis.detect_linear_equation</h1>
<!-- Table of contents -->
<div id="print-main-content">
<div id="jb-print-toc">
@@ -386,7 +360,7 @@ document.write(`
</div>
<nav aria-label="Page">
<ul class="visible nav section-nav flex-column">
-<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.sym.detect_linear_equation"><code class="docutils literal
notranslate"><span class="pre">detect_linear_equation()</span></code></a></li>
+<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.tirx.analysis.detect_linear_equation"><code class="docutils
literal notranslate"><span
class="pre">detect_linear_equation()</span></code></a></li>
</ul>
</nav>
</div>
@@ -398,11 +372,11 @@ document.write(`
<div id="searchbox"></div>
<article class="bd-article">
- <section id="tvm-tirx-sym-detect-linear-equation">
-<h1>tvm_tirx.sym.detect_linear_equation<a class="headerlink"
href="#tvm-tirx-sym-detect-linear-equation" title="Link to this
heading">#</a></h1>
+ <section id="tvm-tirx-tirx-analysis-detect-linear-equation">
+<h1>tvm_tirx.tirx.analysis.detect_linear_equation<a class="headerlink"
href="#tvm-tirx-tirx-analysis-detect-linear-equation" title="Link to this
heading">#</a></h1>
<dl class="py function">
-<dt class="sig sig-object py" id="tvm_tirx.sym.detect_linear_equation">
-<span class="sig-prename descclassname"><span
class="pre">tvm_tirx.sym.</span></span><span class="sig-name descname"><span
class="pre">detect_linear_equation</span></span><span
class="sig-paren">(</span><em class="sig-param"><span class="n"><span
class="pre">expr</span></span></em>, <em class="sig-param"><span
class="n"><span class="pre">var_list</span></span></em><span
class="sig-paren">)</span><a class="headerlink"
href="#tvm_tirx.sym.detect_linear_equation" title="Link to this definit [...]
+<dt class="sig sig-object py"
id="tvm_tirx.tirx.analysis.detect_linear_equation">
+<span class="sig-prename descclassname"><span
class="pre">tvm_tirx.tirx.analysis.</span></span><span class="sig-name
descname"><span class="pre">detect_linear_equation</span></span><span
class="sig-paren">(</span><em class="sig-param"><span class="n"><span
class="pre">expr</span></span></em>, <em class="sig-param"><span
class="n"><span class="pre">var_list</span></span></em><span
class="sig-paren">)</span><a class="headerlink"
href="#tvm_tirx.tirx.analysis.detect_linear_equation" title=" [...]
<dd><p>Match <cite>expr = sum_{i=0}^{n-1} var[i] * coeff[i] +
coeff[n]</cite></p>
<p>Where coeff[i] and base are invariant of var[j] for all i and j.</p>
<dl class="field-list simple">
@@ -433,20 +407,20 @@ An empty list if the match failed.</p>
<div class="prev-next-area">
<a class="left-prev"
- href="tvm_tirx.sym.deduce_bound.html"
+ href="tvm_tirx.tirx.analysis.check_well_formed.html"
title="previous page">
<i class="fa-solid fa-angle-left"></i>
<div class="prev-next-info">
<p class="prev-next-subtitle">previous</p>
- <p class="prev-next-title">tvm_tirx.sym.deduce_bound</p>
+ <p class="prev-next-title">tvm_tirx.tirx.analysis.check_well_formed</p>
</div>
</a>
<a class="right-next"
- href="tvm_tirx.sym.detect_clip_bound.html"
+ href="tvm_tirx.tirx.analysis.detect_clip_bound.html"
title="next page">
<div class="prev-next-info">
<p class="prev-next-subtitle">next</p>
- <p class="prev-next-title">tvm_tirx.sym.detect_clip_bound</p>
+ <p class="prev-next-title">tvm_tirx.tirx.analysis.detect_clip_bound</p>
</div>
<i class="fa-solid fa-angle-right"></i>
</a>
@@ -466,7 +440,7 @@ An empty list if the match failed.</p>
</div>
<nav class="bd-toc-nav page-toc">
<ul class="visible nav section-nav flex-column">
-<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.sym.detect_linear_equation"><code class="docutils literal
notranslate"><span class="pre">detect_linear_equation()</span></code></a></li>
+<li class="toc-h2 nav-item toc-entry"><a class="reference internal nav-link"
href="#tvm_tirx.tirx.analysis.detect_linear_equation"><code class="docutils
literal notranslate"><span
class="pre">detect_linear_equation()</span></code></a></li>
</ul>
</nav></div>
diff --git
a/tirx/reference/python/generated/tvm_tirx.tirx.analysis.undefined_vars.html
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.undefined_vars.html
index 3a994cfbbb7..9f5c62d97e6 100644
--- a/tirx/reference/python/generated/tvm_tirx.tirx.analysis.undefined_vars.html
+++ b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.undefined_vars.html
@@ -166,6 +166,8 @@
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.verify_memory.html">tvm_tirx.tirx.analysis.verify_memory</a></li>
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.tirx.analysis.undefined_vars</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.check_well_formed.html">tvm_tirx.tirx.analysis.check_well_formed</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_linear_equation.html">tvm_tirx.tirx.analysis.detect_linear_equation</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_clip_bound.html">tvm_tirx.tirx.analysis.detect_clip_bound</a></li>
</ul>
</details></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.transform.html">tvm_tirx.tirx.transform</a></li>
diff --git
a/tirx/reference/python/generated/tvm_tirx.tirx.analysis.verify_memory.html
b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.verify_memory.html
index 37ba5a5ad8f..50311af9d5b 100644
--- a/tirx/reference/python/generated/tvm_tirx.tirx.analysis.verify_memory.html
+++ b/tirx/reference/python/generated/tvm_tirx.tirx.analysis.verify_memory.html
@@ -166,6 +166,8 @@
<li class="toctree-l3 current active"><a class="current reference internal"
href="#">tvm_tirx.tirx.analysis.verify_memory</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.undefined_vars.html">tvm_tirx.tirx.analysis.undefined_vars</a></li>
<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.check_well_formed.html">tvm_tirx.tirx.analysis.check_well_formed</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_linear_equation.html">tvm_tirx.tirx.analysis.detect_linear_equation</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="tvm_tirx.tirx.analysis.detect_clip_bound.html">tvm_tirx.tirx.analysis.detect_clip_bound</a></li>
</ul>
</details></li>
<li class="toctree-l2"><a class="reference internal"
href="../tirx.transform.html">tvm_tirx.tirx.transform</a></li>
diff --git a/tirx/reference/python/generated/tvm_tirx.tirx.tile.Operand.html
b/tirx/reference/python/generated/tvm_tirx.tirx.tile.Operand.html
index 3c22ecc466c..c2becee5cec 100644
--- a/tirx/reference/python/generated/tvm_tirx.tirx.tile.Operand.html
+++ b/tirx/reference/python/generated/tvm_tirx.tirx.tile.Operand.html
@@ -384,7 +384,7 @@ document.write(`
<h1>tvm_tirx.tirx.tile.Operand<a class="headerlink"
href="#tvm-tirx-tirx-tile-operand" title="Link to this heading">#</a></h1>
<dl class="py class">
<dt class="sig sig-object py" id="tvm_tirx.tirx.tile.Operand">
-<em class="property"><span class="pre">class</span><span class="w">
</span></em><span class="sig-prename descclassname"><span
class="pre">tvm_tirx.tirx.tile.</span></span><span class="sig-name
descname"><span class="pre">Operand</span></span><span
class="sig-paren">(</span><em class="sig-param"><span class="n"><span
class="pre">name:</span> <span class="pre">str</span></span></em>, <em
class="sig-param"><span class="n"><span class="pre">role:</span> <span
class="pre">str</span> <span cla [...]
+<em class="property"><span class="pre">class</span><span class="w">
</span></em><span class="sig-prename descclassname"><span
class="pre">tvm_tirx.tirx.tile.</span></span><span class="sig-name
descname"><span class="pre">Operand</span></span><span
class="sig-paren">(</span><em class="sig-param"><span class="n"><span
class="pre">name:</span> <span class="pre">str</span></span></em>, <em
class="sig-param"><span class="n"><span class="pre">role:</span> <span
class="pre">str</span> <span cla [...]
<dd><p>Bases: <code class="xref py py-class docutils literal
notranslate"><span class="pre">object</span></code></p>
<dl class="field-list simple">
<dt class="field-odd">Parameters<span class="colon">:</span></dt>
diff --git a/tirx/reference/python/sym.html b/tirx/reference/python/sym.html
index 4410828f38f..96168e407d8 100644
--- a/tirx/reference/python/sym.html
+++ b/tirx/reference/python/sym.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
@@ -465,12 +463,6 @@ document.write(`
<tr class="row-odd"><td><p><a class="reference internal"
href="generated/tvm_tirx.sym.deduce_bound.html#tvm_tirx.sym.deduce_bound"
title="tvm_tirx.sym.deduce_bound"><code class="xref py py-obj docutils literal
notranslate"><span class="pre">deduce_bound</span></code></a>(var, cond,
hint_map, relax_map)</p></td>
<td><p>Deduce the bound of the target variable in the cond.</p></td>
</tr>
-<tr class="row-even"><td><p><a class="reference internal"
href="generated/tvm_tirx.sym.detect_linear_equation.html#tvm_tirx.sym.detect_linear_equation"
title="tvm_tirx.sym.detect_linear_equation"><code class="xref py py-obj
docutils literal notranslate"><span
class="pre">detect_linear_equation</span></code></a>(expr, var_list)</p></td>
-<td><p>Match <cite>expr = sum_{i=0}^{n-1} var[i] * coeff[i] +
coeff[n]</cite></p></td>
-</tr>
-<tr class="row-odd"><td><p><a class="reference internal"
href="generated/tvm_tirx.sym.detect_clip_bound.html#tvm_tirx.sym.detect_clip_bound"
title="tvm_tirx.sym.detect_clip_bound"><code class="xref py py-obj docutils
literal notranslate"><span
class="pre">detect_clip_bound</span></code></a>(expr, var_list)</p></td>
-<td><p>Detect if expression corresponds to clip bound of the vars</p></td>
-</tr>
<tr class="row-even"><td><p><a class="reference internal"
href="generated/tvm_tirx.sym.detect_iter_map.html#tvm_tirx.sym.detect_iter_map"
title="tvm_tirx.sym.detect_iter_map"><code class="xref py py-obj docutils
literal notranslate"><span
class="pre">detect_iter_map</span></code></a>(indices, input_iters[,
...])</p></td>
<td><p>Detect if indices can be written as mapped iters from input
iters</p></td>
</tr>
diff --git a/tirx/reference/python/sym.utils.html
b/tirx/reference/python/sym.utils.html
index 8014cf31ee6..bc38387a4ff 100644
--- a/tirx/reference/python/sym.utils.html
+++ b/tirx/reference/python/sym.utils.html
@@ -175,8 +175,6 @@
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.estimate_region_upper_bound.html">tvm_tirx.sym.estimate_region_upper_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.allow_uint_as_index.html">tvm_tirx.sym.allow_uint_as_index</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.deduce_bound.html">tvm_tirx.sym.deduce_bound</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.detect_linear_equation.html">tvm_tirx.sym.detect_linear_equation</a></li>
-<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.detect_clip_bound.html">tvm_tirx.sym.detect_clip_bound</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.detect_iter_map.html">tvm_tirx.sym.detect_iter_map</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.iter_map_simplify.html">tvm_tirx.sym.iter_map_simplify</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.sym.normalize_iter_map_to_expr.html">tvm_tirx.sym.normalize_iter_map_to_expr</a></li>
diff --git a/tirx/reference/python/tirx.analysis.html
b/tirx/reference/python/tirx.analysis.html
index a8c521bd5f5..3cfb13212a1 100644
--- a/tirx/reference/python/tirx.analysis.html
+++ b/tirx/reference/python/tirx.analysis.html
@@ -166,6 +166,8 @@
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.verify_memory.html">tvm_tirx.tirx.analysis.verify_memory</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.undefined_vars.html">tvm_tirx.tirx.analysis.undefined_vars</a></li>
<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.check_well_formed.html">tvm_tirx.tirx.analysis.check_well_formed</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.detect_linear_equation.html">tvm_tirx.tirx.analysis.detect_linear_equation</a></li>
+<li class="toctree-l3"><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.detect_clip_bound.html">tvm_tirx.tirx.analysis.detect_clip_bound</a></li>
</ul>
</details></li>
<li class="toctree-l2"><a class="reference internal"
href="tirx.transform.html">tvm_tirx.tirx.transform</a></li>
@@ -386,6 +388,12 @@ document.write(`
<tr class="row-odd"><td><p><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.check_well_formed.html#tvm_tirx.tirx.analysis.check_well_formed"
title="tvm_tirx.tirx.analysis.check_well_formed"><code class="xref py py-obj
docutils literal notranslate"><span
class="pre">check_well_formed</span></code></a>(obj[, assert_mode])</p></td>
<td><p>Check whether a TIRx function is well formed.</p></td>
</tr>
+<tr class="row-even"><td><p><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.detect_linear_equation.html#tvm_tirx.tirx.analysis.detect_linear_equation"
title="tvm_tirx.tirx.analysis.detect_linear_equation"><code class="xref py
py-obj docutils literal notranslate"><span
class="pre">detect_linear_equation</span></code></a>(expr, var_list)</p></td>
+<td><p>Match <cite>expr = sum_{i=0}^{n-1} var[i] * coeff[i] +
coeff[n]</cite></p></td>
+</tr>
+<tr class="row-odd"><td><p><a class="reference internal"
href="generated/tvm_tirx.tirx.analysis.detect_clip_bound.html#tvm_tirx.tirx.analysis.detect_clip_bound"
title="tvm_tirx.tirx.analysis.detect_clip_bound"><code class="xref py py-obj
docutils literal notranslate"><span
class="pre">detect_clip_bound</span></code></a>(expr, var_list)</p></td>
+<td><p>Detect if expression corresponds to clip bound of the vars</p></td>
+</tr>
</tbody>
</table>
</div>
diff --git a/tirx/reference/python/tirx.transform.html
b/tirx/reference/python/tirx.transform.html
index 07f6a2071d5..6dde5c7d0ae 100644
--- a/tirx/reference/python/tirx.transform.html
+++ b/tirx/reference/python/tirx.transform.html
@@ -44,7 +44,7 @@
<link rel="index" title="Index" href="../../genindex.html" />
<link rel="search" title="Search" href="../../search.html" />
<link rel="next" title="tvm_tirx.tirx.transform.FunctionPass"
href="generated/tvm_tirx.tirx.transform.FunctionPass.html" />
- <link rel="prev" title="tvm_tirx.tirx.analysis.check_well_formed"
href="generated/tvm_tirx.tirx.analysis.check_well_formed.html" />
+ <link rel="prev" title="tvm_tirx.tirx.analysis.detect_clip_bound"
href="generated/tvm_tirx.tirx.analysis.detect_clip_bound.html" />
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<meta name="docsearch:language" content="en"/>
</head>
@@ -536,12 +536,12 @@ expected output and invocation.</p>
<div class="prev-next-area">
<a class="left-prev"
- href="generated/tvm_tirx.tirx.analysis.check_well_formed.html"
+ href="generated/tvm_tirx.tirx.analysis.detect_clip_bound.html"
title="previous page">
<i class="fa-solid fa-angle-left"></i>
<div class="prev-next-info">
<p class="prev-next-subtitle">previous</p>
- <p class="prev-next-title">tvm_tirx.tirx.analysis.check_well_formed</p>
+ <p class="prev-next-title">tvm_tirx.tirx.analysis.detect_clip_bound</p>
</div>
</a>
<a class="right-next"
diff --git a/tirx/searchindex.js b/tirx/searchindex.js
index a7e43c34203..251a298218b 100644
--- a/tirx/searchindex.js
+++ b/tirx/searchindex.js
@@ -1 +1 @@
-Search.setIndex({"alltitles": {"CallEffectKind": [[417, "calleffectkind"]],
"CallingConv": [[414, "callingconv"]], "Classes": [[4, "classes"], [6,
"classes"], [7, "classes"], [8, "classes"], [9, "classes"], [10, "classes"],
[11, "classes"], [12, "classes"], [13, "classes"], [14, "classes"], [15,
"classes"], [22, "classes"], [28, "classes"], [37, "classes"], [39, "classes"],
[42, "classes"], [1461, "classes"], [1464, "classes"], [1465, "classes"],
[1466, "classes"], [1467, "classes"], [14 [...]
\ No newline at end of file
+Search.setIndex({"alltitles": {"CallEffectKind": [[417, "calleffectkind"]],
"CallingConv": [[414, "callingconv"]], "Classes": [[4, "classes"], [6,
"classes"], [7, "classes"], [8, "classes"], [9, "classes"], [10, "classes"],
[11, "classes"], [12, "classes"], [13, "classes"], [14, "classes"], [15,
"classes"], [22, "classes"], [28, "classes"], [37, "classes"], [39, "classes"],
[42, "classes"], [1461, "classes"], [1464, "classes"], [1465, "classes"],
[1466, "classes"], [1467, "classes"], [14 [...]
\ No newline at end of file
