Stream: git-wasmtime

Topic: wasmtime / PR #5735 Add some minor souper-harvested optim...


view this post on Zulip Wasmtime GitHub notifications bot (Feb 07 2023 at 19:22):

alexcrichton opened PR #5735 from minor-optimizations to main:

I was playing around with souper recently on some wasms I had lying around and these are some optimization opportunities that popped out which seemed easy-enough to add to the egraph-based optimizations.

<!--

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 (Feb 07 2023 at 19:52):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Feb 07 2023 at 20:06):

alexcrichton merged PR #5735.


Last updated: Dec 23 2024 at 12:05 UTC