Drop all the unnecessary "use utf8" clauses and some of
[p5sagit/p5-mst-13.2.git] / t / op / numconvert.t
index 3db280b..084092e 100755 (executable)
@@ -95,6 +95,15 @@ print "# @list\n";
 my $max_uv_pp = "$max_uv"; $max_uv_pp++;
 my $max_uv_p1 = "$max_uv"; $max_uv_p1+=0; $max_uv_p1++;
 
+# Also need to cope with %g notation for max_uv_p1 that actually gives an
+# integer less than max_uv because of correct rounding for the limited
+# precisision. This bites for 12 byte long doubles and 8 byte UVs
+
+my $temp = $max_uv_p1;
+my $max_uv_p1_as_iv;
+{use integer; $max_uv_p1_as_iv = 0 + sprintf "%s", $temp}
+my $max_uv_p1_as_uv = 0 | sprintf "%s", $temp;
+
 my @opnames = split //, "-+UINPuinp";
 
 # @list = map { 2->($_), 3->($_), 4->($_), 5->($_),  } @list; # Prepare input
@@ -193,13 +202,48 @@ for my $num_chain (1..$max_chain) {
              # string ++ versus numeric ++. Tolerate this little
              # bit of insanity
              print "# ok, as string ++ of max_uv is \"$max_uv_pp\", numeric is $max_uv_p1\n"
+           } elsif ($opnames[$last] eq 'I' and $ans[1] eq "-1"
+                    and $ans[0] eq $max_uv_p1_as_iv) {
+              # Max UV plus 1 is NV. This NV may stringify in E notation.
+              # And the number of decimal digits shown in E notation will depend
+              # on the binary digits in the mantissa. And it may be that
+              # (say)  18446744073709551616 in E notation is truncated to
+              # (say) 1.8446744073709551e+19 (say) which gets converted back
+              # as    1.8446744073709551000e+19
+              # ie    18446744073709551000
+              # which isn't the integer we first had.
+              # But each step of conversion is correct. So it's not an error.
+              # (Only shows up for 64 bit UVs and NVs with 64 bit mantissas,
+              #  and on Crays (64 bit integers, 48 bit mantissas) IIRC)
+             print "# ok, \"$max_uv_p1\" correctly converts to IV \"$max_uv_p1_as_iv\"\n";
+           } elsif ($opnames[$last] eq 'U' and $ans[1] eq ~0
+                    and $ans[0] eq $max_uv_p1_as_uv) {
+              # as aboce
+             print "# ok, \"$max_uv_p1\" correctly converts to UV \"$max_uv_p1_as_uv\"\n";
+           } elsif (grep {/^N$/} @opnames[@{$curops[0]}]
+                    and $ans[0] == $ans[1] and $ans[0] <= ~0
+                     # First must be in E notation (ie not just digits) and
+                     # second must still be an integer.
+                    # eg 1.84467440737095516e+19
+                    # 1.84467440737095516e+19 for 64 bit mantissa is in the
+                    # integer range, so 1.84467440737095516e+19 + 0 is treated
+                    # as integer addition. [should it be?]
+                    # and 18446744073709551600 + 0 is 18446744073709551600
+                    # Which isn't the string you first thought of.
+                     # I can't remember why there isn't symmetry in this
+                     # exception, ie why only the first ops are tested for 'N'
+                     and $ans[0] != /^-?\d+$/ and $ans[1] !~ /^-?\d+$/) {
+             print "# ok, numerically equal - notation changed due to adding zero\n";
            } else {
              $nok++,
            }
          }
        }
-       print "not " if $nok;
-       print "ok $test\n";
+        if ($nok) {
+          print "not ok $test\n";
+        } else {
+          print "ok $test\n";
+        }
        #print $txt if $nok;
        $test++;
       }