Handle cmpxchg - Githubissues

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 6 years ago

act currently doesn't know what to do with the cmpxchg family of instructions. This will need upstream support from Herd.

MattWindsor91 commented 5 years ago

I've started trying to make a cmpxchg in Herd, but run into the wall of not understanding how it orders events! Watch this space, though.

MattWindsor91 commented 4 years ago

Closing this as we no longer support x86 assembly.