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

Compressed hints should be legal #41

Open
PeterRugg opened this issue Jul 18, 2023 · 1 comment
Open

Compressed hints should be legal #41

PeterRugg opened this issue Jul 18, 2023 · 1 comment

Comments

@PeterRugg
Copy link

Flute currently bans the compressed hint encodings: at least C.NOP with nzimm != 0 and c.ADDI with nzimm == 0. I'm not sure if this is based on a past version of the spec that reserved these, but the current version seems pretty clear that they should be legal.

I believe deleting the following two lines would fix these cases, but I'm not sure if there are more:

&& (nzimm6 != 0));

&& (nzimm6 == 0));

@PeterRugg
Copy link
Author

Yep, it's all the other hints too: see CTSRD-CHERI@d84f421

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

No branches or pull requests

1 participant