mirror of
https://github.com/roc-lang/roc.git
synced 2025-09-28 14:24:45 +00:00
Get rid of duplicated eval helper file
This commit is contained in:
Brian Carroll
parent
1263e921fc
commit
57a30b8e9e
3 changed files with 5 additions and 270 deletions
|
|
@ -139,7 +139,7 @@ where
|
||||||
|
|
||||||
let is_gen_test = true;
|
let is_gen_test = true;
|
||||||
let instance =
|
let instance =
|
||||||
crate::helpers::eval_simple::helper_wasm(&arena, src, stdlib, is_gen_test, ignore_problems);
|
crate::helpers::eval::helper_wasm(&arena, src, stdlib, is_gen_test, ignore_problems);
|
||||||
|
|
||||||
let main_function = instance.exports.get_function("#UserApp_main_1").unwrap();
|
let main_function = instance.exports.get_function("#UserApp_main_1").unwrap();
|
||||||
|
|
||||||
|
|
@ -165,7 +165,7 @@ where
|
||||||
#[macro_export]
|
#[macro_export]
|
||||||
macro_rules! assert_wasm_evals_to {
|
macro_rules! assert_wasm_evals_to {
|
||||||
($src:expr, $expected:expr, $ty:ty, $transform:expr, $ignore_problems:expr) => {
|
($src:expr, $expected:expr, $ty:ty, $transform:expr, $ignore_problems:expr) => {
|
||||||
match $crate::helpers::eval_simple::assert_wasm_evals_to_help::<$ty>($src, $ignore_problems)
|
match $crate::helpers::eval::assert_wasm_evals_to_help::<$ty>($src, $ignore_problems)
|
||||||
{
|
{
|
||||||
Err(msg) => println!("{:?}", msg),
|
Err(msg) => println!("{:?}", msg),
|
||||||
Ok(actual) => {
|
Ok(actual) => {
|
||||||
|
|
@ -180,7 +180,7 @@ macro_rules! assert_wasm_evals_to {
|
||||||
$src,
|
$src,
|
||||||
$expected,
|
$expected,
|
||||||
$ty,
|
$ty,
|
||||||
$crate::helpers::eval_simple::identity,
|
$crate::helpers::eval::identity,
|
||||||
false
|
false
|
||||||
);
|
);
|
||||||
};
|
};
|
||||||
|
|
@ -193,7 +193,7 @@ macro_rules! assert_wasm_evals_to {
|
||||||
#[macro_export]
|
#[macro_export]
|
||||||
macro_rules! assert_evals_to {
|
macro_rules! assert_evals_to {
|
||||||
($src:expr, $expected:expr, $ty:ty) => {{
|
($src:expr, $expected:expr, $ty:ty) => {{
|
||||||
assert_evals_to!($src, $expected, $ty, $crate::helpers::eval_simple::identity);
|
assert_evals_to!($src, $expected, $ty, $crate::helpers::eval::identity);
|
||||||
}};
|
}};
|
||||||
($src:expr, $expected:expr, $ty:ty, $transform:expr) => {
|
($src:expr, $expected:expr, $ty:ty, $transform:expr) => {
|
||||||
// Same as above, except with an additional transformation argument.
|
// Same as above, except with an additional transformation argument.
|
||||||
|
|
@ -1,265 +0,0 @@
|
||||||
use roc_can::builtins::builtin_defs_map;
|
|
||||||
use roc_collections::all::{MutMap, MutSet};
|
|
||||||
use roc_std::{RocDec, RocList, RocOrder, RocStr};
|
|
||||||
use crate::from_wasm32_memory::FromWasm32Memory;
|
|
||||||
|
|
||||||
fn promote_expr_to_module(src: &str) -> String {
|
|
||||||
let mut buffer = String::from("app \"test\" provides [ main ] to \"./platform\"\n\nmain =\n");
|
|
||||||
|
|
||||||
for line in src.lines() {
|
|
||||||
// indent the body!
|
|
||||||
buffer.push_str(" ");
|
|
||||||
buffer.push_str(line);
|
|
||||||
buffer.push('\n');
|
|
||||||
}
|
|
||||||
|
|
||||||
buffer
|
|
||||||
}
|
|
||||||
|
|
||||||
#[allow(dead_code)]
|
|
||||||
pub fn helper_wasm<'a>(
|
|
||||||
arena: &'a bumpalo::Bump,
|
|
||||||
src: &str,
|
|
||||||
stdlib: &'a roc_builtins::std::StdLib,
|
|
||||||
_is_gen_test: bool,
|
|
||||||
_ignore_problems: bool,
|
|
||||||
) -> wasmer::Instance {
|
|
||||||
use std::path::{Path, PathBuf};
|
|
||||||
|
|
||||||
let filename = PathBuf::from("Test.roc");
|
|
||||||
let src_dir = Path::new("fake/test/path");
|
|
||||||
|
|
||||||
let module_src;
|
|
||||||
let temp;
|
|
||||||
if src.starts_with("app") {
|
|
||||||
// this is already a module
|
|
||||||
module_src = src;
|
|
||||||
} else {
|
|
||||||
// this is an expression, promote it to a module
|
|
||||||
temp = promote_expr_to_module(src);
|
|
||||||
module_src = &temp;
|
|
||||||
}
|
|
||||||
|
|
||||||
let exposed_types = MutMap::default();
|
|
||||||
let loaded = roc_load::file::load_and_monomorphize_from_str(
|
|
||||||
arena,
|
|
||||||
filename,
|
|
||||||
module_src,
|
|
||||||
stdlib,
|
|
||||||
src_dir,
|
|
||||||
exposed_types,
|
|
||||||
8,
|
|
||||||
builtin_defs_map,
|
|
||||||
);
|
|
||||||
|
|
||||||
let loaded = loaded.expect("failed to load module");
|
|
||||||
|
|
||||||
use roc_load::file::MonomorphizedModule;
|
|
||||||
let MonomorphizedModule {
|
|
||||||
procedures: top_procedures,
|
|
||||||
interns,
|
|
||||||
exposed_to_host,
|
|
||||||
..
|
|
||||||
} = loaded;
|
|
||||||
|
|
||||||
let mut procedures = MutMap::default();
|
|
||||||
|
|
||||||
for (key, proc) in top_procedures {
|
|
||||||
procedures.insert(key, proc);
|
|
||||||
}
|
|
||||||
|
|
||||||
// You can comment and uncomment this block out to get more useful information
|
|
||||||
// while you're working on the wasm backend!
|
|
||||||
// {
|
|
||||||
// println!("=========== Procedures ==========");
|
|
||||||
// println!("{:?}", procedures);
|
|
||||||
// println!("=================================\n");
|
|
||||||
|
|
||||||
// println!("=========== Interns ==========");
|
|
||||||
// println!("{:?}", interns);
|
|
||||||
// println!("=================================\n");
|
|
||||||
|
|
||||||
// println!("=========== Exposed ==========");
|
|
||||||
// println!("{:?}", exposed_to_host);
|
|
||||||
// println!("=================================\n");
|
|
||||||
// }
|
|
||||||
|
|
||||||
let exposed_to_host = exposed_to_host.keys().copied().collect::<MutSet<_>>();
|
|
||||||
|
|
||||||
let env = gen_wasm::Env {
|
|
||||||
arena,
|
|
||||||
interns,
|
|
||||||
exposed_to_host,
|
|
||||||
};
|
|
||||||
|
|
||||||
let module_bytes = gen_wasm::build_module(&env, procedures).unwrap();
|
|
||||||
|
|
||||||
// for debugging (e.g. with wasm2wat)
|
|
||||||
if true {
|
|
||||||
use std::io::Write;
|
|
||||||
let mut file =
|
|
||||||
std::fs::File::create("/home/brian/Documents/roc/compiler/gen_wasm/debug.wasm")
|
|
||||||
.unwrap();
|
|
||||||
file.write_all(&module_bytes).unwrap();
|
|
||||||
}
|
|
||||||
|
|
||||||
// now, do wasmer stuff
|
|
||||||
|
|
||||||
use wasmer::{Function, Instance, Module, Store};
|
|
||||||
|
|
||||||
let store = Store::default();
|
|
||||||
// let module = Module::from_file(&store, &test_wasm_path).unwrap();
|
|
||||||
let module = Module::from_binary(&store, &module_bytes).unwrap();
|
|
||||||
|
|
||||||
// First, we create the `WasiEnv`
|
|
||||||
use wasmer_wasi::WasiState;
|
|
||||||
let mut wasi_env = WasiState::new("hello")
|
|
||||||
// .args(&["world"])
|
|
||||||
// .env("KEY", "Value")
|
|
||||||
.finalize()
|
|
||||||
.unwrap();
|
|
||||||
|
|
||||||
// Then, we get the import object related to our WASI
|
|
||||||
// and attach it to the Wasm instance.
|
|
||||||
let mut import_object = wasi_env
|
|
||||||
.import_object(&module)
|
|
||||||
.unwrap_or_else(|_| wasmer::imports!());
|
|
||||||
|
|
||||||
{
|
|
||||||
let mut exts = wasmer::Exports::new();
|
|
||||||
|
|
||||||
let main_function = Function::new_native(&store, fake_wasm_main_function);
|
|
||||||
let ext = wasmer::Extern::Function(main_function);
|
|
||||||
exts.insert("main", ext);
|
|
||||||
|
|
||||||
let main_function = Function::new_native(&store, wasm_roc_panic);
|
|
||||||
let ext = wasmer::Extern::Function(main_function);
|
|
||||||
exts.insert("roc_panic", ext);
|
|
||||||
|
|
||||||
import_object.register("env", exts);
|
|
||||||
}
|
|
||||||
|
|
||||||
Instance::new(&module, &import_object).unwrap()
|
|
||||||
}
|
|
||||||
|
|
||||||
#[allow(dead_code)]
|
|
||||||
fn wasm_roc_panic(address: u32, tag_id: u32) {
|
|
||||||
match tag_id {
|
|
||||||
0 => {
|
|
||||||
let mut string = "";
|
|
||||||
|
|
||||||
MEMORY.with(|f| {
|
|
||||||
let memory = f.borrow().unwrap();
|
|
||||||
|
|
||||||
let ptr: wasmer::WasmPtr<u8, wasmer::Array> = wasmer::WasmPtr::new(address);
|
|
||||||
let width = 100;
|
|
||||||
let c_ptr = (ptr.deref(memory, 0, width)).unwrap();
|
|
||||||
|
|
||||||
use libc::c_char;
|
|
||||||
use std::ffi::CStr;
|
|
||||||
let slice = unsafe { CStr::from_ptr(c_ptr as *const _ as *const c_char) };
|
|
||||||
string = slice.to_str().unwrap();
|
|
||||||
});
|
|
||||||
|
|
||||||
panic!("Roc failed with message: {:?}", string)
|
|
||||||
}
|
|
||||||
_ => todo!(),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
use std::cell::RefCell;
|
|
||||||
|
|
||||||
thread_local! {
|
|
||||||
pub static MEMORY: RefCell<Option<&'static wasmer::Memory>> = RefCell::new(None);
|
|
||||||
}
|
|
||||||
|
|
||||||
#[allow(dead_code)]
|
|
||||||
fn fake_wasm_main_function(_: u32, _: u32) -> u32 {
|
|
||||||
panic!("wasm entered the main function; this should never happen!")
|
|
||||||
}
|
|
||||||
|
|
||||||
#[allow(dead_code)]
|
|
||||||
pub fn assert_wasm_evals_to_help<T>(src: &str, ignore_problems: bool) -> Result<T, String>
|
|
||||||
where
|
|
||||||
T: FromWasm32Memory,
|
|
||||||
{
|
|
||||||
let arena = bumpalo::Bump::new();
|
|
||||||
|
|
||||||
// NOTE the stdlib must be in the arena; just taking a reference will segfault
|
|
||||||
let stdlib = arena.alloc(roc_builtins::std::standard_stdlib());
|
|
||||||
|
|
||||||
let is_gen_test = true;
|
|
||||||
let instance =
|
|
||||||
crate::helpers::eval_full::helper_wasm(&arena, src, stdlib, is_gen_test, ignore_problems);
|
|
||||||
|
|
||||||
let memory = instance.exports.get_memory("memory").unwrap();
|
|
||||||
|
|
||||||
crate::helpers::eval_full::MEMORY.with(|f| {
|
|
||||||
*f.borrow_mut() = Some(unsafe { std::mem::transmute(memory) });
|
|
||||||
});
|
|
||||||
|
|
||||||
let test_wrapper = instance.exports.get_function("test_wrapper").unwrap();
|
|
||||||
|
|
||||||
match test_wrapper.call(&[]) {
|
|
||||||
Err(e) => Err(format!("{:?}", e)),
|
|
||||||
Ok(result) => {
|
|
||||||
let address = match result[0] {
|
|
||||||
wasmer::Value::I32(a) => a,
|
|
||||||
_ => panic!(),
|
|
||||||
};
|
|
||||||
|
|
||||||
let output = <T as FromWasmMemory>::decode(
|
|
||||||
memory,
|
|
||||||
// skip the RocCallResult tag id
|
|
||||||
address as u32 + 8,
|
|
||||||
);
|
|
||||||
|
|
||||||
Ok(output)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[macro_export]
|
|
||||||
macro_rules! assert_wasm_evals_to {
|
|
||||||
($src:expr, $expected:expr, $ty:ty, $transform:expr, $ignore_problems:expr) => {
|
|
||||||
match $crate::helpers::eval_full::assert_wasm_evals_to_help::<$ty>($src, $ignore_problems) {
|
|
||||||
Err(msg) => println!("{:?}", msg),
|
|
||||||
Ok(actual) => {
|
|
||||||
#[allow(clippy::bool_assert_comparison)]
|
|
||||||
assert_eq!($transform(actual), $expected)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
($src:expr, $expected:expr, $ty:ty) => {
|
|
||||||
$crate::assert_wasm_evals_to!(
|
|
||||||
$src,
|
|
||||||
$expected,
|
|
||||||
$ty,
|
|
||||||
$crate::helpers::eval_full::identity,
|
|
||||||
false
|
|
||||||
);
|
|
||||||
};
|
|
||||||
|
|
||||||
($src:expr, $expected:expr, $ty:ty, $transform:expr) => {
|
|
||||||
$crate::assert_wasm_evals_to!($src, $expected, $ty, $transform, false);
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
#[macro_export]
|
|
||||||
macro_rules! assert_evals_to {
|
|
||||||
($src:expr, $expected:expr, $ty:ty) => {{
|
|
||||||
assert_evals_to!($src, $expected, $ty, $crate::helpers::eval_full::identity);
|
|
||||||
}};
|
|
||||||
($src:expr, $expected:expr, $ty:ty, $transform:expr) => {
|
|
||||||
// Same as above, except with an additional transformation argument.
|
|
||||||
{
|
|
||||||
$crate::assert_wasm_evals_to!($src, $expected, $ty, $transform, false);
|
|
||||||
}
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
||||||
#[allow(dead_code)]
|
|
||||||
pub fn identity<T>(value: T) -> T {
|
|
||||||
value
|
|
||||||
}
|
|
||||||
|
|
@ -1,7 +1,7 @@
|
||||||
extern crate bumpalo;
|
extern crate bumpalo;
|
||||||
|
|
||||||
#[macro_use]
|
#[macro_use]
|
||||||
pub mod eval_simple;
|
pub mod eval;
|
||||||
|
|
||||||
/// Used in the with_larger_debug_stack() function, for tests that otherwise
|
/// Used in the with_larger_debug_stack() function, for tests that otherwise
|
||||||
/// run out of stack space in debug builds (but don't in --release builds)
|
/// run out of stack space in debug builds (but don't in --release builds)
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue