Remove redundant analyzers (#42)

Author: yzh119

src/tir/transforms/lower_sparse_tir.cc

@@ -117,8 +117,7 @@ PrimExpr AggregateOffset(PrimExpr prev_offset, Axis axis, PrimExpr index, arith:
 class SparseBlockCtx {
  private:
   struct Scope {
-    explicit Scope(SparseBlock sp_block, arith::Analyzer* ana)
-        : sp_block(std::move(sp_block)), ana(ana) {
+    explicit Scope(SparseBlock sp_block) : sp_block(std::move(sp_block)) {
       for (const SpIterVar& sp_iter_var : this->sp_block->sp_iter_vars) {
         axis2sp_iter.Set(sp_iter_var->axis, sp_iter_var);
         sp_iter_var_map.Set(sp_iter_var->var, sp_iter_var);
@@ -133,15 +132,13 @@ class SparseBlockCtx {
     Map<Var, SpIterVar> sp_iter_var_map;
     /*! \brief The stored offsets of the sparse iterators in the sparse block */
     Map<SpIterVar, PrimExpr> cached_offsets;
-    /*! \brief The analyzer */
-    arith::Analyzer* ana;
   };
 
  public:
   explicit SparseBlockCtx(arith::Analyzer* ana) : ana_(ana) {}
 
   void EnterScope(const SparseBlockNode* sp_block) {
-    stack_.emplace_back(GetRef<SparseBlock>(sp_block), ana_);
+    stack_.emplace_back(GetRef<SparseBlock>(sp_block));
   }
 
   void ExitScope() { stack_.pop_back(); }
@@ -233,8 +230,8 @@ class SparseBlockCtx {
 class SparseBufferAccessCtx {
  private:
   struct Scope {
-    explicit Scope(SparseBuffer sp_buffer, const SparseBlockCtx* sp_blk_ctx, arith::Analyzer* ana)
-        : sp_buffer(std::move(sp_buffer)), sp_blk_ctx(sp_blk_ctx), ana(ana) {
+    explicit Scope(SparseBuffer sp_buffer, const SparseBlockCtx* sp_blk_ctx)
+        : sp_buffer(std::move(sp_buffer)), sp_blk_ctx(sp_blk_ctx) {
       offsets.reserve(this->sp_buffer->ndim() + 1);
       offsets.push_back(Integer(0));
       n_matched_iters = 0;
@@ -249,15 +246,13 @@ class SparseBufferAccessCtx {
     int n_matched_iters;
     /*! \brief The sparse block context of the sparse block that this access is in */
     const SparseBlockCtx* sp_blk_ctx;
-    /*! \brief The analyzer */
-    arith::Analyzer* ana;
   };
 
  public:
   explicit SparseBufferAccessCtx(arith::Analyzer* ana) : ana_(ana) {}
 
   void EnterScope(SparseBuffer sp_buffer, const SparseBlockCtx* sp_blk_ctx) {
-    stack_.emplace_back(sp_buffer, sp_blk_ctx, ana_);
+    stack_.emplace_back(sp_buffer, sp_blk_ctx);
   }
 
   void ExitScope() { stack_.pop_back(); }