diff options
Diffstat (limited to 'AstSemantics.md')
| -rw-r--r-- | AstSemantics.md | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 96ab81c..d01f004 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -245,8 +245,12 @@ Additional 32-bit integer Operations under consideration: * Int32SMulHigh - signed multiplication (upper 32-bits) * Int32UMulHigh - unsigned multiplication (upper 32-bits) - * Int32Clz - count leading zeroes + * Int32Clz - count leading zeroes (defined for all values, including 0) + * Int32Ctz - count trailing zeroes (defined for all values, including 0) * Int32Popcnt - count number of ones + * Int32BSwap - reverse bytes (endian conversion) + * Int32Rotr - bitwise rotate right + * Int32Rotl - bitwise rotate left * Int32Not - signed-less one's complement * Int32SMin - signed minimum * Int32SMax - signed maximum @@ -268,15 +272,17 @@ All 64-bit floating point operations conform to the IEEE-754 standard. * Float64Mul - multiplication * Float64Div - division * Float64Abs - absolute value + * Float64Neg - negation + * Float64Copysign - copysign * Float64Ceil - ceiling operation * Float64Floor - floor operation * Float64Eq - compare equal * Float64Lt - less than * Float64Le - less than or equal + * Float64Sqrt - square root Operations under consideration: - * Float64Sqrt - square root ## 32-bit Floating point operations @@ -287,16 +293,17 @@ All 32-bit floating point operations conform to the IEEE-754 standard. * Float32Mul - multiplication * Float32Div - division * Float32Abs - absolute value + * Float32Neg - negation + * Float32Copysign - copysign * Float32Ceil - ceiling operation * Float32Floor - floor operation * Float32Eq - compare equal * Float32Lt - less than * Float32Le - less than or equal + * Float32Sqrt - square root Operations under consideration: - * Float32Sqrt - square root - Note that the IEEE 754 standard does not require extended operations like transcendental functions to have a specified precision. |