Re:A complete map of the Rust type system
by zokier on Monday September 08, 2025 @05:51PM
(#45174490)
That sounds surprisingly reasonable idea for signeds. Less so for unsigneds though. Has there been any architecture doing anything like that?
[ Parent
| on HN ]
Re:A complete map of the Rust type system
by newpavlov on Monday September 08, 2025 @06:24PM
(#45174858)
I can not name an ISA with such instructions out of my head.
As for unsigned integers, as I mentioned in the other comment, we probably need two separate instruction sets for "wrapping" and NaN-able operations on unsigned integers.