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.

Sign up for GitHub

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

Jump to bottom

Unimplemented intrinsics required to codegen Firecracker vmm #158

Closed
nchong-at-aws opened this issue May 27, 2021 · 1 comment · Fixed by #266
Closed

Unimplemented intrinsics required to codegen Firecracker vmm #158

nchong-at-aws opened this issue May 27, 2021 · 1 comment · Fixed by #266
Assignees
@danielsn
Labels
[C] Bug This is a bug. Something isn't working.

Comments

@nchong-at-aws
Copy link
Contributor

Not implemented intrinsics:

  • atomic_xchg
  • atomic_xchg_acq
  • atomic_xchg_acqrel
  • atomic_xchg_rel
  • atomic_xchg_relaxed
  • try
@nchong-at-aws nchong-at-aws added the [C] Bug This is a bug. Something isn't working. label May 27, 2021
@adpaco-aws
Copy link
Contributor

We have atomic_cxchg* implemented so it should be easy to support these atomic intrinsics. try seems a little harder though.

@danielsn danielsn self-assigned this Jun 8, 2021
This was referenced Jun 25, 2021
Open
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@danielsn danielsn

Labels
[C] Bug This is a bug. Something isn't working.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Support atomic exchange primitives danielsn/kani
3 participants
@danielsn @nchong-at-aws @adpaco-aws