addition tests copy

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/extract-bf-tests b/extract-bf-tests
index 492f3011a3deb6e0822e397b2b67af71406af946..c13dda73334d172c7bbf4778a6687feb5cad2c82 100755 (executable)
--- a/extract-bf-tests
+++ b/extract-bf-tests
@@ -8,9 +8,21 @@ sub chk_repr ($) {
 
 my $sre = qr{\"[^"]+\"};
 
+print <<END;
+// autogenerated from $0 @ARGV
+let mk : any;
+END
+
 while (<>) {
   next unless m/^mod test/..0;
   my $l = $_;
   $l =~ s{bf\(($sre)\)}{ chk_repr($1) }ge;
-  
+
+  if (m{^ +fn addition}..m{^ +\#\[test\]}) {
+    if (m{^ +mk\(($sre)\)}) {
+      print "mk = $1;\n";
+    } elsif (m{^ +\.chk\((\w+),\s*($sre)\)\s*$}) {
+      print "mk = Bigfloats.add(mk, $1); assert_eq(mk, $2);\n";
+    }
+  }
 }

diff --git a/templates/bigfloat.ts b/templates/bigfloat.ts
index 790dc5dd94132325ac1d578a3333b4a92405b2b3..a9b07b56306069d1fbdde62a18673e87ad95080c 100644 (file)
--- a/templates/bigfloat.ts
+++ b/templates/bigfloat.ts
@@ -146,7 +146,7 @@ namespace Bigfloats {
 
   export function add(p: Bigfloat, step: number): Bigfloat {
     let v = unpack(p);
-    add_to_limb(v, 0, step * 0x10000);
+    add_to_limb(v, v.exponent, step * 0x10000);
     return pack(v);
   }