X-Git-Url: http://git.subgeniuskitty.com/vvhitespace/.git/blobdiff_plain/0750ec764cbea33d0b4646558619a0b5e365cc15..9e28c1564b02cfc08f7f83c09b97de77f18e0d90:/tests/2005_arithmetic_remainder.pvvs

diff --git a/tests/2005_arithmetic_remainder.pvvs b/tests/2005_arithmetic_remainder.pvvs
index d54c381..e4ae177 100644
--- a/tests/2005_arithmetic_remainder.pvvs
+++ b/tests/2005_arithmetic_remainder.pvvs
@@ -1,7 +1,31 @@
 # This test verifies arithmetic IMP remainder.
 
+# First, verify basic function with two positive numbers.
 SSSTTSSSSTSN    | ST: Push +194
 SSSTSSSSSSTN    | ST: Push +128
 TSTT            | MA: Remainder
 TNSS            | IO: Output character
+
+# The VVS modulo function should always return a positive value.
+# C-derived languages (among others) do not share this convention.
+
+# This test verifies that -3 mod 2 = 1.
+SSTTTN          | ST: Push -3
+SSSTSN          | ST: Push +2
+TSTT            | MA: Remainder
+TNST            | IO: Output digit
+
+# This test verifies that -3 mod -2 = 1.
+SSTTTN          | ST: Push -3
+SSTTSN          | ST: Push -2
+TSTT            | MA: Remainder
+TNST            | IO: Output digit
+
+# This test verifies that -3 mod -(2^63) = 3.
+SSTTTN          | ST: Push -3
+SSTTSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSN | PUSH -(2^63)
+TSTT            | MA: Remainder
+TNST            | IO: Output digit
+
+# All done
 NNN             | FC: Terminate program