Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implement unsigned operators #27

Merged
merged 9 commits into from
Aug 27, 2015
Merged

Implement unsigned operators #27

merged 9 commits into from
Aug 27, 2015

Conversation

rossberg
Copy link
Member

@lukewagner, @kg, it's rather ugly, going through big_int, but seems to work.

@kg
Copy link
Contributor

kg commented Aug 25, 2015

For consistency and clear definitions, why not make all int ops work using big_int (of size 32 bits/64 bits, respectively)? I feel like that might be a good move for the proto.

@lukewagner
Copy link
Member

Looks generally good to me. This made me realize that, without a single-precision ieee754 type, we'll have a hard time representing the precise semantics of float32 ops. Probably most tests won't catch the difference, but I bet @sunfishcode will write some...

@rossberg
Copy link
Member Author

Forgot to git add the test file earlier.

@kg, hm, not sure if that would be clearer. You would enlarge the int32/64 value domain with illegal values, and you'd have to implement the wrap-around masking manually. Currently, the hacks are at least localised in a few operators.

@lukewagner: #29

rossberg added a commit that referenced this pull request Aug 27, 2015
Implement unsigned operators
@rossberg rossberg merged commit 5adfb61 into master Aug 27, 2015
littledan pushed a commit to littledan/spec that referenced this pull request Mar 4, 2018
* Remove float atomics
* Use 0xfe as prefix byte
* Add sign-extending conversion operators
* Remove sign-extending atomic-operators (encoding proposal 3)
eqrion pushed a commit to eqrion/wasm-spec that referenced this pull request Sep 18, 2019
ngzhian pushed a commit to ngzhian/spec that referenced this pull request Nov 4, 2021
dhil pushed a commit to dhil/webassembly-spec that referenced this pull request Apr 10, 2023
- replaced exceptions with tags
- removed let blocks
- removed now unnecessary (unreachable)s

The output of all examples is as before.
backes pushed a commit to backes/spec that referenced this pull request Jul 12, 2023
dhil added a commit to dhil/webassembly-spec that referenced this pull request Feb 13, 2024
…bAssembly#27)

This patch brings the description of the proposed instruction set extension in sync with the reference implementation. It also fixes a few other bugs such as a dead link in the TOC and the syntax in the examples.

The document still warrants a refactoring as some things could do with better explanations, some TODOs left to complete, and some of the examples still make use of deprecated features from the function-references proposal.
rossberg pushed a commit that referenced this pull request Sep 4, 2024
rossberg pushed a commit that referenced this pull request Sep 4, 2024
rossberg pushed a commit that referenced this pull request Sep 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants