From 3b61d7316cc77d7f0b4acd54b2f3e8b9d4afae54 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Mon, 14 Sep 2015 13:51:37 -0700 Subject: Add a link to define 'floored'. --- AstSemantics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3