diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2016-01-06 13:32:22 -0800 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2016-01-06 16:15:25 -0800 |
| commit | f754b307a6cc55fa882a90bb66bfa5576bff6a27 (patch) | |
| tree | 935852c37ec750303984827eb4e9e82be7c86782 | |
| parent | f2cd4b8f141de2b71bbeeef06783b4d53f817f2f (diff) | |
| download | binaryen-f754b307a6cc55fa882a90bb66bfa5576bff6a27.tar.gz binaryen-f754b307a6cc55fa882a90bb66bfa5576bff6a27.tar.bz2 binaryen-f754b307a6cc55fa882a90bb66bfa5576bff6a27.zip | |
Print nan literals as `nan:0x...` rather than `nan:...` to match the spec.
| -rw-r--r-- | src/wasm.h | 4 | ||||
| -rw-r--r-- | test/llvm_autogenerated/immediates.wast | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/wasm.h b/src/wasm.h index e3724c612..5fd4ad53b 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -193,7 +193,7 @@ struct Literal { uint32_t ll; } u; u.ff = f; - o << "nan:" << std::hex << u.ll << std::dec; + o << "nan:0x" << std::hex << u.ll << std::dec; return; } printDouble(o, f); @@ -210,7 +210,7 @@ struct Literal { uint64_t ll; } u; u.dd = d; - o << "nan:" << std::hex << u.ll << std::dec; + o << "nan:0x" << std::hex << u.ll << std::dec; return; } if (!std::isfinite(d)) { diff --git a/test/llvm_autogenerated/immediates.wast b/test/llvm_autogenerated/immediates.wast index 74f819e3a..61d6427ba 100644 --- a/test/llvm_autogenerated/immediates.wast +++ b/test/llvm_autogenerated/immediates.wast @@ -136,7 +136,7 @@ (block $fake_return_waka123 (block (br $fake_return_waka123 - (f32.const nan:7fc00000) + (f32.const nan:0x7fc00000) ) ) ) @@ -145,7 +145,7 @@ (block $fake_return_waka123 (block (br $fake_return_waka123 - (f32.const nan:ffc00000) + (f32.const nan:0xffc00000) ) ) ) @@ -208,7 +208,7 @@ (block $fake_return_waka123 (block (br $fake_return_waka123 - (f64.const nan:7ff8000000000000) + (f64.const nan:0x7ff8000000000000) ) ) ) @@ -217,7 +217,7 @@ (block $fake_return_waka123 (block (br $fake_return_waka123 - (f64.const nan:fff8000000000000) + (f64.const nan:0xfff8000000000000) ) ) ) |