Skip to content

cranelift: simplify ineg(ineg(x)) to x#6033

Merged
alexcrichton merged 1 commit into
bytecodealliance:mainfrom
Kmeakin:double-ineg
Mar 17, 2023
Merged

cranelift: simplify ineg(ineg(x)) to x#6033
alexcrichton merged 1 commit into
bytecodealliance:mainfrom
Kmeakin:double-ineg

Conversation

@Kmeakin
Copy link
Copy Markdown
Contributor

@Kmeakin Kmeakin commented Mar 16, 2023

algrebraic.isle rewrites 0-x to isub x, but misses an opportunity to further simplify

Copy link
Copy Markdown
Member

@cfallin cfallin left a comment

Choose a reason for hiding this comment

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

Thanks!

@cfallin cfallin enabled auto-merge March 16, 2023 20:12
@cfallin cfallin added this pull request to the merge queue Mar 16, 2023
@alexcrichton alexcrichton removed this pull request from the merge queue due to a manual request Mar 16, 2023
@alexcrichton alexcrichton added this pull request to the merge queue Mar 16, 2023
@github-actions github-actions Bot added the cranelift Issues related to the Cranelift code generator label Mar 16, 2023
Merged via the queue into bytecodealliance:main with commit dccc2d6 Mar 17, 2023
@Kmeakin Kmeakin deleted the double-ineg branch March 17, 2023 01:12
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