Skip to content

icmp plus testing overhaul#58

Merged
avanhatt merged 47 commits intoverify-mainfrom
icmp-lower
Apr 10, 2023
Merged

icmp plus testing overhaul#58
avanhatt merged 47 commits intoverify-mainfrom
icmp-lower

Conversation

@avanhatt
Copy link
Owner

@avanhatt avanhatt commented Apr 10, 2023

Implement 11 icmp rules, plus overhaul the testing system to specify output types more explicitly. Fix a bunch of issues in annotations for do_shift, small_rotr, and shift masking that this change uncovered.

Fixes #47, fixes #48

@avanhatt avanhatt merged commit daa38ef into verify-main Apr 10, 2023
avanhatt pushed a commit to wellesley-prog-sys/wasmtime that referenced this pull request Sep 22, 2024
Generate the `SubS` case for `AluRRR` instructions.

Updates avanhatt#42 #35
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.

Add switch/match statement to annotation parser Add icmp rules

2 participants