2017-11-22 01:24:15 +03:00
|
|
|
use parity_wasm::elements::{self, Section, Opcode, DataSegment, InitExpr, Internal};
|
|
|
|
use parity_wasm::builder;
|
2017-10-27 18:32:33 +03:00
|
|
|
use super::{CREATE_SYMBOL, CALL_SYMBOL};
|
2017-10-26 15:49:55 +03:00
|
|
|
|
2017-11-22 01:40:58 +03:00
|
|
|
/// Pack error.
|
|
|
|
///
|
|
|
|
/// Pack has number of assumptions of passed module structure.
|
|
|
|
/// When they are violated, pack_instance returns one of these.
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub enum Error {
|
|
|
|
MalformedModule,
|
|
|
|
NoTypeSection,
|
|
|
|
NoExportSection,
|
|
|
|
NoCodeSection,
|
|
|
|
InvalidCreateSignature,
|
|
|
|
NoCreateSymbol,
|
|
|
|
InvalidCreateMember,
|
|
|
|
}
|
|
|
|
|
2017-10-26 15:49:55 +03:00
|
|
|
/// If module has an exported "_create" function we want to pack it into "constructor".
|
|
|
|
/// `raw_module` is the actual contract code
|
|
|
|
/// `ctor_module` is the constructor which should return `raw_module`
|
2017-11-22 01:40:58 +03:00
|
|
|
pub fn pack_instance(raw_module: Vec<u8>, mut ctor_module: elements::Module) -> Result<elements::Module, Error> {
|
2017-11-22 01:24:15 +03:00
|
|
|
|
|
|
|
// Total number of constructor module import functions
|
|
|
|
let ctor_import_functions = ctor_module.import_section().map(|x| x.functions()).unwrap_or(0);
|
2017-06-09 18:33:05 +03:00
|
|
|
|
2017-10-26 15:49:55 +03:00
|
|
|
// We need to find an internal ID of function witch is exported as "_create"
|
|
|
|
// in order to find it in the Code section of the module
|
2017-10-25 20:36:05 +03:00
|
|
|
let create_func_id = {
|
2017-11-22 01:40:58 +03:00
|
|
|
let found_entry = ctor_module.export_section().ok_or(Error::NoExportSection)?.entries().iter()
|
|
|
|
.find(|entry| CREATE_SYMBOL == entry.field()).ok_or(Error::NoCreateSymbol)?;
|
2017-10-25 20:36:05 +03:00
|
|
|
|
|
|
|
let function_index: usize = match found_entry.internal() {
|
|
|
|
&Internal::Function(index) => index as usize,
|
2017-11-22 01:40:58 +03:00
|
|
|
_ => { return Err(Error::InvalidCreateMember) },
|
|
|
|
};
|
|
|
|
|
2017-11-22 16:08:13 +03:00
|
|
|
// Calculates a function index within module's function section
|
|
|
|
let function_internal_index = function_index - ctor_import_functions;
|
|
|
|
|
2017-11-22 01:40:58 +03:00
|
|
|
// Constructor should be of signature `func(i32)` (void), fail otherwise
|
|
|
|
let type_id = ctor_module.function_section().ok_or(Error::NoCodeSection)?
|
2017-11-22 16:08:13 +03:00
|
|
|
.entries().get(function_index - ctor_import_functions).ok_or(Error::MalformedModule)?
|
2017-11-22 01:40:58 +03:00
|
|
|
.type_ref();
|
|
|
|
|
2017-11-22 13:13:53 +03:00
|
|
|
let &elements::Type::Function(ref func) = ctor_module.type_section().ok_or(Error::NoTypeSection)?
|
|
|
|
.types().get(type_id as usize).ok_or(Error::MalformedModule)?;
|
|
|
|
|
2017-11-22 13:15:56 +03:00
|
|
|
if func.params() != &[elements::ValueType::I32] {
|
2017-11-22 13:13:53 +03:00
|
|
|
return Err(Error::InvalidCreateSignature);
|
|
|
|
}
|
|
|
|
if func.return_type().is_some() {
|
|
|
|
return Err(Error::InvalidCreateSignature);
|
|
|
|
}
|
2017-10-25 20:36:05 +03:00
|
|
|
|
2017-11-22 16:08:13 +03:00
|
|
|
function_internal_index
|
2017-10-25 20:36:05 +03:00
|
|
|
};
|
|
|
|
|
2017-11-22 01:24:15 +03:00
|
|
|
// If new function is put in ctor module, it will have this callable index
|
|
|
|
let last_function_index = ctor_module.function_section().map(|x| x.entries().len()).unwrap_or(0)
|
|
|
|
+ ctor_import_functions;
|
|
|
|
|
2017-10-26 15:49:55 +03:00
|
|
|
// Code data address is an address where we put the contract's code (raw_module)
|
2017-10-25 20:36:05 +03:00
|
|
|
let mut code_data_address = 0i32;
|
2017-10-27 18:32:33 +03:00
|
|
|
|
2017-10-25 20:36:05 +03:00
|
|
|
for section in ctor_module.sections_mut() {
|
|
|
|
match section {
|
2017-10-27 18:32:33 +03:00
|
|
|
// TODO: add data section is there no one
|
2017-10-25 20:36:05 +03:00
|
|
|
&mut Section::Data(ref mut data_section) => {
|
|
|
|
let (index, offset) = if let Some(ref entry) = data_section.entries().iter().last() {
|
|
|
|
if let Opcode::I32Const(offst) = entry.offset().code()[0] {
|
|
|
|
let len = entry.value().len() as i32;
|
|
|
|
let offst = offst as i32;
|
2017-10-26 19:24:40 +03:00
|
|
|
(entry.index(), offst + (len + 4) - len % 4)
|
2017-10-25 20:36:05 +03:00
|
|
|
} else {
|
|
|
|
(0, 0)
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
(0, 0)
|
|
|
|
};
|
2017-10-26 15:49:55 +03:00
|
|
|
let code_data = DataSegment::new(
|
|
|
|
index,
|
2017-10-30 18:35:20 +03:00
|
|
|
InitExpr::new(vec![Opcode::I32Const(offset), Opcode::End]),
|
2017-10-26 15:49:55 +03:00
|
|
|
raw_module.clone()
|
|
|
|
);
|
2017-10-25 20:36:05 +03:00
|
|
|
data_section.entries_mut().push(code_data);
|
|
|
|
code_data_address = offset;
|
|
|
|
},
|
|
|
|
_ => {;}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-11-22 01:24:15 +03:00
|
|
|
let mut new_module = builder::from_module(ctor_module)
|
|
|
|
.function()
|
|
|
|
.signature().param().i32().build()
|
|
|
|
.body().with_opcodes(elements::Opcodes::new(
|
|
|
|
vec![
|
|
|
|
Opcode::GetLocal(0),
|
2017-11-22 16:45:25 +03:00
|
|
|
Opcode::Call((create_func_id + ctor_import_functions) as u32),
|
2017-11-22 01:24:15 +03:00
|
|
|
Opcode::GetLocal(0),
|
|
|
|
Opcode::I32Const(code_data_address),
|
|
|
|
Opcode::I32Store(0, 8),
|
|
|
|
Opcode::GetLocal(0),
|
|
|
|
Opcode::I32Const(raw_module.len() as i32),
|
|
|
|
Opcode::I32Store(0, 12),
|
|
|
|
Opcode::End,
|
|
|
|
])).build()
|
|
|
|
.build()
|
|
|
|
.build();
|
|
|
|
|
|
|
|
for section in new_module.sections_mut() {
|
2017-10-25 20:36:05 +03:00
|
|
|
match section {
|
|
|
|
&mut Section::Export(ref mut export_section) => {
|
|
|
|
for entry in export_section.entries_mut().iter_mut() {
|
2017-10-26 15:49:55 +03:00
|
|
|
if CREATE_SYMBOL == entry.field() {
|
2017-10-25 20:36:05 +03:00
|
|
|
// change _create export name into default _call
|
2017-10-26 15:49:55 +03:00
|
|
|
*entry.field_mut() = CALL_SYMBOL.to_owned();
|
2017-11-22 01:24:15 +03:00
|
|
|
*entry.internal_mut() = elements::Internal::Function(last_function_index as u32);
|
2017-10-25 20:36:05 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
2017-11-22 01:24:15 +03:00
|
|
|
_ => { },
|
2017-10-25 20:36:05 +03:00
|
|
|
}
|
|
|
|
};
|
2017-11-22 01:24:15 +03:00
|
|
|
|
2017-11-22 01:40:58 +03:00
|
|
|
Ok(new_module)
|
2017-10-25 20:36:05 +03:00
|
|
|
}
|