@scriptc/compiler 0.1.5 → 0.1.7

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

@@ -0,0 +1,32 @@
+import { type IrFunction, type IrGlobal, type IrLocal, type IrUnionDef, type SrcLoc } from "../../ir/ir.js";
+/** DWARF describes source bindings at their actual native storage locations. */
+export declare class LlvmDebugInfo {
+    private readonly pointerBits;
+    private readonly unions;
+    private readonly nodes;
+    private readonly files;
+    private readonly locations;
+    private readonly scopes;
+    private readonly lexicalScopes;
+    private readonly types;
+    private readonly units;
+    private readonly source;
+    private readonly version;
+    private readonly dwarf;
+    constructor(sourceFile: string, sources: ReadonlyMap<string, string>, pointerBits?: number, unions?: readonly IrUnionDef[]);
+    private add;
+    private file;
+    private unit;
+    function(fn: IrFunction): string | null;
+    private scopeAt;
+    private pointer;
+    private type;
+    local(local: IrLocal, fn: string | null, arg?: number, captured?: boolean): {
+        variable: string;
+        expression: string;
+        location: string;
+    } | null;
+    global(global: IrGlobal): string | null;
+    location(loc: SrcLoc, fn: string | null): string | null;
+    render(): string;
+}

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

@@ -0,0 +1,203 @@
+import { basename, dirname } from "node:path";
+import { isUnitType, typeKey } from "../../ir/ir.js";
+import { SourceLocations } from "../source-locations.js";
+import { mangleFunction } from "../mangle.js";
+/** LLVM metadata strings use UTF-8 byte escapes, including for paths. */
+function quoted(text) {
+    return '"' + [...Buffer.from(text)].map((byte) => byte >= 0x20 && byte < 0x7f && byte !== 0x22 && byte !== 0x5c
+        ? String.fromCharCode(byte)
+        : `\\${byte.toString(16).padStart(2, "0").toUpperCase()}`).join("") + '"';
+}
+/** 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?.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,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,yEAAyE;AACzE,SAAS,MAAM,CAAC,IAAY;IAC1B,OAAO,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,IAAI,IAAI,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAC3D,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC;QAC3B,CAAC,CAAC,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAC5D,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;AACnB,CAAC;AAED,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,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,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/dyn.js

@@ -2157,7 +2157,7 @@ export class LlDyn {
             B.terminate(`ret ptr ${r}`);
             B.startBlock(lNext);
         }
-        // OBJ: the own member (+1) or the undefined singleton.
+        // OBJ: the own member or the inherited builtin Error constructor.
         {
             const isObj = B.tmp();
             B.line(`${isObj} = icmp eq i32 ${kd}, ${DYN_KIND.OBJ}`);
@@ -2165,15 +2165,9 @@ export class LlDyn {
             const lNext = B.newLabel("kg.n");
             B.condBr(isObj, lObj, lNext);
             B.startBlock(lObj);
-            host.declare(`declare ptr @scr_dyn_obj_get(ptr, ptr, ${host.sizeType})`);
-            const m = B.tmp();
-            B.line(`${m} = call ptr @scr_dyn_obj_get(ptr %d, ptr ${kParts.data}, ${host.sizeType} ${kParts.len})`);
-            const has = B.tmp();
-            B.line(`${has} = icmp ne ptr ${m}, null`);
-            const u = this.undef(B);
-            const sel = B.tmp();
-            B.line(`${sel} = select i1 ${has}, ptr ${m}, ptr ${u}`);
-            const r = this.retainDyn(B, sel);
+            host.declare(`declare ptr @scr_dyn_obj_read(ptr, ptr, ${host.sizeType})`);
+            const r = B.tmp();
+            B.line(`${r} = call ptr @scr_dyn_obj_read(ptr %d, ptr ${kParts.data}, ${host.sizeType} ${kParts.len})`);
             B.terminate(`ret ptr ${r}`);
             B.startBlock(lNext);
         }