Stream: git-wasmtime

Topic: wasmtime / PR #6014 cranelift: Mark fpromote and fdemote ...


view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2023 at 23:30):

elliottt opened PR #6014 from trevor/fpromote-fdemote-vectors to main:

Mark fpromote and fdemote as not operating on scalars. This enforces the existing behavior in the backends, as no backend currently supports either of these instructions with vector arguments.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Mar 13 2023 at 23:41):

elliottt edited PR #6014 from trevor/fpromote-fdemote-vectors to main:

Mark fpromote and fdemote as not operating on scalars. This enforces the existing behavior in the backends, as no backend currently supports either of these instructions with vector arguments. Tightening up the argument/result types in the instruction definitions will help with landing #5947, and opting more instructions into fuzzing automatically.
<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Mar 14 2023 at 00:16):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 14 2023 at 01:29):

elliottt merged PR #6014.


Last updated: Dec 23 2024 at 13:07 UTC