@scriptc/compiler 0.1.6 → 0.2.0

package/dist/backend/llvm/debug-info.js

@@ -0,0 +1,198 @@
+import { llvmQuoted as quoted } from "../literals.js";
+import { basename, dirname } from "node:path";
+import { isUnitType, typeKey } from "../../ir/ir.js";
+import { SourceLocations } from "../source-locations.js";
+import { mangleFunction } from "../mangle.js";
+/** DWARF describes source bindings at their actual native storage locations. */
+export class LlvmDebugInfo {
+    pointerBits;
+    unions;
+    nodes = [];
+    files = new Map();
+    locations = new Map();
+    scopes = new Map();
+    lexicalScopes = new Map();
+    types = new Map();
+    units = new Map();
+    source;
+    version;
+    dwarf;
+    constructor(sourceFile, sources, pointerBits = 64, unions = []) {
+        this.pointerBits = pointerBits;
+        this.unions = unions;
+        this.source = new SourceLocations(sources);
+        this.unit(sourceFile);
+        this.version = this.add('!{i32 2, !"Debug Info Version", i32 3}');
+        this.dwarf = this.add('!{i32 2, !"Dwarf Version", i32 4}');
+    }
+    add(node) {
+        const id = `!${this.nodes.length}`;
+        this.nodes.push(`${id} = ${node}`);
+        return id;
+    }
+    file(path) {
+        let file = this.files.get(path);
+        if (file === undefined) {
+            file = this.add(`!DIFile(filename: ${quoted(basename(path))}, directory: ${quoted(dirname(path))})`);
+            this.files.set(path, file);
+        }
+        return file;
+    }
+    unit(path) {
+        // Distinct source modules need distinct CUs even though code generation
+        // shares one LLVM module; otherwise debuggers conflate file-local names.
+        let unit = this.units.get(path);
+        if (unit === undefined) {
+            const file = this.file(path);
+            const globalList = this.add("!{}");
+            const id = this.add(`distinct !DICompileUnit(language: DW_LANG_C11, file: ${file}, producer: "scriptc", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, globals: ${globalList})`);
+            unit = { id, globalList, globals: [] };
+            this.units.set(path, unit);
+        }
+        return unit;
+    }
+    function(fn) {
+        const pos = this.source.position(fn.loc);
+        if (pos === null)
+            return null;
+        const file = this.file(pos.file);
+        const signature = this.add(`!DISubroutineType(types: ${this.add(`!{${[fn.returnType, ...fn.params.map((p) => p.type)].map((t) => this.type(t)).join(", ")}}`)})`);
+        const id = this.add(`distinct !DISubprogram(name: ${quoted(fn.name)}, linkageName: ${quoted(mangleFunction(fn.name))}, scope: ${file}, file: ${file}, line: ${pos.line}, type: ${signature}, scopeLine: ${pos.line}, spFlags: DISPFlagLocalToUnit | DISPFlagDefinition, unit: ${this.unit(pos.file).id})`);
+        const scopes = [];
+        this.lexicalScopes.set(id, scopes);
+        const captures = new Set([...(fn.captures ?? []), ...(fn.classCaptures ?? [])].map((c) => c.localId));
+        const spans = fn.locals.filter((local) => !captures.has(local.id)).flatMap((local) => local.source ? [local.source.scope] : []);
+        // Outer scopes first; declarations in flattened IR still retain their
+        // source block, loop, catch, or function scope (including hoisted var).
+        spans.sort((a, b) => (b.end - b.start) - (a.end - a.start));
+        for (const loc of spans) {
+            if (loc.file !== fn.loc.file || (fn.loc.end > fn.loc.start &&
+                (loc.start <= fn.loc.start || loc.end > fn.loc.end)))
+                continue;
+            if (scopes.some((scope) => scope.loc.start === loc.start && scope.loc.end === loc.end))
+                continue;
+            const start = this.source.position(loc);
+            if (start === null)
+                continue;
+            const parent = this.scopeAt(loc, id);
+            scopes.push({ loc, id: this.add(`distinct !DILexicalBlock(scope: ${parent}, file: ${file}, line: ${start.line}, column: ${Math.min(start.column, 65535)})`) });
+        }
+        return id;
+    }
+    scopeAt(loc, fn) {
+        const scopes = this.lexicalScopes.get(fn) ?? [];
+        return scopes.findLast((scope) => scope.loc.file === loc.file && scope.loc.start <= loc.start && loc.end <= scope.loc.end)?.id ?? fn;
+    }
+    pointer(base) {
+        return this.add(`!DIDerivedType(tag: DW_TAG_pointer_type, baseType: ${base}, size: ${this.pointerBits})`);
+    }
+    type(type) {
+        if (type.kind === "void")
+            return "null";
+        const key = typeKey(type);
+        const known = this.types.get(key);
+        if (known !== undefined)
+            return known;
+        let id;
+        switch (type.kind) {
+            case "f64":
+            case "date":
+            case "procStream":
+                id = this.add(`!DIBasicType(name: ${quoted(type.kind === "f64" ? "number" : type.kind)}, size: 64, encoding: DW_ATE_float)`);
+                break;
+            case "bool":
+                id = this.add('!DIBasicType(name: "boolean", size: 8, encoding: DW_ATE_boolean)');
+                break;
+            case "string": {
+                const size = this.add(`!DIBasicType(name: "size_t", size: ${this.pointerBits}, encoding: DW_ATE_unsigned)`);
+                const char = this.add('!DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)');
+                const data = this.add(`!DICompositeType(tag: DW_TAG_array_type, baseType: ${char}, elements: ${this.add(`!{${this.add("!DISubrange(count: -1)")}}`)})`);
+                const fields = ["rc", "len", "cap", "data"].map((name, i) => this.add(`!DIDerivedType(tag: DW_TAG_member, name: ${quoted(name)}, baseType: ${i === 3 ? data : size}, size: ${i === 3 ? 0 : this.pointerBits}, offset: ${i * this.pointerBits})`));
+                id = this.pointer(this.add(`!DICompositeType(tag: DW_TAG_structure_type, name: "ScrStr", size: ${3 * this.pointerBits}, elements: ${this.add(`!{${fields.join(", ")}}`)})`));
+                break;
+            }
+            case "union": {
+                const arms = this.unions.find((union) => union.id === type.unionId)?.arms ?? [];
+                const tags = arms.map((arm, i) => this.add(`!DIEnumerator(name: ${quoted(typeKey(arm))}, value: ${i}, isUnsigned: true)`));
+                const uint = this.add('!DIBasicType(name: "uint32_t", size: 32, encoding: DW_ATE_unsigned)');
+                const tag = this.add(`!DICompositeType(tag: DW_TAG_enumeration_type, name: ${quoted(`${type.unionId}_tag`)}, baseType: ${uint}, size: 32, elements: ${this.add(`!{${tags.join(", ")}}`)})`);
+                const members = arms.flatMap((arm, i) => isUnitType(arm) ? [] : [this.add(`!DIDerivedType(tag: DW_TAG_member, name: "arm${i}", baseType: ${this.type(arm)}, size: ${arm.kind === "bool" ? 8 : arm.kind === "f64" || arm.kind === "date" ? 64 : this.pointerBits})`)]);
+                const slot = this.add(`!DICompositeType(tag: DW_TAG_union_type, name: ${quoted(`${type.unionId}_value`)}, size: 64, elements: ${this.add(`!{${members.join(", ")}}`)})`);
+                const offset = this.pointerBits === 32 ? 24 : 40;
+                const fields = [
+                    this.add(`!DIDerivedType(tag: DW_TAG_member, name: "tag", baseType: ${tag}, size: 32, offset: ${this.pointerBits})`),
+                    this.add(`!DIDerivedType(tag: DW_TAG_member, name: "slot", baseType: ${slot}, size: 64, offset: ${offset * 8})`),
+                ];
+                id = this.pointer(this.add(`!DICompositeType(tag: DW_TAG_structure_type, name: ${quoted(`ScrUnion_${type.unionId}`)}, size: ${(offset + 8) * 8}, elements: ${this.add(`!{${fields.join(", ")}}`)})`));
+                break;
+            }
+            default:
+                // Do not invent object layouts: unsupported visualizations remain
+                // typed opaque pointers, never doubles read out of pointer slots.
+                id = this.pointer(this.add(`!DICompositeType(tag: DW_TAG_structure_type, name: ${quoted(key)}, flags: DIFlagFwdDecl)`));
+        }
+        this.types.set(key, id);
+        return id;
+    }
+    local(local, fn, arg = 0, captured = false) {
+        if (fn === null || local.source === undefined)
+            return null;
+        const pos = this.source.position(local.source.loc);
+        if (pos === null)
+            return null;
+        const scope = captured ? fn : this.scopeAt(local.source.scope, fn);
+        // Scalar forward captures use an array-backed TDZ box. Expose that
+        // exceptional representation opaquely rather than reporting a bad value.
+        const opaqueBox = local.boxed && local.tdz && (local.type.kind === "f64" || local.type.kind === "bool" || local.type.kind === "date");
+        const type = opaqueBox ? this.pointer(this.add('!DICompositeType(tag: DW_TAG_structure_type, name: "ScrBox", flags: DIFlagFwdDecl)')) : this.type(local.type);
+        const variable = this.add(`!DILocalVariable(name: ${quoted(local.name)}, ${arg === 0 ? "" : `arg: ${arg}, `}scope: ${scope}, file: ${this.file(pos.file)}, line: ${pos.line}, type: ${type})`);
+        // ScrBox.slot follows rc, kind, and three function pointers, aligned to
+        // uint64_t on both the native and wasm32 runtime ABIs.
+        const boxOffset = this.pointerBits === 32 ? 24 : 40;
+        const expression = local.boxed && !opaqueBox ? `!DIExpression(DW_OP_deref, DW_OP_plus_uconst, ${boxOffset})` : "!DIExpression()";
+        const location = this.add(`!DILocation(line: ${pos.line}, column: ${Math.min(pos.column, 65535)}, scope: ${scope})`);
+        return { variable, expression, location };
+    }
+    global(global) {
+        if (global.source === undefined)
+            return null;
+        const pos = this.source.position(global.source.loc);
+        if (pos === null)
+            return null;
+        const file = this.file(pos.file);
+        const unit = this.unit(pos.file);
+        const variable = this.add(`distinct !DIGlobalVariable(name: ${quoted(global.name)}, scope: ${unit.id}, file: ${file}, line: ${pos.line}, type: ${this.type(global.type)}, isLocal: true, isDefinition: true)`);
+        const expression = this.add(`!DIGlobalVariableExpression(var: ${variable}, expr: !DIExpression())`);
+        unit.globals.push(expression);
+        return expression;
+    }
+    location(loc, fn) {
+        if (fn === null)
+            return null;
+        const pos = this.source.position(loc);
+        if (pos === null)
+            return null;
+        // Initializers and compiler-generated entry wrappers can span files.
+        const lexical = this.scopeAt(loc, fn);
+        const scopeKey = `${lexical}:${pos.file}`;
+        let scope = this.scopes.get(scopeKey);
+        if (scope === undefined) {
+            scope = this.add(`!DILexicalBlockFile(scope: ${lexical}, file: ${this.file(pos.file)}, discriminator: 0)`);
+            this.scopes.set(scopeKey, scope);
+        }
+        const key = `${scope}:${pos.line}:${pos.column}`;
+        let id = this.locations.get(key);
+        if (id === undefined) {
+            id = this.add(`!DILocation(line: ${pos.line}, column: ${Math.min(pos.column, 65535)}, scope: ${scope})`);
+            this.locations.set(key, id);
+        }
+        return id;
+    }
+    render() {
+        for (const unit of this.units.values()) {
+            this.nodes[Number(unit.globalList.slice(1))] = `${unit.globalList} = !{${unit.globals.join(", ")}}`;
+        }
+        return [`!llvm.dbg.cu = !{${[...this.units.values()].map((unit) => unit.id).join(", ")}}`, `!llvm.module.flags = !{${this.version}, ${this.dwarf}}`, ...this.nodes].join("\n");
+    }
+}
+//# sourceMappingURL=debug-info.js.map

