reilabs / hieratika

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
2 stars 0 forks source link

Implement a Rust Pass Manager #56

Open ktemkin opened 2 months ago

ktemkin commented 2 months ago

Description

Over time this compiler is going to evolve its own passes. We want to put the basic infrastructure in place for managing these passes—including dependency tracking and invalidation—to ensure that we do not get stuck with many passes and no management infrastructure.

It should account for the basics, including dependencies between passes, invalidation of pass results, and automatic re-running of passes based on a manually-specified order. It does not, at this stage, need to support configurable pass sets.