[Apache TVM Discuss] [Questions] The doc about InferBound seems to be out-dated

[haozech via Apache TVM Discuss <no...@discuss.tvm.ai>]

In the **Limitations of PassUpDomain** section of [InferBound Pass](https://tvm.apache.org/docs/arch/inferbound.html), I ran the code in Ex.6 in TVM ver0.8. And my result is not the same with the result given in the doc.
Doc's result :  
 ```python
// attr [B] storage_scope = "global"
allocate B[float32 * 16]
produce C {
  for (ci.cj.fused.outer, 0, 4) {
    produce B {
      for (bi, 0, 4) {
        for (bj, 0, 4) {
          B[((bi*4) + bj)] = (A[((bi*4) + bj)] + 2.000000f)
        }
      }
    }
    for (ci.cj.fused.inner, 0, 4) {
      C[((ci.cj.fused.outer*4) + ci.cj.fused.inner)] = (B[((ci.cj.fused.outer*4) + ci.cj.fused.inner)]*3.000000f)
    }
  }
}
```
my result using TVM 0.8: 
```python
@main = primfn(A_1: handle, C_1: handle) -> ()
  attr = {"from_legacy_te_schedule": True, "global_symbol": "main", "tir.noalias": True}
  buffers = {C: Buffer(C_2: Pointer(float32), float32, [4, 4], []),
             A: Buffer(A_2: Pointer(float32), float32, [4, 4], [])}
  buffer_map = {A_1: A, C_1: C} {
  allocate(B: Pointer(global float32), float32, [4]), storage_scope = global;
  for (ci.cj.fused.outer: int32, 0, 4) {
    for (bj: int32, 0, 4) {
      B[bj] = ((float32*)A_2[((ci.cj.fused.outer*4) + bj)] + 2f32)
    }
    for (ci.cj.fused.inner: int32, 0, 4) {
      C_2[((ci.cj.fused.outer*4) + ci.cj.fused.inner)] = ((float32*)B[ci.cj.fused.inner]*3f32)
    }
  }
}
```

It seems like the limitation mentioned in the doc has no longer existed. So the doc need to be updated.





---
[Visit Topic](https://discuss.tvm.apache.org/t/the-doc-about-inferbound-seems-to-be-out-dated/11798/1) to respond.

You are receiving this because you enabled mailing list mode.

To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/ec3392bf09ecf5351e9f0551317f10926769006ff959705ba40b4abc460839c8).