package/dist/backend/llvm/debug-info.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"debug-info.js","sourceRoot":"","sources":["../../../src/backend/llvm/debug-info.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,OAAO,EAA2F,MAAM,gBAAgB,CAAC;AAC9I,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,gFAAgF;AAChF,MAAM,OAAO,aAAa;IAY+D,WAAW;IAAwB,MAAM;IAX/G,KAAK,GAAa,EAAE,CAAC;IACrB,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClC,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnC,aAAa,GAAG,IAAI,GAAG,EAAyC,CAAC;IACjE,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClC,KAAK,GAAG,IAAI,GAAG,EAAiE,CAAC;IACjF,MAAM,CAAkB;IACxB,OAAO,CAAS;IAChB,KAAK,CAAS;IAE/B,YAAY,UAAkB,EAAE,OAAoC,EAAmB,WAAW,GAAG,EAAE,EAAmB,MAAM,GAA0B,EAAE;2BAArE,WAAW;sBAAwB,MAAM;QAC9H,IAAI,CAAC,MAAM,GAAG,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;QAClE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;IAC7D,CAAC;IAEO,GAAG,CAAC,IAAY;QACtB,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;QACnC,OAAO,EAAE,CAAC;IACZ,CAAC;IAEO,IAAI,CAAC,IAAY;QACvB,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,qBAAqB,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,gBAAgB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACrG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,IAAI,CAAC,IAAY;QACvB,wEAAwE;QACxE,yEAAyE;QACzE,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,wDAAwD,IAAI,mGAAmG,UAAU,GAAG,CAAC,CAAC;YAClM,IAAI,GAAG,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,QAAQ,CAAC,EAAc;QACrB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,4BAA4B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClK,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,gCAAgC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,IAAI,WAAW,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,SAAS,gBAAgB,GAAG,CAAC,IAAI,8DAA8D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC3S,MAAM,MAAM,GAAkC,EAAE,CAAC;QACjD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACtG,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChI,sEAAsE;QACtE,wEAAwE;QACxE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK;gBACxD,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAE,SAAS;YACjE,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,GAAG,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACjG,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,KAAK,KAAK,IAAI;gBAAE,SAAS;YAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,mCAAmC,MAAM,WAAW,IAAI,WAAW,KAAK,CAAC,IAAI,aAAa,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjK,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAEO,OAAO,CAAC,GAAW,EAAE,EAAU;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAChD,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;IACvI,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,OAAO,IAAI,CAAC,GAAG,CAAC,sDAAsD,IAAI,WAAW,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC;IAC5G,CAAC;IAEO,IAAI,CAAC,IAAY;QACvB,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,EAAU,CAAC;QACf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,KAAK,CAAC;YAAC,KAAK,MAAM,CAAC;YAAC,KAAK,YAAY;gBACxC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,sBAAsB,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;gBAC7H,MAAM;YACR,KAAK,MAAM;gBACT,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,kEAAkE,CAAC,CAAC;gBAClF,MAAM;YACR,KAAK,QAAQ,EAAE,CAAC;gBACd,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,sCAAsC,IAAI,CAAC,WAAW,8BAA8B,CAAC,CAAC;gBAC5G,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,mEAAmE,CAAC,CAAC;gBAC3F,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,sDAAsD,IAAI,eAAe,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACxJ,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,4CAA4C,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,aAAa,CAAC,GAAG,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;gBAClP,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,sEAAsE,CAAC,GAAG,IAAI,CAAC,WAAW,eAAe,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC7K,MAAM;YACR,CAAC;YACD,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC;gBAChF,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,qBAAqB,CAAC,CAAC,CAAC;gBAC3H,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,qEAAqE,CAAC,CAAC;gBAC7F,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,wDAAwD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,MAAM,CAAC,eAAe,IAAI,yBAAyB,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5L,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gDAAgD,CAAC,gBAAgB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtQ,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,kDAAkD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,QAAQ,CAAC,yBAAyB,IAAI,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACzK,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjD,MAAM,MAAM,GAAG;oBACb,IAAI,CAAC,GAAG,CAAC,6DAA6D,GAAG,uBAAuB,IAAI,CAAC,WAAW,GAAG,CAAC;oBACpH,IAAI,CAAC,GAAG,CAAC,8DAA8D,IAAI,uBAAuB,MAAM,GAAG,CAAC,GAAG,CAAC;iBACjH,CAAC;gBACF,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,sDAAsD,MAAM,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtM,MAAM;YACR,CAAC;YACD;gBACE,kEAAkE;gBAClE,kEAAkE;gBAClE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,sDAAsD,MAAM,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAC5H,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,KAAK,CAAC,KAAc,EAAE,EAAiB,EAAE,GAAG,GAAG,CAAC,EAAE,QAAQ,GAAG,KAAK;QAChE,IAAI,EAAE,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACnE,mEAAmE;QACnE,yEAAyE;QACzE,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACtI,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,oFAAoF,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9J,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,0BAA0B,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,UAAU,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,IAAI,WAAW,IAAI,GAAG,CAAC,CAAC;QAC/L,wEAAwE;QACxE,uDAAuD;QACvD,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,iDAAiD,SAAS,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC;QACjI,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,qBAAqB,GAAG,CAAC,IAAI,aAAa,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,KAAK,GAAG,CAAC,CAAC;QACrH,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED,MAAM,CAAC,MAAgB;QACrB,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,oCAAoC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,EAAE,WAAW,IAAI,WAAW,GAAG,CAAC,IAAI,WAAW,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAC/M,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,oCAAoC,QAAQ,0BAA0B,CAAC,CAAC;QACpG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC9B,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,QAAQ,CAAC,GAAW,EAAE,EAAiB;QACrC,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,qEAAqE;QACrE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,GAAG,OAAO,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QAC1C,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,8BAA8B,OAAO,WAAW,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YAC3G,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,KAAK,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACjD,IAAI,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,qBAAqB,GAAG,CAAC,IAAI,aAAa,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,KAAK,GAAG,CAAC,CAAC;YACzG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM;QACJ,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,UAAU,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACtG,CAAC;QACD,OAAO,CAAC,oBAAoB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,0BAA0B,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjL,CAAC;CACF"}

