Stream: git-wasmtime

Topic: wasmtime / PR #1821 Legalize fmin/fmax with NaN quieting ...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 04 2020 at 17:18):

abrown opened PR #1821 from legalize-fmin-fmax to master:

This builds on #1820 and should be merged after that PR.

The Wasm SIMD spec defines semantics for fmin and fmax that require runtimes to produce long sequences of instructions. This change adds these long sequences through legalization but also provides an alternate mechansim, using the assert_no_nans flag, for guaranteeing that special NaN handling is not required, thus resulting in a much shorter legalization.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 04 2020 at 17:18):

abrown requested bnjbvr for a review on PR #1821.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 04 2020 at 17:23):

abrown has marked PR #1821 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 09 2020 at 13:17):

bnjbvr submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 19 2020 at 18:52):

abrown closed without merge PR #1821.

Last updated: Dec 23 2024 at 12:05 UTC