Skip to content

craneleft: cancel ineg when args to imul#6053

Merged
cfallin merged 2 commits into
bytecodealliance:mainfrom
Kmeakin:imul-cancel
Mar 17, 2023
Merged

craneleft: cancel ineg when args to imul#6053
cfallin merged 2 commits into
bytecodealliance:mainfrom
Kmeakin:imul-cancel

Conversation

@Kmeakin
Copy link
Copy Markdown
Contributor

@Kmeakin Kmeakin commented Mar 17, 2023

;; ineg(x) * ineg(y) == x*y.

Copy link
Copy Markdown
Member

@fitzgen fitzgen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@fitzgen fitzgen enabled auto-merge March 17, 2023 18:48
@fitzgen fitzgen added this pull request to the merge queue Mar 17, 2023
auto-merge was automatically disabled March 17, 2023 19:14

Head branch was pushed to by a user without write access

@Kmeakin Kmeakin changed the title craneleft: cancel ineg/iabs when args to imul craneleft: cancel ineg when args to imul Mar 17, 2023
@Kmeakin
Copy link
Copy Markdown
Contributor Author

Kmeakin commented Mar 17, 2023

Realised iabs(x) * iabs(y) == x*y is unsound! Removed it

@cfallin cfallin removed this pull request from the merge queue due to a manual request Mar 17, 2023
@cfallin
Copy link
Copy Markdown
Member

cfallin commented Mar 17, 2023

Removing from queue due to above, and I'll give it a second review

@cfallin
Copy link
Copy Markdown
Member

cfallin commented Mar 17, 2023

All that's left now is the optimization in the description, which LGTM!

@cfallin cfallin enabled auto-merge March 17, 2023 19:20
@cfallin cfallin added this pull request to the merge queue Mar 17, 2023
@github-actions github-actions Bot added the cranelift Issues related to the Cranelift code generator label Mar 17, 2023
@cfallin cfallin merged commit c3f5b71 into bytecodealliance:main Mar 17, 2023
@Kmeakin Kmeakin deleted the imul-cancel branch January 30, 2024 00:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cranelift Issues related to the Cranelift code generator

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants