cairo_lang_sierra_gas/
core_libfunc_cost.rsuse cairo_lang_sierra::extensions::core::CoreConcreteLibfunc;
use cairo_lang_sierra::extensions::gas::CostTokenType;
use cairo_lang_sierra::program::StatementIdx;
use cairo_lang_utils::collection_arithmetics::{add_maps, sub_maps};
use cairo_lang_utils::ordered_hash_map::OrderedHashMap;
use itertools::zip_eq;
use crate::core_libfunc_cost_base::{CostOperations, core_libfunc_postcost, core_libfunc_precost};
pub use crate::core_libfunc_cost_base::{
DICT_SQUASH_FIXED_COST, DICT_SQUASH_REPEATED_ACCESS_COST, DICT_SQUASH_UNIQUE_KEY_COST,
InvocationCostInfoProvider, SEGMENT_ARENA_ALLOCATION_COST,
};
use crate::gas_info::GasInfo;
pub use crate::starknet_libfunc_cost_base::SYSTEM_CALL_COST;
struct Ops<'a> {
gas_info: &'a GasInfo,
idx: StatementIdx,
}
impl CostOperations for Ops<'_> {
type CostType = OrderedHashMap<CostTokenType, i64>;
fn cost_token(&self, value: i32, token_type: CostTokenType) -> Self::CostType {
OrderedHashMap::from_iter([(token_type, value as i64)])
}
fn function_token_cost(
&mut self,
function: &cairo_lang_sierra::program::Function,
token_type: CostTokenType,
) -> Self::CostType {
if let Some(function_cost) = self.gas_info.function_costs.get(&function.id) {
if let Some(v) = function_cost.get(&token_type) {
return OrderedHashMap::from_iter([(token_type, *v)]);
}
}
OrderedHashMap::default()
}
fn statement_var_cost(&self, token_type: CostTokenType) -> Self::CostType {
if let Some(v) = self.gas_info.variable_values.get(&(self.idx, token_type)) {
OrderedHashMap::from_iter([(token_type, *v)])
} else {
OrderedHashMap::default()
}
}
fn add(&self, lhs: Self::CostType, rhs: Self::CostType) -> Self::CostType {
add_maps(lhs, rhs)
}
fn sub(&self, lhs: Self::CostType, rhs: Self::CostType) -> Self::CostType {
sub_maps(lhs, rhs)
}
}
pub fn core_libfunc_cost<InfoProvider: InvocationCostInfoProvider>(
gas_info: &GasInfo,
idx: &StatementIdx,
libfunc: &CoreConcreteLibfunc,
info_provider: &InfoProvider,
) -> Vec<OrderedHashMap<CostTokenType, i64>> {
let precost = core_libfunc_precost(&mut Ops { gas_info, idx: *idx }, libfunc, info_provider);
let postcost = core_libfunc_postcost(&mut Ops { gas_info, idx: *idx }, libfunc, info_provider);
zip_eq(precost, postcost)
.map(|(precost, postcost)| {
CostTokenType::iter_casm_tokens()
.map(|token| {
(
*token,
precost.get(token).copied().unwrap_or_default()
+ postcost.get(token).copied().unwrap_or_default(),
)
})
.collect()
})
.collect()
}