Add descriptions to tests in t/op/arith.t.
authorJames E Keenan <jkeenan@cpan.org>
Fri, 23 Nov 2012 19:20:56 +0000 (14:20 -0500)
committerJames E Keenan <jkeenan@cpan.org>
Fri, 30 Nov 2012 02:28:25 +0000 (21:28 -0500)
For: RT #115806

t/op/arith.t

index 8041276..3c91971 100644 (file)
@@ -7,47 +7,53 @@ BEGIN {
 
 print "1..167\n";
 
-sub try ($$) {
-   print +($_[1] ? "ok" : "not ok"), " $_[0]\n";
+sub try ($$$) {
+   print +($_[1] ? "ok" : "not ok"), " $_[0] - $_[2]\n";
 }
-sub tryeq ($$$) {
+sub tryeq ($$$$) {
   if ($_[1] == $_[2]) {
-    print "ok $_[0]\n";
+    print "ok $_[0]";
   } else {
-    print "not ok $_[0] # $_[1] != $_[2]\n";
+    print "not ok $_[0] # $_[1] != $_[2]";
   }
+  print " - $_[3]\n";
 }
-sub tryeq_sloppy ($$$) {
+sub tryeq_sloppy ($$$$) {
   if ($_[1] == $_[2]) {
-    print "ok $_[0]\n";
+    print "ok $_[0]";
   } else {
     my $error = abs (($_[1] - $_[2]) / $_[1]);
     if ($error < 1e-9) {
-      print "ok $_[0] # $_[1] is close to $_[2], \$^O eq $^O\n";
+      print "ok $_[0] # $_[1] is close to $_[2], \$^O eq $^O";
     } else {
-      print "not ok $_[0] # $_[1] != $_[2]\n";
+      print "not ok $_[0] # $_[1] != $_[2]";
     }
   }
+  print " - $_[3]\n";
 }
 
 my $T = 1;
-tryeq $T++,  13 %  4, 1;
-tryeq $T++, -13 %  4, 3;
-tryeq $T++,  13 % -4, -3;
-tryeq $T++, -13 % -4, -1;
+tryeq $T++,  13 %  4, 1, 'modulo: positive positive';
+tryeq $T++, -13 %  4, 3, 'modulo: negative positive';
+tryeq $T++,  13 % -4, -3, 'modulo: positive negative';
+tryeq $T++, -13 % -4, -1, 'modulo: negative negative';
 
 # Give abs() a good work-out before using it in anger
-tryeq $T++, abs(0), 0;
-tryeq $T++, abs(1), 1;
-tryeq $T++, abs(-1), 1;
-tryeq $T++, abs(2147483647), 2147483647;
-tryeq $T++, abs(-2147483647), 2147483647;
-tryeq $T++, abs(4294967295), 4294967295;
-tryeq $T++, abs(-4294967295), 4294967295;
-tryeq $T++, abs(9223372036854775807), 9223372036854775807;
-tryeq $T++, abs(-9223372036854775807), 9223372036854775807;
-tryeq $T++, abs(1e50), 1e50;   # Assume no change whatever; no slop needed
-tryeq $T++, abs(-1e50), 1e50;  # Assume only sign bit flipped
+tryeq $T++, abs(0), 0, 'abs(): 0 0';
+tryeq $T++, abs(1), 1, 'abs(): 1 1';
+tryeq $T++, abs(-1), 1, 'abs(): -1 1';
+tryeq $T++, abs(2147483647), 2147483647, 'abs(): 2**31-1: pos pos';
+tryeq $T++, abs(-2147483647), 2147483647, 'abs(): 2**31-1: neg pos';
+tryeq $T++, abs(4294967295), 4294967295, 'abs(): 2**32-1: pos pos';
+tryeq $T++, abs(-4294967295), 4294967295, 'abs(): 2**32-1: neg pos';
+tryeq $T++, abs(9223372036854775807), 9223372036854775807,
+    'abs(): 2**63-1: pos pos';
+tryeq $T++, abs(-9223372036854775807), 9223372036854775807,
+    'abs(): 2**63-1: neg pos';
+# Assume no change whatever; no slop needed
+tryeq $T++, abs(1e50), 1e50, 'abs(): 1e50: pos pos';
+# Assume only sign bit flipped
+tryeq $T++, abs(-1e50), 1e50, 'abs(): 1e50: neg pos';
 
 my $limit = 1e6;
 
@@ -55,220 +61,252 @@ my $limit = 1e6;
 # seem to be rather sloppy in Cray.
 $limit = 1e8 if $^O eq 'unicos';
 
-try $T++, abs( 13e21 %  4e21 -  1e21) < $limit;
-try $T++, abs(-13e21 %  4e21 -  3e21) < $limit;
-try $T++, abs( 13e21 % -4e21 - -3e21) < $limit;
-try $T++, abs(-13e21 % -4e21 - -1e21) < $limit;
-
-# UVs should behave properly
-
-tryeq $T++, 4063328477 % 65535, 27407;
-tryeq $T++, 4063328477 % 4063328476, 1;
-tryeq $T++, 4063328477 % 2031664238, 1;
-tryeq $T++, 2031664238 % 4063328477, 2031664238;
-
-# These should trigger wrapping on 32 bit IVs and UVs
-
-tryeq $T++, 2147483647 + 0, 2147483647;
-
-# IV + IV promote to UV
-tryeq $T++, 2147483647 + 1, 2147483648;
-tryeq $T++, 2147483640 + 10, 2147483650;
-tryeq $T++, 2147483647 + 2147483647, 4294967294;
-# IV + UV promote to NV
-tryeq $T++, 2147483647 + 2147483649, 4294967296;
-# UV + IV promote to NV
-tryeq $T++, 4294967294 + 2, 4294967296;
-# UV + UV promote to NV
-tryeq $T++, 4294967295 + 4294967295, 8589934590;
-
-# UV + IV to IV
-tryeq $T++, 2147483648 + -1, 2147483647;
-tryeq $T++, 2147483650 + -10, 2147483640;
-# IV + UV to IV
-tryeq $T++, -1 + 2147483648, 2147483647;
-tryeq $T++, -10 + 4294967294, 4294967284;
-# IV + IV to NV
-tryeq $T++, -2147483648 + -2147483648, -4294967296;
-tryeq $T++, -2147483640 + -10, -2147483650;
-
-# Hmm. Don't forget the simple stuff
-tryeq $T++, 1 + 1, 2;
-tryeq $T++, 4 + -2, 2;
-tryeq $T++, -10 + 100, 90;
-tryeq $T++, -7 + -9, -16;
-tryeq $T++, -63 + +2, -61;
-tryeq $T++, 4 + -1, 3;
-tryeq $T++, -1 + 1, 0;
-tryeq $T++, +29 + -29, 0;
-tryeq $T++, -1 + 4, 3;
-tryeq $T++, +4 + -17, -13;
+try $T++, abs( 13e21 %  4e21 -  1e21) < $limit, 'abs() for floating point';
+try $T++, abs(-13e21 %  4e21 -  3e21) < $limit, 'abs() for floating point';
+try $T++, abs( 13e21 % -4e21 - -3e21) < $limit, 'abs() for floating point';
+try $T++, abs(-13e21 % -4e21 - -1e21) < $limit, 'abs() for floating point';
+
+tryeq $T++, 4063328477 % 65535, 27407, 'UV behaves properly: modulo';
+tryeq $T++, 4063328477 % 4063328476, 1, 'UV behaves properly: modulo';
+tryeq $T++, 4063328477 % 2031664238, 1, 'UV behaves properly: modulo';
+tryeq $T++, 2031664238 % 4063328477, 2031664238,
+    'UV behaves properly: modulo';
+
+tryeq $T++, 2147483647 + 0, 2147483647,
+    'trigger wrapping on 32 bit IVs and UVs';
+
+tryeq $T++, 2147483647 + 1, 2147483648, 'IV + IV promotes to UV';
+tryeq $T++, 2147483640 + 10, 2147483650, 'IV + IV promotes to UV';
+tryeq $T++, 2147483647 + 2147483647, 4294967294, 'IV + IV promotes to UV';
+tryeq $T++, 2147483647 + 2147483649, 4294967296, 'IV + UV promotes to NV';
+tryeq $T++, 4294967294 + 2, 4294967296, 'UV + IV promotes to NV';
+tryeq $T++, 4294967295 + 4294967295, 8589934590, 'UV + UV promotes to NV';
+
+tryeq $T++, 2147483648 + -1, 2147483647, 'UV + IV promotes to IV';
+tryeq $T++, 2147483650 + -10, 2147483640, 'UV + IV promotes to IV';
+tryeq $T++, -1 + 2147483648, 2147483647, 'IV + UV promotes to IV';
+tryeq $T++, -10 + 4294967294, 4294967284, 'IV + UV promotes to IV';
+tryeq $T++, -2147483648 + -2147483648, -4294967296, 'IV + IV promotes to NV';
+tryeq $T++, -2147483640 + -10, -2147483650, 'IV + IV promotes to NV';
+
+# Hmm. Do not forget the simple stuff
+# addition
+tryeq $T++, 1 + 1, 2, 'addition of 2 positive integers';
+tryeq $T++, 4 + -2, 2, 'addition of positive and negative integer';
+tryeq $T++, -10 + 100, 90, 'addition of negative and positive integer';
+tryeq $T++, -7 + -9, -16, 'addition of 2 negative integers';
+tryeq $T++, -63 + +2, -61, 'addition of signed negative and positive integers';
+tryeq $T++, 4 + -1, 3, 'addition of positive and negative integer';
+tryeq $T++, -1 + 1, 0, 'addition which sums to 0';
+tryeq $T++, +29 + -29, 0, 'addition which sums to 0';
+tryeq $T++, -1 + 4, 3, 'addition of signed negative and positive integers';
+tryeq $T++, +4 + -17, -13, 'addition of signed positive and negative integers';
 
 # subtraction
-tryeq $T++, 3 - 1, 2;
-tryeq $T++, 3 - 15, -12;
-tryeq $T++, 3 - -7, 10;
-tryeq $T++, -156 - 5, -161;
-tryeq $T++, -156 - -5, -151;
-tryeq $T++, -5 - -12, 7;
-tryeq $T++, -3 - -3, 0;
-tryeq $T++, 15 - 15, 0;
-
-tryeq $T++, 2147483647 - 0, 2147483647;
-tryeq $T++, 2147483648 - 0, 2147483648;
-tryeq $T++, -2147483648 - 0, -2147483648;
-
-tryeq $T++, 0 - -2147483647, 2147483647;
-tryeq $T++, -1 - -2147483648, 2147483647;
-tryeq $T++, 2 - -2147483648, 2147483650;
-
-tryeq $T++, 4294967294 - 3, 4294967291;
-tryeq $T++, -2147483648 - -1, -2147483647;
-
-# IV - IV promote to UV
-tryeq $T++, 2147483647 - -1, 2147483648;
-tryeq $T++, 2147483647 - -2147483648, 4294967295;
-# UV - IV promote to NV
-tryeq $T++, 4294967294 - -3, 4294967297;
-# IV - IV promote to NV
-tryeq $T++, -2147483648 - +1, -2147483649;
-# UV - UV promote to IV
-tryeq $T++, 2147483648 - 2147483650, -2;
-# IV - UV promote to IV
-tryeq $T++, 2000000000 - 4000000000, -2000000000;
+tryeq $T++, 3 - 1, 2, 'subtraction of two positive integers';
+tryeq $T++, 3 - 15, -12,
+    'subtraction of two positive integers: minuend smaller';
+tryeq $T++, 3 - -7, 10, 'subtraction of positive and negative integer';
+tryeq $T++, -156 - 5, -161, 'subtraction of negative and positive integer';
+tryeq $T++, -156 - -5, -151, 'subtraction of two negative integers';
+tryeq $T++, -5 - -12, 7,
+    'subtraction of two negative integers: minuend smaller';
+tryeq $T++, -3 - -3, 0, 'subtraction of two negative integers with result of 0';
+tryeq $T++, 15 - 15, 0, 'subtraction of two positive integers with result of 0';
+tryeq $T++, 2147483647 - 0, 2147483647, 'subtraction from large integer';
+tryeq $T++, 2147483648 - 0, 2147483648, 'subtraction from large integer';
+tryeq $T++, -2147483648 - 0, -2147483648,
+    'subtraction from large negative integer';
+tryeq $T++, 0 - -2147483647, 2147483647,
+    'subtraction of large negative integer from 0';
+tryeq $T++, -1 - -2147483648, 2147483647,
+    'subtraction of large negative integer from negative integer';
+tryeq $T++, 2 - -2147483648, 2147483650,
+    'subtraction of large negative integer from positive integer';
+tryeq $T++, 4294967294 - 3, 4294967291, 'subtraction from large integer';
+tryeq $T++, -2147483648 - -1, -2147483647,
+    'subtraction from large negative integer';
+tryeq $T++, 2147483647 - -1, 2147483648, 'IV - IV promote to UV';
+tryeq $T++, 2147483647 - -2147483648, 4294967295, 'IV - IV promote to UV';
+tryeq $T++, 4294967294 - -3, 4294967297, 'UV - IV promote to NV';
+tryeq $T++, -2147483648 - +1, -2147483649, 'IV - IV promote to NV';
+tryeq $T++, 2147483648 - 2147483650, -2, 'UV - UV promote to IV';
+tryeq $T++, 2000000000 - 4000000000, -2000000000, 'IV - UV promote to IV';
 
 # No warnings should appear;
 my $a;
 $a += 1;
-tryeq $T++, $a, 1;
+tryeq $T++, $a, 1, '+= with positive';
 undef $a;
 $a += -1;
-tryeq $T++, $a, -1;
+tryeq $T++, $a, -1, '+= with negative';
 undef $a;
 $a += 4294967290;
-tryeq $T++, $a, 4294967290;
+tryeq $T++, $a, 4294967290, '+= with positive';
 undef $a;
 $a += -4294967290;
-tryeq $T++, $a, -4294967290;
+tryeq $T++, $a, -4294967290, '+= with negative';
 undef $a;
 $a += 4294967297;
-tryeq $T++, $a, 4294967297;
+tryeq $T++, $a, 4294967297, '+= with positive';
 undef $a;
 $a += -4294967297;
-tryeq $T++, $a, -4294967297;
+tryeq $T++, $a, -4294967297, '+= with negative';
 
 my $s;
 $s -= 1;
-tryeq $T++, $s, -1;
+tryeq $T++, $s, -1, '-= with positive';
 undef $s;
 $s -= -1;
-tryeq $T++, $s, +1;
+tryeq $T++, $s, +1, '-= with negative';
 undef $s;
 $s -= -4294967290;
-tryeq $T++, $s, +4294967290;
+tryeq $T++, $s, +4294967290, '-= with negative';
 undef $s;
 $s -= 4294967290;
-tryeq $T++, $s, -4294967290;
+tryeq $T++, $s, -4294967290, '-= with negative';
 undef $s;
 $s -= 4294967297;
-tryeq $T++, $s, -4294967297;
+tryeq $T++, $s, -4294967297, '-= with positive';
 undef $s;
 $s -= -4294967297;
-tryeq $T++, $s, +4294967297;
+tryeq $T++, $s, +4294967297, '-= with positive';
 
-# Multiplication
-
-tryeq $T++, 1 * 3, 3;
-tryeq $T++, -2 * 3, -6;
-tryeq $T++, 3 * -3, -9;
-tryeq $T++, -4 * -3, 12;
+# multiplication
+tryeq $T++, 1 * 3, 3, 'multiplication of two positive integers';
+tryeq $T++, -2 * 3, -6, 'multiplication of negative and positive integer';
+tryeq $T++, 3 * -3, -9, 'multiplication of positive and negative integer';
+tryeq $T++, -4 * -3, 12, 'multiplication of two negative integers';
 
 # check with 0xFFFF and 0xFFFF
-tryeq $T++, 65535 * 65535, 4294836225;
-tryeq $T++, 65535 * -65535, -4294836225;
-tryeq $T++, -65535 * 65535, -4294836225;
-tryeq $T++, -65535 * -65535, 4294836225;
+tryeq $T++, 65535 * 65535, 4294836225,
+    'multiplication: 0xFFFF and 0xFFFF: pos pos';
+tryeq $T++, 65535 * -65535, -4294836225,
+    'multiplication: 0xFFFF and 0xFFFF: pos neg';
+tryeq $T++, -65535 * 65535, -4294836225,
+    'multiplication: 0xFFFF and 0xFFFF: pos neg';
+tryeq $T++, -65535 * -65535, 4294836225,
+    'multiplication: 0xFFFF and 0xFFFF: neg neg';
 
 # check with 0xFFFF and 0x10001
-tryeq $T++, 65535 * 65537, 4294967295;
-tryeq $T++, 65535 * -65537, -4294967295;
-tryeq $T++, -65535 * 65537, -4294967295;
-tryeq $T++, -65535 * -65537, 4294967295;
+tryeq $T++, 65535 * 65537, 4294967295,
+    'multiplication: 0xFFFF and 0x10001: pos pos';
+tryeq $T++, 65535 * -65537, -4294967295,
+    'multiplication: 0xFFFF and 0x10001: pos neg';
+tryeq $T++, -65535 * 65537, -4294967295,
+    'multiplication: 0xFFFF and 0x10001: neg pos';
+tryeq $T++, -65535 * -65537, 4294967295,
+    'multiplication: 0xFFFF and 0x10001: neg neg';
 
 # check with 0x10001 and 0xFFFF
-tryeq $T++, 65537 * 65535, 4294967295;
-tryeq $T++, 65537 * -65535, -4294967295;
-tryeq $T++, -65537 * 65535, -4294967295;
-tryeq $T++, -65537 * -65535, 4294967295;
+tryeq $T++, 65537 * 65535, 4294967295,
+    'multiplication: 0x10001 and 0xFFFF: pos pos';
+tryeq $T++, 65537 * -65535, -4294967295,
+    'multiplication: 0x10001 and 0xFFFF: pos neg';
+tryeq $T++, -65537 * 65535, -4294967295,
+    'multiplication: 0x10001 and 0xFFFF: neg pos';
+tryeq $T++, -65537 * -65535, 4294967295,
+    'multiplication: 0x10001 and 0xFFFF: neg neg';
 
 # These should all be dones as NVs
-tryeq $T++, 65537 * 65537, 4295098369;
-tryeq $T++, 65537 * -65537, -4295098369;
-tryeq $T++, -65537 * 65537, -4295098369;
-tryeq $T++, -65537 * -65537, 4295098369;
+tryeq $T++, 65537 * 65537, 4295098369, 'multiplication: NV: pos pos';
+tryeq $T++, 65537 * -65537, -4295098369, 'multiplication: NV: pos neg';
+tryeq $T++, -65537 * 65537, -4295098369, 'multiplication: NV: neg pos';
+tryeq $T++, -65537 * -65537, 4295098369, 'multiplication: NV: neg neg';
 
 # will overflow an IV (in 32-bit)
-tryeq $T++, 46340 * 46342, 0x80001218;
-tryeq $T++, 46340 * -46342, -0x80001218;
-tryeq $T++, -46340 * 46342, -0x80001218;
-tryeq $T++, -46340 * -46342, 0x80001218;
-
-tryeq $T++, 46342 * 46340, 0x80001218;
-tryeq $T++, 46342 * -46340, -0x80001218;
-tryeq $T++, -46342 * 46340, -0x80001218;
-tryeq $T++, -46342 * -46340, 0x80001218;
+tryeq $T++, 46340 * 46342, 0x80001218,
+    'multiplication: overflow an IV in 32-bit: pos pos';
+tryeq $T++, 46340 * -46342, -0x80001218,
+    'multiplication: overflow an IV in 32-bit: pos neg';
+tryeq $T++, -46340 * 46342, -0x80001218,
+    'multiplication: overflow an IV in 32-bit: neg pos';
+tryeq $T++, -46340 * -46342, 0x80001218,
+    'multiplication: overflow an IV in 32-bit: neg neg';
+
+tryeq $T++, 46342 * 46340, 0x80001218,
+    'multiplication: overflow an IV in 32-bit: pos pos';
+tryeq $T++, 46342 * -46340, -0x80001218,
+    'multiplication: overflow an IV in 32-bit: pos neg';
+tryeq $T++, -46342 * 46340, -0x80001218,
+    'multiplication: overflow an IV in 32-bit: neg pos';
+tryeq $T++, -46342 * -46340, 0x80001218,
+    'multiplication: overflow an IV in 32-bit: neg neg';
 
 # will overflow a positive IV (in 32-bit)
-tryeq $T++, 65536 * 32768, 0x80000000;
-tryeq $T++, 65536 * -32768, -0x80000000;
-tryeq $T++, -65536 * 32768, -0x80000000;
-tryeq $T++, -65536 * -32768, 0x80000000;
-
-tryeq $T++, 32768 * 65536, 0x80000000;
-tryeq $T++, 32768 * -65536, -0x80000000;
-tryeq $T++, -32768 * 65536, -0x80000000;
-tryeq $T++, -32768 * -65536, 0x80000000;
+tryeq $T++, 65536 * 32768, 0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: pos pos';
+tryeq $T++, 65536 * -32768, -0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: pos neg';
+tryeq $T++, -65536 * 32768, -0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: neg pos';
+tryeq $T++, -65536 * -32768, 0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: neg neg';
+
+tryeq $T++, 32768 * 65536, 0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: pos pos';
+tryeq $T++, 32768 * -65536, -0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: pos neg';
+tryeq $T++, -32768 * 65536, -0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: neg pos';
+tryeq $T++, -32768 * -65536, 0x80000000,
+    'multiplication: overflow a positive IV in 32-bit: neg neg';
 
 # 2147483647 is prime. bah.
 
-tryeq $T++, 46339 * 46341, 0x7ffea80f;
-tryeq $T++, 46339 * -46341, -0x7ffea80f;
-tryeq $T++, -46339 * 46341, -0x7ffea80f;
-tryeq $T++, -46339 * -46341, 0x7ffea80f;
+tryeq $T++, 46339 * 46341, 0x7ffea80f,
+    'multiplication: hex product: pos pos';
+tryeq $T++, 46339 * -46341, -0x7ffea80f,
+    'multiplication: hex product: pos neg';
+tryeq $T++, -46339 * 46341, -0x7ffea80f,
+    'multiplication: hex product: neg pos';
+tryeq $T++, -46339 * -46341, 0x7ffea80f,
+    'multiplication: hex product: neg neg';
 
 # leading space should be ignored
 
-tryeq $T++, 1 + " 1", 2;
-tryeq $T++, 3 + " -1", 2;
-tryeq $T++, 1.2, " 1.2";
-tryeq $T++, -1.2, " -1.2";
-
-# divide
-
-tryeq $T++, 28/14, 2;
-tryeq $T++, 28/-7, -4;
-tryeq $T++, -28/4, -7;
-tryeq $T++, -28/-2, 14;
-
-tryeq $T++, 0x80000000/1, 0x80000000;
-tryeq $T++, 0x80000000/-1, -0x80000000;
-tryeq $T++, -0x80000000/1, -0x80000000;
-tryeq $T++, -0x80000000/-1, 0x80000000;
+tryeq $T++, 1 + " 1", 2, 'ignore leading space: addition';
+tryeq $T++, 3 + " -1", 2, 'ignore leading space: subtraction';
+tryeq $T++, 1.2, " 1.2", 'floating point and string equivalent: positive';
+tryeq $T++, -1.2, " -1.2", 'floating point and string equivalent: negative';
+
+# division
+tryeq $T++, 28/14, 2, 'division of two positive integers';
+tryeq $T++, 28/-7, -4, 'division of positive integer by negative';
+tryeq $T++, -28/4, -7, 'division of negative integer by positive';
+tryeq $T++, -28/-2, 14, 'division of negative integer by negative';
+
+tryeq $T++, 0x80000000/1, 0x80000000,
+    'division of positive hex by positive integer';
+tryeq $T++, 0x80000000/-1, -0x80000000,
+    'division of positive hex by negative integer';
+tryeq $T++, -0x80000000/1, -0x80000000,
+    'division of negative hex by negative integer';
+tryeq $T++, -0x80000000/-1, 0x80000000,
+    'division of negative hex by positive integer';
 
 # The example for sloppy divide, rigged to avoid the peephole optimiser.
-tryeq_sloppy $T++, "20." / "5.", 4;
-
-tryeq $T++, 2.5 / 2, 1.25;
-tryeq $T++, 3.5 / -2, -1.75;
-tryeq $T++, -4.5 / 2, -2.25;
-tryeq $T++, -5.5 / -2, 2.75;
-
-# Bluuurg if your floating point can't accurately cope with powers of 2
+tryeq_sloppy $T++, "20." / "5.", 4, 'division of floating point without fractional part';
+
+tryeq $T++, 2.5 / 2, 1.25,
+    'division of positive floating point by positive integer';
+tryeq $T++, 3.5 / -2, -1.75,
+    'division of positive floating point by negative integer';
+tryeq $T++, -4.5 / 2, -2.25,
+    'division of negative floating point by positive integer';
+tryeq $T++, -5.5 / -2, 2.75,
+    'division of negative floating point by negative integer';
+
+# Bluuurg if your floating point can not accurately cope with powers of 2
 # [I suspect this is parsing string->float problems, not actual arith]
-tryeq_sloppy $T++, 18446744073709551616/1, 18446744073709551616; # Bluuurg
-tryeq_sloppy $T++, 18446744073709551616/2, 9223372036854775808;
-tryeq_sloppy $T++, 18446744073709551616/4294967296, 4294967296;
-tryeq_sloppy $T++, 18446744073709551616/9223372036854775808, 2;
+tryeq_sloppy $T++, 18446744073709551616/1, 18446744073709551616,
+    'division of very large number by 1'; # Bluuurg
+tryeq_sloppy $T++, 18446744073709551616/2, 9223372036854775808,
+    'division of very large number by 2';
+tryeq_sloppy $T++, 18446744073709551616/4294967296, 4294967296,
+    'division of two very large numbers';
+tryeq_sloppy $T++, 18446744073709551616/9223372036854775808, 2,
+    'division of two very large numbers';
 
 {
   # The peephole optimiser is wrong to think that it can substitute intops
@@ -277,27 +315,27 @@ tryeq_sloppy $T++, 18446744073709551616/9223372036854775808, 2;
   my $n = 1127;
 
   my $float = ($n % 1000) * 167772160.0;
-  tryeq_sloppy $T++, $float, 21307064320;
+  tryeq_sloppy $T++, $float, 21307064320, 'integer times floating point';
 
   # On a 32 bit machine, if the i_multiply op is used, you will probably get
-  # -167772160. It's actually undefined behaviour, so anything may happen.
+  # -167772160. It is actually undefined behaviour, so anything may happen.
   my $int = ($n % 1000) * 167772160;
-  tryeq $T++, $int, 21307064320;
+  tryeq $T++, $int, 21307064320, 'integer times integer';
 
   my $float2 = ($n % 1000 + 0.0) * 167772160;
-  tryeq $T++, $float2, 21307064320;
+  tryeq $T++, $float2, 21307064320, 'floating point times integer';
 
   my $int2 = ($n % 1000 + 0) * 167772160;
-  tryeq $T++, $int2, 21307064320;
+  tryeq $T++, $int2, 21307064320, 'integer plus zero times integer';
 
   # zero, but in a way that ought to be able to defeat any future optimizer:
   my $zero = $$ - $$;
   my $int3 = ($n % 1000 + $zero) * 167772160;
-  tryeq $T++, $int3, 21307064320;
+  tryeq $T++, $int3, 21307064320, 'defeat any future optimizer';
 
   my $t = time;
   my $t1000 = time() * 1000;
-  try $T++, abs($t1000 -1000 * $t) <= 2000;
+  try $T++, abs($t1000 -1000 * $t) <= 2000, 'absolute value';
 }
 
 {
@@ -305,57 +343,26 @@ tryeq_sloppy $T++, 18446744073709551616/9223372036854775808, 2;
   my $n = 1127;
 
   my $float = ($n % 1000) * 720575940379279360.0;
-  tryeq_sloppy $T++, $float, 9.15131444281685e+19;
+  tryeq_sloppy $T++, $float, 9.15131444281685e+19,
+    '64 bit: integer times floating point';
 
   my $int = ($n % 1000) * 720575940379279360;
-  tryeq_sloppy $T++, $int, 9.15131444281685e+19;
+  tryeq_sloppy $T++, $int, 9.15131444281685e+19,
+    '64 bit: integer times integer';
 
   my $float2 = ($n % 1000 + 0.0) * 720575940379279360;
-  tryeq_sloppy $T++, $float2, 9.15131444281685e+19;
+  tryeq_sloppy $T++, $float2, 9.15131444281685e+19,
+    '64 bit: floating point times integer';
 
   my $int2 = ($n % 1000 + 0) * 720575940379279360;
-  tryeq_sloppy $T++, $int2, 9.15131444281685e+19;
+  tryeq_sloppy $T++, $int2, 9.15131444281685e+19,
+    '64 bit: integer plus zero times integer';
 
   # zero, but in a way that ought to be able to defeat any future optimizer:
   my $zero = $$ - $$;
   my $int3 = ($n % 1000 + $zero) * 720575940379279360;
-  tryeq_sloppy $T++, $int3, 9.15131444281685e+19;
-}
-
-my $vms_no_ieee;
-if ($^O eq 'VMS') {
-  use vars '%Config';
-  eval {require Config; import Config};
-  $vms_no_ieee = 1 unless defined($Config{useieee});
-}
-
-if ($^O eq 'vos') {
-  print "not ok ", $T++, " # TODO VOS raises SIGFPE instead of producing infinity.\n";
-}
-elsif ($vms_no_ieee) {
- print $T++, " # SKIP -- the IEEE infinity model is unavailable in this configuration.\n"
-}
-elsif ($^O eq 'ultrix') {
-  print "not ok ", $T++, " # TODO Ultrix enters deep nirvana instead of producing infinity.\n";
-}
-else {
-  # The computation of $v should overflow and produce "infinity"
-  # on any system whose max exponent is less than 10**1506.
-  # The exact string used to represent infinity varies by OS,
-  # so we don't test for it; all we care is that we don't die.
-  #
-  # Perl considers it to be an error if SIGFPE is raised.
-  # Chances are the interpreter will die, since it doesn't set
-  # up a handler for SIGFPE.  That's why this test is last; to
-  # minimize the number of test failures.  --PG
-
-  my $n = 5000;
-  my $v = 2;
-  while (--$n)
-  {
-    $v *= 2;
-  }
-  print "ok ", $T++, "\n";
+  tryeq_sloppy $T++, $int3, 9.15131444281685e+19,
+    '64 bit: defeat any future optimizer';
 }
 
 # [perl #109542] $1 and "$1" should be treated the same way
@@ -408,3 +415,40 @@ print "not "x($a ne $b), "ok ", $T++, qq ' - \$1 vs "\$1" % something\n';
 $a = (97656250000000000 % $1);
 $b = (97656250000000000 % "$1");
 print "not "x($a ne $b), "ok ", $T++, qq ' - something % \$1 vs "\$1"\n';
+
+my $vms_no_ieee;
+if ($^O eq 'VMS') {
+  use vars '%Config';
+  eval {require Config; import Config};
+  $vms_no_ieee = 1 unless defined($Config{useieee});
+}
+
+if ($^O eq 'vos') {
+  print "not ok ", $T++, " # TODO VOS raises SIGFPE instead of producing infinity.\n";
+}
+elsif ($vms_no_ieee) {
+ print $T++, " # SKIP -- the IEEE infinity model is unavailable in this configuration.\n"
+}
+elsif ($^O eq 'ultrix') {
+  print "not ok ", $T++, " # TODO Ultrix enters deep nirvana instead of producing infinity.\n";
+}
+else {
+  # The computation of $v should overflow and produce "infinity"
+  # on any system whose max exponent is less than 10**1506.
+  # The exact string used to represent infinity varies by OS,
+  # so we don't test for it; all we care is that we don't die.
+  #
+  # Perl considers it to be an error if SIGFPE is raised.
+  # Chances are the interpreter will die, since it doesn't set
+  # up a handler for SIGFPE.  That's why this test is last; to
+  # minimize the number of test failures.  --PG
+
+  my $n = 5000;
+  my $v = 2;
+  while (--$n)
+  {
+    $v *= 2;
+  }
+  print "ok ", $T++, " - infinity\n";
+}
+