Stream: git-wasmtime

Topic: wasmtime / issue #5844 riscv64: Improve signed and zero e...

Wasmtime GitHub notifications bot (Feb 22 2023 at 11:25):

afonso360 commented on issue #5844:

I've updated this, I'm going to run it in the fuzzer today. That being said I can only fuzz the Base & Zbb rules, since my machine does not have Zbkb. I also haven't been able to setup cargo-fuzz to run with qemu. I'll need to give that another try.

Wasmtime GitHub notifications bot (Feb 22 2023 at 12:34):

afonso360 edited a comment on issue #5844:

I've updated this, I'm going to run it in the fuzzer today. That being said I can only fuzz the Base & Zbb rules, since my machine does not have Zbkb. I also haven't been able to setup cargo-fuzz to run with qemu. I'll need to give that another try.

Edit: Got it to work on qemu. Annoyingly its finding issues in other lowerings when extensions are enabled.

Wasmtime GitHub notifications bot (Feb 22 2023 at 17:40):

afonso360 commented on issue #5844:

This has been fuzzing for a few hours now and it didn't find anything related to this. It did find some missing lowerings in ctz when Zbb is enabled, but I'll post a fix for those on a separate PR.

Last updated: Nov 22 2024 at 16:03 UTC