Stream: git-wasmtime

Topic: wasmtime / issue #4068 x64 backend: fix a load-op merging...


view this post on Zulip Wasmtime GitHub notifications bot (Apr 25 2022 at 16:49):

cfallin commented on issue #4068:

One longer-term thought that occurs to me is that something like linear/affine types ("use-once values") would let us encode in the types in ISLE that a memory operand is only to be used once. That seems like the minimum language feature to actually provide full safety here. It has a lot of implications we'd have to think through though, so not a step to take lightly. Happy to talk about this more in another issue if desired.

view this post on Zulip Wasmtime GitHub notifications bot (Apr 25 2022 at 17:15):

github-actions[bot] commented on issue #4068:

Subscribe to Label Action

cc @cfallin, @fitzgen

<details>
This issue or pull request has been labeled: "cranelift", "cranelift:area:x64", "isle"

Thus the following users have been cc'd because of the following labels:

To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.

Learn more.
</details>


Last updated: Dec 23 2024 at 13:07 UTC