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