Skip to content

Type-safe Embind port, compatible with the current API #7553

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 32 commits into
base: main
Choose a base branch
from
Draft

Type-safe Embind port, compatible with the current API #7553

Changes from 1 commit
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
9cd6c7d
Initial commit: update CMakeLists and add some basic embind functiona…
GulgDev Apr 25, 2025
a8f3995
Extend embind functionality
GulgDev Apr 25, 2025
515e6a1
Add automatic expression generation and move away from C API
GulgDev Apr 25, 2025
f23396f
Switch to direct bindings
GulgDev Apr 26, 2025
38354b1
Transform expression factories into inline structs
GulgDev Apr 26, 2025
4216539
Merge branch 'main' of https://github.com/WebAssembly/binaryen into c…
GulgDev Apr 26, 2025
f87350c
Switch to C++ API
GulgDev Apr 26, 2025
9da6d8b
Extend API
GulgDev Apr 27, 2025
89e7f4f
Clean up
GulgDev Apr 27, 2025
8440c8f
Add more pass functions
GulgDev Apr 27, 2025
91cf1ee
Fix bugs
GulgDev Apr 27, 2025
d1b425b
Fix memory corruption
GulgDev Apr 27, 2025
5fde9ba
Fix the `Maximum call stack size exceeded` bug!
GulgDev Apr 29, 2025
b81cd4b
Extend expression wrapper field support
GulgDev Apr 29, 2025
2341097
Make expression building functions return specific classes
GulgDev Apr 29, 2025
6ff26de
Fix field bindings
GulgDev Apr 30, 2025
cb2bf97
Fix
GulgDev Apr 30, 2025
0fb5df7
Add boolean fields & do some fixes
GulgDev Apr 30, 2025
2fd493e
Add expression info & fix UB
GulgDev Apr 30, 2025
fd1d914
Refactor
GulgDev May 1, 2025
df7edea
Add vector field type
GulgDev May 1, 2025
c9eb24b
Add vector type to expression info
GulgDev May 1, 2025
2e1fff2
Extend instruction set
GulgDev May 1, 2025
c1f9fd0
Add missing instructions
GulgDev May 1, 2025
db647e2
Update instructions
GulgDev May 1, 2025
f865de4
Fix const
GulgDev May 1, 2025
64ee7d4
Fix bugs & update tests
GulgDev May 1, 2025
7a35cd1
Add general instructions
GulgDev May 1, 2025
9555a78
Add name list field & fix vector set
GulgDev May 1, 2025
478a4f5
Add CallIndirect
GulgDev May 1, 2025
a3ef118
Fix `createType`
GulgDev May 1, 2025
ed6d36b
Add `isTee`
GulgDev May 1, 2025
File filter

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Refactor
  • Loading branch information
@GulgDev
GulgDev committed May 1, 2025
commit fd1d914b392c7f4597df59293e7770fb4d09980c
258 changes: 173 additions & 85 deletions src/binaryen-embind.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
#include <mutex>

using namespace emscripten;
using namespace std::string_literals;

