Stream: git-wasmtime

Topic: wasmtime / PR #5123 Add iadd_overflow_trap

Wasmtime GitHub notifications bot (Oct 25 2022 at 19:58):

elliottt opened PR #5123 from trevor/iadd_overflow_trap to main:

• Add iadd_overflow_trap
• Use iadd_overflow_trap instead of iadd_ifcout/trapif
• Add tests for x86_64
• Add aarch64 support for iadd_overflow_trap
• Implement iadd_overflow_trap on riscv64
• Support iadd_overflow_trap on s390x

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

• [ ] This has been discussed in issue #..., or if not, please tell us why
  here.

• [ ] A short description of what this does, why it is needed; if the
  description becomes long, the matter should probably be discussed in an issue
  first.

• [ ] This PR contains test cases, if meaningful.

• [ ] A reviewer from the core maintainer team has been assigned for this PR.
  If you don't know who could review this, please indicate so. The list of
  suggested reviewers on the right can help you.

Please ensure all communication adheres to the code of conduct.
-->

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:01):

elliottt edited PR #5123 from trevor/iadd_overflow_trap to main:

Add a new instruction iadd_overflow_trap, which is a fused version of iadd_ifcout and trapif. Adding this instruction removes a dependency on the iflags type, and would allow us to move closer to removing it entirely.

The instruction is defined for the i32 and i64 types only, and is currently only used in the legalization of heap_addr.

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

• [ ] This has been discussed in issue #..., or if not, please tell us why
  here.

• [ ] A short description of what this does, why it is needed; if the
  description becomes long, the matter should probably be discussed in an issue
  first.

• [ ] This PR contains test cases, if meaningful.

• [ ] A reviewer from the core maintainer team has been assigned for this PR.
  If you don't know who could review this, please indicate so. The list of
  suggested reviewers on the right can help you.

Please ensure all communication adheres to the code of conduct.
-->

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:18):

elliottt updated PR #5123 from trevor/iadd_overflow_trap to main.

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:31):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:31):

fitzgen created PR review comment:

I think we can just say

This is the same as iadd but traps on overflow instead of wrapping.

since iadd is a slightly less esoteric instruction than iadd_cout.

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:31):

fitzgen submitted PR review.

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:53):

elliottt submitted PR review.

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:53):

elliottt created PR review comment:

That's a good point, thanks!

Wasmtime GitHub notifications bot (Oct 25 2022 at 20:56):

elliottt updated PR #5123 from trevor/iadd_overflow_trap to main.

Wasmtime GitHub notifications bot (Oct 25 2022 at 22:08):

elliottt has marked PR #5123 as ready for review.

Wasmtime GitHub notifications bot (Oct 26 2022 at 17:04):

elliottt updated PR #5123 from trevor/iadd_overflow_trap to main.

Wasmtime GitHub notifications bot (Oct 26 2022 at 17:31):

elliottt updated PR #5123 from trevor/iadd_overflow_trap to main.

Wasmtime GitHub notifications bot (Oct 26 2022 at 17:40):

elliottt updated PR #5123 from trevor/iadd_overflow_trap to main.

Wasmtime GitHub notifications bot (Oct 26 2022 at 17:54):

elliottt updated PR #5123 from trevor/iadd_overflow_trap to main.

Wasmtime GitHub notifications bot (Oct 27 2022 at 16:43):

elliottt merged PR #5123.

Last updated: Dec 06 2025 at 06:05 UTC