Stream: git-wasmtime

Topic: wasmtime / PR #5337 cranelift-isle: Fix representation fo...


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

jameysharp opened PR #5337 from isle-overlap-fixes to main:

Ulrich Weigand identified two bugs in this code due to it falsely claiming there were unreachable rules in the s390x backend. The fixes are:

I didn't notice that a constructor which is declared pure (which currently implies that it is fallible), when used on the left-hand side of a rule, can cause the rule to fail to match. Therefore, any constructors on the left-hand side must be noted as additional constraints on the rule, so that overlap checking can see them.

This eliminates false positives when checking for unreachable rules. It introduces false negatives instead but we prefer to fail to detect an error instead of claiming that valid input is wrong. We can implement a more accurate check later.

<!--

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 29 2022 at 01:55):

jameysharp requested fitzgen for a review on PR #5337.

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

jameysharp edited PR #5337 from isle-overlap-fixes to main:

Ulrich Weigand identified two bugs in this code due to it falsely claiming there were unreachable rules in the s390x backend. The fixes are:

I didn't notice that a constructor which is declared pure (which currently implies that it is fallible), when used on the left-hand side of a rule, can cause the rule to fail to match. Therefore, any constructors on the left-hand side must be noted as additional constraints on the rule, so that overlap checking can see them.

This eliminates false positives when checking for unreachable rules. It introduces false negatives instead but we prefer to fail to detect an error instead of claiming that valid input is wrong. We can implement a more accurate check later.

Extracted from #5322.

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

fitzgen submitted PR review.

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

jameysharp merged PR #5337.


Last updated: Dec 23 2024 at 12:05 UTC