namespace binaryen {
static wasm::PassOptions passOptions =
Expand Down Expand Up @@ -275,55 +276,152 @@ static std::string capitalize(std::string str, int i) {
static std::string normalize(std::string str) {
if (str.back() == '_')
str.pop_back();
return str;
}

static std::string unboolenize(std::string str) {
if (str.substr(0, 2) == "is")
str = uncapitalize(str, 2).substr(2);
return str;
}

#define GETTER(field) capitalize("get" field, 3)
#define SETTER(field) capitalize("set" field, 3)
/*static std::string unpluralize(std::string str) {
if (str.back() == 's') {
str.pop_back();
if (str == "children")
str = str.substr(0, 5);
else if (str.substr(str.size() - 2, 2) == "ie")
str = str.substr(0, str.size() - 2) + "y";
}
return str;
}*/

#define GETTER_NAME(field) capitalize("get"s + field, 3)
#define BOOL_GETTER_NAME(field) capitalize("is"s + field, 2)
#define SETTER_NAME(field) capitalize("set"s + field, 3)

#define ACCESSOR(target, name, accessor, ...) \
target.class_function(name, +accessor, ##__VA_ARGS__) \
.function(name, +accessor, ##__VA_ARGS__);

#define FIELD_GS(target, field, name, getterName, setterName, id, type, ...) \
auto getter = [](const wasm::id& expr) { return expr.field; }; \
auto setter = [](wasm::id& expr, type value) { expr.field = value; }; \
target.class_function(getterName.c_str(), +getter, ##__VA_ARGS__) \
.class_function(setterName.c_str(), +setter, ##__VA_ARGS__) \
.function(getterName.c_str(), +getter, ##__VA_ARGS__) \
.function(setterName.c_str(), +setter, ##__VA_ARGS__) \
.property(name, &wasm::id::field, ##__VA_ARGS__);
#define FIELD_G(target, id, field, name, getterName, type, cppToJs, ...) \
{ \
auto getter = [](const wasm::id& expr) { return cppToJs(expr.field); }; \
ACCESSOR(target, getterName, getter, ##__VA_ARGS__); \
target.property(name, +getter, ##__VA_ARGS__); \
}

#define FIELD_BOOL(target, field, name, id, ...) \
#define FIELD_CONST(target, id, field, name, type, cppToJs, ...) \
{ \
std::string propName = normalize(#name); \
std::string getterName = capitalize("is" + propName, 2); \
std::string setterName = capitalize("set" + propName, 3); \
std::string propName = normalize(name); \
std::string getterName = GETTER_NAME(propName); \
FIELD_G(target, \
id, \
field, \
propName.c_str(), \
getterName.c_str(), \
type, \
jsToCpp, \
##__VA_ARGS__); \
}

#define FIELD_GS(target, \
id, \
field, \
name, \
getterName, \
setterName, \
type, \
jsToCpp, \
cppToJs, \
...) \
{ \
auto getter = [](const wasm::id& expr) { \
return (type)(cppToJs(expr.field)); \
}; \
auto setter = [](wasm::id& expr, type value) { \
expr.field = jsToCpp(value); \
}; \
ACCESSOR(target, getterName, getter, ##__VA_ARGS__); \
ACCESSOR(target, setterName, setter, ##__VA_ARGS__); \
target.property(name, +getter, +setter, ##__VA_ARGS__); \
}

#define FIELD(target, id, field, name, type, jsToCpp, cppToJs, ...) \
{ \
std::string propName = normalize(name); \
std::string getterName = GETTER_NAME(propName); \
std::string setterName = SETTER_NAME(propName); \
FIELD_GS(target, \
id, \
field, \
propName.c_str(), \
getterName, \
setterName, \
id, \
bool, \
##__VA_ARGS__) \
getterName.c_str(), \
setterName.c_str(), \
type, \
jsToCpp, \
cppToJs, \
##__VA_ARGS__); \
}

#define FIELD_PROP_G(target, id, field, name, getterName, type, ...) \
{ \
auto getter = [](const wasm::id& expr) { return expr.field; }; \
ACCESSOR(target, getterName, getter, ##__VA_ARGS__); \
target.property(name, &wasm::id::field, ##__VA_ARGS__); \
}

#define FIELD(target, field, name, id, type, ...) \
#define FIELD_PROP_CONST(target, id, field, name, type, ...) \
{ \
std::string getterName = GETTER(#name); \
std::string setterName = SETTER(#name); \
FIELD_GS( \
target, field, #name, getterName, setterName, id, type, ##__VA_ARGS__) \
std::string propName = normalize(name); \
std::string getterName = GETTER_NAME(propName); \
FIELD_PROP_G(target, \
id, \
field, \
propName.c_str(), \
getterName.c_str(), \
type, \
##__VA_ARGS__); \
}

#define FIELD_DYN(target, field, name, getter, setter, ...) \
#define FIELD_PROP_GS( \
target, id, field, name, getterName, setterName, type, ...) \
{ \
std::string getterName = GETTER(#name); \
std::string setterName = SETTER(#name); \
target.class_function(getterName.c_str(), +getter, ##__VA_ARGS__) \
.class_function(setterName.c_str(), +setter, ##__VA_ARGS__) \
.function(getterName.c_str(), +getter, ##__VA_ARGS__) \
.function(setterName.c_str(), +setter, ##__VA_ARGS__) \
.property(#name, +getter, +setter, ##__VA_ARGS__); \
auto getter = [](const wasm::id& expr) { return (type)(expr.field); }; \
auto setter = [](wasm::id& expr, type value) { expr.field = value; }; \
ACCESSOR(target, getterName, getter, ##__VA_ARGS__); \
ACCESSOR(target, setterName, setter, ##__VA_ARGS__); \
target.property(name, &wasm::id::field, ##__VA_ARGS__); \
}

#define FIELD_PROP(target, id, field, name, type, ...) \
{ \
std::string propName = normalize(name); \
std::string getterName = GETTER_NAME(propName); \
std::string setterName = SETTER_NAME(propName); \
FIELD_PROP_GS(target, \
id, \
field, \
propName.c_str(), \
getterName.c_str(), \
setterName.c_str(), \
type, \
##__VA_ARGS__); \
}

#define FIELD_PROP_BOOL(target, id, field, name, ...) \
{ \
std::string propName = unboolenize(normalize(name)); \
std::string getterName = BOOL_GETTER_NAME(propName); \
std::string setterName = SETTER_NAME(propName); \
FIELD_PROP_GS(target, \
id, \
field, \
propName.c_str(), \
getterName.c_str(), \
setterName.c_str(), \
bool, \
##__VA_ARGS__); \
}
} // namespace

Expand Down Expand Up @@ -522,25 +620,16 @@ EMSCRIPTEN_BINDINGS(Binaryen) {
"getExpressionInfo", binaryen::getExpressionInfo, allow_raw_pointers());

auto ExpressionWrapper = class_<wasm::Expression>("Expression");
{
auto getter = [](const wasm::Expression& expr) { return expr._id; };
ExpressionWrapper.class_function("getId", +getter)
.function("getId", +getter)
.property("id", &wasm::Expression::_id);
};
{
auto getter = [](const wasm::Expression& expr) {
return binaryen::TypeID(expr.type.getID());
};
auto setter = [](wasm::Expression& expr, binaryen::TypeID value) {
expr.type = wasm::Type(value);
};
ExpressionWrapper.class_function("getType", +getter)
.class_function("setType", +setter)
.function("getType", +getter)
.function("setType", +setter)
.property("type", +getter, +setter);
};
FIELD_PROP_CONST(
ExpressionWrapper, Expression, _id, "id", wasm::Expression::Id);
FIELD(
ExpressionWrapper,
Expression,
type,
"type",
binaryen::TypeID,
[](binaryen::TypeID value) { return wasm::Type(value); },
[](wasm::Type value) { return value.getID(); });

register_type<binaryen::ExpressionList>("Expression[]");

Expand Down Expand Up @@ -571,56 +660,55 @@ EMSCRIPTEN_BINDINGS(Binaryen) {
#define DELEGATE_FIELD_MAIN_END

#define DELEGATE_FIELD_CHILD(id, field) \
FIELD(id##Wrapper, \
field, \
field, \
id, \
wasm::Expression*, \
allow_raw_pointers(), \
nonnull<ret_val>());
FIELD_PROP(id##Wrapper, \
id, \
field, \
#field, \
wasm::Expression*, \
allow_raw_pointers(), \
return_value_policy::reference(), \
nonnull<ret_val>());
#define DELEGATE_FIELD_OPTIONAL_CHILD(id, field) \
FIELD(id##Wrapper, field, field, id, wasm::Expression*, allow_raw_pointers());
#define DELEGATE_FIELD_CHILD_VECTOR(id, field) \
FIELD_DYN( \
id##Wrapper, \
field, \
field, \
[](const wasm::id& expr) { \
return binaryen::ExpressionList( \
val::array(std::vector(expr.field.begin(), expr.field.end()))); \
}, \
[](wasm::id& expr, binaryen::ExpressionList value) { \
expr.field.set( \
vecFromJSArray<wasm::Expression*>(value, allow_raw_pointers())); \
});
FIELD_PROP(id##Wrapper, \
id, \
field, \
#field, \
wasm::Expression*, \
allow_raw_pointers(), \
return_value_policy::reference());
#define DELEGATE_FIELD_CHILD_VECTOR(id, field)
#define DELEGATE_FIELD_INT(id, field) \
FIELD(id##Wrapper, field, field, id, uint32_t);
FIELD_PROP(id##Wrapper, id, field, #field, uint32_t);
#define DELEGATE_FIELD_INT_ARRAY(id, field)
#define DELEGATE_FIELD_INT_VECTOR(id, field)
#define DELEGATE_FIELD_BOOL(id, field) \
FIELD_BOOL(id##Wrapper, field, field, id);
FIELD_PROP_BOOL(id##Wrapper, id, field, #field);
#define DELEGATE_FIELD_BOOL_VECTOR(id, field)
#define DELEGATE_FIELD_ENUM(id, field, type)
#define DELEGATE_FIELD_LITERAL(id, field)
#define DELEGATE_FIELD_NAME(id, field) \
FIELD_DYN( \
FIELD( \
id##Wrapper, \
id, \
field, \
field, \
[](const wasm::id& expr) { return expr.field.toString(); }, \
[](wasm::id& expr, const std::string& value) { expr.field = value; });
#field, \
const std::string&, \
[](const std::string& value) { return value; }, \
[](wasm::Name value) { return value.toString(); });
#define DELEGATE_FIELD_NAME_VECTOR(id, field)
#define DELEGATE_FIELD_SCOPE_NAME_DEF(id, field) \
FIELD_DYN( \
FIELD( \
id##Wrapper, \
id, \
field, \
field, \
[](const wasm::id& expr) { \
return binaryen::OptionalString( \
expr.field.size() ? val(expr.field.toString()) : val::null()); \
#field, \
binaryen::OptionalString, \
[](binaryen::OptionalString value) { \
return value.isNull() ? nullptr : value.as<std::string>(); \
}, \
[](wasm::id& expr, binaryen::OptionalString value) { \
expr.field = value.isNull() ? nullptr : value.as<std::string>(); \
[](wasm::Name value) { \
return binaryen::OptionalString(value.size() ? val(value.toString()) \
: val::null()); \
});
#define DELEGATE_FIELD_SCOPE_NAME_USE(id, field) DELEGATE_FIELD_NAME(id, field)
#define DELEGATE_FIELD_SCOPE_NAME_USE_VECTOR(id, field) \
Expand Down
Loading