diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-06-08 12:39:21 -0800 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-06-12 14:26:17 -0700 |
| commit | 071bc0fd8e9ce738f00a3f699c24460806058b38 (patch) | |
| tree | af2785abf82a11ef346c00bd832b374799663e24 /AstSemantics.md | |
| parent | c00ddd4345019805f9c01c93c354936002e60535 (diff) | |
| download | nanowasm-design-071bc0fd8e9ce738f00a3f699c24460806058b38.tar.gz | |
Move floating-point libary intrinsics into FutureFeatures.md.
Diffstat (limited to 'AstSemantics.md')
| -rw-r--r-- | AstSemantics.md | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 896f2f6..0cc4a31 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -413,37 +413,3 @@ overflow to infinity or negative infinity as specified by IEEE-754. Conversion from floating point to integer where IEEE-754 would specify an invalid operation exception (e.g. when the floating point value is NaN or outside the range which rounds to an integer in range) traps. - -## Post-MVP intrinsics - -The following list of intrinsics is being considered for addition after the MVP. The -rationale is that, for the MVP, these operations can be statically linked into the -WebAssembly module by the code generator at small size cost and this avoids a -non-trivial specification burden of their semantics/precision. Adding these -intrinsics post-MVP would allow for better high-level backend optimization of -these intrinsics that require builtin knowledge of their semantics. On the other -hand, a code generator may continue to statically link in its own implementation -since this provides greater control over precision/performance tradeoffs. - - * Float64Sin - trigonometric sine - * Float64Cos - trigonometric cosine - * Float64Tan - trigonometric tangent - * Float64ASin - trigonometric arcsine - * Float64ACos - trigonometric arccosine - * Float64ATan - trigonometric arctangent - * Float64ATan2 - trigonometric arctangent with two arguments - * Float64Exp - exponentiate e - * Float64Ln - natural logarithm - * Float64Pow - exponentiate - * Float32Sin - trigonometric sine - * Float32Cos - trigonometric cosine - * Float32Tan - trigonometric tangent - * Float32ASin - trigonometric arcsine - * Float32ACos - trigonometric arccosine - * Float32ATan - trigonometric arctangent - * Float32ATan2 - trigonometric arctangent with two arguments - * Float32Exp - exponentiate e - * Float32Ln - natural logarithm - * Float32Pow - exponentiate - -The rounding behavior of these operations would need clarification. |