sway-ir/src/module.rs - master - githubmirror/sway

sway-ir/src/module.rs
226 строк7 KB
Daniel Frederico Lins Leite
fix modified in optimisation passes so they converge (#7666)
02 июл 2026, 12:05
02 июл 2026, 12:054c3bc6e
//! A scope containing a collection of [`Function`]s and constant values.
//!
//! A module also has a 'kind' corresponding to the different Sway module types.

use std::collections::BTreeMap;

use crate::{
    context::Context,
    function::{Function, FunctionIterator},
    Config, ConfigContent, Constant, GlobalVar, StorageKey, Type,
};

/// A wrapper around an [ECS](https://github.com/orlp/slotmap) handle into the
/// [`Context`].
#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
pub struct Module(pub slotmap::DefaultKey);

#[doc(hidden)]
pub struct ModuleContent {
    pub kind: Kind,
    pub functions: Vec<Function>,
    pub global_variables: BTreeMap<Vec<String>, GlobalVar>,
    pub configs: BTreeMap<String, Config>,
    pub storage_keys: BTreeMap<String, StorageKey>,
}

/// The different 'kinds' of Sway module: `Contract`, `Library`, `Predicate` or `Script`.
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum Kind {
    Contract,
    Library,
    Predicate,
    Script,
}

impl Module {
    /// Return a new module of a specific kind.
    pub fn new(context: &mut Context, kind: Kind) -> Module {
        let content = ModuleContent {
            kind,
            functions: Vec::new(),
            global_variables: BTreeMap::new(),
            configs: BTreeMap::new(),
            storage_keys: BTreeMap::new(),
        };
        Module(context.modules.insert(content))
    }

    /// Get this module's [`Kind`].
    pub fn get_kind(&self, context: &Context) -> Kind {
        context.modules[self.0].kind
    }

    /// Return an iterator over each of the [`Function`]s in this module.
    pub fn function_iter(&self, context: &Context) -> FunctionIterator {
        FunctionIterator::new(context, self)
    }

    /// Add a global variable value to this module.
    pub fn add_global_variable(
        &self,
        context: &mut Context,
        call_path: Vec<String>,
        const_val: GlobalVar,
    ) {
        context.modules[self.0]
            .global_variables
            .insert(call_path, const_val);
    }

    /// Add a value to the module global storage, by forcing the name to be unique if needed.
    ///
    /// Will use the provided name as a hint and eventually rename it to guarantee insertion.
    pub fn new_unique_global_var(
        &self,
        context: &mut Context,
        name: String,
        local_type: Type,
        initializer: Option<Constant>,
        mutable: bool,
    ) -> GlobalVar {
        let module = &context.modules[self.0];
        let new_name = if module.global_variables.contains_key(&vec![name.clone()]) {
            // Assuming that we'll eventually find a unique name by appending numbers to the old
            // one...
            (0..)
                .find_map(|n| {
                    let candidate = format!("{name}{n}");
                    if module
                        .global_variables
                        .contains_key(&vec![candidate.clone()])
                    {
                        None
                    } else {
                        Some(candidate)
                    }
                })
                .unwrap()
        } else {
            name
        };
        let gv = GlobalVar::new(context, local_type, initializer, mutable);
        self.add_global_variable(context, vec![new_name], gv);
        gv
    }

    /// Get a named global variable from this module, if found.
    pub fn get_global_variable(
        &self,
        context: &Context,
        call_path: &Vec<String>,
    ) -> Option<GlobalVar> {
        context.modules[self.0]
            .global_variables
            .get(call_path)
            .copied()
    }

    /// Lookup global variable name.
    pub fn lookup_global_variable_name(
        &self,
        context: &Context,
        global: &GlobalVar,
    ) -> Option<String> {
        context.modules[self.0]
            .global_variables
            .iter()
            .find(|(_key, val)| *val == global)
            .map(|(key, _)| key.join("::"))
    }

    /// Add a config value to this module.
    pub fn add_config(
        &self,
        context: &mut Context,
        name: String,
        content: ConfigContent,
    ) -> Config {
        let config = Config::new(context, content);
        context.modules[self.0].configs.insert(name, config);
        config
    }

    /// Get a named config from this module, if found.
    pub fn get_config(&self, context: &Context, name: &str) -> Option<Config> {
        context.modules[self.0].configs.get(name).copied()
    }

    /// Add a storage key value to this module.
    pub fn add_storage_key(&self, context: &mut Context, path: String, storage_key: StorageKey) {
        context.modules[self.0]
            .storage_keys
            .insert(path, storage_key);
    }

    /// Get a storage key with the given `path` from this module, if found.
    pub fn get_storage_key<'a>(&self, context: &'a Context, path: &str) -> Option<&'a StorageKey> {
        context.modules[self.0].storage_keys.get(path)
    }

    /// Lookup storage key path.
    pub fn lookup_storage_key_path<'a>(
        &self,
        context: &'a Context,
        storage_key: &StorageKey,
    ) -> Option<&'a str> {
        context.modules[self.0]
            .storage_keys
            .iter()
            .find(|(_key, val)| *val == storage_key)
            .map(|(key, _)| key.as_str())
    }

    /// Removes a function from the module.  Returns true if function was found and removed.
    ///
    /// **Use with care!  Be sure the function is not an entry point nor called at any stage.**
    pub fn remove_function(&self, context: &mut Context, function: &Function) -> bool {
        let fns = &mut context
            .modules
            .get_mut(self.0)
            .expect("Module must exist in context.")
            .functions;

        let len_before = fns.len();
        fns.retain(|mod_fn| mod_fn != function);
        let len_after = fns.len();

        len_before != len_after
    }

    pub fn iter_configs<'a>(&'a self, context: &'a Context) -> impl Iterator<Item = Config> + 'a {
        context.modules[self.0].configs.values().copied()
    }
}

/// An iterator over [`Module`]s within a [`Context`].
pub struct ModuleIterator {
    modules: Vec<slotmap::DefaultKey>,
    next: usize,
}

impl ModuleIterator {
    /// Return a new [`Module`] iterator.
    pub fn new(context: &Context) -> ModuleIterator {
        // Copy all the current modules indices, so they may be modified in the context during
        // iteration.
        ModuleIterator {
            modules: context.modules.iter().map(|pair| pair.0).collect(),
            next: 0,
        }
    }
}

impl Iterator for ModuleIterator {
    type Item = Module;

    fn next(&mut self) -> Option<Module> {
        if self.next < self.modules.len() {
            let idx = self.next;
            self.next += 1;
            Some(Module(self.modules[idx]))
        } else {
            None
        }
    }
}