Skip to content

[Macros] Add support for wasm macros #73031

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.

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

Open
wants to merge 132 commits into
base: main
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from 69 commits
Commits
Show all changes
132 commits
Select commit Hold shift + click to select a range
e5c191d
wip
kabiroberai Apr 15, 2024
e5342e7
wip
kabiroberai Apr 15, 2024
d5d1cb7
wip
kabiroberai Apr 15, 2024
f776c28
revert swift-plugin-server
kabiroberai Apr 15, 2024
43fc233
use jsc in-proc
kabiroberai Apr 15, 2024
961fd54
Allow wasm in sandbox, don’t disable it
kabiroberai Apr 15, 2024
a771631
fix warning, prune version check
kabiroberai Apr 15, 2024
3f8ef81
Factor out JSCWasmPlugin
kabiroberai Apr 15, 2024
23426e0
the continuation just... works now?
kabiroberai Apr 15, 2024
9fe505f
more tweaks to JSCWasmPlugin
kabiroberai Apr 15, 2024
89158e2
Create SwiftPluginServerSupport
kabiroberai Apr 15, 2024
f084e25
JSCWasmPlugin: memoize, improve errors
kabiroberai Apr 15, 2024
5ef86da
steps towards x-plat
kabiroberai Apr 15, 2024
02f4324
more modularity
kabiroberai Apr 15, 2024
bddde66
Add wasm-plugin-server-path frontend opt
kabiroberai Apr 16, 2024
ca22e2d
Start adding WasmKit support
kabiroberai Apr 16, 2024
6a9bbe7
Update WasmKitPlugin
kabiroberai Apr 16, 2024
e598064
safety, tweaks
kabiroberai Apr 16, 2024
7d1510e
tweaks to JSC
kabiroberai Apr 16, 2024
37b8a61
Merge remote-tracking branch 'upstream/main' into kabir/wasm-plugins
kabiroberai Apr 17, 2024
da74f38
Proper WasmKit integration
kabiroberai Apr 22, 2024
7a18da2
tweaks
kabiroberai Apr 22, 2024
1076b16
Check ABI version
kabiroberai Apr 22, 2024
805c659
Merge remote-tracking branch 'upstream/main' into kabir/wasm-plugins
kabiroberai Apr 22, 2024
4527842
move ABI check into WasmEnginePlugin
kabiroberai Apr 22, 2024
f9dbbb1
build fixes
kabiroberai Apr 22, 2024
6511672
Elide copies of wasm blob
kabiroberai Apr 22, 2024
dd481fe
fix duplicate libraries warning
kabiroberai Apr 23, 2024
4ce4749
Merge remote-tracking branch 'upstream/main' into kabir/wasm-plugins
kabiroberai Apr 23, 2024
482871c
add SWIFT_WASM_USE_JSC
kabiroberai Apr 23, 2024
771acb0
Merge remote-tracking branch 'upstream/main' into kabir/wasm-plugins
kabiroberai Apr 23, 2024
2460e98
Skip wasmkit CLI for now
kabiroberai Apr 24, 2024
150f3d2
Or actually build wasmkit-cli
kabiroberai Apr 24, 2024
34ed5b0
use stdio for ipc
kabiroberai Apr 24, 2024
94d525e
No need for memory witness
kabiroberai Apr 24, 2024
a99f6b3
Byte-swap length if needed
kabiroberai Apr 24, 2024
c5dc6bd
Improve error handling
kabiroberai Apr 24, 2024
6375faf
Merge branch 'main' into kabir/wasm-plugins
kabiroberai Apr 30, 2024
826a80f
Fix linkage
kabiroberai Apr 30, 2024
f053859
No C dep needed for wasm
kabiroberai Apr 30, 2024
6c0b40c
Drop foundation (mostly); lower min os
kabiroberai Apr 30, 2024
d72e165
More foundation pruning
kabiroberai Apr 30, 2024
564f844
interop mode cxx -> c
kabiroberai Apr 30, 2024
a670f32
Target
kabiroberai Apr 30, 2024
aaaaae3
tweaks
kabiroberai Apr 30, 2024
7b16cbd
We don’t need WasmKitPluginError
kabiroberai Apr 30, 2024
7d9d015
Change wasm versioning approach
kabiroberai May 5, 2024
ea81405
Merge branch 'main' into kabir/wasm-plugins
kabiroberai May 5, 2024
b472f4f
Merge branch 'main' into kabir/wasm-plugins
kabiroberai May 11, 2024
3baf627
Merge branch 'main' into kabir/wasm-plugins
kabiroberai May 25, 2024
eee48e0
swift-wasm-plugin-server => swift-plugin-server
kabiroberai May 25, 2024
4fca102
swift-plugin-server doesn’t need a product
kabiroberai May 25, 2024
d465d36
We don’t need Dispatch here
kabiroberai May 25, 2024
c4efcee
Improve diagnostics
kabiroberai May 25, 2024
b3f53c2
Remove JSC for now
kabiroberai May 25, 2024
b629484
Explicitly depend on System
kabiroberai May 26, 2024
af2b87e
Nevermind SwiftPM didn’t like that
kabiroberai May 26, 2024
bbb916c
Lower swift-tools-version
kabiroberai May 26, 2024
77c273f
Fix WASI dep
kabiroberai May 26, 2024
b56e28a
Add missing header
kabiroberai May 26, 2024
94f0ad7
Merge branch 'main' into kabir/wasm-plugins
kabiroberai May 26, 2024
14b5b79
Include position in diagnostics if possible
kabiroberai May 26, 2024
af68825
Merge branch 'main' into kabir/wasm-plugins
kabiroberai May 26, 2024
92aef4e
this comment is now stale
kabiroberai May 26, 2024
9b1e4ee
No wasm_plugin_server_path
kabiroberai May 26, 2024
f93df4d
Remove debug code
kabiroberai May 26, 2024
95f254c
error_load_plugin diagnostic
kabiroberai May 26, 2024
ca27b45
Merge branch 'main' into kabir/wasm-plugins
kabiroberai May 26, 2024
caa1a8c
Elide copy
kabiroberai May 26, 2024
2ee417f
Merge branch 'main' into kabir/wasm-plugins
kabiroberai Jun 12, 2024
fa52ecd
Feedback
kabiroberai Jun 12, 2024
f2f2ea2
nit
kabiroberai Jun 12, 2024
c0a75e1
record ServerPath
kabiroberai Jun 12, 2024
011a0a5
Basic test
kabiroberai Jun 12, 2024
d2d3b94
Parameterize
kabiroberai Jun 12, 2024
e2a455a
Merge branch 'main' into kabir/wasm-plugins
kabiroberai Jun 29, 2024
b307eb4
Fix deprecation warning
kabiroberai Jun 29, 2024
782956a
working test
kabiroberai Jun 30, 2024
8a88dc5
simplify
kabiroberai Jun 30, 2024
fcb838d
remove wasm_sdk_root
kabiroberai Jun 30, 2024
469d84a
error tests
kabiroberai Jun 30, 2024
cc41cf1
Update WasmKit to 0.0.5
kateinoigakukun Jul 1, 2024
7499295
Merge branch 'main' into kabir/wasm-plugins
kabiroberai Jul 14, 2024
e89fd6a
post-merge fixup
kabiroberai Jul 14, 2024
2b47724
no opaque types
kabiroberai Jul 14, 2024
4285cf1
tentative fix for lldb build
kabiroberai Jul 14, 2024
56b6cae
don’t depend on ArgumentParser
kabiroberai Jul 14, 2024
96363e1
temporarily update wasmkit checkout
kabiroberai Jul 14, 2024
913041b
Revert "temporarily update wasmkit checkout"
kateinoigakukun Jul 15, 2024
6cd389e
Update WasmKit to 0.0.6
kateinoigakukun Jul 15, 2024
c3f4276
[test] Annotate macro tests that require the WebAssembly code generator
kateinoigakukun Jul 15, 2024
4341058
Update WasmKit to 0.0.7
kateinoigakukun Jul 21, 2024
393933a
Add temporary workaround for Windows pipe support of swift-system
kateinoigakukun Jul 22, 2024
9c5e7fc
[test] Remove usage of unused lit variables for building wasm plugins
kateinoigakukun Jul 22, 2024
5890c3e
Change the first `-load-plugin` path separator from `:` to `#`
kateinoigakukun Jul 23, 2024
0f39ec8
[test] Fix path segment separator of plugin path for Windows
kateinoigakukun Jul 23, 2024
48dd97f
Merge branch 'main' into kabir/wasm-plugins
MaxDesiatov Aug 20, 2024
c3f41c7
Merge branch 'main' into kabir/wasm-plugins
MaxDesiatov Aug 21, 2024
ee82b85
Merge branch 'main' of github.com:apple/swift into kabir/wasm-plugins
MaxDesiatov Aug 23, 2024
1dcdd7b
Merge branch 'main' of github.com:apple/swift into kabir/wasm-plugins
MaxDesiatov Aug 27, 2024
6e56934
Attempt to use `main` branch of WasmKit
MaxDesiatov Aug 27, 2024
dd13597
Merge branch 'main' into kabir/wasm-plugins
kabiroberai Sep 21, 2024
5770553
Revert wasmkit bump
kabiroberai Sep 21, 2024
94f870c
Merge branch 'main' into kabir/wasm-plugins
MaxDesiatov Oct 10, 2024
ed54400
Bump WasmKit to 0.1.0 in `update-checkout-config.json`
MaxDesiatov Oct 10, 2024
d568d67
Update for WasmKit 0.1.0 API
MaxDesiatov Oct 10, 2024
75bd7ca
Fix missing imports in `WasmKitEngine.swift`
MaxDesiatov Oct 11, 2024
c1e928d
Bump wasmkit to 0.1.1 to enable WMO
kateinoigakukun Oct 13, 2024
0d2c140
Merge remote-tracking branch 'origin/main' into kabir/wasm-plugins
kateinoigakukun Oct 13, 2024
7683e83
Bump WasmKit to 0.1.2 in `update-checkout-config.json`
MaxDesiatov Oct 21, 2024
e0427b2
Bump stack size in `WasmKitEngine.swift` to avoid OOB
MaxDesiatov Oct 21, 2024
be04533
Merge branch 'main' of github.com:apple/swift into kabir/wasm-plugins
MaxDesiatov Dec 4, 2024
1852df9
Remove outdated use of `PluginSearchOption::LoadPlugin`
MaxDesiatov Dec 4, 2024
e49c980
Bump WasmKit to 0.1.3 in `update-checkout-config.json`
MaxDesiatov Dec 4, 2024
052058a
Remove outdated `case OPT_load_plugin` in `CompilerInvocation.cpp`
MaxDesiatov Dec 4, 2024
f860528
Remove outdated use of `LoadPlugin` from `swift-ide-test.cpp`
MaxDesiatov Dec 4, 2024
28a9efa
Update lit tests to use `-load-resolved-plugin`
MaxDesiatov Dec 6, 2024
19eef9a
Merge branch 'main' of github.com:apple/swift into kabir/wasm-plugins
MaxDesiatov Dec 6, 2024
db325e8
Merge branch 'main' of github.com:apple/swift into kabir/wasm-plugins
MaxDesiatov Dec 12, 2024
54eb483
Adopt new `shutDown` API introduced in `swift-syntax`
MaxDesiatov Dec 12, 2024
224ac09
Add a trivial echo macro test to the package
MaxDesiatov Dec 13, 2024
dc8cd3c
Test `WasmEnginePlugin` APIs in `WasmEngineTests`
MaxDesiatov Dec 16, 2024
6817517
Merge branch 'main' of github.com:apple/swift into kabir/wasm-plugins
MaxDesiatov Dec 16, 2024
f56ec6a
Make formatting consistent in `swift-plugin-server`
MaxDesiatov Dec 16, 2024
1626ad8
Create stdin/stdout pipes for plugins with `mkfifo`
MaxDesiatov Dec 16, 2024
4204eef
Clean up temp Wasm fixture file in `WasmEngineTests`
MaxDesiatov Dec 16, 2024
1cf1e20
Make `init` parameter names more explicit in `WasmEngine`
MaxDesiatov Dec 16, 2024
6277098
Merge branch 'main' into kabir/wasm-plugins
MaxDesiatov Dec 17, 2024
0da4f22
Remove use of named pipes as engine-specific
MaxDesiatov Dec 17, 2024
3991b60
Fix renaming in `tools/swift-plugin-server/CMakeLists.txt`
MaxDesiatov Dec 17, 2024
636fa0e
Fix Windows compatibility
MaxDesiatov Dec 17, 2024
f915c05
Merge branch 'main' of github.com:apple/swift into kabir/wasm-plugins
MaxDesiatov Jan 3, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions include/swift/AST/DiagnosticsFrontend.def
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,9 @@ ERROR(error_no_source_location_scope_map,none,
ERROR(error_load_plugin_executable,none,
"invalid value '%0' in '-load-plugin-executable'; "
"make sure to use format '<plugin path>#<module names>'", (StringRef))
ERROR(error_load_plugin,none,
"invalid value '%0' in '-load-plugin'; "
"make sure to use format '<library path>:<server path>#<module names>'", (StringRef))

NOTE(note_valid_swift_versions, none,
"valid arguments to '-swift-version' are %0", (StringRef))
Expand Down
13 changes: 12 additions & 1 deletion include/swift/AST/SearchPathOptions.h
Original file line number Diff line number Diff line change
Expand Up @@ -213,17 +213,23 @@ class PluginSearchOption {
std::string SearchPath;
std::string ServerPath;
};
struct LoadPlugin {
std::string LibraryPath;
std::string ServerPath;
std::vector<std::string> ModuleNames;
};

enum class Kind : uint8_t {
LoadPluginLibrary,
LoadPluginExecutable,
PluginPath,
ExternalPluginPath,
LoadPlugin,
};

private:
using Members = ExternalUnionMembers<LoadPluginLibrary, LoadPluginExecutable,
PluginPath, ExternalPluginPath>;
PluginPath, ExternalPluginPath, LoadPlugin>;
static Members::Index getIndexForKind(Kind kind) {
switch (kind) {
case Kind::LoadPluginLibrary:
Expand All @@ -234,6 +240,8 @@ class PluginSearchOption {
return Members::indexOf<PluginPath>();
case Kind::ExternalPluginPath:
return Members::indexOf<ExternalPluginPath>();
case Kind::LoadPlugin:
return Members::indexOf<LoadPlugin>();
}
};
using Storage = ExternalUnion<Kind, Members, getIndexForKind>;
Expand All @@ -257,6 +265,9 @@ class PluginSearchOption {
: kind(Kind::ExternalPluginPath) {
storage.emplace<ExternalPluginPath>(kind, v);
}
PluginSearchOption(const LoadPlugin &v) : kind(Kind::LoadPlugin) {
storage.emplace<LoadPlugin>(kind, v);
}
PluginSearchOption(const PluginSearchOption &o) : kind(o.kind) {
storage.copyConstruct(o.kind, o.storage);
}
Expand Down
7 changes: 7 additions & 0 deletions include/swift/Option/Options.td
Original file line number Diff line number Diff line change
Expand Up @@ -2002,6 +2002,13 @@ def load_plugin_executable:
"of module names where the macro types are declared">,
MetaVarName<"<path>#<module-names>">;

def load_plugin:
Separate<["-"], "load-plugin">, Group<plugin_search_Group>,
Flags<[FrontendOption, DoesNotAffectIncrementalBuild]>,
HelpText<"Path to a plugin library, a server to load it in, and a comma-separated "
"list of module names where the macro types are declared">,
MetaVarName<"<library-path>:<server-path>#<module-names>">;

def disable_sandbox:
Flag<["-"], "disable-sandbox">,
Flags<[FrontendOption, DoesNotAffectIncrementalBuild]>,
Expand Down
8 changes: 8 additions & 0 deletions lib/AST/ModuleDependencies.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -584,6 +584,14 @@ void SwiftDependencyTracker::addCommonSearchPathDeps(
recordFiles(val.SearchPath);
break;
}

// '-load-plugin <library path>:<server path>#<module name>,...'.
case PluginSearchOption::Kind::LoadPlugin: {
auto &val = entry.get<PluginSearchOption::LoadPlugin>();
FS->status(val.LibraryPath);
// TODO: what else do we need?
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

not familiar with this part of the codebase — should I be recording val.ServerPath as well?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, I think we need to record .wasm files under the search path

break;
}
}
}
}
Expand Down
8 changes: 8 additions & 0 deletions lib/AST/PluginLoader.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -122,6 +122,14 @@ PluginLoader::getPluginMap() {
continue;
}

