xbintsc 0.1.3 → 0.1.8

package/dist/src/ast/types.d.ts

@@ -0,0 +1,123 @@
+/**
+ * Type nodes of the xbintsc AST. The parser records type syntax so diagnostics
+ * and tooling can see it, but the code generator erases types before lowering.
+ */
+import { SyntaxKind } from "./kinds.js";
+import type { TypeOperator } from "./operators.js";
+import type { Node, TypeNode } from "./common.js";
+import type { BooleanLiteral, Identifier, NullLiteral, NumericLiteral, StringLiteral, ThisExpression, PropertyName } from "./expressions.js";
+import type { Parameter, TypeParameterDeclaration } from "./declarations.js";
+export interface TypeReference extends Node {
+    readonly kind: SyntaxKind.TypeReference;
+    readonly typeName: Identifier | QualifiedName;
+    readonly typeArguments: TypeNode[];
+}
+export interface QualifiedName extends Node {
+    readonly kind: SyntaxKind.QualifiedName;
+    readonly left: Identifier | QualifiedName;
+    readonly right: Identifier;
+}
+export interface TypePredicate extends Node {
+    readonly kind: SyntaxKind.TypePredicate;
+    readonly parameterName: Identifier | ThisExpression;
+    readonly type?: TypeNode;
+}
+export interface KeywordTypeNode extends Node {
+    readonly kind: SyntaxKind.AnyKeywordType | SyntaxKind.UnknownKeywordType | SyntaxKind.NumberKeywordType | SyntaxKind.BigIntKeywordType | SyntaxKind.StringKeywordType | SyntaxKind.BooleanKeywordType | SyntaxKind.SymbolKeywordType | SyntaxKind.VoidKeywordType | SyntaxKind.UndefinedKeywordType | SyntaxKind.NullKeywordType | SyntaxKind.NeverKeywordType | SyntaxKind.ObjectKeywordType | SyntaxKind.ThisKeywordType;
+}
+export interface LiteralTypeNode extends Node {
+    readonly kind: SyntaxKind.LiteralType;
+    readonly literal: StringLiteral | NumericLiteral | BooleanLiteral | NullLiteral;
+}
+export interface ArrayTypeNode extends Node {
+    readonly kind: SyntaxKind.ArrayType;
+    readonly elementType: TypeNode;
+}
+export interface TupleTypeNode extends Node {
+    readonly kind: SyntaxKind.TupleType;
+    readonly elements: TypeNode[];
+}
+export interface UnionTypeNode extends Node {
+    readonly kind: SyntaxKind.UnionType;
+    readonly types: TypeNode[];
+}
+export interface IntersectionTypeNode extends Node {
+    readonly kind: SyntaxKind.IntersectionType;
+    readonly types: TypeNode[];
+}
+export interface FunctionTypeNode extends Node {
+    readonly kind: SyntaxKind.FunctionType;
+    readonly typeParameters: TypeParameterDeclaration[];
+    readonly parameters: Parameter[];
+    readonly returnType: TypeNode;
+}
+export type TypeElement = PropertySignature | MethodSignature | IndexSignature;
+export interface PropertySignature extends Node {
+    readonly kind: SyntaxKind.PropertySignature;
+    readonly name: PropertyName;
+    readonly questionToken: boolean;
+    readonly readonlyToken: boolean;
+    readonly type?: TypeNode;
+}
+export interface MethodSignature extends Node {
+    readonly kind: SyntaxKind.MethodSignature;
+    readonly name: PropertyName;
+    readonly questionToken: boolean;
+    readonly typeParameters: TypeParameterDeclaration[];
+    readonly parameters: Parameter[];
+    readonly returnType?: TypeNode;
+}
+export interface IndexSignature extends Node {
+    readonly kind: SyntaxKind.IndexSignature;
+    readonly parameters: Parameter[];
+    readonly type?: TypeNode;
+}
+export interface TypeLiteralNode extends Node {
+    readonly kind: SyntaxKind.TypeLiteral;
+    readonly members: TypeElement[];
+}
+export interface ParenthesizedTypeNode extends Node {
+    readonly kind: SyntaxKind.ParenthesizedType;
+    readonly type: TypeNode;
+}
+export interface TypeQueryNode extends Node {
+    readonly kind: SyntaxKind.TypeQuery;
+    readonly exprName: Identifier | QualifiedName;
+    readonly typeArguments: TypeNode[];
+}
+export interface IndexedAccessTypeNode extends Node {
+    readonly kind: SyntaxKind.IndexedAccessType;
+    readonly objectType: TypeNode;
+    readonly indexType: TypeNode;
+}
+export interface TypeOperatorNode extends Node {
+    readonly kind: SyntaxKind.TypeOperator;
+    readonly operator: TypeOperator;
+    readonly type: TypeNode;
+}
+export interface MappedTypeNode extends Node {
+    readonly kind: SyntaxKind.MappedType;
+    readonly readonlyToken: boolean | "+" | "-";
+    readonly typeParameter: TypeParameterDeclaration;
+    readonly questionToken: boolean | "+" | "-";
+    readonly type?: TypeNode;
+}
+export interface ConditionalTypeNode extends Node {
+    readonly kind: SyntaxKind.ConditionalType;
+    readonly checkType: TypeNode;
+    readonly extendsType: TypeNode;
+    readonly trueType: TypeNode;
+    readonly falseType: TypeNode;
+}
+export interface InferTypeNode extends Node {
+    readonly kind: SyntaxKind.InferType;
+    readonly typeParameter: TypeParameterDeclaration;
+}
+export interface OptionalTypeNode extends Node {
+    readonly kind: SyntaxKind.OptionalType;
+    readonly type: TypeNode;
+}
+export interface RestTypeNode extends Node {
+    readonly kind: SyntaxKind.RestType;
+    readonly type: TypeNode;
+}

