code: def test_truncmod_bound():
      analyzer = tvm.arith.Analyzer()
      x, y = te.var("x"), te.var("y")
  
      tmod = tvm.tir.truncmod
  
      analyzer.update(x, tvm.arith.ConstIntBound(-9, 4))
      analyzer.update(y, tvm.arith.ConstIntBound(4, 10))
      bd = analyzer.const_int_bound(tmod(x, y))
      assert bd.min_value == -9
      assert bd.max_value == 4
  
      analyzer.update(
          x,
          tvm.arith.ConstIntBound(bd.NEG_INF, bd.POS_INF),
          override=True,
      )
      analyzer.update(y, tvm.arith.ConstIntBound(4, 10), override=True)
      bd = analyzer.const_int_bound(tmod(x, y))
      assert bd.min_value == -9
      assert bd.max_value == 9
  
      analyzer.update(
          x, tvm.arith.ConstIntBound(1, bd.POS_INF), override=True
      )
      analyzer.update(y, tvm.arith.ConstIntBound(4, 10), override=True)
      bd = analyzer.const_int_bound(tmod(x, y))
      assert bd.min_value == 0
      assert bd.max_value == 9
  
imports: import tvm
  import tvm.testing
  from tvm import te
label_desc: Use image node_id 6 for calling a global function with example usage: test_truncmod_bound() without return types