Stream: git-wasmtime

Topic: wasmtime / PR #4898 Port `icmp` to ISLE (AArch64)


view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 10:34):

dheaton-arm opened PR #4898 from isle-icmp to main:

Ported the existing implementation of icmp (and, by extension, the lower_icmp function) to ISLE for AArch64.

Copyright (c) 2022 Arm Limited

<!--

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 (Sep 12 2022 at 19:25):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 19:25):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 12 2022 at 19:25):

cfallin created PR review comment:

This definitely works but it seems like we might be able to be slightly more descriptive and precise with the types here: ccmp both consumes and produces flags. Maybe we could:

Thoughts?

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2022 at 11:33):

dheaton-arm updated PR #4898 from isle-icmp to main.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2022 at 15:56):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Sep 13 2022 at 15:56):

cfallin merged PR #4898.


Last updated: Dec 23 2024 at 12:05 UTC