case PluginSearchOption::Kind::LoadPlugin: {
auto &val = entry.get<PluginSearchOption::LoadPlugin>();
for (auto &moduleName : val.ModuleNames) {
try_emplace(moduleName, val.LibraryPath, val.ServerPath);
}
continue;
}

// '-plugin-path <library search path>'.
case PluginSearchOption::Kind::PluginPath: {
auto &val = entry.get<PluginSearchOption::PluginPath>();
Expand Down
4 changes: 2 additions & 2 deletions lib/Basic/Sandbox.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,8 @@ static StringRef sandboxProfile(llvm::BumpPtrAllocator &Alloc) {
// Allow reading file metadata of any files.
contents += "(allow file-read-metadata)\n";

// Allow reading dylibs.
contents += "(allow file-read* (regex #\"\\.dylib$\"))\n";
// Allow reading dylibs and WebAssembly macros.
contents += "(allow file-read* (regex #\"\\.(dylib|wasm)$\"))\n";

// This is required to launch any processes (execve(2)).
contents += "(allow process-exec*)\n";
Expand Down
24 changes: 24 additions & 0 deletions lib/Frontend/CompilerInvocation.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2027,6 +2027,30 @@ static bool ParseSearchPathArgs(SearchPathOptions &Opts, ArgList &Args,
}
break;
}
case OPT_load_plugin: {
// '<path to library>:<path to server>#<module names>' where the module names are
// comma separated.
StringRef pathAndServer;
StringRef modulesStr;
std::tie(pathAndServer, modulesStr) = StringRef(A->getValue()).rsplit('#');
StringRef path;
StringRef server;
std::tie(path, server) = pathAndServer.rsplit(':');
std::vector<std::string> moduleNames;
for (auto name : llvm::split(modulesStr, ',')) {
moduleNames.emplace_back(name);
}
if (path.empty() || server.empty() || moduleNames.empty()) {
Diags.diagnose(SourceLoc(), diag::error_load_plugin,
A->getValue());
} else {
Opts.PluginSearchOpts.emplace_back(
PluginSearchOption::LoadPlugin{resolveSearchPath(path),
resolveSearchPath(server),
std::move(moduleNames)});
}
break;
}
case OPT_plugin_path: {
Opts.PluginSearchOpts.emplace_back(
PluginSearchOption::PluginPath{resolveSearchPath(A->getValue())});
Expand Down
3 changes: 3 additions & 0 deletions lib/Serialization/ModuleFileSharedCore.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -144,6 +144,9 @@ static bool readOptionsBlock(llvm::BitstreamCursor &cursor,
case PluginSearchOptionKind::LoadPluginExecutable:
optKind = PluginSearchOption::Kind::LoadPluginExecutable;
break;
case PluginSearchOptionKind::LoadPlugin:
optKind = PluginSearchOption::Kind::LoadPlugin;
break;
}
extendedInfo.addPluginSearchOption({optKind, blobData});
break;
Expand Down
3 changes: 2 additions & 1 deletion lib/Serialization/ModuleFormat.h
Original file line number Diff line number Diff line change
Expand Up @@ -59,7 +59,7 @@ const uint16_t SWIFTMODULE_VERSION_MAJOR = 0;
/// it just ensures a conflict if two people change the module format.
/// Don't worry about adhering to the 80-column limit for this line.
const uint16_t SWIFTMODULE_VERSION_MINOR =
875; // Add package field to SerializedKind_t
876; // Add PluginSearchOptionKind::LoadPlugin

/// A standard hash seed used for all string hashes in a serialized module.
///
Expand Down Expand Up @@ -688,6 +688,7 @@ enum class PluginSearchOptionKind : uint8_t {
ExternalPluginPath,
LoadPluginLibrary,
LoadPluginExecutable,
LoadPlugin,
};
using PluginSearchOptionKindField = BCFixed<3>;

Expand Down
11 changes: 11 additions & 0 deletions lib/Serialization/Serialization.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1213,6 +1213,17 @@ void Serializer::writeHeader() {
uint8_t(PluginSearchOptionKind::LoadPluginExecutable), optStr);
continue;
}
case PluginSearchOption::Kind::LoadPlugin: {
auto &opt = elem.get<PluginSearchOption::LoadPlugin>();
std::string optStr = opt.LibraryPath + ":" + opt.ServerPath + "#";
llvm::interleave(
opt.ModuleNames, [&](auto &name) { optStr += name; },
[&]() { optStr += ","; });
PluginSearchOpt.emit(
ScratchRecord,
uint8_t(PluginSearchOptionKind::LoadPlugin), optStr);
continue;
}
}
}
}
Expand Down
3 changes: 3 additions & 0 deletions tools/lldb-moduleimport-test/lldb-moduleimport-test.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -105,6 +105,9 @@ static bool validateModule(
case swift::PluginSearchOption::Kind::LoadPluginExecutable:
optStr = "-load-plugin-executable";
break;
case swift::PluginSearchOption::Kind::LoadPlugin:
optStr = "-load-plugin";
break;
}
llvm::outs() << " " << optStr << " " << opt.second << "\n";
}
Expand Down
23 changes: 23 additions & 0 deletions tools/swift-ide-test/swift-ide-test.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -347,6 +347,11 @@ LoadPluginExecutable("load-plugin-executable",
llvm::cl::desc("load plugin executable"),
llvm::cl::cat(Category));

