diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-09-14 13:11:08 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-09-14 15:02:15 -0700 |
| commit | 740046cd630100a71241bf918a0c68fd952d032e (patch) | |
| tree | cf7c62fe952260f3da04ae0ffe3d46bd388e63ff | |
| parent | 0f21826465193bef512029b7b35317ed1460b064 (diff) | |
| download | nanowasm-design-740046cd630100a71241bf918a0c68fd952d032e.tar.gz | |
Add floor-division and mor/mxor to FutureFeatures.md.
Again, there's no guarantee that these will ever be standardized.
| -rw-r--r-- | AstSemantics.md | 2 | ||||
| -rw-r--r-- | FutureFeatures.md | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 721a222..edb0828 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -376,7 +376,7 @@ results into the result type. * `int32.sub`: sign-agnostic subtraction * `int32.mul`: sign-agnostic multiplication (lower 32-bits) * `int32.div_s`: signed division (result is truncated toward zero) - * `int32.div_u`: unsigned division + * `int32.div_u`: unsigned division (result is floored) * `int32.rem_s`: signed remainder (result has the sign of the dividend) * `int32.rem_u`: unsigned remainder * `int32.and`: sign-agnostic logical and diff --git a/FutureFeatures.md b/FutureFeatures.md index d939538..8c8aaca 100644 --- a/FutureFeatures.md +++ b/FutureFeatures.md @@ -233,6 +233,11 @@ use cases: * The following operations are just potentially interesting. * `int32.clrs`: sign-agnostic count leading redundant sign bits (defined for all values, including 0) + * `int32.floor_div_s`: signed division (result is floored) + +* The following 64-bit-only operations are potentially interesting as well. + * `int64.mor`: sign-agnostic 8x8 bit-matrix multiply with or + * `int64.mxor`: sign-agnostic 8x8 bit-matrix multiply with xor ## Additional floating point operations |