fitzgen opened PR #5285 from impl-iadd-cout
to main
:
Builds on top of https://github.com/bytecodealliance/wasmtime/pull/5177
fitzgen requested elliottt for a review on PR #5285.
elliottt submitted PR review.
elliottt submitted PR review.
elliottt created PR review comment:
Should these to be disabled for
x86_64
? They're both implemented inlower.isle
now.
jameysharp created PR review comment:
Yeah, I guess that's an artifact of basing this PR on top of #5177.
jameysharp submitted PR review.
fitzgen updated PR #5285 from impl-iadd-cout
to main
.
fitzgen requested elliottt for a review on PR #5285.
elliottt submitted PR review.
elliottt submitted PR review.
elliottt created PR review comment:
What about restricting the carry operations to
i64
/i32
?
fitzgen submitted PR review.
fitzgen created PR review comment:
We could do that, but that is a CLIF semantics decision rather than an implementation decision (this comment is regarding the latter).
fitzgen has enabled auto merge for PR #5285.
fitzgen has disabled auto merge for PR #5285.
fitzgen updated PR #5285 from impl-iadd-cout
to main
.
fitzgen has enabled auto merge for PR #5285.
fitzgen merged PR #5285.
Last updated: Dec 23 2024 at 12:05 UTC