Unify out-of-bounds behavior across DSLX interperter, IR interpreter, and JIT
Open
dslx
ir
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
Right now OOB access for array update and array index result in an error being raised in the DSLX interpreter. At the IR and codegen levels, no error is raised and the semantics are well-defined. We should unify the (potentially configurable?) behavior to be consistent at all levels.
One option is to have a different op(S) at the DSLX level which matches the OOB semantics at the lower levels.
Contributor guide
Assessment
This issue has not been assessed yet.