diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-09-14 13:51:37 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-09-14 15:02:15 -0700 |
| commit | 3b61d7316cc77d7f0b4acd54b2f3e8b9d4afae54 (patch) | |
| tree | cc6570f2b2c66878cdbac6ea1032ffb3ae127b7f | |
| parent | b94b2e7ac8e6d966cd1d78a0776a6c257d502d2f (diff) | |
| download | nanowasm-design-3b61d7316cc77d7f0b4acd54b2f3e8b9d4afae54.tar.gz | |
Add a link to define 'floored'.
| -rw-r--r-- | AstSemantics.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index edb0828..ae9d603 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 (result is floored) + * `int32.div_u`: unsigned division (result is [floored](https://en.wikipedia.org/wiki/Floor_and_ceiling_functions)) * `int32.rem_s`: signed remainder (result has the sign of the dividend) * `int32.rem_u`: unsigned remainder * `int32.and`: sign-agnostic logical and |