wasm3: validate function type

Author: axic

test/utils/wasm3_engine.cpp

@@ -38,6 +38,33 @@ class Wasm3Engine final : public WasmEngine
 
 namespace
 {
+M3ValueType translate_valtype(char input)
+{
+    if (input == 'i')
+        return M3ValueType::c_m3Type_i32;
+    else if (input == 'I')
+        return M3ValueType::c_m3Type_i64;
+    else
+        throw std::runtime_error{"invalid type"};
+}
+
+std::pair<std::vector<M3ValueType>, std::vector<M3ValueType>> translate_signature(
+    std::string_view signature)
+{
+    const auto delimiter_pos = signature.find(':');
+    assert(delimiter_pos != std::string_view::npos);
+    const auto inputs = signature.substr(0, delimiter_pos);
+    const auto outputs = signature.substr(delimiter_pos + 1);
+
+    std::vector<M3ValueType> input_types;
+    std::vector<M3ValueType> output_types;
+    std::transform(
+        std::begin(inputs), std::end(inputs), std::back_inserter(input_types), translate_valtype);
+    std::transform(std::begin(outputs), std::end(outputs), std::back_inserter(output_types),
+        translate_valtype);
+    return {std::move(input_types), std::move(output_types)};
+}
+
 const void* env_adler32(
     IM3Runtime /*runtime*/, IM3ImportContext /*context*/, uint64_t* stack, void* mem)
 {
@@ -115,14 +142,29 @@ fizzy::bytes_view Wasm3Engine::get_memory() const
 }
 
 std::optional<WasmEngine::FuncRef> Wasm3Engine::find_function(
-    std::string_view name, std::string_view) const
+    std::string_view name, std::string_view signature) const
 {
     IM3Function function;
-    if (m3_FindFunction(&function, m_runtime, name.data()) == m3Err_none)
-        // TODO: validate input/output types
-        // (m3_GetArgCount/m3_GetArgType/m3_GetRetCount/m3_GetRetType)
-        return reinterpret_cast<WasmEngine::FuncRef>(function);
-    return std::nullopt;
+    if (m3_FindFunction(&function, m_runtime, name.data()) != m3Err_none)
+        return std::nullopt;
+
+    std::vector<M3ValueType> inputs;
+    std::vector<M3ValueType> outputs;
+    std::tie(inputs, outputs) = translate_signature(signature);
+
+    if (inputs.size() != m3_GetArgCount(function))
+        return std::nullopt;
+    for (unsigned i = 0; i < m3_GetArgCount(function); i++)
+        if (inputs[i] != m3_GetArgType(function, i))
+            return std::nullopt;
+
+    if (outputs.size() != m3_GetRetCount(function))
+        return std::nullopt;
+    for (unsigned i = 0; i < m3_GetRetCount(function); i++)
+        if (outputs[i] != m3_GetRetType(function, i))
+            return std::nullopt;
+
+    return reinterpret_cast<WasmEngine::FuncRef>(function);
 }
 
 WasmEngine::Result Wasm3Engine::execute(
@@ -137,7 +179,7 @@ WasmEngine::Result Wasm3Engine::execute(
 
     // This ensures input count/type matches. For the return value we assume find_function did the
     // validation.
-    if (m3_Call(function, static_cast<uint32_t>(args.size()), argPtrs.data()) == m3Err_none)
+    if (m3_Call(function, static_cast<uint32_t>(argPtrs.size()), argPtrs.data()) == m3Err_none)
     {
         if (m3_GetRetCount(function) == 0)
             return {false, std::nullopt};