Skip to content

Revert "ISLE: rewrite loose inequalities to strict inequalities and strict inequalities to equalities (#6130)"#6193

Merged
cfallin merged 1 commit into
bytecodealliance:mainfrom
cfallin:revert-6130
Apr 10, 2023
Merged

Revert "ISLE: rewrite loose inequalities to strict inequalities and strict inequalities to equalities (#6130)"#6193
cfallin merged 1 commit into
bytecodealliance:mainfrom
cfallin:revert-6130

Conversation

@cfallin
Copy link
Copy Markdown
Member

@cfallin cfallin commented Apr 10, 2023

This reverts commit 57e42d0.

Fixes #6185.

cc @Kmeakin

@cfallin cfallin requested a review from a team as a code owner April 10, 2023 18:24
@cfallin cfallin requested review from jameysharp and removed request for a team April 10, 2023 18:24
@cfallin cfallin enabled auto-merge April 10, 2023 18:33
@cfallin cfallin added this pull request to the merge queue Apr 10, 2023
Merged via the queue into bytecodealliance:main with commit 8f1a777 Apr 10, 2023
@cfallin cfallin deleted the revert-6130 branch April 10, 2023 19:20
brendandburns pushed a commit to brendandburns/wasmtime that referenced this pull request Apr 13, 2023
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.

Regression in i32.le_u against -1

2 participants