package/dist/backend/llvm/debug-info.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/backend/llvm/debug-info.test.js

@@ -0,0 +1,110 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, STRING, VOID } from "../../ir/ir.js";
+import { LlvmDebugInfo } from "./debug-info.js";
+const file = "/source/日本/main.ts";
+const text = "function example(value: number) {\r\n  const outer = 1;\n  { const inner = 2; }\n}\n";
+const loc = { file, start: 0, end: text.length };
+const at = (word) => ({ file, start: text.indexOf(word), end: text.indexOf(word) + word.length });
+function local(name, scope = loc) {
+    return { id: name + ".0", name, type: F64, mutable: true, source: { loc: at(name), scope } };
+}
+function fn(locals = []) {
+    return { name: "example", params: [], locals, returnType: VOID, body: [], loc };
+}
+test("missing sources leave functions and bindings without invented positions", () => {
+    const debug = new LlvmDebugInfo(file, new Map());
+    expect(debug.function(fn())).toBeNull();
+    expect(debug.local(local("outer"), null)).toBeNull();
+    expect(debug.location(loc, null)).toBeNull();
+    expect(debug.global({ id: "g", name: "g", type: F64, mutable: false })).toBeNull();
+    expect(debug.render()).not.toContain("DILocation");
+});
+test("parameters retain argument numbers and source positions across CRLF", () => {
+    const debug = new LlvmDebugInfo(file, new Map([[file, text]]));
+    const value = local("value");
+    const scope = debug.function(fn([value]));
+    const binding = debug.local(value, scope, 1);
+    expect(binding).not.toBeNull();
+    expect(debug.render()).toContain('name: "value", arg: 1');
+    expect(debug.render()).toContain("line: 1, column: 18");
+    expect(debug.location(at("outer"), scope)).not.toBeNull();
+    expect(debug.render()).toContain("line: 2, column: 9");
+    expect(debug.render()).toContain('filename: "main.ts"');
+    expect(debug.render()).toContain('directory: "/source/\\E6\\97\\A5\\E6\\9C\\AC"');
+});
+test("nested lexical scopes bind inner locals to the smallest containing block", () => {
+    const nested = { file, start: text.indexOf("{ const"), end: text.indexOf("; }") + 3 };
+    const outer = local("outer");
+    const inner = local("inner", nested);
+    const debug = new LlvmDebugInfo(file, new Map([[file, text]]));
+    const scope = debug.function(fn([outer, inner]));
+    debug.local(outer, scope);
+    debug.local(inner, scope);
+    const rendered = debug.render();
+    const block = /(!\d+) = distinct !DILexicalBlock\(/.exec(rendered)?.[1];
+    expect(block).toBeDefined();
+    expect(rendered).toContain(`name: "outer", scope: ${scope}`);
+    expect(rendered).toContain(`name: "inner", scope: ${block}`);
+});
+test("captured locals use function scope while ordinary duplicate scopes intern", () => {
+    const nested = { file, start: text.indexOf("{ const"), end: text.indexOf("; }") + 3 };
+    const inner = local("inner", nested);
+    inner.boxed = true;
+    const second = { ...inner, id: "other.0", name: "other" };
+    const captured = { ...inner, id: "captured.0", name: "captured" };
+    const func = fn([inner, second, captured]);
+    func.captures = [{ localId: captured.id, name: captured.name, type: F64 }];
+    const debug = new LlvmDebugInfo(file, new Map([[file, text]]));
+    const scope = debug.function(func);
+    debug.local(captured, scope, 0, true);
+    expect(debug.render().match(/distinct !DILexicalBlock\(/g)).toHaveLength(1);
+    expect(debug.render()).toContain(`name: "captured", scope: ${scope}`);
+});
+test.each([32, 64])("boxed and TDZ locals use honest storage descriptions (%i-bit)", (bits) => {
+    const debug = new LlvmDebugInfo(file, new Map([[file, text]]), bits);
+    const boxed = { ...local("outer"), boxed: true };
+    const tdz = { ...local("inner"), boxed: true, tdz: true };
+    const scope = debug.function(fn([boxed, tdz]));
+    const real = debug.local(boxed, scope);
+    const opaque = debug.local(tdz, scope);
+    expect(real?.expression).toBe(`!DIExpression(DW_OP_deref, DW_OP_plus_uconst, ${bits === 32 ? 24 : 40})`);
+    expect(opaque?.expression).toBe("!DIExpression()");
+    expect(debug.render()).toContain('name: "ScrBox", flags: DIFlagFwdDecl');
+});
+test("globals are attached to the correct compilation units and render is stable", () => {
+    const other = "/source/other.ts";
+    const otherLoc = { file: other, start: 0, end: 5 };
+    const debug = new LlvmDebugInfo(file, new Map([[file, text], [other, "const other = 1;"]]));
+    const first = debug.global({ id: "first", name: "first", type: STRING, mutable: false, source: { loc, scope: loc } });
+    const second = debug.global({ id: "second", name: "second", type: BOOL, mutable: true, source: { loc: otherLoc, scope: otherLoc } });
+    const rendered = debug.render();
+    expect(rendered).toContain(`!{${first}}`);
+    expect(rendered).toContain(`!{${second}}`);
+    expect(rendered.match(/distinct !DICompileUnit\(/g)).toHaveLength(2);
+    expect(debug.render()).toBe(rendered);
+});
+test("locations intern per file and scope and clamp columns to DWARF limits", () => {
+    const long = " ".repeat(70000) + "value";
+    const other = "/source/other.ts";
+    const debug = new LlvmDebugInfo(file, new Map([[file, text], [other, long]]));
+    const scope = debug.function(fn());
+    const pos = { file: other, start: 70000, end: 70005 };
+    const first = debug.location(pos, scope);
+    expect(debug.location(pos, scope)).toBe(first);
+    expect(debug.location({ file: "missing.ts", start: 0, end: 0 }, scope)).toBeNull();
+    expect(debug.render()).toContain("column: 65535");
+    expect(debug.render()).toContain("DILexicalBlockFile");
+});
+test.each([32, 64])("nullable reference types describe tags and ABI payload offsets (%i-bit)", (bits) => {
+    const debug = new LlvmDebugInfo(file, new Map([[file, text]]), bits, [
+        { id: "value", arms: [STRING, { kind: "undefinedT" }] },
+    ]);
+    const value = { ...local("value"), type: { kind: "union", unionId: "value" } };
+    const scope = debug.function(fn([value]));
+    debug.local(value, scope);
+    const rendered = debug.render();
+    expect(rendered).toContain('!DIEnumerator(name: "undefined", value: 1');
+    expect(rendered).toContain(`offset: ${(bits === 32 ? 24 : 40) * 8}`);
+    expect(rendered).toContain('name: "ScrUnion_value"');
+});
+//# sourceMappingURL=debug-info.test.js.map

package/dist/backend/llvm/debug-info.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"debug-info.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/debug-info.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAA8C,MAAM,gBAAgB,CAAC;AACrG,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,MAAM,IAAI,GAAG,oBAAoB,CAAC;AAClC,MAAM,IAAI,GAAG,sFAAsF,CAAC;AACpG,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AACzD,MAAM,EAAE,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;AAClH,SAAS,KAAK,CAAC,IAAY,EAAE,KAAK,GAAG,GAAG;IACtC,OAAO,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;AAC/F,CAAC;AACD,SAAS,EAAE,CAAC,MAAM,GAAc,EAAE;IAChC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAClF,CAAC;AAED,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnF,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;AACrD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IACvD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,+CAA+C,CAAC,CAAC;AACpF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9F,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACjD,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1B,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,qCAAqC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5B,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,yBAAyB,KAAK,EAAE,CAAC,CAAC;IAC7D,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,yBAAyB,KAAK,EAAE,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9F,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACrC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;IACnB,MAAM,MAAM,GAAG,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1D,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAClE,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACtC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5E,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,4BAA4B,KAAK,EAAE,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,+DAA+D,EAAE,CAAC,IAAI,EAAE,EAAE;IAC5F,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrE,MAAM,KAAK,GAAY,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC1D,MAAM,GAAG,GAAY,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACnE,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,iDAAiD,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACzG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACnD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,sCAAsC,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,KAAK,GAAG,kBAAkB,CAAC;IACjC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IACtH,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACrI,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;IAChC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC;IAC1C,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,KAAK,MAAM,GAAG,CAAC,CAAC;IAC3C,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IACzC,MAAM,KAAK,GAAG,kBAAkB,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnF,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAClD,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,yEAAyE,EAAE,CAAC,IAAI,EAAE,EAAE;IACtG,MAAM,KAAK,GAAG,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;QACnE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE;KACxD,CAAC,CAAC;IACH,MAAM,KAAK,GAAY,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC;IACxF,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1C,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;IAChC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACxE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/dyn.d.ts

@@ -14,6 +14,9 @@ export declare const DYN_KIND: {
     readonly PROMISE: 10;
     readonly JSVAL: 11;
     readonly TYPED_REF: 12;
+    readonly PROXY: 13;
+    readonly BIGINT: 14;
+    readonly SYMBOL: 15;
 };
 /** What the dyn helpers need beyond the walker host: interned immortal
  * unit instances (undefined-armed dynCheck targets build them). */
@@ -23,6 +26,8 @@ export interface DynHost extends WalkerHost {
         snapshot: string;
         commit: string;
     };
+    isErrorClass(className: string): boolean;
+    classSubtypes(className: string): readonly string[];
 }
 export declare class LlDyn {
     private readonly host;
@@ -35,9 +40,13 @@ export declare class LlDyn {
     private readonly promiseDynAdapters;
     private dynToStrFn;
     private caughtToDynFn;
+    private readonly helperMemo;
     /** Emitted function definitions, in interning order. */
     readonly defs: string[];
     constructor(host: DynHost);
+    /** Branch to a variant only after its literal discriminator and complete
+     * structure match. Use the same path for predicates and builders. */
+    private unionArmMatch;
     private get S();
     private abiOffset;
     private get indexMaxDiv10();
@@ -55,8 +64,8 @@ export declare class LlDyn {
     private itemsOf;
     /** Loads items[i] (borrowed ScrDyn *). */
     private itemAt;
-    /** Object entry field addresses: entries + i*24 (+0 key, +8 key_len,
-     * +16 value). */
+    /** Object entry field addresses: entries + i*sizeof(ScrDynEntry), with
+     * key, key_len, and value at offsets 0, 8, and 16 on 64-bit targets. */
     private entryAt;
     /** An ScrStr's (len, data) pair — len via the %ScrStr header, data the
      * flexible tail at +24. */
@@ -76,6 +85,10 @@ export declare class LlDyn {
     /** Emit the standard in-helper pending check: on a pending exception
      * run `cleanup` and return `dummy`. */
     private pendingBail;
+    /** Native subclass capsules also satisfy a checked base-class slot.
+     * Class layouts share their base prefix, so unboxing retains the same
+     * pointer and virtual dispatch still uses the object's original vtable. */
+    private typedRefMatches;
     /** `sc_dm_<n>(ptr d) -> i1` — does this dyn fit T? Never throws. */
     dynMatchHelper(t: IrType): string;
     /** `sc_dc_<n>(ptr d, ptr path) -> T` — validate the checked-dynamic tree against T and
@@ -102,6 +115,7 @@ export declare class LlDyn {
     caughtToDynHelper(): string;
     /** `sc_dyn_key_get(ptr d, ptr k, i1 opt) -> ptr` — d[k] on a dyn value.
      * Result +1; throws on non-optional nullish receivers. */
+    dynComputedKeyGetHelper(): string;
     dynKeyGetHelper(): string;
     dynDestrCheckHelper(): string;
     dynIterNHelper(): string;