use anyhow::{Result, anyhow, bail};
use cairo_lang_defs::db::{init_defs_group, init_external_files};
use cairo_lang_diagnostics::Maybe;
use cairo_lang_filesystem::cfg::CfgSet;
use cairo_lang_filesystem::db::{CORELIB_VERSION, FilesGroup, init_dev_corelib, init_files_group};
use cairo_lang_filesystem::detect::detect_corelib;
use cairo_lang_filesystem::flag::{Flag, FlagsGroup};
use cairo_lang_filesystem::ids::{CrateId, FlagLongId};
use cairo_lang_lowering::db::init_lowering_group;
use cairo_lang_lowering::ids::ConcreteFunctionWithBodyId;
use cairo_lang_lowering::optimizations::config::Optimizations;
use cairo_lang_lowering::utils::InliningStrategy;
use cairo_lang_project::ProjectConfig;
use cairo_lang_runnable_utils::builder::RunnableBuilder;
use cairo_lang_semantic::db::{PluginSuiteInput, init_semantic_group};
use cairo_lang_semantic::inline_macros::get_default_plugin_suite;
use cairo_lang_semantic::plugin::PluginSuite;
use cairo_lang_sierra_generator::db::init_sierra_gen_group;
use cairo_lang_sierra_generator::program_generator::get_dummy_program_for_size_estimation;
use cairo_lang_utils::CloneableDatabase;
use salsa::Database;
use crate::project::update_crate_roots_from_project_config;
fn estimate_code_size(
db: &dyn Database,
function_id: ConcreteFunctionWithBodyId<'_>,
) -> Maybe<isize> {
let program = get_dummy_program_for_size_estimation(db, function_id)?;
let n_dummy_functions = program.funcs.len() - 1;
let builder = match RunnableBuilder::new(program, Default::default()) {
Ok(builder) => builder,
Err(err) => {
if err.is_ap_overflow_error() {
return Ok(isize::MAX);
}
if std::env::var("CAIRO_DEBUG_SIERRA_GEN").is_ok() {
return Ok(isize::MAX);
}
panic!(
"Internal compiler error when compiling function `{}` to CASM: `{err}`. You can \
set the CAIRO_DEBUG_SIERRA_GEN environment if you want to finish the compilation \
and debug the Sierra program.",
function_id.full_path(db)
);
}
};
let casm = builder.casm_program();
let total_size = casm.instructions.iter().map(|inst| inst.body.op_size()).sum::<usize>();
const DUMMY_FUNCTION_SIZE: usize = 3;
Ok((total_size - (n_dummy_functions * DUMMY_FUNCTION_SIZE)).try_into().unwrap_or(0))
}
#[salsa::db]
#[derive(Clone)]
pub struct RootDatabase {
storage: salsa::Storage<RootDatabase>,
}
#[salsa::db]
impl salsa::Database for RootDatabase {}
impl CloneableDatabase for RootDatabase {
fn dyn_clone(&self) -> Box<dyn CloneableDatabase> {
Box::new(self.clone())
}
}
impl RootDatabase {
fn new(default_plugin_suite: PluginSuite, optimizations: Optimizations) -> Self {
let mut res = Self { storage: Default::default() };
init_external_files(&mut res);
init_files_group(&mut res);
init_lowering_group(&mut res, optimizations, Some(estimate_code_size));
init_defs_group(&mut res);
init_semantic_group(&mut res);
init_sierra_gen_group(&mut res);
res.set_default_plugins_from_suite(default_plugin_suite);
res
}
pub fn empty() -> Self {
Self::builder().clear_plugins().build().unwrap()
}
pub fn builder() -> RootDatabaseBuilder {
RootDatabaseBuilder::new()
}
pub fn snapshot(&self) -> RootDatabase {
RootDatabase { storage: self.storage.clone() }
}
}
impl Default for RootDatabase {
fn default() -> Self {
Self::builder().build().unwrap()
}
}
#[derive(Clone, Debug)]
pub struct RootDatabaseBuilder {
default_plugin_suite: PluginSuite,
detect_corelib: bool,
auto_withdraw_gas: bool,
panic_backtrace: bool,
unsafe_panic: bool,
project_config: Option<Box<ProjectConfig>>,
cfg_set: Option<CfgSet>,
optimizations: Optimizations,
}
impl RootDatabaseBuilder {
fn new() -> Self {
Self {
default_plugin_suite: get_default_plugin_suite(),
detect_corelib: false,
auto_withdraw_gas: true,
panic_backtrace: false,
unsafe_panic: false,
project_config: None,
cfg_set: None,
optimizations: Optimizations::enabled_with_default_movable_functions(
InliningStrategy::Default,
),
}
}
pub fn with_default_plugin_suite(&mut self, suite: PluginSuite) -> &mut Self {
self.default_plugin_suite.add(suite);
self
}
pub fn clear_plugins(&mut self) -> &mut Self {
self.default_plugin_suite = get_default_plugin_suite();
self
}
pub fn with_optimizations(&mut self, optimizations: Optimizations) -> &mut Self {
self.optimizations = optimizations;
self
}
pub fn detect_corelib(&mut self) -> &mut Self {
self.detect_corelib = true;
self
}
pub fn with_project_config(&mut self, config: ProjectConfig) -> &mut Self {
self.project_config = Some(Box::new(config));
self
}
pub fn with_cfg(&mut self, cfg_set: impl Into<CfgSet>) -> &mut Self {
self.cfg_set = Some(cfg_set.into());
self
}
pub fn skip_auto_withdraw_gas(&mut self) -> &mut Self {
self.auto_withdraw_gas = false;
self
}
pub fn with_panic_backtrace(&mut self) -> &mut Self {
self.panic_backtrace = true;
self
}
pub fn with_unsafe_panic(&mut self) -> &mut Self {
self.unsafe_panic = true;
self
}
pub fn build(&mut self) -> Result<RootDatabase> {
let mut db =
RootDatabase::new(self.default_plugin_suite.clone(), self.optimizations.clone());
if let Some(cfg_set) = &self.cfg_set {
db.use_cfg(cfg_set);
}
if self.detect_corelib {
let path =
detect_corelib().ok_or_else(|| anyhow!("Failed to find development corelib."))?;
init_dev_corelib(&mut db, path)
}
let add_withdraw_gas_flag_id = FlagLongId(Flag::ADD_WITHDRAW_GAS.into());
db.set_flag(add_withdraw_gas_flag_id, Some(Flag::AddWithdrawGas(self.auto_withdraw_gas)));
let panic_backtrace_flag_id = FlagLongId(Flag::PANIC_BACKTRACE.into());
db.set_flag(panic_backtrace_flag_id, Some(Flag::PanicBacktrace(self.panic_backtrace)));
let unsafe_panic_flag_id = FlagLongId(Flag::UNSAFE_PANIC.into());
db.set_flag(unsafe_panic_flag_id, Some(Flag::UnsafePanic(self.unsafe_panic)));
if let Some(config) = &self.project_config {
update_crate_roots_from_project_config(&mut db, config.as_ref());
}
validate_corelib(&db)?;
Ok(db)
}
}
pub fn validate_corelib(db: &(dyn salsa::Database + 'static)) -> Result<()> {
let Some(config) = db.crate_config(CrateId::core(db)) else {
return Ok(());
};
let Some(found) = &config.settings.version else {
return Ok(());
};
let Ok(expected) = semver::Version::parse(CORELIB_VERSION) else {
return Ok(());
};
if found == &expected {
return Ok(());
}
let path_part = match &config.root {
cairo_lang_filesystem::ids::Directory::Real(path) => {
format!(" for `{}`", path.to_string_lossy())
}
cairo_lang_filesystem::ids::Directory::Virtual { .. } => "".to_string(),
};
bail!("Corelib version mismatch: expected `{expected}`, found `{found}`{path_part}.");
}