code: def test_detect_iter_map_with_bufferload_recursion():
      n = tvm.tir.Var("n", "int32")
      m = tvm.tir.Var("m", "int32")
      divisor = tvm.tir.Var("divisor", "int32")
  
      i = tvm.tir.Var("i", "int32")
      j = tvm.tir.Var("j", "int32")
  
      buffer = tvm.tir.decl_buffer((n,), "int32", name="seqlen")
  
      indices = [(buffer[i] + j) // divisor]
      iter_vars = {
          i: tvm.ir.Range(tvm.tir.const(0, "int32"), n),
          j: tvm.ir.Range(tvm.tir.const(0, "int32"), m),
      }
  
      result = tvm.arith.detect_iter_map(indices, iter_vars)
      assert len(result.indices) == 0
  
imports: import tvm
  import tvm.testing
  from tvm.tir import floordiv, floormod
label_desc: Use image node_id 30 for calling a global function with example usage: test_detect_iter_map_with_bufferload_recursion() without return types