diff options
author | Ben Smith <binjimin@gmail.com> | 2019-03-18 15:05:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-18 15:05:26 -0700 |
commit | 6f743c4dc3bc69601fe54ba938d083ebc4cbe587 (patch) | |
tree | 41266a1ad88764bf832c3df8f9e5af412aa357df /src/binary-reader-logging.cc | |
parent | 08629b86342872e91f50cfbeef7444cfa8810dcf (diff) | |
download | wabt-6f743c4dc3bc69601fe54ba938d083ebc4cbe587.tar.gz wabt-6f743c4dc3bc69601fe54ba938d083ebc4cbe587.tar.bz2 wabt-6f743c4dc3bc69601fe54ba938d083ebc4cbe587.zip |
Canonicalize NaNs in the interpreter (#1046)
Even though we store f32 and f64 values as their representation, we
still use the underlying system's implementations for float operations.
These have non-deterministic behavior w.r.t. NaNs.
This change canoncalizes all NaNs where it is allowed. This excludes
`fxx.abs`, `fxx.neg`, `fxx.copysign` and `fxx.reinterpret*`, which
always work on the floating-point representation directly, and the
`fxx.convert*` instructions, which cannot be NaN because the input is an
integer.
Diffstat (limited to 'src/binary-reader-logging.cc')
0 files changed, 0 insertions, 0 deletions