Stream: git-wasmtime

Topic: wasmtime / PR #5158 cranelift: Fix `fdemote` on the inter...

Wasmtime GitHub notifications bot (Oct 30 2022 at 14:07):

afonso360 opened PR #5158 from fpromotedemote to main:

:wave: Hey,

This PR does a few things:

• Enables fpromote/fdemote in the fuzzer
• Splits the current test suite into individual files
  • RISC-V wasn't running these tests because it doesn't support SIMD, It now runs the non SIMD ones.
• Fixes a bug in the interpreter with fdemote
• Changes the documentation for these instructions
  • We don't actually support a fpromote f32 -> f32, the verifier fails on those cases, so I updated the documentation.

It's built on top of #5155 since enabling these tests is what caused me to discover that bug.

Fuzzing for the last 2 hours on aarch64 and x86 hasn't turned up anything yet.

Wasmtime GitHub notifications bot (Nov 02 2022 at 10:37):

afonso360 updated PR #5158 from fpromotedemote to main.

Wasmtime GitHub notifications bot (Nov 09 2022 at 19:12):

afonso360 updated PR #5158 from fpromotedemote to main.

Wasmtime GitHub notifications bot (Nov 14 2022 at 19:25):

jameysharp submitted PR review.

Wasmtime GitHub notifications bot (Nov 15 2022 at 21:47):

afonso360 updated PR #5158 from fpromotedemote to main.

Wasmtime GitHub notifications bot (Nov 15 2022 at 21:51):

jameysharp has enabled auto merge for PR #5158.

Wasmtime GitHub notifications bot (Nov 15 2022 at 22:22):

jameysharp merged PR #5158.

Last updated: Dec 23 2024 at 12:05 UTC