Support C11 atomics required by dav1d #814
Open
+102
−43
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
thedataking
force-pushed
the
perl/c11_atomics
branch
2 times, most recently
from
ce04e4e to
d84fa89
Compare
thedataking
force-pushed
the
perl/c11_atomics
branch
from
d84fa89 to
042845b
Compare
rinon
reviewed
Mar 7, 2023
Nugine
added a commit
to Nugine/c2rust
that referenced
this pull request
Dec 8, 2024
As atomics are being implemented, these warnings are becoming wrong. Any operations on atomics that stay unimplmented will be caught more precisely at later translation stages.
thedataking
force-pushed
the
perl/c11_atomics
branch
2 times, most recently
from
0a86e71 to
1daaaab
Compare
Add support for:
__c11_atomic_compare_exchange_{strong,weak}
__c11_atomic_exhange
__c11_atomic_fetch_add
__c11_atomic_fetch_and
__c11_atomic_fetch_nand
__c11_atomic_fetch_or
__c11_atomic_fetch_sub
__c11_atomic_init
__c11_atomic_load
__c11_atomic_store
Variants of the above with explicit memory ordering are not supported.
thedataking
force-pushed
the
perl/c11_atomics
branch
from
1daaaab to
e18fb4d
Compare
thedataking
changed the title
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Useful documentation/context: