Implement a Memory Assignment Pass (Initial)

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 a Memory Assignment Pass (Initial) #36

Open ktemkin opened 5 days ago

ktemkin commented 5 days ago

Description

Once we have decided on an initial memory model (#29) we need to take LLVM’s assumptions about memory and transform them to fit our decided-upon model.

This will have to deal with the somewhat crude controls of memory available to us in FlatLowered.