diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-12-03 09:47:24 -0800 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-12-10 07:38:03 -0800 |
| commit | 33fa12b3750f1456b7160481787def3c57424331 (patch) | |
| tree | aa7df3144806f75763c84751a178a42020e2328e /BinaryEncoding.md | |
| parent | 33e6a23ef7c98b818426b9c7ec4d356be7ad7495 (diff) | |
| download | nanowasm-design-33fa12b3750f1456b7160481787def3c57424331.tar.gz | |
Make the sign bit of a new NaN value nondeterministic.
x86 produces NaN values with the sign bit set to 1, and other architectures
produce NaN values with the sign bit set to 0; wasm can model this by
just making the sign bit nondeterminisitc. This should still permit the
NaN-boxing technique that all this NaN bit-pattern language is intended to
support.
Diffstat (limited to 'BinaryEncoding.md')
0 files changed, 0 insertions, 0 deletions