use of org.graalvm.wasm.Linker.ResolutionDag.ImportTableSym 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);
}
use of org.graalvm.wasm.Linker.ResolutionDag.ImportTableSym in project graal by oracle.
the class Linker method resolveElemSegment.
void resolveElemSegment(WasmContext context, WasmInstance instance, int elemSegmentId, int offsetAddress, int offsetGlobalIndex, int[] functionsIndices) {
final Runnable resolveAction = () -> immediatelyResolveElemSegment(context, instance, elemSegmentId, offsetAddress, offsetGlobalIndex, functionsIndices);
final ArrayList<Sym> dependencies = new ArrayList<>();
if (instance.symbolTable().importedTable() != null) {
dependencies.add(new ImportTableSym(instance.name(), instance.symbolTable().importedTable()));
}
if (elemSegmentId > 0) {
dependencies.add(new ElemSym(instance.name(), elemSegmentId - 1));
}
if (offsetGlobalIndex != -1) {
dependencies.add(new InitializeGlobalSym(instance.name(), offsetGlobalIndex));
}
for (final int functionIndex : functionsIndices) {
final WasmFunction function = instance.module().function(functionIndex);
if (function.importDescriptor() != null) {
dependencies.add(new ImportFunctionSym(instance.name(), function.importDescriptor(), function.index()));
}
}
resolutionDag.resolveLater(new ElemSym(instance.name(), elemSegmentId), dependencies.toArray(new Sym[dependencies.size()]), resolveAction);
}
use of org.graalvm.wasm.Linker.ResolutionDag.ImportTableSym 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);
}
Aggregations