Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add conformance tests for shifting out of range #125

Merged
merged 1 commit into from
May 9, 2023

Conversation

dthaler
Copy link
Collaborator

@dthaler dthaler commented May 9, 2023

The Linux verifier rejects shifting by imm out of range so did not add tests for those cases.
If there is a way to allow verifier rejection as "pass" we could add them for runtimes that do accept them.

Fixes #100

@dthaler dthaler marked this pull request as draft May 9, 2023 18:14
@dthaler dthaler force-pushed the shift branch 2 times, most recently from 9b27cec to fe927ae Compare May 9, 2023 18:29
@coveralls
Copy link

coveralls commented May 9, 2023

Coverage Status

Coverage: 93.465%. Remained the same when pulling 2f68091 on dthaler:shift into e40bcff on Alan-Jowett:main.

The Linux verifier rejects shifting by imm out of range
so did not add tests for those cases.

Signed-off-by: Dave Thaler <dthaler@microsoft.com>
@dthaler dthaler marked this pull request as ready for review May 9, 2023 18:50
@dthaler dthaler changed the title WIP: Add conformance tests for shifting out of range Add conformance tests for shifting out of range May 9, 2023
@Alan-Jowett Alan-Jowett merged commit b798975 into Alan-Jowett:main May 9, 2023
16 checks passed
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 tests for shift out of range
3 participants