gofront 1.6.1 → 1.8.0

package/src/backend/wasm/monomorph.js

@@ -33,7 +33,13 @@ export function hasGenerics(programs) {
 /**
  * Returns a stable identifier-safe string key for any Go type or AST type node.
  */
+// A qualified type argument (`time.Duration`) becomes part of a JS and wasm
+// export identifier, so its dot is replaced.
 function typeKey(t) {
+	return rawTypeKey(t).replaceAll(".", "_");
+}
+
+function rawTypeKey(t) {
 	if (!t) return "any";
 	if (typeof t === "string") return t;
 	if (t.kind === "basic") return t.name;
@@ -78,7 +84,7 @@ function typeKey(t) {
 /**
  * Converts a Go type representation or AST type node into a concrete AST type node.
  */
-function typeToTypeNode(t) {
+export function typeToTypeNode(t) {
 	if (!t) return { kind: "TypeName", name: "any" };
 	if (typeof t === "string") return { kind: "TypeName", name: t };
 	if (
@@ -133,16 +139,48 @@ function getSpecializedName(baseName, typeArgs) {
 	return `${baseName}$${keys}`;
 }
 
+const KEPT_CLONE_KEYS = new Set(["_typeArgs", "_line", "_col"]);
+
 function cloneAst(node) {
 	if (!node || typeof node !== "object") return node;
 	if (Array.isArray(node)) return node.map(cloneAst);
 	const copy = {};
 	for (const [k, v] of Object.entries(node)) {
+		// Side tables are dropped, except source positions (for diagnostics in
+		// the specialised body) and the inferred type arguments of a generic
+		// call inside a generic body: substitution needs them to specialise the
+		// callee (`isNaN(x)` inside `Compare[T]`).
+		if (k.startsWith("_") && !KEPT_CLONE_KEYS.has(k)) continue;
 		copy[k] = cloneAst(v);
 	}
+	// Named results hang off the return type node and alias its types; keep
+	// just the names so `rebindNamedResults` can rebuild them after the types
+	// are substituted.
+	const named = node.returnType?._namedReturns;
+	if (named) copy._resultNames = named.map((r) => r.name);
 	return copy;
 }
 
+// Re-attaches named results (`(old *T)`) to every function in a cloned and
+// substituted tree, pointing at the substituted type nodes.
+function rebindNamedResults(node) {
+	if (!node || typeof node !== "object") return;
+	if (Array.isArray(node)) {
+		for (const n of node) rebindNamedResults(n);
+		return;
+	}
+	if (node._resultNames && node.returnType) {
+		const rt = node.returnType;
+		rt._namedReturns = node._resultNames.map((name, i) => ({
+			name,
+			type: rt.kind === "TupleType" ? rt.types[i] : rt,
+		}));
+	}
+	for (const [k, v] of Object.entries(node)) {
+		if (!k.startsWith("_")) rebindNamedResults(v);
+	}
+}
+
 /**
  * Replaces references to type parameters in AST nodes with concrete types.
  */
@@ -246,6 +284,23 @@ function substituteTypesInAst(
 
 	// 4. CallExpr
 	if (node.kind === "CallExpr") {
+		// `T(x)` with T a type parameter becomes the conversion `int8(x)`.
+		const conv =
+			node.func?.kind === "Ident" ? typeSubstMap.get(node.func.name) : null;
+		if (conv && node.args?.length === 1) {
+			return {
+				kind: "TypeConversion",
+				targetType: cloneAst(conv),
+				expr: substituteTypesInAst(
+					node.args[0],
+					typeSubstMap,
+					onGenericUsage,
+					genericTypes,
+					genericFuncs,
+				),
+				_line: node._line,
+			};
+		}
 		if (node.func?.kind === "Ident") {
 			let typeArgs = node._typeArgs ?? node.func._typeArgs;
 			if (typeArgs) {
@@ -593,6 +648,7 @@ export function monomorphise(programs, checker) {
 				genericTypes,
 				genericFuncs,
 			);
+			rebindNamedResults(monoTypeDecl);
 			specializedTypes.set(item.specializedName, monoTypeDecl);
 
 			// Specialize all methods declared on this generic type
@@ -610,6 +666,7 @@ export function monomorphise(programs, checker) {
 					genericTypes,
 					genericFuncs,
 				);
+				rebindNamedResults(monoMethod);
 				const mKey = `${item.specializedName}.${monoMethod.name}`;
 				specializedMethods.set(mKey, monoMethod);
 			}
@@ -634,6 +691,7 @@ export function monomorphise(programs, checker) {
 				genericTypes,
 				genericFuncs,
 			);
+			rebindNamedResults(monoFuncDecl);
 			specializedFuncs.set(item.specializedName, monoFuncDecl);
 		}
 	}
@@ -703,9 +761,9 @@ export function monomorphise(programs, checker) {
 		}
 	}
 
-	for (const p of progs) {
-		monoChecker.check(p);
-	}
+	// One pass over all programs: declarations of every linked package are
+	// visible to the others (cross-package references are dequalified).
+	monoChecker.checkAll(progs);
 
 	return { programs: progs, checker: monoChecker };
 }

package/src/backend/wasm/optimize.js

@@ -24,8 +24,8 @@ import { join } from "node:path";
 import { GOFRONT_SECTION_BYTES, isGoFrontWasm } from "./encode.js";
 
 // Binaryen feature bitmask: GC (1024) | ReferenceTypes (256) | BulkMemory (16) | Multivalue (512) |
-// ExceptionHandling (64) | MutableGlobals (2) | NontrappingFPToInt (4) | TailCall (128) = 2006
-export const DEFAULT_WASM_FEATURES = 2006;
+// ExceptionHandling (64) | MutableGlobals (2) | NontrappingFPToInt (4) | TailCall (128) | SIMD (8) = 2014
+export const DEFAULT_WASM_FEATURES = 2014;
 
 let _nativeWasmOptAvailable = null;
 let _npmWasmOptPath = null;
@@ -98,6 +98,7 @@ function runWasmOpt(
 			"--enable-mutable-globals",
 			"--enable-nontrapping-float-to-int",
 			"--enable-tail-call",
+			"--enable-simd",
 		];
 		if (options.gufa !== false) {
 			args.push("--gufa");
@@ -141,6 +142,7 @@ function runWasmOpt(
 					"--enable-mutable-globals",
 					"--enable-nontrapping-float-to-int",
 					"--enable-tail-call",
+					"--enable-simd",
 					output,
 					"-S",
 					"-o",

package/src/backend/wasm/prescan.js

@@ -0,0 +1,397 @@
+// src/backend/wasm/prescan.js
+// Pre-scan helpers: walk the lowered AST to decide which imports, runtime helpers
+// and interface dispatchers a module needs before emission starts.
+
+import { BINARY_MATH_IMPORTS } from "./stdlib/core.js";
+import {
+	anonIfaceName,
+	getInterfaceMethodList,
+	getReceiverTypeName,
+	isAnyType,
+	isBoolGoType,
+	isInterfaceType,
+	isNonEmptyInterface,
+	isTestingT,
+	toWasmType,
+} from "./types.js";
+
+export function importsAnyOf(programs, pkgs) {
+	const has = (p) => (pkgs instanceof Set ? pkgs.has(p) : pkgs.includes(p));
+	return (programs ?? []).some((p) =>
+		(p.imports ?? []).some((decl) =>
+			(decl.imports ?? [decl]).some((imp) => has(imp.path)),
+		),
+	);
+}
+
+export function hasErrorUsage(programs) {
+	return (programs ?? []).some((p) => {
+		let found = false;
+		const scan = (n) => {
+			if (!n || found || typeof n !== "object") return;
+			if (Array.isArray(n)) {
+				for (const x of n) scan(x);
+				return;
+			}
+			if (
+				(n.kind === "Ident" ||
+					n.kind === "TypeName" ||
+					n.kind === "basic" ||
+					n.kind === "interface") &&
+				n.name === "error"
+			) {
+				found = true;
+				return;
+			}
+			for (const k of Object.keys(n)) {
+				if (!k.startsWith("_")) scan(n[k]);
+			}
+		};
+		scan(p);
+		return found;
+	});
+}
+
+// Depth-first search over AST nodes (skipping `_`-prefixed annotations).
+export function _someNode(node, pred) {
+	if (!node || typeof node !== "object") return false;
+	if (Array.isArray(node)) return node.some((n) => _someNode(n, pred));
+	if (pred(node)) return true;
+	for (const key of Object.keys(node)) {
+		if (key.startsWith("_")) continue;
+		if (_someNode(node[key], pred)) return true;
+	}
+	return false;
+}
+
+export function _usesTestingRun(node) {
+	return _someNode(
+		node,
+		(n) =>
+			n.kind === "CallExpr" &&
+			n.func?.kind === "SelectorExpr" &&
+			n.func.field === "Run" &&
+			isTestingT(n.func.expr?._type),
+	);
+}
+
+export function _usesTestingCleanup(node) {
+	return _someNode(
+		node,
+		(n) =>
+			n.kind === "CallExpr" &&
+			n.func?.kind === "SelectorExpr" &&
+			n.func.field === "Cleanup" &&
+			isTestingT(n.func.expr?._type),
+	);
+}
+
+// `__any_eq` is only needed when some `==`/`!=` (or switch case) compares
+// anyref operands, a struct with an anyref field is compared, or the error
+// runtime (`errors.Is`) is present.  `_emitAnyEq` throws if this misses a
+// site, so a gap surfaces as a compile error rather than a bad module.
+export function _usesAnyEq(funcDecls, mod) {
+	if (mod.hasErrorType) return true;
+	for (const info of mod.mapTypes.values()) {
+		if (isInterfaceType(info.keyGoType, mod.checker)) return true;
+	}
+	for (const info of mod.structTypes.values()) {
+		if (info.fields?.some((f) => f.wType === "anyref")) return true;
+	}
+	const isAnyRef = (n) =>
+		Boolean(n?._type) && toWasmType(n._type, mod.checker, mod) === "anyref";
+	return funcDecls.some((fn) =>
+		_someNode(fn.body, (n) => {
+			if (n.kind === "BinaryExpr" && (n.op === "==" || n.op === "!="))
+				return isAnyRef(n.left) || isAnyRef(n.right);
+			if (n.kind === "SwitchStmt" && n.tag) return isAnyRef(n.tag);
+			return false;
+		}),
+	);
+}
+
+// An `fmt` call with an `any`/interface operand or a `xs...` spread needs
+// `__any_fmt`.  `emitFmtCall` falls back to scalar-only dispatch without it.
+export function _usesFmtAny(funcDecls, mod) {
+	return funcDecls.some((fn) =>
+		_someNode(
+			fn.body,
+			(n) =>
+				n.kind === "CallExpr" &&
+				n.func?.kind === "SelectorExpr" &&
+				n.func.expr?.kind === "Ident" &&
+				n.func.expr.name === "fmt" &&
+				n.args?.some(
+					(a) =>
+						a._spread ||
+						isAnyType(a._type, mod.checker) ||
+						isInterfaceType(a._type, mod.checker),
+				),
+		),
+	);
+}
+
+// Whether a value of this static type may print a 64-bit unsigned integer
+// (directly, inside a container or struct, or behind `any`/an interface).
+export function typeMayHoldU64(t, mod, seen = new Set(), depth = 0) {
+	if (!t || typeof t !== "object" || seen.has(t) || depth > 8) return false;
+	seen.add(t);
+	if (isAnyType(t, mod.checker) || isInterfaceType(t, mod.checker)) return true;
+	const sub = (x) => typeMayHoldU64(x, mod, seen, depth + 1);
+	switch (t.kind) {
+		case "basic":
+			return t.name === "uint64" || t.name === "uint" || t.name === "uintptr";
+		case "TypeName":
+		case "Ident":
+			return sub(
+				mod.checker?.resolveType?.(t) ?? { kind: "basic", name: t.name },
+			);
+		case "named":
+			return sub(t.underlying);
+		case "tuple":
+			return (t.types ?? []).some(sub);
+		case "pointer":
+			return sub(t.base);
+		case "slice":
+		case "array":
+			return sub(t.elem);
+		case "map":
+			return sub(t.key) || sub(t.value);
+		case "struct":
+			return [...(t.fields?.values?.() ?? [])].some(sub);
+		default:
+			return false;
+	}
+}
+
+export function _scanImportsInBody(node, mod) {
+	if (!node || typeof node !== "object") return;
+
+	if (node.kind === "CallExpr") {
+		const { func, args } = node;
+		if ((args ?? []).some((a) => a._spread || typeMayHoldU64(a._type, mod))) {
+			mod.getFmtBoxU64Index();
+		}
+		if (
+			func.kind === "Ident" &&
+			(func.name === "print" || func.name === "println")
+		) {
+			const isPrintln = func.name === "println";
+			if (args.length === 0 && isPrintln) {
+				mod.getPrintlnEmptyIndex();
+			}
+			for (let i = 0; i < args.length; i++) {
+				const arg = args[i];
+				const isLast = i === args.length - 1 && isPrintln;
+				const isBool =
+					isBoolGoType(arg._type) ||
+					(arg.kind === "BasicLit" && arg.litKind === "BOOL");
+				const wType = toWasmType(arg._type, mod.checker);
+				mod.getLogImportIndex(wType, isLast, isBool);
+			}
+		} else if (
+			func.kind === "SelectorExpr" &&
+			func.expr?.name === "math" &&
+			func.field
+		) {
+			const jsMathMap = {
+				Sin: "sin",
+				Cos: "cos",
+				Tan: "tan",
+				Asin: "asin",
+				Acos: "acos",
+				Atan: "atan",
+				Atan2: "atan2",
+				Pow: "pow",
+				Mod: "mod",
+				Hypot: "hypot",
+				Cbrt: "cbrt",
+				Exp: "exp",
+				Log: "log",
+				Log1p: "log1p",
+				Log2: "log2",
+				Log10: "log10",
+				Expm1: "expm1",
+				Round: "round",
+				Sinh: "sinh",
+				Cosh: "cosh",
+				Tanh: "tanh",
+			};
+			if (jsMathMap[func.field]) {
+				const isBinary = BINARY_MATH_IMPORTS.has(jsMathMap[func.field]);
+				mod.getMathImportIndex(jsMathMap[func.field], isBinary);
+			}
+		} else if (
+			func.kind === "SelectorExpr" &&
+			isTestingT(func.expr?._type) &&
+			func.field
+		) {
+			mod.internString(func.field);
+			if (func.field === "Name") mod.getTestingNameImportIndex();
+			else if (func.field === "Failed" || func.field === "Skipped")
+				mod.getTestingFlagImportIndex();
+			else if (func.field === "Run") {
+				// closure type for func(*testing.T) must exist before bodies are emitted
+				mod.getTestingRunClosureType();
+			} else if (func.field === "Cleanup") {
+				mod.getTestingCleanupClosureType();
+			} else {
+				mod.getTestingCallImportIndex();
+				for (const arg of args) {
+					mod.getTestingArgImportIndex(
+						toWasmType(arg._type, mod.checker),
+						isBoolGoType(arg._type) ||
+							(arg.kind === "BasicLit" && arg.litKind === "BOOL"),
+					);
+				}
+			}
+		}
+	}
+
+	if (node.kind === "BasicLit" && node.litKind === "STRING") {
+		mod.getStringImportIndex();
+		const strVal = String(node.value ?? "");
+		mod.internString(strVal);
+	}
+
+	// Recurse child properties
+	for (const key of Object.keys(node)) {
+		if (key.startsWith("_")) continue;
+		const child = node[key];
+		if (Array.isArray(child)) {
+			for (const item of child) _scanImportsInBody(item, mod);
+		} else if (child && typeof child === "object") {
+			_scanImportsInBody(child, mod);
+		}
+	}
+}
+
+export function _scanInterfaceCallNodes(node, interfaceCalls, checker) {
+	if (!node || typeof node !== "object") return;
+	if (Array.isArray(node)) {
+		for (const item of node)
+			_scanInterfaceCallNodes(item, interfaceCalls, checker);
+		return;
+	}
+	if (node.kind === "CallExpr" && node.func?.kind === "SelectorExpr") {
+		const recvType = node.func.expr?._type;
+		if (isNonEmptyInterface(recvType, checker)) {
+			const ifaceName =
+				getReceiverTypeName(recvType, node.func.expr) ||
+				anonIfaceName(recvType);
+			const methodName = node.func.field;
+			const key = `${ifaceName}.${methodName}`;
+			if (!interfaceCalls.has(key)) {
+				interfaceCalls.set(key, {
+					ifaceName,
+					ifaceType: recvType,
+					methodName,
+					callNode: node,
+				});
+			}
+		}
+	}
+	for (const key of Object.keys(node)) {
+		if (!key.startsWith("_"))
+			_scanInterfaceCallNodes(node[key], interfaceCalls, checker);
+	}
+}
+
+export function _scanInterfaceTypeDecls(progs, interfaceCalls, checker) {
+	for (const p of progs) {
+		for (const d of p.decls ?? []) {
+			if (d.kind !== "TypeDecl") continue;
+			const resolved = checker?.types?.get(d.name) ?? d.type;
+			const underlying =
+				resolved?.kind === "named"
+					? resolved.underlying
+					: d.type?.kind === "InterfaceType"
+						? d.type
+						: resolved;
+			if (!isNonEmptyInterface(underlying, checker)) continue;
+			const methods =
+				underlying.methods instanceof Map
+					? Array.from(underlying.methods.entries())
+					: Array.isArray(underlying.methods)
+						? underlying.methods.map((m) => [m.name ?? m, m])
+						: [];
+			for (const [mName, mSig] of methods) {
+				const key = `${d.name}.${mName}`;
+				if (!interfaceCalls.has(key)) {
+					interfaceCalls.set(key, {
+						ifaceName: d.name,
+						ifaceType: resolved,
+						methodName: mName,
+						methodSig: mSig,
+					});
+				}
+			}
+		}
+	}
+}
+
+// A qualified interface (`fmt.Stringer`) in a signature is a boundary type
+// when the function is exported, so its dispatchers must exist.  Returns true
+// when `t` names such a type.
+function _registerQualifiedIface(t, interfaceCalls, checker) {
+	if (t.kind !== "TypeName" || !t.name?.includes(".")) return false;
+	const resolved = checker?.types?.get(t.name);
+	const iface = resolved?.underlying ?? resolved;
+	if (!resolved || !isNonEmptyInterface(iface, checker)) return true;
+	for (const m of getInterfaceMethodList(iface)) {
+		const key = `${t.name}.${m.name}`;
+		if (interfaceCalls.has(key)) continue;
+		interfaceCalls.set(key, {
+			ifaceName: t.name,
+			ifaceType: resolved,
+			methodName: m.name,
+			methodSig: { kind: "func", params: m.params, returns: m.returns },
+		});
+	}
+	return true;
+}
+
+export function _scanFuncSigInterfaces(
+	progs,
+	funcDecls,
+	interfaceCalls,
+	checker,
+	mod,
+) {
+	const scanType = (t) => {
+		if (!t) return;
+		if (_registerQualifiedIface(t, interfaceCalls, checker)) return;
+		if (t.kind === "InterfaceType" || (t.kind === "interface" && !t.name)) {
+			const mList = getInterfaceMethodList(t);
+			if (mList.length === 0) return;
+			const ifaceName = anonIfaceName(t, checker, mod);
+			for (const m of mList) {
+				const key = `${ifaceName}.${m.name}`;
+				if (!interfaceCalls.has(key)) {
+					interfaceCalls.set(key, {
+						ifaceName,
+						ifaceType: t,
+						methodName: m.name,
+						methodSig: {
+							kind: "func",
+							params: m.params,
+							returns: m.returns,
+						},
+					});
+				}
+			}
+		}
+	};
+	for (const fn of funcDecls) {
+		for (const p of fn.params ?? []) scanType(p.type);
+		scanType(fn.returnType);
+	}
+	for (const p of progs) {
+		for (const d of p.decls ?? []) {
+			if (d.kind === "FuncDecl") {
+				for (const param of d.params ?? []) scanType(param.type);
+				scanType(d.returnType);
+			}
+		}
+	}
+}