diff options
| author | Soni L <EnderMoneyMod@gmail.com> | 2023-11-20 20:39:59 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-20 23:39:59 +0000 |
| commit | c2ce34ef5a2bd0466bbc1d489193d98401bea0bf (patch) | |
| tree | 3aacf88d5a521d2742191194292be4a91cd7db2a | |
| parent | 6367a02e9fddefb62dcb1a1a61af3d067c93ae9a (diff) | |
| download | wabt-c2ce34ef5a2bd0466bbc1d489193d98401bea0bf.tar.gz wabt-c2ce34ef5a2bd0466bbc1d489193d98401bea0bf.tar.bz2 wabt-c2ce34ef5a2bd0466bbc1d489193d98401bea0bf.zip | |
wasm2c: Fix f64 harness (#2331)
| -rw-r--r-- | test/harness-windows/wasm2c/floating_point.txt | 24 | ||||
| -rw-r--r-- | test/harness/wasm2c/floating_point.txt | 24 | ||||
| -rwxr-xr-x | test/run-spec-wasm2c.py | 2 |
3 files changed, 49 insertions, 1 deletions
diff --git a/test/harness-windows/wasm2c/floating_point.txt b/test/harness-windows/wasm2c/floating_point.txt new file mode 100644 index 00000000..75cd8f4a --- /dev/null +++ b/test/harness-windows/wasm2c/floating_point.txt @@ -0,0 +1,24 @@ +;;; TOOL: run-spec-wasm2c +;;; ERROR: 1 +;;; PLATFORMS: Windows +(module + (func (export "f32") (param $x f32) (result f32) (local.get $x)) + (func (export "f64") (param $x f64) (result f64) (local.get $x)) +) +(assert_return (invoke "f32" (f32.const 0.0)) (f32.const 123.4)) +(assert_return (invoke "f32" (f32.const 123.4)) (f32.const 0.0)) +(assert_return (invoke "f64" (f64.const 0.0)) (f64.const 123.4)) +(assert_return (invoke "f64" (f64.const 123.4)) (f64.const 0.0)) +(;; STDERR ;;; +Error running "'out/test/harness-windows/wasm2c/floating_point\floating_point.exe'" (1): +0/4 tests passed. + +out/test/harness-windows/wasm2c/floating_point\floating_point-main.c:384: assertion failed: in w2c_floating__point__0__wasm_f32(&floating__point__0__wasm_instance, 0.f): expected 123.400002, got 0. +out/test/harness-windows/wasm2c/floating_point\floating_point-main.c:387: assertion failed: in w2c_floating__point__0__wasm_f32(&floating__point__0__wasm_instance, 123.400002f): expected 0, got 123.400002. +out/test/harness-windows/wasm2c/floating_point\floating_point-main.c:390: assertion failed: in w2c_floating__point__0__wasm_f64(&floating__point__0__wasm_instance, 0.0000000000000000): expected 123.40000000000001, got 0. +out/test/harness-windows/wasm2c/floating_point\floating_point-main.c:393: assertion failed: in w2c_floating__point__0__wasm_f64(&floating__point__0__wasm_instance, 123.40000000000001): expected 0, got 123.40000000000001. + +;;; STDERR ;;) +(;; STDOUT ;;; +0/4 tests passed. +;;; STDOUT ;;) diff --git a/test/harness/wasm2c/floating_point.txt b/test/harness/wasm2c/floating_point.txt new file mode 100644 index 00000000..8e4180be --- /dev/null +++ b/test/harness/wasm2c/floating_point.txt @@ -0,0 +1,24 @@ +;;; TOOL: run-spec-wasm2c +;;; ERROR: 1 +;;; NOT-PLATFORMS: Windows +(module + (func (export "f32") (param $x f32) (result f32) (local.get $x)) + (func (export "f64") (param $x f64) (result f64) (local.get $x)) +) +(assert_return (invoke "f32" (f32.const 0.0)) (f32.const 123.4)) +(assert_return (invoke "f32" (f32.const 123.4)) (f32.const 0.0)) +(assert_return (invoke "f64" (f64.const 0.0)) (f64.const 123.4)) +(assert_return (invoke "f64" (f64.const 123.4)) (f64.const 0.0)) +(;; STDERR ;;; +Error running "out/test/harness/wasm2c/floating_point/floating_point" (1): +0/4 tests passed. + +out/test/harness/wasm2c/floating_point/floating_point-main.c:384: assertion failed: in w2c_floating__point__0__wasm_f32(&floating__point__0__wasm_instance, 0.f): expected 123.400002, got 0. +out/test/harness/wasm2c/floating_point/floating_point-main.c:387: assertion failed: in w2c_floating__point__0__wasm_f32(&floating__point__0__wasm_instance, 123.400002f): expected 0, got 123.400002. +out/test/harness/wasm2c/floating_point/floating_point-main.c:390: assertion failed: in w2c_floating__point__0__wasm_f64(&floating__point__0__wasm_instance, 0.0000000000000000): expected 123.40000000000001, got 0. +out/test/harness/wasm2c/floating_point/floating_point-main.c:393: assertion failed: in w2c_floating__point__0__wasm_f64(&floating__point__0__wasm_instance, 123.40000000000001): expected 0, got 123.40000000000001. + +;;; STDERR ;;) +(;; STDOUT ;;; +0/4 tests passed. +;;; STDOUT ;;) diff --git a/test/run-spec-wasm2c.py b/test/run-spec-wasm2c.py index af8b3ad7..fdcb01ab 100755 --- a/test/run-spec-wasm2c.py +++ b/test/run-spec-wasm2c.py @@ -84,7 +84,7 @@ def F64ToC(f64_bits): elif f64_bits == F64_SIGN_BIT: return '-0.0' else: - return '%#.17gL' % ReinterpretF64(f64_bits) + return '%#.17g' % ReinterpretF64(f64_bits) def MangleType(t): |