From 50d0aa939c4998b1851b8125ac2d2cbfd612ce9d Mon Sep 17 00:00:00 2001
From: Austin Wise <AustinWise@gmail.com>
Date: Fri, 13 Dec 2019 18:50:57 -0800
Subject: [PATCH] Add tests calling function imports.

---
 .../dotnet/tests/FunctionThunkingTests.cs     |  71 ++++++++++++++++++
 .../tests/Modules/FunctionThunking.wasm       | Bin 0 -> 126 bytes
 .../dotnet/tests/Modules/FunctionThunking.wat |  20 +++++
 3 files changed, 91 insertions(+)
 create mode 100644 crates/misc/dotnet/tests/FunctionThunkingTests.cs
 create mode 100644 crates/misc/dotnet/tests/Modules/FunctionThunking.wasm
 create mode 100644 crates/misc/dotnet/tests/Modules/FunctionThunking.wat

diff --git a/crates/misc/dotnet/tests/FunctionThunkingTests.cs b/crates/misc/dotnet/tests/FunctionThunkingTests.cs
new file mode 100644
index 000000000000..dc7af0bd3b14
--- /dev/null
+++ b/crates/misc/dotnet/tests/FunctionThunkingTests.cs
@@ -0,0 +1,71 @@
+using FluentAssertions;
+using System;
+using System.Linq;
+using Xunit;
+
+namespace Wasmtime.Tests
+{
+    public class FunctionThunkingFixture : ModuleFixture
+    {
+        protected override string ModuleFileName => "FunctionThunking.wasm";
+    }
+
+    public class FunctionThunkingTests : IClassFixture<FunctionThunkingFixture>
+    {
+        const string THROW_MESSAGE = "Test error messages for wasmtime dotnet bidnings unit tests.";
+
+        class MyHost : IHost
+        {
+            public Instance Instance { get; set; }
+
+            [Import("add", Module = "env")]
+            public int Add(int x, int y) => x + y;
+
+            [Import("do_throw", Module = "env")]
+            public void Throw() => throw new Exception(THROW_MESSAGE);
+        }
+
+        public FunctionThunkingTests(FunctionThunkingFixture fixture)
+        {
+            Fixture = fixture;
+        }
+
+        private FunctionThunkingFixture Fixture { get; }
+
+        [Fact]
+        public void ItBindsImportMethodsAndCallsThemCorrectly()
+        {
+            var host = new MyHost();
+            using (var instance = Fixture.Module.Instantiate(host))
+            {
+                var add_func = instance.Externs.Functions.Where(f => f.Name == "add_wrapper").Single();
+                int invoke_add(int x, int y) => (int)add_func.Invoke(new object[] { x, y });
+
+                invoke_add(40, 2).Should().Be(42);
+                invoke_add(22, 5).Should().Be(27);
+
+                //Collect garbage to make sure delegate function pointers pasted to wasmtime are rooted.
+                GC.Collect();
+                GC.WaitForPendingFinalizers();
+
+                invoke_add(1970, 50).Should().Be(2020);
+            }
+        }
+
+        [Fact]
+        public void ItPropegatesExceptionsToCallersViaTraps()
+        {
+            var host = new MyHost();
+            using (var instance = Fixture.Module.Instantiate(host))
+            {
+                var throw_func = instance.Externs.Functions.Where(f => f.Name == "do_throw_wrapper").Single();
+                Action action = () => throw_func.Invoke();
+
+                action
+                    .Should()
+                    .Throw<TrapException>()
+                    .WithMessage(THROW_MESSAGE);
+            }
+        }
+    }
+}
diff --git a/crates/misc/dotnet/tests/Modules/FunctionThunking.wasm b/crates/misc/dotnet/tests/Modules/FunctionThunking.wasm
new file mode 100644
index 0000000000000000000000000000000000000000..a8a67acb1c8d95fc18ad155eedf7c7c196cc43bb
GIT binary patch
literal 126
zcmX}ju?~YE6ouh)?xn4fq0F7!eJCY?#Dzj=Q{%*|YX{x_{K*IZNd&-NW@(LW2IM6g
z-#_&s0RQSjp1w=XE2t`<F)YAM2|h->r<iix1oi;aT74<8Lfnb2rTtSn3>fHO4IJ$b
DhqxM1

literal 0
HcmV?d00001

diff --git a/crates/misc/dotnet/tests/Modules/FunctionThunking.wat b/crates/misc/dotnet/tests/Modules/FunctionThunking.wat
new file mode 100644
index 000000000000..fb487afaa887
--- /dev/null
+++ b/crates/misc/dotnet/tests/Modules/FunctionThunking.wat
@@ -0,0 +1,20 @@
+(module
+ (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
+ (type $FUNCSIG$v (func))
+ (import "env" "add" (func $add (param i32 i32) (result i32)))
+ (import "env" "do_throw" (func $do_throw))
+ (table 0 anyfunc)
+ (memory $0 1)
+ (export "memory" (memory $0))
+ (export "add_wrapper" (func $add_wrapper))
+ (export "do_throw_wrapper" (func $do_throw_wrapper))
+ (func $add_wrapper (; 2 ;) (param $0 i32) (param $1 i32) (result i32)
+  (call $add
+   (get_local $0)
+   (get_local $1)
+  )
+ )
+ (func $do_throw_wrapper (; 3 ;)
+  (call $do_throw)
+ )
+)