package/dist/src/ast/types.js

@@ -0,0 +1,6 @@
+/**
+ * Type nodes of the xbintsc AST. The parser records type syntax so diagnostics
+ * and tooling can see it, but the code generator erases types before lowering.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/src/ast/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/ast/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/src/codegen/generator/calls.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Calls, member access, optional chaining, object/array literals and closures.
+ */
+import { type ArrowFunction, type ArrayLiteralExpression, type CallExpression, type DeleteExpression, type ElementAccessExpression, type Expression, type FunctionExpression, type ObjectLiteralExpression, type PropertyAccessExpression } from "../../ast/nodes.js";
+import type { Generator } from "./generator.js";
+export interface CallMethods {
+    emitCall(this: Generator, node: CallExpression): string;
+    tryEmitBuiltinCall(this: Generator, node: CallExpression, callee: PropertyAccessExpression): string | undefined;
+    runtimeCall(this: Generator, name: string, args: readonly string[]): string;
+    emitArguments(this: Generator, args: readonly Expression[]): {
+        argc: number;
+        ptr: string;
+    };
+    emitDelete(this: Generator, node: DeleteExpression): string;
+    emitPropertyAccess(this: Generator, node: PropertyAccessExpression): string;
+    emitElementAccess(this: Generator, node: ElementAccessExpression): string;
+    emitOptional(this: Generator, objectValue: string, compute: () => string): string;
+    emitArrayLiteral(this: Generator, node: ArrayLiteralExpression): string;
+    emitObjectLiteral(this: Generator, node: ObjectLiteralExpression): string;
+    emitClosure(this: Generator, node: ArrowFunction | FunctionExpression): string;
+}
+export declare const callMethods: CallMethods;

package/dist/src/codegen/generator/calls.js

