[TVMScript] Dilemma on "True"

Troubleshooting
#1

Hi, there~ I encounter a problem when using TVMScript about literal True value. Take an small example:

@T.prim_func
def func(x: T.int32):
    if True and x > 2:
        T.evaluate(T.broadcast(True, 16))
        T.evaluate(T.shift_left(True, x))
        T.evaluate(T.call_extern("", "extern_func", True, 16))

Surprisingly, the behaviour diverges:

  • In condition, the “True” evaluates to IntImm("uint1", 1)
  • In broadcast and call, the “True” evaluates to IntImm("int32", 1)
  • In call extern, the “True” again evaluates to IntImm("uint1", 1)

cc @junrushao @yelite for help:)

#2

In fact, I have the same question…@tqchen would you like to clarify what the default dtype is for boolean?

#3

I think it should be uint1

#4

oh, I have tried raw python interface with

>> tvm.tir.Broadcast(True, 16)

And I get 1 with i32 type. It seems that is because the FFI? And the parser is actually consistent with that behavior? @junrushao

#5

TVM’s FFI does not recognize python boolean independently, which means they are handled the same way as integer 1. I was wondering if it’s the behavior we should fix @tqchen

#6

Yes, we have some opportunities to fix in https://github.com/apache/tvm-rfcs/pull/97