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

move store capability to tag clearing if the store cap permission isn't set #73

Open
tariqkurd-repo opened this issue Jul 17, 2023 · 1 comment

Comments

@tariqkurd-repo
Copy link

tariqkurd-repo commented Jul 17, 2023

Load capability clears the tag on the loaded data if permit_load_cap is not set.
Store capability takes an exception, can it be made symmetrical with load capability and store a zero tag to memory if permit_store_cap is not set?

Otherwise it is (AFAIK) the only example of a data-dependant store violation.

@tariqkurd-repo tariqkurd-repo changed the title move store capability to tag clearing is the store cap permission isn't set move store capability to tag clearing if the store cap permission isn't set Jul 17, 2023
@jrtc27
Copy link
Member

jrtc27 commented Jul 17, 2023

This is an open question. Look out for the Morello performance report that is imminent (awaiting approval), which is relevant to this discussion.

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

2 participants