Skip to content

Commit 54136a9

Browse files
committed
Mention that it might be a good idea for Abs overflow to trap.
1 parent 5693525 commit 54136a9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

FutureFeatures.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -204,7 +204,7 @@ use cases:
204204
* Int32UMin - unsigned minimum
205205
* Int32UMax - unsigned maximum
206206
* Int32SExt - `sext(x, y)` is `x<<y>>y`
207-
* Int32Abs - absolute value (`abs(INT32_MIN)` is `INT32_MIN`)
207+
* Int32Abs - absolute value (is `abs(INT32_MIN)` `INT32_MIN` or should it trap?)
208208

209209
* The following operations are just potentially interesting.
210210
* Int32Clrs - count leading redundant sign bits (defined for all values, including 0)

0 commit comments

Comments
 (0)