reilabs / llvm-to-cairo

Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet
http://starknet.io
Apache License 2.0
1 stars 0 forks source link

Implement Support for Atomics #66

Open ktemkin opened 5 days ago

ktemkin commented 5 days ago

Description

Regardless of how we choose to support atomics (#50) they will need to be exposed under the correct intrinsic names to enable them to be output during compilation. This task deals with whatever implementation is necessary to make these work as designed.