static llvm::cl::list<std::string>
LoadPlugin("load-plugin",
llvm::cl::desc("load plugin"),
llvm::cl::cat(Category));


static llvm::cl::opt<bool>
EnableSourceImport("enable-source-import", llvm::cl::Hidden,
Expand Down Expand Up @@ -4563,6 +4568,24 @@ int main(int argc, char *argv[]) {
std::move(moduleNames)});
}
}
if (!options::LoadPlugin.empty()) {
for (auto arg: options::LoadPlugin) {
StringRef pathAndServer;
StringRef modulesStr;
std::tie(pathAndServer, modulesStr) = StringRef(arg).rsplit('#');
StringRef path;
StringRef server;
std::tie(path, server) = pathAndServer.rsplit(':');
std::vector<std::string> moduleNames;
for (auto name : llvm::split(modulesStr, ',')) {
moduleNames.emplace_back(name);
}
InitInvok.getSearchPathOptions().PluginSearchOpts.emplace_back(
PluginSearchOption::LoadPlugin{std::string(path),
std::string(server),
std::move(moduleNames)});
}
}
for (auto path : options::PluginPath) {
InitInvok.getSearchPathOptions().PluginSearchOpts.emplace_back(
PluginSearchOption::PluginPath{path});
Expand Down
1 change: 1 addition & 0 deletions tools/swift-plugin-server/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Package.resolved
11 changes: 11 additions & 0 deletions tools/swift-plugin-server/CMakeLists.txt
Original file line number Diff line number Diff line change
@@ -1,10 +1,21 @@
if (SWIFT_BUILD_SWIFT_SYNTAX)
# override the remote SwiftSystem and ArgParser dependencies in WasmKit
FetchContent_Declare(SwiftSystem SOURCE_DIR "${PROJECT_SOURCE_DIR}/../swift-system")
FetchContent_Declare(ArgumentParser SOURCE_DIR "${PROJECT_SOURCE_DIR}/../swift-argument-parser")
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We might end up having to do something more bespoke here to get things building on all of the platforms, but let's try this to start!


FetchContent_Declare(WasmKit SOURCE_DIR "${PROJECT_SOURCE_DIR}/../wasmkit")
FetchContent_MakeAvailable(WasmKit)

add_pure_swift_host_tool(swift-plugin-server
Sources/swift-plugin-server/swift-plugin-server.swift
Sources/swift-plugin-server/WasmEngine.swift
Sources/swift-plugin-server/WasmKitEngine.swift
Sources/swift-plugin-server/WasmMessageHandler.swift
SWIFT_COMPONENT
compiler
SWIFT_DEPENDENCIES
SwiftCompilerPluginMessageHandling
SwiftLibraryPluginProvider
WasmKitWASI
)
endif()
4 changes: 4 additions & 0 deletions tools/swift-plugin-server/Package.swift
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,16 @@ let package = Package(
],
dependencies: [
.package(path: "../../../swift-syntax"),
.package(path: "../../../wasmkit"),
],
targets: [
.executableTarget(
name: "swift-plugin-server",
dependencies: [
.product(name: "SwiftCompilerPluginMessageHandling", package: "swift-syntax"),
.product(name: "SwiftLibraryPluginProvider", package: "swift-syntax"),
.product(name: "WASI", package: "WasmKit"),
.product(name: "WasmKitWASI", package: "WasmKit"),
]
),
],
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,91 @@
//===----------------------------------------------------------------------===//
//
// This source file is part of the Swift open source project
//
// Copyright (c) 2024 Apple Inc. and the Swift project authors
// Licensed under Apache License v2.0 with Runtime Library Exception
//
// See http://swift.org/LICENSE.txt for license information
// See http://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
//
//===----------------------------------------------------------------------===//

import WASI
import WasmTypes
import SystemPackage

typealias WasmFunction = ([UInt32]) throws -> [UInt32]

protocol WasmEngine {
init(path: FilePath, imports: WASIBridgeToHost) throws

func function(named name: String) throws -> WasmFunction?
}

typealias DefaultWasmPlugin = WasmEnginePlugin<DefaultWasmEngine>

// a WasmPlugin implementation that delegates to a WasmEngine
struct WasmEnginePlugin<Engine: WasmEngine>: WasmPlugin {
private let hostToPlugin: FileDescriptor
private let pluginToHost: FileDescriptor
private let pumpFunction: WasmFunction
let engine: Engine

init(path: FilePath) throws {
let hostToPluginPipes = try FileDescriptor.pipe()
let pluginToHostPipes = try FileDescriptor.pipe()
self.hostToPlugin = hostToPluginPipes.writeEnd
self.pluginToHost = pluginToHostPipes.readEnd

let bridge = try WASIBridgeToHost(
stdin: hostToPluginPipes.readEnd,
stdout: pluginToHostPipes.writeEnd,
stderr: .standardError
)
engine = try Engine(path: path, imports: bridge)

let exportName = "swift_wasm_macro_v1_pump"
guard let pump = try engine.function(named: exportName) else {
throw WasmEngineError(message: "Wasm plugin has an unknown ABI (could not find '\(exportName)')")
}
self.pumpFunction = pump

guard let start = try engine.function(named: "_start") else {
throw WasmEngineError(message: "Wasm plugin does not have a '_start' entrypoint")
}
_ = try start([])
}

func handleMessage(_ json: [UInt8]) throws -> [UInt8] {
try withUnsafeBytes(of: UInt64(json.count).littleEndian) {
_ = try hostToPlugin.writeAll($0)
}
try hostToPlugin.writeAll(json)

_ = try pumpFunction([])
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't understand why we're passing in and returning unused [UInt64] instances to the pump function. Why pass anything if we aren't going to use it anywhere?

Copy link
Contributor Author

@kabiroberai kabiroberai Jun 12, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is vestigial from when we were passing and returning JSON via function arguments instead of stdio; will remove the arguments.


let lengthRaw = try withUnsafeTemporaryAllocation(of: UInt8.self, capacity: 8) { buffer in
let lengthCount = try pluginToHost.read(into: UnsafeMutableRawBufferPointer(buffer))
guard lengthCount == 8 else {
throw WasmEngineError(message: "Wasm plugin sent invalid response")
}
return buffer.withMemoryRebound(to: UInt64.self, \.baseAddress!.pointee)
}
let length = Int(UInt64(littleEndian: lengthRaw))
return try [UInt8](unsafeUninitializedCapacity: length) { buffer, size in
let received = try pluginToHost.read(into: UnsafeMutableRawBufferPointer(buffer))
guard received == length else {
throw WasmEngineError(message: "Wasm plugin sent truncated response")
}
size = received
}
}
}

struct WasmEngineError: Error, CustomStringConvertible {
let description: String

init(message: String) {
self.description = message
}
}
Loading