Skip to content

[Cranelift] (x - y) - x => -y#11995

Merged
alexcrichton merged 3 commits into
bytecodealliance:mainfrom
bongjunj:sub_sub_eqv_neg
Nov 7, 2025
Merged

[Cranelift] (x - y) - x => -y#11995
alexcrichton merged 3 commits into
bytecodealliance:mainfrom
bongjunj:sub_sub_eqv_neg

Conversation

@bongjunj

@bongjunj bongjunj commented Nov 7, 2025 •
edited
Loading

Copy link
Copy Markdown
Contributor

This adds (x - y) - x => -y to arithmetic.isle

@bongjunj
bongjunj requested a review from a team as a code owner November 7, 2025 02:13
@bongjunj
bongjunj requested review from alexcrichton and removed request for a team November 7, 2025 02:13
@bongjunj bongjunj changed the title [Cranelift] (x - y) - x => -y [Cranelift] (x - y) - x => -y Nov 7, 2025
@github-actions github-actions Bot added cranelift Issues related to the Cranelift code generator isle Related to the ISLE domain-specific language labels Nov 7, 2025
@github-actions

github-actions Bot commented Nov 7, 2025

Copy link
Copy Markdown

Subscribe to Label Action

cc @cfallin, @fitzgen

Details This issue or pull request has been labeled: "cranelift", "isle"

Thus the following users have been cc'd because of the following labels:

  • cfallin: isle
  • fitzgen: isle

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

@alexcrichton
alexcrichton added this pull request to the merge queue Nov 7, 2025
Merged via the queue into bytecodealliance:main with commit b58cd17 Nov 7, 2025
76 checks passed
bongjunj added a commit to prosyslab/wasmtime that referenced this pull request Mar 9, 2026
@bongjunj
Revert "[Cranelift] (x - y) - x => -y (bytecodealliance#11995)"
452f323 
This reverts commit b58cd17.
bongjunj added a commit to prosyslab/wasmtime that referenced this pull request Mar 9, 2026
@bongjunj
Revert "[Cranelift] (x - y) - x => -y (bytecodealliance#11995)"
89f3572 
This reverts commit b58cd17.
bongjunj added a commit to prosyslab/wasmtime that referenced this pull request Mar 9, 2026
@bongjunj
Revert "[Cranelift] (x - y) - x => -y (bytecodealliance#11995)"
a765d73 
This reverts commit b58cd17.
bongjunj added a commit to prosyslab/wasmtime that referenced this pull request Mar 12, 2026
@bongjunj
Revert "[Cranelift] (x - y) - x => -y (bytecodealliance#11995)"
4a9331c 
This reverts commit b58cd17.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@alexcrichton alexcrichton alexcrichton approved these changes

Assignees

No one assigned

Labels

cranelift Issues related to the Cranelift code generator isle Related to the ISLE domain-specific language

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@bongjunj @alexcrichton