use wasmer_runtime_core::{
    compile_with, error::RuntimeError, imports, memory::Memory, typed_func::Func,
    types::MemoryDescriptor, units::Pages, vm,
};
use wasmer_runtime_core_tests::{get_compiler, wat2wasm};

#[test]
fn imported_functions_forms() {
    const MODULE: &str = r#"
(module
  (type $type (func (param i32) (result i32)))
  (import "env" "memory" (memory 1 1))
  (import "env" "callback_fn" (func $callback_fn (type $type)))
  (import "env" "callback_closure" (func $callback_closure (type $type)))
  (import "env" "callback_closure_with_env" (func $callback_closure_with_env (type $type)))
  (import "env" "callback_fn_with_vmctx" (func $callback_fn_with_vmctx (type $type)))
  (import "env" "callback_closure_with_vmctx" (func $callback_closure_with_vmctx (type $type)))
  (import "env" "callback_fn_trap" (func $callback_fn_trap (type $type)))
  (import "env" "callback_closure_trap" (func $callback_closure_trap (type $type)))
  (import "env" "callback_fn_trap_with_vmctx" (func $callback_fn_trap_with_vmctx (type $type)))
  (import "env" "callback_closure_trap_with_vmctx" (func $callback_closure_trap_with_vmctx (type $type)))

  (func (export "function_fn") (type $type)
    get_local 0
    call $callback_fn)

  (func (export "function_closure") (type $type)
    get_local 0
    call $callback_closure)

  (func (export "function_closure_with_env") (type $type)
    get_local 0
    call $callback_closure_with_env)

  (func (export "function_fn_with_vmctx") (type $type)
    get_local 0
    call $callback_fn_with_vmctx)

  (func (export "function_closure_with_vmctx") (type $type)
    get_local 0
    call $callback_closure_with_vmctx)

  (func (export "function_fn_trap") (type $type)
    get_local 0
    call $callback_fn_trap)

  (func (export "function_closure_trap") (type $type)
    get_local 0
    call $callback_closure_trap)

  (func (export "function_fn_trap_with_vmctx") (type $type)
    get_local 0
    call $callback_fn_trap_with_vmctx)

  (func (export "function_closure_trap_with_vmctx") (type $type)
    get_local 0
    call $callback_closure_trap_with_vmctx))
"#;

    let wasm_binary = wat2wasm(MODULE.as_bytes()).expect("WAST not valid or malformed");
    let module = compile_with(&wasm_binary, &get_compiler()).unwrap();
    let memory_descriptor = MemoryDescriptor::new(Pages(1), Some(Pages(1)), false).unwrap();
    let memory = Memory::new(memory_descriptor).unwrap();

    const SHIFT: i32 = 10;
    memory.view()[0].set(SHIFT);
    let shift = 100;

    let import_object = imports! {
        "env" => {
            "memory" => memory.clone(),
            "callback_fn" => Func::new(callback_fn),
            "callback_closure" => Func::new(|n: i32| -> Result<i32, ()> {
                Ok(n + 1)
            }),
            "callback_closure_with_env" => Func::new(move |n: i32| -> Result<i32, ()> {
                Ok(shift + n + 1)
            }),
            "callback_fn_with_vmctx" => Func::new(callback_fn_with_vmctx),
            "callback_closure_with_vmctx" => Func::new(|vmctx: &mut vm::Ctx, n: i32| -> Result<i32, ()> {
                let memory = vmctx.memory(0);
                let shift: i32 = memory.view()[0].get();

                Ok(shift + n + 1)
            }),
            "callback_fn_trap" => Func::new(callback_fn_trap),
            "callback_closure_trap" => Func::new(|n: i32| -> Result<i32, String> {
                Err(format!("bar {}", n + 1))
            }),
            "callback_fn_trap_with_vmctx" => Func::new(callback_fn_trap_with_vmctx),
            "callback_closure_trap_with_vmctx" => Func::new(|vmctx: &mut vm::Ctx, n: i32| -> Result<i32, String> {
                let memory = vmctx.memory(0);
                let shift: i32 = memory.view()[0].get();

                Err(format!("qux {}", shift + n + 1))
            }),
        },
    };
    let instance = module.instantiate(&import_object).unwrap();

    macro_rules! call_and_assert {
        ($function:ident, $expected_value:expr) => {
            let $function: Func<i32, i32> = instance.func(stringify!($function)).unwrap();

            let result = $function.call(1);

            match (result, $expected_value) {
                (Ok(value), expected_value) => assert_eq!(
                    Ok(value),
                    expected_value,
                    concat!("Expected right when calling `", stringify!($function), "`.")
                ),
                (
                    Err(RuntimeError::Error { data }),
                    Err(RuntimeError::Error {
                        data: expected_data,
                    }),
                ) => {
                    if let (Some(data), Some(expected_data)) = (
                        data.downcast_ref::<&str>(),
                        expected_data.downcast_ref::<&str>(),
                    ) {
                        assert_eq!(
                            data, expected_data,
                            concat!("Expected right when calling `", stringify!($function), "`.")
                        )
                    } else if let (Some(data), Some(expected_data)) = (
                        data.downcast_ref::<String>(),
                        expected_data.downcast_ref::<String>(),
                    ) {
                        assert_eq!(
                            data, expected_data,
                            concat!("Expected right when calling `", stringify!($function), "`.")
                        )
                    } else {
                        assert!(false, "Unexpected error, cannot compare it.")
                    }
                }
                (result, expected_value) => assert!(
                    false,
                    format!(
                        "Unexpected assertion for `{}`: left = `{:?}`, right = `{:?}`.",
                        stringify!($function),
                        result,
                        expected_value
                    )
                ),
            }
        };
    }

    call_and_assert!(function_fn, Ok(2));
    call_and_assert!(function_closure, Ok(2));
    call_and_assert!(function_closure_with_env, Ok(2 + shift));
    call_and_assert!(function_fn_with_vmctx, Ok(2 + SHIFT));
    call_and_assert!(function_closure_with_vmctx, Ok(2 + SHIFT));
    call_and_assert!(
        function_fn_trap,
        Err(RuntimeError::Error {
            data: Box::new(format!("foo {}", 2))
        })
    );
    call_and_assert!(
        function_closure_trap,
        Err(RuntimeError::Error {
            data: Box::new(format!("bar {}", 2))
        })
    );
    call_and_assert!(
        function_fn_trap_with_vmctx,
        Err(RuntimeError::Error {
            data: Box::new(format!("baz {}", 2 + SHIFT))
        })
    );
    call_and_assert!(
        function_closure_trap_with_vmctx,
        Err(RuntimeError::Error {
            data: Box::new(format!("qux {}", 2 + SHIFT))
        })
    );
}

fn callback_fn(n: i32) -> Result<i32, ()> {
    Ok(n + 1)
}

fn callback_fn_with_vmctx(vmctx: &mut vm::Ctx, n: i32) -> Result<i32, ()> {
    let memory = vmctx.memory(0);
    let shift: i32 = memory.view()[0].get();

    Ok(shift + n + 1)
}

fn callback_fn_trap(n: i32) -> Result<i32, String> {
    Err(format!("foo {}", n + 1))
}

fn callback_fn_trap_with_vmctx(vmctx: &mut vm::Ctx, n: i32) -> Result<i32, String> {
    let memory = vmctx.memory(0);
    let shift: i32 = memory.view()[0].get();

    Err(format!("baz {}", shift + n + 1))
}