google / google/xls

Unify out-of-bounds behavior across DSLX interperter, IR interpreter, and JIT

Open
#327 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.