Hacker News Reader

Comment by weinzierl | Hacker News Reader

The "integer arithmetic paradigm" would mean either checking after (almost) every operation or living with potentially incorrect results.

The first is terribly inefficient, the second is just wrong (even if insanely common).

This is sad because there is no reason at all why integers couldn’t follow what OP calls the "float paradigm". It doesn’t even have to be slow. Most modern processors (if we ignore x86) support some form of sticky arithmetic flags. Unfortunately, programming languages don’t support them, so they aren’t used.

There is also something to be said about the special treatment division by zero gets.

View on HN

I mostly agree, but not with the flags part. From my past comment (https://news.ycombinator.com/item?id=45174074):

>I sometimes wish that signed integers were symmetrical. i8 would represent the range of [-127 to 127] with 0xFF representing NaN. Any operation which can not be computed (division by zero, overflows, operation with another NaN, etc.) would result in NaN. For further symmetry we could do the same for signed integers as well.

> i8 would represent the range of [-127 to 127] with 0xFF representing NaN

There's an interesting "special case" of that in the Alesis HR16 and SR16 drum machines. They store 16-bit sample data in an 8-bit ROM. Okay, you say, nothing unusual about that, it's int16 pairs, right?

Nope.

It's int8 data, that gets scaled. Drum sounds tend to decay, so you start off with the 8 bits of sample data representing the eight highest bits of the 16 bit DAC value. At some point the maximum level has decayed by a half so all subsequent values will fit in 7 bits. So there's a "tick" to -128 in the data that makes the sound ASIC "change up a gear" and shift the 8-bit data right one place with the data scaled to suit. Once it decays enough again, another gearchange, another scaling, another "notch" on the Christmas tree-shaped sample.

At the very end of the sample to signify that the note is to stop, you just have a tail of -128s until the shifter has "run off the end" - from memory (it was around 2010 that I last looked at this) there are eight or nine "ticks" in total which are necessary for the sample to stop before it goes right on into the start of the following sample.

So, yeah, nothing new under the sun. Signed 8-bit audio with -128 considered a special value.

> The "integer arithmetic paradigm" would mean either checking after (almost) every operation or living with potentially incorrect results.

Would an int type with three special values +inf, -inf and NaN be useful? In addition to handling overflow, it would be symmetrical; the relation

  INT_MIN == -INT_MAX

would hold.

> Most modern processors (if we ignore x86) support some form of sticky arithmetic flags. Unfortunately, programming languages don’t support them, so they aren’t used.

I'd say the reason that programming languages don't have built-in support for checking the CPU's sticky status flags is precisely because of a lack of x86 support. Plenty of languages do have support for checking overflow on each individual operation, e.g. Rust's `overflowing_foo` methods, which return a tuple whose second member is a boolean indicating overflow: https://doc.rust-lang.org/std/primitive.i32.html#method.over...

Sticky flags tend to be really annoying for a compiler to support for various reasons, but principally it makes every operation have a hidden dependency to shared global state that is almost never read. Note that IEEE 754 standardized support for sticky flags 40 years ago, but support for these sticky bits is still poor to nonexistent in most programming languages, and sticky bit stuff for floating-point operations is less problematic than integer operations because FP math is already far more black box in practice.

Pretty sure zig has safe integer operations: integers aren't allowed to overflow with the standard operators, there are overflowing and saturating operators if that's what you want.

Rust and D and probably others have this too. The interesting question is:

Can you chain these operations in a way that will propagate the error to the end result while simultaneously have a compiler produce code without branches after every operation. Safe integer operations alone are not enough for that.

I think the operators panic. In zig, If you want safe operations I think there are functions in the stdlib

The branching does not cost as much as you think, I'm pretty sure the compiler marks the erroring path as cold, which the cpu can use to elide most of the branch cost through specex

A branch is a branch and no branch will always be better. With sticky flags there is no difference in performance to regular integer arithmetic.

Reply on news.ycombinator.com