Stream: git-wasmtime

Topic: wasmtime / PR #6851 Add splat simplify opt for various ops


view this post on Zulip Wasmtime GitHub notifications bot (Aug 16 2023 at 04:03):

gurry opened PR #6851 from gurry:issue-6828 to bytecodealliance:main:

Fixes #6828

view this post on Zulip Wasmtime GitHub notifications bot (Aug 16 2023 at 08:17):

gurry updated PR #6851.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 16 2023 at 11:30):

gurry updated PR #6851.

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

gurry updated PR #6851.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 02:51):

gurry has marked PR #6851 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 02:51):

gurry requested elliottt for a review on PR #6851.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 02:51):

gurry requested wasmtime-compiler-reviewers for a review on PR #6851.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 11:59):

gurry updated PR #6851.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 12:30):

gurry has marked PR #6851 as ready for review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 18:57):

afonso360 submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 18:57):

afonso360 created PR review comment:

I think avg_round might also not have a scalar substitute at least the docs don't claim it does.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 19:04):

afonso360 submitted PR review:

This looks great! Thanks for working through this.

I've had a look at the rest of our opcodes and I don't think we are missing any of them (at least for integers)!

I think it's possible to do a transform from splat+icmp into icmp+bmask+splat, but leaving that for a future PR is also OK!

I've also run our fuzzer on this PR for a couple of hours and nothing has come up.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 17 2023 at 19:05):

afonso360 submitted PR review:

This looks great! Thanks for working through this.

I've had a look at the rest of our opcodes and I don't think we are missing any of them (at least for integers)!

I think it's possible to do a transform from splat+icmp into icmp+bmask+splat, but leaving that for a future PR is also OK! I'm also not sure if this is a good transform to do. Since I think it would be the only one that actually adds instructions rather than reducing them.

I've also run our fuzzer on this PR for a couple of hours and nothing has come up.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 04:00):

gurry updated PR #6851.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 04:33):

gurry submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 04:33):

gurry created PR review comment:

Thanks for spotting that. Removed it.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 18 2023 at 09:02):

afonso360 merged PR #6851.


Last updated: Nov 22 2024 at 17:03 UTC