mirror of
https://github.com/fluencelabs/wasm-utils
synced 2025-05-29 15:41:20 +00:00
Merge pull request #77 from paritytech/sorpaas/nostd
Executable refactoring and no_std support
This commit is contained in:
commit
60a7776f3a
11
.travis.yml
11
.travis.yml
@ -1,6 +1,9 @@
|
|||||||
language:
|
language: rust
|
||||||
- rust
|
rust:
|
||||||
|
- nightly
|
||||||
|
- stable
|
||||||
|
|
||||||
script:
|
script:
|
||||||
- cargo build --release --verbose
|
- cargo build --all --release --verbose
|
||||||
- cargo test --verbose
|
- cargo test --all --verbose
|
||||||
|
- if [ "$TRAVIS_RUST_VERSION" == "nightly" ]; then cargo build --no-default-features; fi
|
||||||
|
37
Cargo.toml
37
Cargo.toml
@ -8,37 +8,20 @@ description = "Collection of command-line utilities and corresponding Rust api f
|
|||||||
keywords = ["wasm", "webassembly", "pwasm"]
|
keywords = ["wasm", "webassembly", "pwasm"]
|
||||||
|
|
||||||
[dependencies]
|
[dependencies]
|
||||||
parity-wasm = "0.27"
|
parity-wasm = { version = "0.30", default-features = false }
|
||||||
log = "0.3"
|
log = { version = "0.4", default-features = false }
|
||||||
env_logger = "0.4"
|
byteorder = { version = "1", default-features = false }
|
||||||
lazy_static = "0.2"
|
|
||||||
clap = "2.24"
|
|
||||||
glob = "0.2"
|
|
||||||
byteorder = "1"
|
|
||||||
|
|
||||||
[dev-dependencies]
|
[dev-dependencies]
|
||||||
tempdir = "0.3"
|
tempdir = "0.3"
|
||||||
wabt = "0.2"
|
wabt = "0.2"
|
||||||
diff = "0.1.11"
|
diff = "0.1.11"
|
||||||
|
|
||||||
[lib]
|
[features]
|
||||||
|
default = ["std"]
|
||||||
|
std = ["parity-wasm/std", "log/std", "byteorder/std"]
|
||||||
|
|
||||||
[[bin]]
|
[workspace]
|
||||||
name = "wasm-prune"
|
members = [
|
||||||
path = "prune/main.rs"
|
"./cli",
|
||||||
|
]
|
||||||
[[bin]]
|
|
||||||
name = "wasm-ext"
|
|
||||||
path = "ext/main.rs"
|
|
||||||
|
|
||||||
[[bin]]
|
|
||||||
name = "wasm-gas"
|
|
||||||
path = "gas/main.rs"
|
|
||||||
|
|
||||||
[[bin]]
|
|
||||||
name = "wasm-build"
|
|
||||||
path = "build/main.rs"
|
|
||||||
|
|
||||||
[[bin]]
|
|
||||||
name = "wasm-stack-height"
|
|
||||||
path = "stack_height/main.rs"
|
|
||||||
|
42
cli/Cargo.toml
Normal file
42
cli/Cargo.toml
Normal file
@ -0,0 +1,42 @@
|
|||||||
|
[package]
|
||||||
|
name = "pwasm-utils-cli"
|
||||||
|
version = "0.1.5"
|
||||||
|
authors = ["Nikolay Volf <nikvolf@gmail.com>", "Sergey Pepyakin <s.pepyakin@gmail.com>"]
|
||||||
|
license = "MIT/Apache-2.0"
|
||||||
|
readme = "README.md"
|
||||||
|
description = "Collection of command-line utilities and corresponding Rust api for producing pwasm-compatible executables"
|
||||||
|
keywords = ["wasm", "webassembly", "pwasm"]
|
||||||
|
|
||||||
|
[lib]
|
||||||
|
|
||||||
|
[[bin]]
|
||||||
|
name = "wasm-prune"
|
||||||
|
path = "prune/main.rs"
|
||||||
|
|
||||||
|
[[bin]]
|
||||||
|
name = "wasm-ext"
|
||||||
|
path = "ext/main.rs"
|
||||||
|
|
||||||
|
[[bin]]
|
||||||
|
name = "wasm-gas"
|
||||||
|
path = "gas/main.rs"
|
||||||
|
|
||||||
|
[[bin]]
|
||||||
|
name = "wasm-build"
|
||||||
|
path = "build/main.rs"
|
||||||
|
|
||||||
|
[[bin]]
|
||||||
|
name = "wasm-stack-height"
|
||||||
|
path = "stack_height/main.rs"
|
||||||
|
|
||||||
|
[dependencies]
|
||||||
|
parity-wasm = "0.30"
|
||||||
|
pwasm-utils = { path = ".." }
|
||||||
|
glob = "0.2"
|
||||||
|
clap = "2.24"
|
||||||
|
log = "0.4"
|
||||||
|
env_logger = "0.5"
|
||||||
|
lazy_static = "1.0"
|
||||||
|
|
||||||
|
[dev-dependencies]
|
||||||
|
tempdir = "0.3"
|
@ -4,6 +4,7 @@ extern crate glob;
|
|||||||
extern crate pwasm_utils as utils;
|
extern crate pwasm_utils as utils;
|
||||||
extern crate clap;
|
extern crate clap;
|
||||||
extern crate parity_wasm;
|
extern crate parity_wasm;
|
||||||
|
extern crate pwasm_utils_cli as logger;
|
||||||
|
|
||||||
mod source;
|
mod source;
|
||||||
|
|
||||||
@ -95,7 +96,7 @@ fn has_ctor(module: &elements::Module) -> bool {
|
|||||||
}
|
}
|
||||||
|
|
||||||
fn do_main() -> Result<(), Error> {
|
fn do_main() -> Result<(), Error> {
|
||||||
utils::init_log();
|
logger::init_log();
|
||||||
|
|
||||||
let matches = App::new("wasm-build")
|
let matches = App::new("wasm-build")
|
||||||
.arg(Arg::with_name("target")
|
.arg(Arg::with_name("target")
|
@ -1,11 +1,12 @@
|
|||||||
extern crate parity_wasm;
|
extern crate parity_wasm;
|
||||||
extern crate pwasm_utils as utils;
|
extern crate pwasm_utils as utils;
|
||||||
|
extern crate pwasm_utils_cli as logger;
|
||||||
|
|
||||||
use std::env;
|
use std::env;
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
|
||||||
utils::init_log();
|
logger::init_log();
|
||||||
|
|
||||||
let args = env::args().collect::<Vec<_>>();
|
let args = env::args().collect::<Vec<_>>();
|
||||||
if args.len() != 3 {
|
if args.len() != 3 {
|
@ -1,11 +1,11 @@
|
|||||||
extern crate parity_wasm;
|
extern crate parity_wasm;
|
||||||
extern crate pwasm_utils as utils;
|
extern crate pwasm_utils as utils;
|
||||||
|
extern crate pwasm_utils_cli as logger;
|
||||||
|
|
||||||
use std::env;
|
use std::env;
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
|
logger::init_log();
|
||||||
utils::init_log();
|
|
||||||
|
|
||||||
let args = env::args().collect::<Vec<_>>();
|
let args = env::args().collect::<Vec<_>>();
|
||||||
if args.len() != 3 {
|
if args.len() != 3 {
|
@ -1,11 +1,12 @@
|
|||||||
extern crate parity_wasm;
|
extern crate parity_wasm;
|
||||||
extern crate pwasm_utils as utils;
|
extern crate pwasm_utils as utils;
|
||||||
|
extern crate pwasm_utils_cli as logger;
|
||||||
extern crate clap;
|
extern crate clap;
|
||||||
|
|
||||||
use clap::{App, Arg};
|
use clap::{App, Arg};
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
utils::init_log();
|
logger::init_log();
|
||||||
|
|
||||||
let matches = App::new("wasm-opt")
|
let matches = App::new("wasm-opt")
|
||||||
.arg(Arg::with_name("input")
|
.arg(Arg::with_name("input")
|
27
cli/src/lib.rs
Normal file
27
cli/src/lib.rs
Normal file
@ -0,0 +1,27 @@
|
|||||||
|
#[macro_use] extern crate log;
|
||||||
|
#[macro_use] extern crate lazy_static;
|
||||||
|
extern crate env_logger;
|
||||||
|
|
||||||
|
use std::env;
|
||||||
|
use log::LevelFilter;
|
||||||
|
use env_logger::Builder;
|
||||||
|
|
||||||
|
lazy_static! {
|
||||||
|
static ref LOG_DUMMY: bool = {
|
||||||
|
let mut builder = Builder::new();
|
||||||
|
builder.filter(None, LevelFilter::Info);
|
||||||
|
|
||||||
|
if let Ok(log) = env::var("RUST_LOG") {
|
||||||
|
builder.parse(&log);
|
||||||
|
}
|
||||||
|
|
||||||
|
builder.init();
|
||||||
|
trace!("logger initialized");
|
||||||
|
true
|
||||||
|
};
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Intialize log with default settings
|
||||||
|
pub fn init_log() {
|
||||||
|
let _ = *LOG_DUMMY;
|
||||||
|
}
|
@ -1,11 +1,12 @@
|
|||||||
extern crate pwasm_utils as utils;
|
extern crate pwasm_utils as utils;
|
||||||
extern crate parity_wasm;
|
extern crate parity_wasm;
|
||||||
|
extern crate pwasm_utils_cli as logger;
|
||||||
|
|
||||||
use std::env;
|
use std::env;
|
||||||
use utils::stack_height;
|
use utils::stack_height;
|
||||||
|
|
||||||
fn main() {
|
fn main() {
|
||||||
utils::init_log();
|
logger::init_log();
|
||||||
|
|
||||||
let args = env::args().collect::<Vec<_>>();
|
let args = env::args().collect::<Vec<_>>();
|
||||||
if args.len() != 3 {
|
if args.len() != 3 {
|
@ -1,3 +1,7 @@
|
|||||||
|
use std::string::String;
|
||||||
|
use std::vec::Vec;
|
||||||
|
use std::borrow::ToOwned;
|
||||||
|
|
||||||
use parity_wasm::{elements, builder};
|
use parity_wasm::{elements, builder};
|
||||||
use optimizer::{import_section, export_section};
|
use optimizer::{import_section, export_section};
|
||||||
use byteorder::{LittleEndian, ByteOrder};
|
use byteorder::{LittleEndian, ByteOrder};
|
||||||
@ -200,4 +204,4 @@ pub fn externalize(
|
|||||||
|
|
||||||
module
|
module
|
||||||
|
|
||||||
}
|
}
|
||||||
|
@ -1,3 +1,5 @@
|
|||||||
|
use std::vec::Vec;
|
||||||
|
|
||||||
use parity_wasm::{elements, builder};
|
use parity_wasm::{elements, builder};
|
||||||
use rules;
|
use rules;
|
||||||
|
|
||||||
|
21
src/lib.rs
21
src/lib.rs
@ -1,8 +1,13 @@
|
|||||||
|
#![cfg_attr(not(feature = "std"), no_std)]
|
||||||
|
#![cfg_attr(not(feature = "std"), feature(alloc))]
|
||||||
|
|
||||||
|
#[cfg(not(feature = "std"))]
|
||||||
|
#[macro_use]
|
||||||
|
extern crate alloc;
|
||||||
|
|
||||||
extern crate parity_wasm;
|
extern crate parity_wasm;
|
||||||
extern crate env_logger;
|
|
||||||
extern crate byteorder;
|
extern crate byteorder;
|
||||||
#[macro_use] extern crate log;
|
#[macro_use] extern crate log;
|
||||||
#[macro_use] extern crate lazy_static;
|
|
||||||
|
|
||||||
pub static CREATE_SYMBOL: &'static str = "deploy";
|
pub static CREATE_SYMBOL: &'static str = "deploy";
|
||||||
pub static CALL_SYMBOL: &'static str = "call";
|
pub static CALL_SYMBOL: &'static str = "call";
|
||||||
@ -13,7 +18,6 @@ pub mod rules;
|
|||||||
mod optimizer;
|
mod optimizer;
|
||||||
mod gas;
|
mod gas;
|
||||||
mod symbols;
|
mod symbols;
|
||||||
mod logger;
|
|
||||||
mod ext;
|
mod ext;
|
||||||
mod pack;
|
mod pack;
|
||||||
mod runtime_type;
|
mod runtime_type;
|
||||||
@ -22,7 +26,16 @@ pub mod stack_height;
|
|||||||
|
|
||||||
pub use optimizer::{optimize, Error as OptimizerError};
|
pub use optimizer::{optimize, Error as OptimizerError};
|
||||||
pub use gas::inject_gas_counter;
|
pub use gas::inject_gas_counter;
|
||||||
pub use logger::init_log;
|
|
||||||
pub use ext::{externalize, externalize_mem, underscore_funcs, ununderscore_funcs, shrink_unknown_stack};
|
pub use ext::{externalize, externalize_mem, underscore_funcs, ununderscore_funcs, shrink_unknown_stack};
|
||||||
pub use pack::{pack_instance, Error as PackingError};
|
pub use pack::{pack_instance, Error as PackingError};
|
||||||
pub use runtime_type::inject_runtime_type;
|
pub use runtime_type::inject_runtime_type;
|
||||||
|
|
||||||
|
#[cfg(not(feature = "std"))]
|
||||||
|
mod std {
|
||||||
|
pub use core::*;
|
||||||
|
pub use alloc::{vec, string, boxed, borrow};
|
||||||
|
|
||||||
|
pub mod collections {
|
||||||
|
pub use alloc::{BTreeMap, BTreeSet};
|
||||||
|
}
|
||||||
|
}
|
||||||
|
@ -1,26 +0,0 @@
|
|||||||
extern crate log;
|
|
||||||
|
|
||||||
use std::env;
|
|
||||||
use log::LogLevelFilter;
|
|
||||||
use env_logger::LogBuilder;
|
|
||||||
|
|
||||||
lazy_static! {
|
|
||||||
static ref LOG_DUMMY: bool = {
|
|
||||||
let mut builder = LogBuilder::new();
|
|
||||||
builder.filter(None, LogLevelFilter::Info);
|
|
||||||
|
|
||||||
if let Ok(log) = env::var("RUST_LOG") {
|
|
||||||
builder.parse(&log);
|
|
||||||
}
|
|
||||||
|
|
||||||
if let Ok(_) = builder.init() {
|
|
||||||
trace!("logger initialized");
|
|
||||||
}
|
|
||||||
true
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Intialize log with default settings
|
|
||||||
pub fn init_log() {
|
|
||||||
let _ = *LOG_DUMMY;
|
|
||||||
}
|
|
@ -1,4 +1,9 @@
|
|||||||
use std::collections::HashSet;
|
#[cfg(features = "std")]
|
||||||
|
use std::collections::{HashSet as Set};
|
||||||
|
#[cfg(not(features = "std"))]
|
||||||
|
use std::collections::{BTreeSet as Set};
|
||||||
|
use std::vec::Vec;
|
||||||
|
|
||||||
use parity_wasm::elements;
|
use parity_wasm::elements;
|
||||||
|
|
||||||
use symbols::{Symbol, expand_symbols, push_code_symbols, resolve_function};
|
use symbols::{Symbol, expand_symbols, push_code_symbols, resolve_function};
|
||||||
@ -19,7 +24,7 @@ pub fn optimize(
|
|||||||
// which in turn compile in unused imports and leaves unused functions
|
// which in turn compile in unused imports and leaves unused functions
|
||||||
|
|
||||||
// Algo starts from the top, listing all items that should stay
|
// Algo starts from the top, listing all items that should stay
|
||||||
let mut stay = HashSet::new();
|
let mut stay = Set::new();
|
||||||
for (index, entry) in module.export_section().ok_or(Error::NoExportSection)?.entries().iter().enumerate() {
|
for (index, entry) in module.export_section().ok_or(Error::NoExportSection)?.entries().iter().enumerate() {
|
||||||
if used_exports.iter().find(|e| **e == entry.field()).is_some() {
|
if used_exports.iter().find(|e| **e == entry.field()).is_some() {
|
||||||
stay.insert(Symbol::Export(index));
|
stay.insert(Symbol::Export(index));
|
||||||
@ -615,4 +620,4 @@ mod tests {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
@ -1,4 +1,7 @@
|
|||||||
use std::fmt;
|
use std::fmt;
|
||||||
|
use std::vec::Vec;
|
||||||
|
use std::borrow::ToOwned;
|
||||||
|
|
||||||
use parity_wasm::elements::{
|
use parity_wasm::elements::{
|
||||||
self, Section, DataSection, Opcode, DataSegment, InitExpr, Internal, External,
|
self, Section, DataSection, Opcode, DataSegment, InitExpr, Internal, External,
|
||||||
ImportCountType,
|
ImportCountType,
|
||||||
@ -224,7 +227,6 @@ mod test {
|
|||||||
use parity_wasm::builder;
|
use parity_wasm::builder;
|
||||||
use super::*;
|
use super::*;
|
||||||
use super::super::optimize;
|
use super::super::optimize;
|
||||||
use byteorder::{ByteOrder, LittleEndian};
|
|
||||||
|
|
||||||
fn test_packer(mut module: elements::Module) {
|
fn test_packer(mut module: elements::Module) {
|
||||||
let mut ctor_module = module.clone();
|
let mut ctor_module = module.clone();
|
||||||
|
14
src/rules.rs
14
src/rules.rs
@ -1,4 +1,8 @@
|
|||||||
use std::collections::HashMap;
|
#[cfg(features = "std")]
|
||||||
|
use std::collections::{HashMap as Map};
|
||||||
|
#[cfg(not(features = "std"))]
|
||||||
|
use std::collections::{BTreeMap as Map};
|
||||||
|
|
||||||
use parity_wasm::elements;
|
use parity_wasm::elements;
|
||||||
|
|
||||||
pub struct UnknownInstruction;
|
pub struct UnknownInstruction;
|
||||||
@ -10,7 +14,7 @@ pub enum Metering {
|
|||||||
Fixed(u32),
|
Fixed(u32),
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Debug, Hash, PartialEq, Eq, Copy, Clone)]
|
#[derive(Debug, Hash, PartialEq, Eq, PartialOrd, Ord, Copy, Clone)]
|
||||||
pub enum InstructionType {
|
pub enum InstructionType {
|
||||||
Bit,
|
Bit,
|
||||||
Add,
|
Add,
|
||||||
@ -265,7 +269,7 @@ impl InstructionType {
|
|||||||
#[derive(Debug)]
|
#[derive(Debug)]
|
||||||
pub struct Set {
|
pub struct Set {
|
||||||
regular: u32,
|
regular: u32,
|
||||||
entries: HashMap<InstructionType, Metering>,
|
entries: Map<InstructionType, Metering>,
|
||||||
grow: u32,
|
grow: u32,
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -273,14 +277,14 @@ impl Default for Set {
|
|||||||
fn default() -> Self {
|
fn default() -> Self {
|
||||||
Set {
|
Set {
|
||||||
regular: 1,
|
regular: 1,
|
||||||
entries: HashMap::new(),
|
entries: Map::new(),
|
||||||
grow: 0,
|
grow: 0,
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl Set {
|
impl Set {
|
||||||
pub fn new(regular: u32, entries: HashMap<InstructionType, Metering>) -> Self {
|
pub fn new(regular: u32, entries: Map<InstructionType, Metering>) -> Self {
|
||||||
Set { regular: regular, entries: entries, grow: 0 }
|
Set { regular: regular, entries: entries, grow: 0 }
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -1,3 +1,5 @@
|
|||||||
|
use std::vec::Vec;
|
||||||
|
|
||||||
use parity_wasm::elements::{self, BlockType, Type};
|
use parity_wasm::elements::{self, BlockType, Type};
|
||||||
use super::{resolve_func_type, Error};
|
use super::{resolve_func_type, Error};
|
||||||
|
|
||||||
|
@ -48,6 +48,9 @@
|
|||||||
//! between the frames.
|
//! between the frames.
|
||||||
//! - upon entry into the function entire stack frame is allocated.
|
//! - upon entry into the function entire stack frame is allocated.
|
||||||
|
|
||||||
|
use std::string::String;
|
||||||
|
use std::vec::Vec;
|
||||||
|
|
||||||
use parity_wasm::elements::{self, Type};
|
use parity_wasm::elements::{self, Type};
|
||||||
use parity_wasm::builder;
|
use parity_wasm::builder;
|
||||||
|
|
||||||
|
@ -1,8 +1,12 @@
|
|||||||
|
#[cfg(features = "std")]
|
||||||
|
use std::collections::{HashMap as Map};
|
||||||
|
#[cfg(not(features = "std"))]
|
||||||
|
use std::collections::{BTreeMap as Map};
|
||||||
|
use std::vec::Vec;
|
||||||
|
|
||||||
use parity_wasm::elements::{self, FunctionType, Internal};
|
use parity_wasm::elements::{self, FunctionType, Internal};
|
||||||
use parity_wasm::builder;
|
use parity_wasm::builder;
|
||||||
|
|
||||||
use std::collections::HashMap;
|
|
||||||
|
|
||||||
use super::{resolve_func_type, Context, Error};
|
use super::{resolve_func_type, Context, Error};
|
||||||
|
|
||||||
struct Thunk {
|
struct Thunk {
|
||||||
@ -22,7 +26,7 @@ pub(crate) fn generate_thunks(
|
|||||||
// Function indicies which needs to generate thunks.
|
// Function indicies which needs to generate thunks.
|
||||||
let mut need_thunks: Vec<u32> = Vec::new();
|
let mut need_thunks: Vec<u32> = Vec::new();
|
||||||
|
|
||||||
let mut replacement_map: HashMap<u32, Thunk> = {
|
let mut replacement_map: Map<u32, Thunk> = {
|
||||||
let exports = module
|
let exports = module
|
||||||
.export_section()
|
.export_section()
|
||||||
.map(|es| es.entries())
|
.map(|es| es.entries())
|
||||||
@ -42,7 +46,7 @@ pub(crate) fn generate_thunks(
|
|||||||
.cloned();
|
.cloned();
|
||||||
|
|
||||||
// Replacement map is at least export section size.
|
// Replacement map is at least export section size.
|
||||||
let mut replacement_map: HashMap<u32, Thunk> = HashMap::new();
|
let mut replacement_map: Map<u32, Thunk> = Map::new();
|
||||||
|
|
||||||
for func_idx in exported_func_indicies.chain(table_func_indicies) {
|
for func_idx in exported_func_indicies.chain(table_func_indicies) {
|
||||||
let callee_stack_cost = ctx.stack_cost(func_idx).ok_or_else(|| {
|
let callee_stack_cost = ctx.stack_cost(func_idx).ok_or_else(|| {
|
||||||
|
@ -1,7 +1,12 @@
|
|||||||
use parity_wasm::elements;
|
#[cfg(features = "std")]
|
||||||
use std::collections::HashSet;
|
use std::collections::{HashSet as Set};
|
||||||
|
#[cfg(not(features = "std"))]
|
||||||
|
use std::collections::{BTreeSet as Set};
|
||||||
|
use std::vec::Vec;
|
||||||
|
|
||||||
#[derive(PartialEq, Eq, Hash, Copy, Clone, Debug)]
|
use parity_wasm::elements;
|
||||||
|
|
||||||
|
#[derive(PartialEq, Eq, PartialOrd, Ord, Hash, Copy, Clone, Debug)]
|
||||||
pub enum Symbol {
|
pub enum Symbol {
|
||||||
Type(usize),
|
Type(usize),
|
||||||
Import(usize),
|
Import(usize),
|
||||||
@ -63,19 +68,19 @@ pub fn push_code_symbols(module: &elements::Module, opcodes: &[elements::Opcode]
|
|||||||
dest.push(resolve_global(module, idx))
|
dest.push(resolve_global(module, idx))
|
||||||
},
|
},
|
||||||
_ => { },
|
_ => { },
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
pub fn expand_symbols(module: &elements::Module, set: &mut HashSet<Symbol>) {
|
pub fn expand_symbols(module: &elements::Module, set: &mut Set<Symbol>) {
|
||||||
use self::Symbol::*;
|
use self::Symbol::*;
|
||||||
|
|
||||||
// symbols that were already processed
|
// symbols that were already processed
|
||||||
let mut stop: HashSet<Symbol> = HashSet::new();
|
let mut stop: Set<Symbol> = Set::new();
|
||||||
let mut fringe = set.iter().cloned().collect::<Vec<Symbol>>();
|
let mut fringe = set.iter().cloned().collect::<Vec<Symbol>>();
|
||||||
loop {
|
loop {
|
||||||
let next = match fringe.pop() {
|
let next = match fringe.pop() {
|
||||||
Some(s) if stop.contains(&s) => { continue; }
|
Some(s) if stop.contains(&s) => { continue; }
|
||||||
Some(s) => s,
|
Some(s) => s,
|
||||||
_ => { break; }
|
_ => { break; }
|
||||||
};
|
};
|
||||||
@ -86,7 +91,7 @@ pub fn expand_symbols(module: &elements::Module, set: &mut HashSet<Symbol>) {
|
|||||||
let entry = &module.export_section().expect("Export section to exist").entries()[idx];
|
let entry = &module.export_section().expect("Export section to exist").entries()[idx];
|
||||||
match entry.internal() {
|
match entry.internal() {
|
||||||
&elements::Internal::Function(func_idx) => {
|
&elements::Internal::Function(func_idx) => {
|
||||||
let symbol = resolve_function(module, func_idx);
|
let symbol = resolve_function(module, func_idx);
|
||||||
if !stop.contains(&symbol) {
|
if !stop.contains(&symbol) {
|
||||||
fringe.push(symbol);
|
fringe.push(symbol);
|
||||||
}
|
}
|
||||||
@ -97,7 +102,7 @@ pub fn expand_symbols(module: &elements::Module, set: &mut HashSet<Symbol>) {
|
|||||||
if !stop.contains(&symbol) {
|
if !stop.contains(&symbol) {
|
||||||
fringe.push(symbol);
|
fringe.push(symbol);
|
||||||
}
|
}
|
||||||
set.insert(symbol);
|
set.insert(symbol);
|
||||||
},
|
},
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
@ -110,9 +115,9 @@ pub fn expand_symbols(module: &elements::Module, set: &mut HashSet<Symbol>) {
|
|||||||
if !stop.contains(&type_symbol) {
|
if !stop.contains(&type_symbol) {
|
||||||
fringe.push(type_symbol);
|
fringe.push(type_symbol);
|
||||||
}
|
}
|
||||||
set.insert(type_symbol);
|
set.insert(type_symbol);
|
||||||
},
|
},
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
Function(idx) => {
|
Function(idx) => {
|
||||||
@ -142,11 +147,11 @@ pub fn expand_symbols(module: &elements::Module, set: &mut HashSet<Symbol>) {
|
|||||||
fringe.push(symbol);
|
fringe.push(symbol);
|
||||||
}
|
}
|
||||||
set.insert(symbol);
|
set.insert(symbol);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
_ => {}
|
_ => {}
|
||||||
}
|
}
|
||||||
|
|
||||||
stop.insert(next);
|
stop.insert(next);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user