28 ms·
While not standardized, there are compiler builtins for operations which care about overflow. They will not be optimized out and are very efficient (cost ~1 cy
by sesuximo 5y ago
While not standardized, there are compiler builtins for operations which care about overflow. They will not be optimized out and are very efficient (cost ~1 cycle if no overflow).
- rwmj 5y agoI had to use them when I was formally proving some C snippets (see my other comment: https://news.ycombinator.com/item?id=27649879 https://news.ycombinator.com/item?id=27649879)