From 67f111a9ff41f3b4b7a5c8aa6e8da1a1e226f890 Mon Sep 17 00:00:00 2001 From: inglorion Date: Sat, 15 Jan 2011 15:45:55 +0100 Subject: [PATCH] Synchronized language.html with latest language specification --- doc/language.html | 28 +++++++++++++++++----------- 1 file changed, 17 insertions(+), 11 deletions(-) diff --git a/doc/language.html b/doc/language.html index 8571398..db09300 100644 --- a/doc/language.html +++ b/doc/language.html @@ -246,11 +246,16 @@ the result of add is undefined. result of this expression is the value returned from the function.
div <x> <y>
-
The (integer) result of dividing <x> by <y>. If the -exact result of <x>/<y> is not an integer, the result -is converted to an integer in an implementation-defined way. If -<y> = 0 or if the result cannot be represented in a single -word, the behavior of div is undefined.
+
The (integer) result of dividing <x> by <y>. + +If <x> ≥ 0 and <y> > 0, the result is the largest +integer equal to or less than the algebraic quotient of <x> +and <y>. + +If either <x> or <y> is negative, the result is +implementation-defined. + +If <y> is zero, the result is undefined.
get-byte <base> <offset>
The value of the byte at address <base> + <offset>.
@@ -264,12 +269,13 @@ expected to be a multiple of the word size. If this condition is not met, the behavior of get-word is undefined.
mod <x> <y>
-
Returns the integer n such that -n = <x> - (<y> * z), where z is the result of -div <x> <y>. The behavior of -mod <x> <y> is undefined when the -behavior of div <x> <y> is -undefined.
+
For <x> ≥ 0 and <y> > 0, returns +<x> modulo <y>. + +If either <x> or <y> is negative, the result is +implementation-defined. + +If <y> is zero, the result is undefined.
mul <x> <y>
The result of multiplying <x> by <y>. -- 2.11.4.GIT