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

Specification for Function-Call ABI #51

Open ktemkin opened 5 days ago

ktemkin commented 5 days ago

Description

Now that we have a customized function call ABI (#46), we need to actually implement this into our compiler. This will involve changes to the function call translation, memory model, and potentially also the polyfills and other support machinery.

As part of this task we want a written specification of this calling convention.