Stream: git-wasmtime

Topic: wasmtime / PR #5232 cranelift-isle: Do fewer term lookups


view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2022 at 01:24):

jameysharp opened PR #5232 from isle-dedup-lookup to main:

While checking the call graph of extractors during semantic validation, save TermId instead of Sym. The types are both just integer indexes, but the TermId is more useful here. Saving it avoids needing to check for failed map lookups twice, which simplifies the implementation.

<!--

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 (Nov 09 2022 at 01:24):

jameysharp requested fitzgen for a review on PR #5232.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2022 at 18:03):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 09 2022 at 19:24):

jameysharp merged PR #5232.


Last updated: Dec 23 2024 at 12:05 UTC