@@ -0,0 +1,301 @@
+/**
+ * Calls, member access, optional chaining, object/array literals and closures.
+ */
+import { SyntaxKind, } from "../../ast/nodes.js";
+import { SymbolKind } from "../../binder/binder.js";
+import { i64, numberLiteral, XT_TRUE, XT_UNDEFINED } from "../values.js";
+import { BUILTIN_METHODS, CONSOLE_METHODS, GLOBAL_FUNCTIONS, MATH_CONSTANTS, MATH_FUNCTIONS, propertyNameText, } from "./tables.js";
+export const callMethods = {
+    emitCall(node) {
+        const callee = node.expression;
+        if (node.optional) {
+            const calleeValue = this.emitExpression(callee);
+            return this.emitOptional(calleeValue, () => {
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_closure_call(i64 ${calleeValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            });
+        }
+        if ((callee.kind === SyntaxKind.PropertyAccessExpression || callee.kind === SyntaxKind.ElementAccessExpression) &&
+            callee.optional) {
+            // `obj?.method(args)` / `obj?.[key](args)`: guard the receiver, then
+            // dispatch through the runtime, which understands object methods as well
+            // as the built-in array/string methods.
+            const access = callee;
+            const object = this.emitExpression(access.expression);
+            return this.emitOptional(object, () => {
+                const name = access.kind === SyntaxKind.PropertyAccessExpression
+                    ? this.stringValue(access.name.text)
+                    : this.emitExpression(access.argumentExpression);
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            });
+        }
+        if (callee.kind === SyntaxKind.PropertyAccessExpression) {
+            const special = this.tryEmitBuiltinCall(node, callee);
+            if (special)
+                return special;
+        }
+        if (callee.kind === SyntaxKind.Identifier) {
+            const symbol = this.binding.symbolOfIdentifier.get(callee);
+            if (symbol && symbol.kind === SymbolKind.Function) {
+                const declaration = symbol.declarations[0];
+                const fn = declaration ? this.binding.functionOfNode.get(declaration) : undefined;
+                if (fn) {
+                    const args = this.emitArguments(node.arguments);
+                    const result = this.reg();
+                    this.emit(`  ${result} = call i64 @${this.functionName(fn)}(i64 ${i64(XT_UNDEFINED)}, i32 ${args.argc}, i64* ${args.ptr})`);
+                    return result;
+                }
+            }
+            const globalFunction = !symbol ? GLOBAL_FUNCTIONS[callee.text] : undefined;
+            if (globalFunction) {
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @${globalFunction}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+            const builtin = this.builtins[callee.text];
+            if (!symbol && builtin) {
+                this.extraDeclarations.add(builtin.returnVoid ? `declare void @${builtin.symbol}(i32, i64*)` : `declare i64 @${builtin.symbol}(i32, i64*)`);
+                const args = this.emitArguments(node.arguments);
+                if (builtin.returnVoid) {
+                    this.emit(`  call void @${builtin.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
+                    return i64(XT_UNDEFINED);
+                }
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @${builtin.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+        }
+        const calleeValue = this.emitExpression(callee);
+        const args = this.emitArguments(node.arguments);
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_closure_call(i64 ${calleeValue}, i32 ${args.argc}, i64* ${args.ptr})`);
+        return result;
+    },
+    tryEmitBuiltinCall(node, callee) {
+        const target = callee.expression;
+        const method = callee.name.text;
+        const targetIdentifier = target.kind === SyntaxKind.Identifier ? target : undefined;
+        const targetSymbol = targetIdentifier ? this.binding.symbolOfIdentifier.get(targetIdentifier) : undefined;
+        if (targetIdentifier && targetIdentifier.text === "console" && !targetSymbol) {
+            const consoleFn = CONSOLE_METHODS[method];
+            if (consoleFn) {
+                const args = this.emitArguments(node.arguments);
+                this.emit(`  call void @${consoleFn}(i32 ${args.argc}, i64* ${args.ptr})`);
+                return i64(XT_UNDEFINED);
+            }
+            return undefined;
+        }
+        if (targetIdentifier && targetIdentifier.text === "Math" && !targetSymbol) {
+            if (!MATH_FUNCTIONS.has(method))
+                return undefined;
+            const name = this.stringValue(method);
+            const args = this.emitArguments(node.arguments);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_math_call(i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        if (targetIdentifier && targetIdentifier.text === "Object" && !targetSymbol) {
+            if (method === "keys" || method === "values" || method === "entries") {
+                const argument = node.arguments.length > 0 ? this.emitExpression(node.arguments[0]) : i64(XT_UNDEFINED);
+                const fn = method === "keys" ? "xt_object_keys" : method === "values" ? "xt_object_values" : "xt_object_entries";
+                return this.runtimeCall(fn, [argument]);
+            }
+            if (method === "assign") {
+                const args = this.emitArguments(node.arguments);
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_object_assign(i32 ${args.argc}, i64* ${args.ptr})`);
+                return result;
+            }
+            return undefined;
+        }
+        if (BUILTIN_METHODS.has(method)) {
+            const object = this.emitExpression(target);
+            const name = this.stringValue(method);
+            const args = this.emitArguments(node.arguments);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        return undefined;
+    },
+    runtimeCall(name, args) {
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @${name}(${args.map((a) => `i64 ${a}`).join(", ")})`);
+        return result;
+    },
+    emitArguments(args) {
+        if (args.length === 0)
+            return { argc: 0, ptr: "null" };
+        const ptr = `%args${this.current.allocas.length}`;
+        this.current.allocas.push(`${ptr} = alloca i64, i32 ${args.length}`);
+        for (let index = 0; index < args.length; index++) {
+            const value = this.emitExpression(args[index]);
+            const slot = this.reg();
+            this.emit(`  ${slot} = getelementptr i64, i64* ${ptr}, i32 ${index}`);
+            this.emit(`  store i64 ${value}, i64* ${slot}`);
+        }
+        return { argc: args.length, ptr };
+    },
+    emitDelete(node) {
+        const target = node.expression;
+        if (target.kind === SyntaxKind.PropertyAccessExpression) {
+            const access = target;
+            const object = this.emitExpression(access.expression);
+            const key = this.stringValue(access.name.text);
+            return this.runtimeCall("xt_delete", [object, key]);
+        }
+        if (target.kind === SyntaxKind.ElementAccessExpression) {
+            const access = target;
+            const object = this.emitExpression(access.expression);
+            const key = this.emitExpression(access.argumentExpression);
+            return this.runtimeCall("xt_delete", [object, key]);
+        }
+        return i64(XT_TRUE);
+    },
+    emitPropertyAccess(node) {
+        if (node.name.text in MATH_CONSTANTS &&
+            node.expression.kind === SyntaxKind.Identifier &&
+            node.expression.text === "Math" &&
+            !this.binding.symbolOfIdentifier.get(node.expression)) {
+            return numberLiteral(MATH_CONSTANTS[node.name.text]);
+        }
+        const object = this.emitExpression(node.expression);
+        const access = () => {
+            if (node.name.text === "length") {
+                const result = this.reg();
+                this.emit(`  ${result} = call i64 @xt_array_length(i64 ${object})`);
+                return result;
+            }
+            const key = this.stringValue(node.name.text);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_get(i64 ${object}, i64 ${key})`);
+            return result;
+        };
+        return node.optional ? this.emitOptional(object, access) : access();
+    },
+    emitElementAccess(node) {
+        const object = this.emitExpression(node.expression);
+        const access = () => {
+            const key = this.emitExpression(node.argumentExpression);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_get(i64 ${object}, i64 ${key})`);
+            return result;
+        };
+        return node.optional ? this.emitOptional(object, access) : access();
+    },
+    /**
+     * Evaluate `object` once and, when it is neither `null` nor `undefined`, run
+     * `compute` to produce the value; otherwise short-circuit to `undefined`.
+     */
+    emitOptional(objectValue, compute) {
+        const result = this.alloca();
+        this.emit(`  store i64 ${i64(XT_UNDEFINED)}, i64* ${result}`);
+        const nullish = this.reg();
+        this.emit(`  ${nullish} = call i64 @xt_is_nullish(i64 ${objectValue})`);
+        const truthy = this.reg();
+        this.emit(`  ${truthy} = call i32 @xt_truthy(i64 ${nullish})`);
+        const condition = this.reg();
+        this.emit(`  ${condition} = icmp ne i32 ${truthy}, 0`);
+        const someLabel = this.label("opt.some");
+        const endLabel = this.label("opt.end");
+        this.terminate(`br i1 ${condition}, label %${endLabel}, label %${someLabel}`);
+        this.startBlock(someLabel);
+        const value = compute();
+        this.emit(`  store i64 ${value}, i64* ${result}`);
+        this.terminate(`br label %${endLabel}`);
+        this.startBlock(endLabel);
+        const merged = this.reg();
+        this.emit(`  ${merged} = load i64, i64* ${result}`);
+        return merged;
+    },
+    emitArrayLiteral(node) {
+        const hasSpread = node.elements.some((element) => element.kind === SyntaxKind.SpreadElement);
+        if (!hasSpread) {
+            const args = this.emitArguments(node.elements);
+            const result = this.reg();
+            this.emit(`  ${result} = call i64 @xt_array_new(i32 ${args.argc}, i64* ${args.ptr})`);
+            return result;
+        }
+        let array = this.runtimeCall("xt_array_new", [`0`, `null`]);
+        for (const element of node.elements) {
+            if (element.kind === SyntaxKind.SpreadElement) {
+                const spread = this.emitExpression(element.expression);
+                array = this.runtimeCall("xt_array_spread", [array, spread]);
+            }
+            else {
+                const value = this.emitExpression(element);
+                array = this.runtimeCall("xt_array_push", [array, value]);
+            }
+        }
+        return array;
+    },
+    emitObjectLiteral(node) {
+        const object = this.reg();
+        this.emit(`  ${object} = call i64 @xt_object_new()`);
+        for (const property of node.properties) {
+            if (property.kind === SyntaxKind.PropertyAssignment) {
+                const name = propertyNameText(property.name);
+                const key = this.stringValue(name);
+                const value = this.emitExpression(property.initializer);
+                this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
+            }
+            else if (property.kind === SyntaxKind.ShorthandPropertyAssignment) {
+                const identifier = property.name;
+                const key = this.stringValue(identifier.text);
+                const value = this.emitIdentifier(identifier);
+                this.emit(`  call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
+            }
+            else if (property.kind === SyntaxKind.SpreadElement) {
+                const spread = this.emitExpression(property.expression);
+                this.emit(`  call i64 @xt_object_spread(i64 ${object}, i64 ${spread})`);
+            }
+            else {
+                this.unsupported(property, "object spread");
+            }
+        }
+        return object;
+    },
+    emitClosure(node) {
+        const fn = this.binding.functionOfNode.get(node);
+        if (!fn) {
+            this.unsupported(node, "closure");
+            return i64(XT_UNDEFINED);
+        }
+        let envPtr = "null";
+        if (fn.captures.length > 0) {
+            envPtr = `%env${this.current.allocas.length}`;
+            this.current.allocas.push(`${envPtr} = alloca i64, i32 ${fn.captures.length}`);
+            for (let index = 0; index < fn.captures.length; index++) {
+                const symbol = fn.captures[index];
+                // The current function must be able to read the capture: either from
+                // its own slot (local) or from one of its own capture slots.
+                const slot = this.current.slots.get(symbol.id);
+                let raw;
+                if (slot) {
+                    raw = this.reg();
+                    this.emit(`  ${raw} = load i64, i64* ${slot.ptr}`);
+                }
+                else {
+                    const outer = this.binding.functionOfNode.get(node);
+                    void outer;
+                    raw = i64(XT_UNDEFINED);
+                }
+                const target = this.reg();
+                this.emit(`  ${target} = getelementptr i64, i64* ${envPtr}, i32 ${index}`);
+                this.emit(`  store i64 ${raw}, i64* ${target}`);
+            }
+        }
+        const cast = this.reg();
+        this.emit(`  ${cast} = bitcast i64 (i64, i32, i64*)* @${this.functionName(fn)} to i8*`);
+        const closure = this.reg();
+        this.emit(`  ${closure} = call i64 @xt_closure_new(i8* ${cast}, i32 ${fn.captures.length}, i64* ${envPtr})`);
+        return closure;
+    },
+};
+//# sourceMappingURL=calls.js.map

package/dist/src/codegen/generator/calls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"calls.js","sourceRoot":"","sources":["../../../../src/codegen/generator/calls.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GAWX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EACL,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAiBrB,MAAM,CAAC,MAAM,WAAW,GAAgB;IACtC,QAAQ,CAAC,IAAoB;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YAChD,OAAO,IAAI,CAAC,YAAY,CAAC,WAAW,EAAE,GAAG,EAAE;gBACzC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,oCAAoC,WAAW,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC7G,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,CAAC;YAC1G,MAA6D,CAAC,QAAQ,EACvE,CAAC;YACD,qEAAqE;YACrE,yEAAyE;YACzE,wCAAwC;YACxC,MAAM,MAAM,GAAG,MAA4D,CAAC;YAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACtD,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE;gBACpC,MAAM,IAAI,GACR,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB;oBACjD,CAAC,CAAC,IAAI,CAAC,WAAW,CAAE,MAAmC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAClE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAE,MAAkC,CAAC,kBAAkB,CAAC,CAAC;gBAClF,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CACP,KAAK,MAAM,mCAAmC,MAAM,SAAS,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CACzG,CAAC;gBACF,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;YACxD,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAkC,CAAC,CAAC;YAClF,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;QAC9B,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAoB,CAAC,CAAC;YACzE,IAAI,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAClD,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC3C,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAClF,IAAI,EAAE,EAAE,CAAC;oBACP,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;oBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CACP,KAAK,MAAM,gBAAgB,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,QAAQ,GAAG,CAAC,YAAY,CAAC,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CACjH,CAAC;oBACF,OAAO,MAAM,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,MAAM,cAAc,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAE,MAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3F,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,cAAc,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC3F,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAE,MAAqB,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,IAAI,OAAO,EAAE,CAAC;gBACvB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CACxB,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,iBAAiB,OAAO,CAAC,MAAM,aAAa,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,MAAM,aAAa,CAChH,CAAC;gBACF,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;oBACvB,IAAI,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,MAAM,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;oBAChF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC3B,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,OAAO,CAAC,MAAM,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC3F,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,oCAAoC,WAAW,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC7G,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,kBAAkB,CAAC,IAAoB,EAAE,MAAgC;QACvE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;QACjC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAE,MAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;QACpG,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE1G,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,YAAY,EAAE,CAAC;YAC7E,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,CAAC,IAAI,CAAC,gBAAgB,SAAS,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC3E,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1E,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,OAAO,SAAS,CAAC;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,iCAAiC,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACnG,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,gBAAgB,IAAI,gBAAgB,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,YAAY,EAAE,CAAC;YAC5E,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACzG,MAAM,EAAE,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;gBACjH,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,qCAAqC,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC1F,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CACP,KAAK,MAAM,mCAAmC,MAAM,SAAS,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CACzG,CAAC;YACF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,WAAW,CAAC,IAAY,EAAE,IAAuB;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,gBAAgB,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxF,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,aAAa,CAAC,IAA2B;QACvC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;QACvD,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,sBAAsB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACrE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC;YAChD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,8BAA8B,GAAG,SAAS,KAAK,EAAE,CAAC,CAAC;YACtE,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;IACpC,CAAC;IAED,UAAU,CAAC,IAAsB;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/B,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,wBAAwB,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,MAAkC,CAAC;YAClD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG,MAAiC,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;YAC3D,OAAO,IAAI,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IACtB,CAAC;IAED,kBAAkB,CAAC,IAA8B;QAC/C,IACE,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,cAAc;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU;YAC7C,IAAI,CAAC,UAAyB,CAAC,IAAI,KAAK,MAAM;YAC/C,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,UAAwB,CAAC,EACnE,CAAC;YACD,OAAO,aAAa,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,GAAW,EAAE;YAC1B,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,oCAAoC,MAAM,GAAG,CAAC,CAAC;gBACpE,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC;YACvE,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;QACF,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACtE,CAAC;IAED,iBAAiB,CAAC,IAA6B;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,GAAW,EAAE;YAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACzD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC;YACvE,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;QACF,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACtE,CAAC;IAED;;;OAGG;IACH,YAAY,CAAC,WAAmB,EAAE,OAAqB;QACrD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,YAAY,CAAC,UAAU,MAAM,EAAE,CAAC,CAAC;QAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kCAAkC,WAAW,GAAG,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;QAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACvD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,CAAC,SAAS,SAAS,YAAY,QAAQ,YAAY,SAAS,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,MAAM,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,qBAAqB,MAAM,EAAE,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,gBAAgB,CAAC,IAA4B;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC;QAC7F,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,iCAAiC,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACtF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5D,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAE,OAAsC,CAAC,UAAU,CAAC,CAAC;gBACvF,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;gBAC3C,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,iBAAiB,CAAC,IAA6B;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,CAAC,CAAC;QACrD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,kBAAkB,EAAE,CAAC;gBACpD,MAAM,IAAI,GAAG,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;gBACxD,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;YAC3E,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,2BAA2B,EAAE,CAAC;gBACpE,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC;gBACjC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;gBAC9C,IAAI,CAAC,IAAI,CAAC,0BAA0B,MAAM,SAAS,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;YAC3E,CAAC;iBAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAE,QAAuC,CAAC,UAAU,CAAC,CAAC;gBACxF,IAAI,CAAC,IAAI,CAAC,oCAAoC,MAAM,SAAS,MAAM,GAAG,CAAC,CAAC;YAC1E,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,WAAW,CAAC,IAAwC;QAClD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAClC,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,MAAM,GAAG,MAAM,CAAC;QACpB,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,GAAG,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,sBAAsB,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YAC/E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBACxD,MAAM,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;gBACnC,qEAAqE;gBACrE,6DAA6D;gBAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC/C,IAAI,GAAW,CAAC;gBAChB,IAAI,IAAI,EAAE,CAAC;oBACT,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACjB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,qBAAqB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACN,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACpD,KAAK,KAAK,CAAC;oBACX,GAAG,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC1B,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,MAAM,SAAS,KAAK,EAAE,CAAC,CAAC;gBAC3E,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,UAAU,MAAM,EAAE,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,qCAAqC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACxF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,mCAAmC,IAAI,SAAS,EAAE,CAAC,QAAQ,CAAC,MAAM,UAAU,MAAM,GAAG,CAAC,CAAC;QAC7G,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC"}

package/dist/src/codegen/generator/context.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Shared generator state plus the low-level emission primitives.
+ *
+ * The generator's method groups are installed onto {@link Generator} via
+ * `Object.assign`; this context holds the fields they all mutate and the
+ * helpers every group relies on.
+ */
+import { type BindResult, type SymbolInfo } from "../../binder/binder.js";
+import type { DiagnosticBag } from "../../diagnostics/diagnostic.js";
+import type { SourceFileNode, Node } from "../../ast/nodes.js";
+import type { BuiltinFunction } from "../../extensions/registry.js";
+import type { CodegenOptions, FunctionState } from "./state.js";
+export declare class GeneratorContext {
+    readonly binding: BindResult;
+    readonly sourceFile: SourceFileNode;
+    readonly diagnostics: DiagnosticBag;
+    readonly builtins: Readonly<Record<string, BuiltinFunction>>;
+    readonly globals: string[];
+    readonly functions: string[];
+    readonly strings: Map<string, {
+        label: string;
+        length: number;
+    }>;
+    readonly extraDeclarations: Set<string>;
+    stringCounter: number;
+    current: FunctionState;
+    constructor(sourceFile: SourceFileNode, diagnostics: DiagnosticBag, options?: CodegenOptions);
+    emit(line: string): void;
+    terminate(line: string): void;
+    reg(): string;
+    label(prefix: string): string;
+    startBlock(label: string): void;
+    alloca(): string;
+    const(hex: bigint): string;
+    declareSlot(symbol: SymbolInfo, initial: string): void;
+    defineCaptureSlot(symbol: SymbolInfo, box: string): void;
+    readSlot(symbol: SymbolInfo): string;
+    writeSlot(symbol: SymbolInfo, value: string): void;
+    stringValue(text: string): string;
+    internString(text: string): {
+        label: string;
+        length: number;
+    };
+    unsupported(node: Node, what: string): void;
+}

package/dist/src/codegen/generator/context.js

@@ -0,0 +1,128 @@
+/**
+ * Shared generator state plus the low-level emission primitives.
+ *
+ * The generator's method groups are installed onto {@link Generator} via
+ * `Object.assign`; this context holds the fields they all mutate and the
+ * helpers every group relies on.
+ */
+import { bind } from "../../binder/binder.js";
+import { DiagnosticCode } from "../../diagnostics/diagnostic.js";
+import { i64, XT_UNDEFINED } from "../values.js";
+import { escapeBytes, kindName, utf8Bytes } from "./tables.js";
+export class GeneratorContext {
+    binding;
+    sourceFile;
+    diagnostics;
+    builtins;
+    globals = [];
+    functions = [];
+    strings = new Map();
+    extraDeclarations = new Set();
+    stringCounter = 0;
+    current;
+    constructor(sourceFile, diagnostics, options = {}) {
+        this.sourceFile = sourceFile;
+        this.diagnostics = diagnostics;
+        this.binding = bind(sourceFile);
+        this.builtins = options.builtins ?? {};
+    }
+    // -- emission primitives -------------------------------------------------
+    emit(line) {
+        this.current.buffer.push(line);
+    }
+    terminate(line) {
+        this.current.buffer.push(`  ${line}`);
+        this.current.terminated = true;
+    }
+    reg() {
+        return `%r${this.current.reg++}`;
+    }
+    label(prefix) {
+        return `${prefix}.${this.current.label++}`;
+    }
+    startBlock(label) {
+        this.current.buffer.push(`${label}:`);
+        this.current.terminated = false;
+    }
+    alloca() {
+        const ptr = `%slot${this.current.allocas.length}`;
+        this.current.allocas.push(`${ptr} = alloca i64`);
+        this.current.escapePointers.push(ptr);
+        return ptr;
+    }
+    const(hex) {
+        return i64(hex);
+    }
+    // -- variables -----------------------------------------------------------
+    declareSlot(symbol, initial) {
+        const ptr = this.alloca();
+        if (symbol.boxed) {
+            const box = this.reg();
+            this.emit(`  ${box} = call i64 @xt_box_new(i64 ${initial})`);
+            this.emit(`  store i64 ${box}, i64* ${ptr}`);
+        }
+        else {
+            this.emit(`  store i64 ${initial}, i64* ${ptr}`);
+        }
+        this.current.slots.set(symbol.id, { ptr, boxed: symbol.boxed });
+    }
+    defineCaptureSlot(symbol, box) {
+        const ptr = this.alloca();
+        this.emit(`  store i64 ${box}, i64* ${ptr}`);
+        // A captured symbol is always boxed; the environment holds the box.
+        this.current.slots.set(symbol.id, { ptr, boxed: true });
+    }
+    readSlot(symbol) {
+        const slot = this.current.slots.get(symbol.id);
+        if (!slot) {
+            // Referenced from an inner function without a capture slot: this should
+            // be impossible once the binder has run, but stay defensive.
+            this.diagnostics.error(DiagnosticCode.CodegenError, `Internal: no slot for '${symbol.name}' in ${this.current.fn.name}`);
+            return i64(XT_UNDEFINED);
+        }
+        const value = this.reg();
+        this.emit(`  ${value} = load i64, i64* ${slot.ptr}`);
+        if (!slot.boxed)
+            return value;
+        const unboxed = this.reg();
+        this.emit(`  ${unboxed} = call i64 @xt_box_get(i64 ${value})`);
+        return unboxed;
+    }
+    writeSlot(symbol, value) {
+        const slot = this.current.slots.get(symbol.id);
+        if (!slot) {
+            this.diagnostics.error(DiagnosticCode.CodegenError, `Internal: no slot for '${symbol.name}'`);
+            return;
+        }
+        if (!slot.boxed) {
+            this.emit(`  store i64 ${value}, i64* ${slot.ptr}`);
+            return;
+        }
+        const box = this.reg();
+        this.emit(`  ${box} = load i64, i64* ${slot.ptr}`);
+        this.emit(`  call i64 @xt_box_set(i64 ${box}, i64 ${value})`);
+    }
+    // -- string pool ---------------------------------------------------------
+    stringValue(text) {
+        const entry = this.internString(text);
+        const result = this.reg();
+        this.emit(`  ${result} = call i64 @xt_string_new(i8* ${entry.label}, i64 ${entry.length})`);
+        return result;
+    }
+    internString(text) {
+        const existing = this.strings.get(text);
+        if (existing)
+            return existing;
+        const label = `@.str.${this.stringCounter++}`;
+        const bytes = utf8Bytes(text);
+        const entry = { label, length: bytes.length };
+        this.strings.set(text, entry);
+        this.globals.push(`${label} = private unnamed_addr constant [${bytes.length + 1} x i8] c"${escapeBytes(bytes)}\\00"`);
+        return entry;
+    }
+    unsupported(node, what) {
+        const label = kindName(node.kind);
+        this.diagnostics.error(DiagnosticCode.UnsupportedFeature, `xbintsc does not yet support this ${what} (${label})`, node, this.sourceFile.fileName);
+    }
+}
+//# sourceMappingURL=context.js.map