Change semantics of divide by zero
Open
ir
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
Currently in XLS a divide by zero results in the maximum representable value. For example:
```
bits[8]:1 / bits[8]:0 = bits[8]:255
```
A saner result is zero. See https://www.hillelwayne.com/post/divide-by-zero/ for details.
Contributor guide
Assessment
This issue has not been assessed yet.