Examples with ExportTableSym org.graalvm.wasm.Linker.ResolutionDag.ExportTableSym used on opensource projects

Example 1 with ExportTableSym

use of org.graalvm.wasm.Linker.ResolutionDag.ExportTableSym in project graal by oracle.

the class Linker method resolveTableImport.

void resolveTableImport(WasmContext context, WasmInstance instance, ImportDescriptor importDescriptor, int declaredMinSize, int declaredMaxSize) {
    final Runnable resolveAction = () -> {
        final WasmInstance importedInstance = context.moduleInstances().get(importDescriptor.moduleName);
        final String importedModuleName = importDescriptor.moduleName;
        if (importedInstance == null) {
            throw WasmException.create(Failure.UNKNOWN_IMPORT, String.format("Imported module '%s', referenced in module '%s', does not exist.", importedModuleName, instance.name()));
        } else {
            final String importedTableName = importDescriptor.memberName;
            final List<String> exportedTableNames = importedInstance.symbolTable().exportedTableNames();
            if (exportedTableNames.size() == 0) {
                throw WasmException.create(Failure.UNKNOWN_IMPORT, String.format("The imported module '%s' does not export any tables, so cannot resolve table '%s' imported in module '%s'.", importedModuleName, importedTableName, instance.name()));
            }
            if (!exportedTableNames.contains(importedTableName)) {
                throw WasmException.create(Failure.UNKNOWN_IMPORT, String.format("The imported module '%s' exports a table '%s', but module '%s' imports a table '%s'.", importedModuleName, exportedTableNames, instance.name(), importedTableName));
            }
            final WasmTable table = importedInstance.table();
            // Rules for limits matching:
            // https://webassembly.github.io/spec/core/exec/modules.html#limits
            // If no max size is declared, then declaredMaxSize value will be
            // MAX_TABLE_DECLARATION_SIZE, so this condition will pass.
            assertUnsignedIntLessOrEqual(declaredMinSize, table.declaredMinSize(), Failure.INCOMPATIBLE_IMPORT_TYPE);
            assertUnsignedIntGreaterOrEqual(declaredMaxSize, table.declaredMaxSize(), Failure.INCOMPATIBLE_IMPORT_TYPE);
            instance.setTable(table);
        }
    };
    Sym[] dependencies = new Sym[] { new ExportTableSym(importDescriptor.moduleName, importDescriptor.memberName) };
    resolutionDag.resolveLater(new ImportTableSym(instance.name(), importDescriptor), dependencies, resolveAction);
}

Example 2 with ExportTableSym

use of org.graalvm.wasm.Linker.ResolutionDag.ExportTableSym in project graal by oracle.

the class Linker method resolveTableExport.

void resolveTableExport(WasmModule module, String exportedTableName) {
    final ImportDescriptor importDescriptor = module.symbolTable().importedTable();
    final Sym[] dependencies = importDescriptor != null ? new Sym[] { new ImportTableSym(module.name(), importDescriptor) } : ResolutionDag.NO_DEPENDENCIES;
    resolutionDag.resolveLater(new ExportTableSym(module.name(), exportedTableName), dependencies, NO_RESOLVE_ACTION);
}