Hotfix ieee754 double parsing (#73)

* Update example

* Hotfix ieee754 double parsing

Author: tolauwae

src/messaging/Parsers.ts

@@ -61,13 +61,24 @@ export function breakpointHitParser(text: string): Breakpoint {
 function stacking(objects: {value: any, type: any}[]): WASM.Value[] {
     const stacked: WASM.Value[] = [];
     for (const object of objects) {
-        let value: number = object.value;
         const type: WASM.Type = WASM.typing.get(object.type.toLowerCase()) ?? WASM.Type.unknown;
-        if (type === WASM.Type.f32 || type === WASM.Type.f64) {
-            const buff = Buffer.from(Number(object.value.toString(16)).toString(16), 'hex');
-            value = ieee754.read(buff, 0, false, type === WASM.Type.f32 ? 23 : 52, buff.length);
+        let buff;
+        switch (type) {
+            case WASM.Type.i32:
+            case WASM.Type.i64:
+                stacked.push({value: Number(object.value), type: type});
+                break;
+            case WASM.Type.f32:
+                buff = Buffer.from(Number(object.value.toString(16)).toString(16), 'hex');
+                stacked.push({value: ieee754.read(buff, 0, false, 23, buff.length), type: type});
+                break;
+            case WASM.Type.f64:
+                buff = Buffer.from(BigInt(object.value.toString(16)).toString(16), 'hex');
+                stacked.push({value: ieee754.read(buff, 0, false, 52, buff.length), type: type});
+                break;
+            case WASM.Type.unknown:
+                break;
         }
-        stacked.push({value: value, type: type});
     }
     return stacked;
 }

tests/examples/const_133.wast

@@ -0,0 +1 @@
+(module (func (export "f") (result f32) (f32.const -0x4000.004000001p-64)))

tests/examples/const_160.wast

@@ -0,0 +1 @@
+(module (func (export "f") (result f32) (f32.const +8.8817857851880284253e-16)))

tests/examples/example.ts

@@ -33,13 +33,54 @@ steps.push(new Invoker('8u_good3', [WASM.i32(0)], WASM.i32(98)));
 // ✔ ((invoke "func-unwind-by-br"))
 steps.push(new Invoker('func-unwind-by-br', [], undefined));
 
+// ✔ ((invoke "float_exprs_46"))
+steps.push(new Invoker('', [], undefined));
+
+
+
 spec.test({
     title: `Test with address_0.wast`,
     program: 'tests/examples/address.wast',
     dependencies: [],
     steps: steps
 });
 
+
+const floats = framework.suite('Test float parsing'); // must be called first
+floats.testee('emulator[:8130]', new EmulatorSpecification(8130));
+floats.test({
+    title: `Test with float_exprs_46.wast`,
+    program: 'tests/examples/const_160.wast',
+    dependencies: [],
+    steps: [
+        new Invoker('f', [], WASM.f32(8.88178631458362e-16))
+    ]
+});
+
+const threethree = framework.suite('Test float parsing'); // must be called first
+threethree.testee('emulator[:8180]', new EmulatorSpecification(8180));
+threethree.test({
+    title: `Test with float_exprs_46.wast`,
+    program: 'tests/examples/const_133.wast',
+    dependencies: [],
+    steps: [
+        new Invoker('f', [], WASM.f32(-8.881785255792436e-16))
+    ]
+});
+
+
+// ✔ ((invoke "copysign" (f64.const -nan) (f64.const -0x0p+0)) (f64.const -nan))
+const copysign = framework.suite('Test float parsing'); // must be called first
+copysign.testee('emulator[:8190]', new EmulatorSpecification(8190));
+copysign.test({
+    title: `Test copysign`,
+    program: 'tests/examples/f64_bitwise.wast',
+    dependencies: [],
+    steps: [
+        new Invoker('copysign', [WASM.f64(-NaN), WASM.f32(-0)], WASM.f64(-NaN))
+    ]
+});
+
 const debug = framework.suite('Test Debugger interface');
 debug.testee('emulator[:8150]', new EmulatorSpecification(8150));
 
@@ -116,4 +157,4 @@ reverse.test({
 })
 
 framework.reporter.verbosity(Verbosity.debug);
-framework.analyse([spec, debug]);
+framework.analyse([spec, debug, threethree, copysign]);

tests/examples/f64_bitwise.wast

@@ -0,0 +1,7 @@
+
+(module
+  (func (export "abs") (param $x f64) (result f64) (f64.abs (local.get $x)))
+  (func (export "neg") (param $x f64) (result f64) (f64.neg (local.get $x)))
+  (func (export "copysign") (param $x f64) (param $y f64) (result f64) (f64.copysign (local.get $x) (local.get $y)))
+)
+

tests/examples/float_exprs_46.wast

@@ -0,0 +1,44 @@
+(module
+  (func (export "f32.no_fold_lt_if_to_abs") (param $x f32) (result f32)
+    (if (result f32) (f32.lt (local.get $x) (f32.const 0.0))
+      (then (f32.neg (local.get $x))) (else (local.get $x))
+    )
+  )
+  (func (export "f32.no_fold_le_if_to_abs") (param $x f32) (result f32)
+    (if (result f32) (f32.le (local.get $x) (f32.const -0.0))
+      (then (f32.neg (local.get $x))) (else (local.get $x))
+    )
+  )
+  (func (export "f32.no_fold_gt_if_to_abs") (param $x f32) (result f32)
+    (if (result f32) (f32.gt (local.get $x) (f32.const -0.0))
+      (then (local.get $x)) (else (f32.neg (local.get $x)))
+    )
+  )
+  (func (export "f32.no_fold_ge_if_to_abs") (param $x f32) (result f32)
+    (if (result f32) (f32.ge (local.get $x) (f32.const 0.0))
+      (then (local.get $x)) (else (f32.neg (local.get $x)))
+    )
+  )
+
+  (func (export "f64.no_fold_lt_if_to_abs") (param $x f64) (result f64)
+    (if (result f64) (f64.lt (local.get $x) (f64.const 0.0))
+      (then (f64.neg (local.get $x))) (else (local.get $x))
+    )
+  )
+  (func (export "f64.no_fold_le_if_to_abs") (param $x f64) (result f64)
+    (if (result f64) (f64.le (local.get $x) (f64.const -0.0))
+      (then (f64.neg (local.get $x))) (else (local.get $x))
+    )
+  )
+  (func (export "f64.no_fold_gt_if_to_abs") (param $x f64) (result f64)
+    (if (result f64) (f64.gt (local.get $x) (f64.const -0.0))
+      (then (local.get $x)) (else (f64.neg (local.get $x)))
+    )
+  )
+  (func (export "f64.no_fold_ge_if_to_abs") (param $x f64) (result f64)
+    (if (result f64) (f64.ge (local.get $x) (f64.const 0.0))
+      (then (local.get $x)) (else (f64.neg (local.get $x)))
+    )
+  )
+)
+