Add int64 dtype support for RangeFor boundaries

Open jim19930609 opened this issue 3 years ago • 2 comments

Taichi implicitly casts RangeFor boundaries to ti.i32, which is an unnecessary limitation and causes confusion when users explicitly specifies ti.i64 as RangeFor boundaries (https://github.com/taichi-dev/taichi/issues/5217).

Ideally, backend's dtype limitation should not bother the frontend design. Unfortunately, we did forbiddened higher precision dtypes in certain cases due to concerns regarding the backends (RangeFor boundaries, ti.atan type conversion, etc..)

We should add a "dtype demotion" pass for each specific backend, and remove all these dtype conversions from the frontend.

Jul 04 '22 07:07 jim19930609

PR #5322 just added a warning message for this implicit conversion, which did not actually resolve this issue. Ideally we should convert the boundaries to int64 instead of int32.

Jul 08 '22 01:07 jim19930609

Are there any updates on this? It appears to still be an issue.

Sep 23 '25 05:09 lstrgar