NilFoundation / zkllvm-rslang

Other
15 stars 2 forks source link

Memory allocators for assigner target must use assigner-specific intrinsics #75

Open aleasims opened 11 months ago

aleasims commented 11 months ago

When we use default allocator in Rust we end up with Rust-specific intrinsics, defined in Rust fork of LLVM. E.g. allocating for Vec will result in @__rust_alloc call, which is an external function.

For assigner target we need to provide implementations of these functions to our defined allocation functions, which use assigner-specific memory allocation intrinsics (like @llvm.assigner.malloc).

Tasks: