xbintsc 0.1.6 → 0.1.9
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +7 -4
- package/dist/src/ast/common.d.ts +33 -0
- package/dist/src/ast/common.js +7 -0
- package/dist/src/ast/common.js.map +1 -0
- package/dist/src/ast/declarations.d.ts +110 -0
- package/dist/src/ast/declarations.js +5 -0
- package/dist/src/ast/declarations.js.map +1 -0
- package/dist/src/ast/expressions.d.ts +219 -0
- package/dist/src/ast/expressions.js +6 -0
- package/dist/src/ast/expressions.js.map +1 -0
- package/dist/src/ast/kinds.d.ts +160 -0
- package/dist/src/ast/kinds.js +171 -0
- package/dist/src/ast/kinds.js.map +1 -0
- package/dist/src/ast/modules.d.ts +61 -0
- package/dist/src/ast/modules.js +5 -0
- package/dist/src/ast/modules.js.map +1 -0
- package/dist/src/ast/nodes.d.ts +11 -839
- package/dist/src/ast/nodes.js +11 -237
- package/dist/src/ast/nodes.js.map +1 -1
- package/dist/src/ast/operators.d.ts +71 -0
- package/dist/src/ast/operators.js +77 -0
- package/dist/src/ast/operators.js.map +1 -0
- package/dist/src/ast/statements.d.ts +120 -0
- package/dist/src/ast/statements.js +5 -0
- package/dist/src/ast/statements.js.map +1 -0
- package/dist/src/ast/types.d.ts +123 -0
- package/dist/src/ast/types.js +6 -0
- package/dist/src/ast/types.js.map +1 -0
- package/dist/src/binder/binder.d.ts +35 -1
- package/dist/src/binder/binder.js +138 -0
- package/dist/src/binder/binder.js.map +1 -1
- package/dist/src/codegen/generator/calls.d.ts +26 -0
- package/dist/src/codegen/generator/calls.js +373 -0
- package/dist/src/codegen/generator/calls.js.map +1 -0
- package/dist/src/codegen/generator/context.d.ts +47 -0
- package/dist/src/codegen/generator/context.js +164 -0
- package/dist/src/codegen/generator/context.js.map +1 -0
- package/dist/src/codegen/generator/expressions.d.ts +25 -0
- package/dist/src/codegen/generator/expressions.js +454 -0
- package/dist/src/codegen/generator/expressions.js.map +1 -0
- package/dist/src/codegen/generator/generator.d.ts +22 -0
- package/dist/src/codegen/generator/generator.js +21 -0
- package/dist/src/codegen/generator/generator.js.map +1 -0
- package/dist/src/codegen/generator/module.d.ts +19 -0
- package/dist/src/codegen/generator/module.js +214 -0
- package/dist/src/codegen/generator/module.js.map +1 -0
- package/dist/src/codegen/generator/state.d.ts +42 -0
- package/dist/src/codegen/generator/state.js +125 -0
- package/dist/src/codegen/generator/state.js.map +1 -0
- package/dist/src/codegen/generator/statements.d.ts +22 -0
- package/dist/src/codegen/generator/statements.js +433 -0
- package/dist/src/codegen/generator/statements.js.map +1 -0
- package/dist/src/codegen/generator/tables.d.ts +23 -0
- package/dist/src/codegen/generator/tables.js +186 -0
- package/dist/src/codegen/generator/tables.js.map +1 -0
- package/dist/src/codegen/llvm.d.ts +4 -13
- package/dist/src/codegen/llvm.js +4 -1537
- package/dist/src/codegen/llvm.js.map +1 -1
- package/dist/src/driver/compiler.js +36 -11
- package/dist/src/driver/compiler.js.map +1 -1
- package/dist/src/driver/modules.d.ts +24 -0
- package/dist/src/driver/modules.js +347 -0
- package/dist/src/driver/modules.js.map +1 -0
- package/dist/src/lexer/char.d.ts +78 -0
- package/dist/src/lexer/char.js +106 -0
- package/dist/src/lexer/char.js.map +1 -0
- package/dist/src/lexer/scanner.js +1 -98
- package/dist/src/lexer/scanner.js.map +1 -1
- package/dist/src/parser/context.d.ts +58 -0
- package/dist/src/parser/context.js +174 -0
- package/dist/src/parser/context.js.map +1 -0
- package/dist/src/parser/declarations.d.ts +26 -0
- package/dist/src/parser/declarations.js +461 -0
- package/dist/src/parser/declarations.js.map +1 -0
- package/dist/src/parser/expressions.d.ts +27 -0
- package/dist/src/parser/expressions.js +440 -0
- package/dist/src/parser/expressions.js.map +1 -0
- package/dist/src/parser/helpers.d.ts +7 -0
- package/dist/src/parser/helpers.js +36 -0
- package/dist/src/parser/helpers.js.map +1 -0
- package/dist/src/parser/literals.d.ts +16 -0
- package/dist/src/parser/literals.js +193 -0
- package/dist/src/parser/literals.js.map +1 -0
- package/dist/src/parser/modules.d.ts +12 -0
- package/dist/src/parser/modules.js +175 -0
- package/dist/src/parser/modules.js.map +1 -0
- package/dist/src/parser/operators.d.ts +12 -0
- package/dist/src/parser/operators.js +172 -0
- package/dist/src/parser/operators.js.map +1 -0
- package/dist/src/parser/parser.d.ts +17 -122
- package/dist/src/parser/parser.js +18 -2311
- package/dist/src/parser/parser.js.map +1 -1
- package/dist/src/parser/speculation.d.ts +6 -0
- package/dist/src/parser/speculation.js +10 -0
- package/dist/src/parser/speculation.js.map +1 -0
- package/dist/src/parser/statements.d.ts +28 -0
- package/dist/src/parser/statements.js +402 -0
- package/dist/src/parser/statements.js.map +1 -0
- package/dist/src/parser/types.d.ts +21 -0
- package/dist/src/parser/types.js +338 -0
- package/dist/src/parser/types.js.map +1 -0
- package/dist/tests/codegen/llvm.test.js +1 -1
- package/dist/tests/codegen/llvm.test.js.map +1 -1
- package/dist/tests/e2e/compile.test.js +86 -0
- package/dist/tests/e2e/compile.test.js.map +1 -1
- package/package.json +1 -1
- package/runtime/rt.h +55 -4
- package/runtime/rt_internal.h +169 -0
- package/runtime/xt_alloc.c +38 -0
- package/runtime/xt_builtins.c +238 -0
- package/runtime/xt_containers.c +312 -0
- package/runtime/xt_io.c +246 -0
- package/runtime/xt_promise.c +292 -0
- package/runtime/xt_stdlib.c +556 -0
- package/runtime/xt_stdlib2.c +1043 -0
- package/runtime/xt_values.c +291 -0
- package/scripts/build-runtime.mjs +8 -1
- package/src/ast/common.ts +210 -0
- package/src/ast/declarations.ts +130 -0
- package/src/ast/expressions.ts +275 -0
- package/src/ast/kinds.ts +176 -0
- package/src/ast/modules.ts +73 -0
- package/src/ast/nodes.ts +11 -1101
- package/src/ast/operators.ts +76 -0
- package/src/ast/statements.ts +148 -0
- package/src/ast/types.ts +173 -0
- package/src/binder/binder.ts +196 -0
- package/src/codegen/generator/calls.ts +433 -0
- package/src/codegen/generator/context.ts +190 -0
- package/src/codegen/generator/expressions.ts +508 -0
- package/src/codegen/generator/generator.ts +35 -0
- package/src/codegen/generator/module.ts +244 -0
- package/src/codegen/generator/state.ts +169 -0
- package/src/codegen/generator/statements.ts +480 -0
- package/src/codegen/generator/tables.ts +206 -0
- package/src/codegen/llvm.ts +4 -1720
- package/src/driver/compiler.ts +45 -12
- package/src/driver/modules.ts +377 -0
- package/src/lexer/char.ts +116 -0
- package/src/lexer/scanner.ts +9 -109
- package/src/parser/context.ts +196 -0
- package/src/parser/declarations.ts +502 -0
- package/src/parser/expressions.ts +468 -0
- package/src/parser/helpers.ts +42 -0
- package/src/parser/literals.ts +207 -0
- package/src/parser/modules.ts +194 -0
- package/src/parser/operators.ts +181 -0
- package/src/parser/parser.ts +35 -2373
- package/src/parser/speculation.ts +9 -0
- package/src/parser/statements.ts +457 -0
- package/src/parser/types.ts +365 -0
- package/runtime/xt_runtime.c +0 -1372
|
@@ -0,0 +1,373 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Calls, member access, optional chaining, object/array literals and closures.
|
|
3
|
+
*/
|
|
4
|
+
import { SyntaxKind, } from "../../ast/nodes.js";
|
|
5
|
+
import { SymbolKind } from "../../binder/binder.js";
|
|
6
|
+
import { i64, numberLiteral, XT_TRUE, XT_UNDEFINED } from "../values.js";
|
|
7
|
+
import { BUILTIN_METHODS, CONSOLE_METHODS, CTOR_FUNCTIONS, GLOBAL_FUNCTIONS, MATH_CONSTANTS, MATH_FUNCTIONS, NAMESPACE_STATICS, propertyNameText, } from "./tables.js";
|
|
8
|
+
export const callMethods = {
|
|
9
|
+
emitCall(node) {
|
|
10
|
+
const callee = node.expression;
|
|
11
|
+
if (node.optional) {
|
|
12
|
+
const calleeValue = this.emitExpression(callee);
|
|
13
|
+
return this.emitOptional(calleeValue, () => {
|
|
14
|
+
const args = this.emitArguments(node.arguments);
|
|
15
|
+
const result = this.reg();
|
|
16
|
+
this.emit(` ${result} = call i64 @xt_closure_call(i64 ${calleeValue}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
17
|
+
return result;
|
|
18
|
+
});
|
|
19
|
+
}
|
|
20
|
+
if ((callee.kind === SyntaxKind.PropertyAccessExpression || callee.kind === SyntaxKind.ElementAccessExpression) &&
|
|
21
|
+
callee.optional) {
|
|
22
|
+
// `obj?.method(args)` / `obj?.[key](args)`: guard the receiver, then
|
|
23
|
+
// dispatch through the runtime, which understands object methods as well
|
|
24
|
+
// as the built-in array/string methods.
|
|
25
|
+
const access = callee;
|
|
26
|
+
const object = this.emitExpression(access.expression);
|
|
27
|
+
return this.emitOptional(object, () => {
|
|
28
|
+
const name = access.kind === SyntaxKind.PropertyAccessExpression
|
|
29
|
+
? this.stringValue(access.name.text)
|
|
30
|
+
: this.emitExpression(access.argumentExpression);
|
|
31
|
+
const args = this.emitArguments(node.arguments);
|
|
32
|
+
const result = this.reg();
|
|
33
|
+
this.emit(` ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
34
|
+
return result;
|
|
35
|
+
});
|
|
36
|
+
}
|
|
37
|
+
if (callee.kind === SyntaxKind.PropertyAccessExpression) {
|
|
38
|
+
const access = callee;
|
|
39
|
+
const special = this.tryEmitBuiltinCall(node, access);
|
|
40
|
+
if (special)
|
|
41
|
+
return special;
|
|
42
|
+
if (access.expression.kind === SyntaxKind.Identifier && access.expression.text === "super") {
|
|
43
|
+
return this.emitSuperCall(node, access);
|
|
44
|
+
}
|
|
45
|
+
const object = this.emitExpression(access.expression);
|
|
46
|
+
const name = this.stringValue(access.name.text);
|
|
47
|
+
const args = this.emitArguments(node.arguments);
|
|
48
|
+
const result = this.reg();
|
|
49
|
+
this.emit(` ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
50
|
+
return result;
|
|
51
|
+
}
|
|
52
|
+
if (callee.kind === SyntaxKind.ElementAccessExpression) {
|
|
53
|
+
const access = callee;
|
|
54
|
+
const object = this.emitExpression(access.expression);
|
|
55
|
+
const name = this.emitExpression(access.argumentExpression);
|
|
56
|
+
const args = this.emitArguments(node.arguments);
|
|
57
|
+
const result = this.reg();
|
|
58
|
+
this.emit(` ${result} = call i64 @xt_call_method(i64 ${object}, i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
59
|
+
return result;
|
|
60
|
+
}
|
|
61
|
+
if (callee.kind === SyntaxKind.Identifier) {
|
|
62
|
+
if (callee.text === "super")
|
|
63
|
+
return this.emitSuperConstructor(node);
|
|
64
|
+
const symbol = this.binding.symbolOfIdentifier.get(callee);
|
|
65
|
+
if (symbol && symbol.kind === SymbolKind.Function) {
|
|
66
|
+
const declaration = symbol.declarations[0];
|
|
67
|
+
const fn = declaration ? this.binding.functionOfNode.get(declaration) : undefined;
|
|
68
|
+
if (fn) {
|
|
69
|
+
const args = this.emitArguments(node.arguments);
|
|
70
|
+
const result = this.reg();
|
|
71
|
+
this.emit(` ${result} = call i64 @${this.functionName(fn)}(i64 ${i64(XT_UNDEFINED)}, i64 ${i64(XT_UNDEFINED)}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
72
|
+
return result;
|
|
73
|
+
}
|
|
74
|
+
}
|
|
75
|
+
const globalFunction = !symbol ? GLOBAL_FUNCTIONS[callee.text] : undefined;
|
|
76
|
+
if (globalFunction) {
|
|
77
|
+
const args = this.emitArguments(node.arguments);
|
|
78
|
+
const result = this.reg();
|
|
79
|
+
this.emit(` ${result} = call i64 @${globalFunction}(i32 ${args.argc}, i64* ${args.ptr})`);
|
|
80
|
+
return result;
|
|
81
|
+
}
|
|
82
|
+
const builtin = this.builtins[callee.text];
|
|
83
|
+
if (!symbol && builtin) {
|
|
84
|
+
this.extraDeclarations.add(builtin.returnVoid ? `declare void @${builtin.symbol}(i32, i64*)` : `declare i64 @${builtin.symbol}(i32, i64*)`);
|
|
85
|
+
const args = this.emitArguments(node.arguments);
|
|
86
|
+
if (builtin.returnVoid) {
|
|
87
|
+
this.emit(` call void @${builtin.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
|
|
88
|
+
return i64(XT_UNDEFINED);
|
|
89
|
+
}
|
|
90
|
+
const result = this.reg();
|
|
91
|
+
this.emit(` ${result} = call i64 @${builtin.symbol}(i32 ${args.argc}, i64* ${args.ptr})`);
|
|
92
|
+
return result;
|
|
93
|
+
}
|
|
94
|
+
const ctor = !symbol ? CTOR_FUNCTIONS[callee.text] : undefined;
|
|
95
|
+
if (ctor) {
|
|
96
|
+
const args = this.emitArguments(node.arguments);
|
|
97
|
+
const result = this.reg();
|
|
98
|
+
this.emit(` ${result} = call i64 @${ctor}(i32 ${args.argc}, i64* ${args.ptr})`);
|
|
99
|
+
return result;
|
|
100
|
+
}
|
|
101
|
+
}
|
|
102
|
+
const calleeValue = this.emitExpression(callee);
|
|
103
|
+
const args = this.emitArguments(node.arguments);
|
|
104
|
+
const result = this.reg();
|
|
105
|
+
this.emit(` ${result} = call i64 @xt_closure_call(i64 ${calleeValue}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
106
|
+
return result;
|
|
107
|
+
},
|
|
108
|
+
tryEmitBuiltinCall(node, callee) {
|
|
109
|
+
const target = callee.expression;
|
|
110
|
+
const method = callee.name.text;
|
|
111
|
+
const targetIdentifier = target.kind === SyntaxKind.Identifier ? target : undefined;
|
|
112
|
+
const targetSymbol = targetIdentifier ? this.binding.symbolOfIdentifier.get(targetIdentifier) : undefined;
|
|
113
|
+
if (targetIdentifier && targetIdentifier.text === "console" && !targetSymbol) {
|
|
114
|
+
const consoleFn = CONSOLE_METHODS[method];
|
|
115
|
+
if (consoleFn) {
|
|
116
|
+
const args = this.emitArguments(node.arguments);
|
|
117
|
+
this.emit(` call void @${consoleFn}(i32 ${args.argc}, i64* ${args.ptr})`);
|
|
118
|
+
return i64(XT_UNDEFINED);
|
|
119
|
+
}
|
|
120
|
+
return undefined;
|
|
121
|
+
}
|
|
122
|
+
if (targetIdentifier && targetIdentifier.text === "Math" && !targetSymbol) {
|
|
123
|
+
if (!MATH_FUNCTIONS.has(method))
|
|
124
|
+
return undefined;
|
|
125
|
+
const name = this.stringValue(method);
|
|
126
|
+
const args = this.emitArguments(node.arguments);
|
|
127
|
+
const result = this.reg();
|
|
128
|
+
this.emit(` ${result} = call i64 @xt_math_call(i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
129
|
+
return result;
|
|
130
|
+
}
|
|
131
|
+
if (targetIdentifier && targetIdentifier.text === "JSON" && !targetSymbol) {
|
|
132
|
+
const fn = method === "parse" ? "xt_json_parse" : method === "stringify" ? "xt_json_stringify" : undefined;
|
|
133
|
+
if (!fn)
|
|
134
|
+
return undefined;
|
|
135
|
+
const args = this.emitArguments(node.arguments);
|
|
136
|
+
const result = this.reg();
|
|
137
|
+
this.emit(` ${result} = call i64 @${fn}(i32 ${args.argc}, i64* ${args.ptr})`);
|
|
138
|
+
return result;
|
|
139
|
+
}
|
|
140
|
+
if (targetIdentifier && !targetSymbol) {
|
|
141
|
+
const dispatcher = NAMESPACE_STATICS[targetIdentifier.text];
|
|
142
|
+
if (dispatcher && targetIdentifier.text !== "Math" && targetIdentifier.text !== "JSON") {
|
|
143
|
+
const name = this.stringValue(method);
|
|
144
|
+
const args = this.emitArguments(node.arguments);
|
|
145
|
+
const result = this.reg();
|
|
146
|
+
this.emit(` ${result} = call i64 @${dispatcher}(i64 ${name}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
147
|
+
return result;
|
|
148
|
+
}
|
|
149
|
+
}
|
|
150
|
+
void BUILTIN_METHODS;
|
|
151
|
+
return undefined;
|
|
152
|
+
},
|
|
153
|
+
runtimeCall(name, args) {
|
|
154
|
+
const result = this.reg();
|
|
155
|
+
this.emit(` ${result} = call i64 @${name}(${args.map((a) => `i64 ${a}`).join(", ")})`);
|
|
156
|
+
return result;
|
|
157
|
+
},
|
|
158
|
+
emitArguments(args) {
|
|
159
|
+
if (args.length === 0)
|
|
160
|
+
return { argc: 0, ptr: "null" };
|
|
161
|
+
const ptr = `%args${this.current.allocas.length}`;
|
|
162
|
+
this.current.allocas.push(`${ptr} = alloca i64, i32 ${args.length}`);
|
|
163
|
+
for (let index = 0; index < args.length; index++) {
|
|
164
|
+
const value = this.emitExpression(args[index]);
|
|
165
|
+
const slot = this.reg();
|
|
166
|
+
this.emit(` ${slot} = getelementptr i64, i64* ${ptr}, i32 ${index}`);
|
|
167
|
+
this.emit(` store i64 ${value}, i64* ${slot}`);
|
|
168
|
+
}
|
|
169
|
+
return { argc: args.length, ptr };
|
|
170
|
+
},
|
|
171
|
+
emitDelete(node) {
|
|
172
|
+
const target = node.expression;
|
|
173
|
+
if (target.kind === SyntaxKind.PropertyAccessExpression) {
|
|
174
|
+
const access = target;
|
|
175
|
+
const object = this.emitExpression(access.expression);
|
|
176
|
+
const key = this.stringValue(access.name.text);
|
|
177
|
+
return this.runtimeCall("xt_delete", [object, key]);
|
|
178
|
+
}
|
|
179
|
+
if (target.kind === SyntaxKind.ElementAccessExpression) {
|
|
180
|
+
const access = target;
|
|
181
|
+
const object = this.emitExpression(access.expression);
|
|
182
|
+
const key = this.emitExpression(access.argumentExpression);
|
|
183
|
+
return this.runtimeCall("xt_delete", [object, key]);
|
|
184
|
+
}
|
|
185
|
+
return i64(XT_TRUE);
|
|
186
|
+
},
|
|
187
|
+
emitPropertyAccess(node) {
|
|
188
|
+
if (node.expression.kind === SyntaxKind.Identifier && node.expression.text === "super") {
|
|
189
|
+
const thisValue = this.emitThis();
|
|
190
|
+
const proto = this.reg();
|
|
191
|
+
this.emit(` ${proto} = call i64 @xt_object_get_prototype(i64 ${thisValue})`);
|
|
192
|
+
const parentProto = this.reg();
|
|
193
|
+
this.emit(` ${parentProto} = call i64 @xt_object_get_prototype(i64 ${proto})`);
|
|
194
|
+
const key = this.stringValue(node.name.text);
|
|
195
|
+
const value = this.reg();
|
|
196
|
+
this.emit(` ${value} = call i64 @xt_get(i64 ${parentProto}, i64 ${key})`);
|
|
197
|
+
return value;
|
|
198
|
+
}
|
|
199
|
+
if (node.name.text in MATH_CONSTANTS &&
|
|
200
|
+
node.expression.kind === SyntaxKind.Identifier &&
|
|
201
|
+
node.expression.text === "Math" &&
|
|
202
|
+
!this.binding.symbolOfIdentifier.get(node.expression)) {
|
|
203
|
+
return numberLiteral(MATH_CONSTANTS[node.name.text]);
|
|
204
|
+
}
|
|
205
|
+
const object = this.emitExpression(node.expression);
|
|
206
|
+
const access = () => {
|
|
207
|
+
if (node.name.text === "length") {
|
|
208
|
+
const result = this.reg();
|
|
209
|
+
this.emit(` ${result} = call i64 @xt_array_length(i64 ${object})`);
|
|
210
|
+
return result;
|
|
211
|
+
}
|
|
212
|
+
const key = this.stringValue(node.name.text);
|
|
213
|
+
const result = this.reg();
|
|
214
|
+
this.emit(` ${result} = call i64 @xt_get(i64 ${object}, i64 ${key})`);
|
|
215
|
+
return result;
|
|
216
|
+
};
|
|
217
|
+
return node.optional ? this.emitOptional(object, access) : access();
|
|
218
|
+
},
|
|
219
|
+
emitElementAccess(node) {
|
|
220
|
+
const object = this.emitExpression(node.expression);
|
|
221
|
+
const access = () => {
|
|
222
|
+
const key = this.emitExpression(node.argumentExpression);
|
|
223
|
+
const result = this.reg();
|
|
224
|
+
this.emit(` ${result} = call i64 @xt_get(i64 ${object}, i64 ${key})`);
|
|
225
|
+
return result;
|
|
226
|
+
};
|
|
227
|
+
return node.optional ? this.emitOptional(object, access) : access();
|
|
228
|
+
},
|
|
229
|
+
/**
|
|
230
|
+
* Evaluate `object` once and, when it is neither `null` nor `undefined`, run
|
|
231
|
+
* `compute` to produce the value; otherwise short-circuit to `undefined`.
|
|
232
|
+
*/
|
|
233
|
+
emitOptional(objectValue, compute) {
|
|
234
|
+
const result = this.alloca();
|
|
235
|
+
this.emit(` store i64 ${i64(XT_UNDEFINED)}, i64* ${result}`);
|
|
236
|
+
const nullish = this.reg();
|
|
237
|
+
this.emit(` ${nullish} = call i64 @xt_is_nullish(i64 ${objectValue})`);
|
|
238
|
+
const truthy = this.reg();
|
|
239
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${nullish})`);
|
|
240
|
+
const condition = this.reg();
|
|
241
|
+
this.emit(` ${condition} = icmp ne i32 ${truthy}, 0`);
|
|
242
|
+
const someLabel = this.label("opt.some");
|
|
243
|
+
const endLabel = this.label("opt.end");
|
|
244
|
+
this.terminate(`br i1 ${condition}, label %${endLabel}, label %${someLabel}`);
|
|
245
|
+
this.startBlock(someLabel);
|
|
246
|
+
const value = compute();
|
|
247
|
+
this.emit(` store i64 ${value}, i64* ${result}`);
|
|
248
|
+
this.terminate(`br label %${endLabel}`);
|
|
249
|
+
this.startBlock(endLabel);
|
|
250
|
+
const merged = this.reg();
|
|
251
|
+
this.emit(` ${merged} = load i64, i64* ${result}`);
|
|
252
|
+
return merged;
|
|
253
|
+
},
|
|
254
|
+
emitArrayLiteral(node) {
|
|
255
|
+
const hasSpread = node.elements.some((element) => element.kind === SyntaxKind.SpreadElement);
|
|
256
|
+
if (!hasSpread) {
|
|
257
|
+
const args = this.emitArguments(node.elements);
|
|
258
|
+
const result = this.reg();
|
|
259
|
+
this.emit(` ${result} = call i64 @xt_array_new(i32 ${args.argc}, i64* ${args.ptr})`);
|
|
260
|
+
return result;
|
|
261
|
+
}
|
|
262
|
+
let array = this.runtimeCall("xt_array_new", [`0`, `null`]);
|
|
263
|
+
for (const element of node.elements) {
|
|
264
|
+
if (element.kind === SyntaxKind.SpreadElement) {
|
|
265
|
+
const spread = this.emitExpression(element.expression);
|
|
266
|
+
array = this.runtimeCall("xt_array_spread", [array, spread]);
|
|
267
|
+
}
|
|
268
|
+
else {
|
|
269
|
+
const value = this.emitExpression(element);
|
|
270
|
+
array = this.runtimeCall("xt_array_push", [array, value]);
|
|
271
|
+
}
|
|
272
|
+
}
|
|
273
|
+
return array;
|
|
274
|
+
},
|
|
275
|
+
emitObjectLiteral(node) {
|
|
276
|
+
const object = this.reg();
|
|
277
|
+
this.emit(` ${object} = call i64 @xt_object_new()`);
|
|
278
|
+
for (const property of node.properties) {
|
|
279
|
+
if (property.kind === SyntaxKind.PropertyAssignment) {
|
|
280
|
+
const name = propertyNameText(property.name);
|
|
281
|
+
const key = this.stringValue(name);
|
|
282
|
+
const value = this.emitExpression(property.initializer);
|
|
283
|
+
this.emit(` call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
|
|
284
|
+
}
|
|
285
|
+
else if (property.kind === SyntaxKind.ShorthandPropertyAssignment) {
|
|
286
|
+
const identifier = property.name;
|
|
287
|
+
const key = this.stringValue(identifier.text);
|
|
288
|
+
const value = this.emitIdentifier(identifier);
|
|
289
|
+
this.emit(` call i64 @xt_set(i64 ${object}, i64 ${key}, i64 ${value})`);
|
|
290
|
+
}
|
|
291
|
+
else if (property.kind === SyntaxKind.SpreadElement) {
|
|
292
|
+
const spread = this.emitExpression(property.expression);
|
|
293
|
+
this.emit(` call i64 @xt_object_spread(i64 ${object}, i64 ${spread})`);
|
|
294
|
+
}
|
|
295
|
+
else {
|
|
296
|
+
this.unsupported(property, "object spread");
|
|
297
|
+
}
|
|
298
|
+
}
|
|
299
|
+
return object;
|
|
300
|
+
},
|
|
301
|
+
emitClosure(node) {
|
|
302
|
+
const fn = this.binding.functionOfNode.get(node);
|
|
303
|
+
if (!fn) {
|
|
304
|
+
this.unsupported(node, "closure");
|
|
305
|
+
return i64(XT_UNDEFINED);
|
|
306
|
+
}
|
|
307
|
+
return this.emitClosureValue(fn);
|
|
308
|
+
},
|
|
309
|
+
emitClosureValue(fn) {
|
|
310
|
+
const count = fn.captures.length + (fn.capturesThis ? 1 : 0);
|
|
311
|
+
let envPtr = "null";
|
|
312
|
+
if (count > 0) {
|
|
313
|
+
envPtr = `%env${this.current.allocas.length}`;
|
|
314
|
+
this.current.allocas.push(`${envPtr} = alloca i64, i32 ${count}`);
|
|
315
|
+
for (let index = 0; index < fn.captures.length; index++) {
|
|
316
|
+
const symbol = fn.captures[index];
|
|
317
|
+
const slot = this.current.slots.get(symbol.id);
|
|
318
|
+
let raw = i64(XT_UNDEFINED);
|
|
319
|
+
if (slot) {
|
|
320
|
+
raw = this.reg();
|
|
321
|
+
this.emit(` ${raw} = load i64, i64* ${slot.ptr}`);
|
|
322
|
+
}
|
|
323
|
+
const target = this.reg();
|
|
324
|
+
this.emit(` ${target} = getelementptr i64, i64* ${envPtr}, i32 ${index}`);
|
|
325
|
+
this.emit(` store i64 ${raw}, i64* ${target}`);
|
|
326
|
+
}
|
|
327
|
+
if (fn.capturesThis) {
|
|
328
|
+
let thisValue = i64(XT_UNDEFINED);
|
|
329
|
+
if (this.current.thisPtr) {
|
|
330
|
+
thisValue = this.reg();
|
|
331
|
+
this.emit(` ${thisValue} = load i64, i64* ${this.current.thisPtr}`);
|
|
332
|
+
}
|
|
333
|
+
const target = this.reg();
|
|
334
|
+
this.emit(` ${target} = getelementptr i64, i64* ${envPtr}, i32 ${fn.captures.length}`);
|
|
335
|
+
this.emit(` store i64 ${thisValue}, i64* ${target}`);
|
|
336
|
+
}
|
|
337
|
+
}
|
|
338
|
+
const cast = this.reg();
|
|
339
|
+
this.emit(` ${cast} = bitcast i64 (i64, i64, i32, i64*)* @${this.functionName(fn)} to i8*`);
|
|
340
|
+
const closure = this.reg();
|
|
341
|
+
this.emit(` ${closure} = call i64 @xt_closure_new(i8* ${cast}, i32 ${count}, i64* ${envPtr})`);
|
|
342
|
+
return closure;
|
|
343
|
+
},
|
|
344
|
+
emitSuperConstructor(node) {
|
|
345
|
+
const thisValue = this.emitThis();
|
|
346
|
+
const proto = this.reg();
|
|
347
|
+
this.emit(` ${proto} = call i64 @xt_object_get_prototype(i64 ${thisValue})`);
|
|
348
|
+
const parentProto = this.reg();
|
|
349
|
+
this.emit(` ${parentProto} = call i64 @xt_object_get_prototype(i64 ${proto})`);
|
|
350
|
+
const key = this.stringValue("__ctor");
|
|
351
|
+
const ctor = this.reg();
|
|
352
|
+
this.emit(` ${ctor} = call i64 @xt_get(i64 ${parentProto}, i64 ${key})`);
|
|
353
|
+
const args = this.emitArguments(node.arguments);
|
|
354
|
+
const result = this.reg();
|
|
355
|
+
this.emit(` ${result} = call i64 @xt_call_with_this(i64 ${ctor}, i64 ${thisValue}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
356
|
+
return result;
|
|
357
|
+
},
|
|
358
|
+
emitSuperCall(node, access) {
|
|
359
|
+
const thisValue = this.emitThis();
|
|
360
|
+
const proto = this.reg();
|
|
361
|
+
this.emit(` ${proto} = call i64 @xt_object_get_prototype(i64 ${thisValue})`);
|
|
362
|
+
const parentProto = this.reg();
|
|
363
|
+
this.emit(` ${parentProto} = call i64 @xt_object_get_prototype(i64 ${proto})`);
|
|
364
|
+
const key = this.stringValue(access.name.text);
|
|
365
|
+
const method = this.reg();
|
|
366
|
+
this.emit(` ${method} = call i64 @xt_get(i64 ${parentProto}, i64 ${key})`);
|
|
367
|
+
const args = this.emitArguments(node.arguments);
|
|
368
|
+
const result = this.reg();
|
|
369
|
+
this.emit(` ${result} = call i64 @xt_call_with_this(i64 ${method}, i64 ${thisValue}, i32 ${args.argc}, i64* ${args.ptr})`);
|
|
370
|
+
return result;
|
|
371
|
+
},
|
|
372
|
+
};
|
|
373
|
+
//# sourceMappingURL=calls.js.map
|
|
@@ -0,0 +1 @@
|
|
|
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,EAAqB,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACzE,OAAO,EACL,eAAe,EACf,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAoBrB,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,MAAM,GAAG,MAAkC,CAAC;YAClD,MAAM,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YACtD,IAAI,OAAO;gBAAE,OAAO,OAAO,CAAC;YAC5B,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAK,MAAM,CAAC,UAAyB,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3G,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1C,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACtD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,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,mCAAmC,MAAM,SAAS,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACpH,OAAO,MAAM,CAAC;QAChB,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,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;YAC5D,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,mCAAmC,MAAM,SAAS,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACpH,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;YAC1C,IAAK,MAAqB,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;YACpF,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,GAAG,CAAC,YAAY,CAAC,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAC3I,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;YACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAE,MAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC/E,IAAI,IAAI,EAAE,CAAC;gBACT,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,IAAI,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACjF,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,MAAM,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1E,MAAM,EAAE,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3G,IAAI,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;YAC1B,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,gBAAgB,EAAE,QAAQ,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YAC/E,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,IAAI,gBAAgB,IAAI,CAAC,YAAY,EAAE,CAAC;YACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,UAAU,IAAI,gBAAgB,CAAC,IAAI,KAAK,MAAM,IAAI,gBAAgB,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACvF,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;gBACtC,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,UAAU,QAAQ,IAAI,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;gBACpG,OAAO,MAAM,CAAC;YAChB,CAAC;QACH,CAAC;QAED,KAAK,eAAe,CAAC;QACrB,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,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,IAAK,IAAI,CAAC,UAAyB,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvG,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,4CAA4C,SAAS,GAAG,CAAC,CAAC;YAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,4CAA4C,KAAK,GAAG,CAAC,CAAC;YAChF,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,2BAA2B,WAAW,SAAS,GAAG,GAAG,CAAC,CAAC;YAC3E,OAAO,KAAK,CAAC;QACf,CAAC;QACD,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,OAAO,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC;IAED,gBAAgB,CAAC,EAAgB;QAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAI,MAAM,GAAG,MAAM,CAAC;QACpB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,GAAG,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC9C,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,sBAAsB,KAAK,EAAE,CAAC,CAAC;YAClE,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,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC/C,IAAI,GAAG,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC5B,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;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;YACD,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC;gBACpB,IAAI,SAAS,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;gBAClC,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;oBACzB,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACvB,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,qBAAqB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;gBACvE,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,MAAM,SAAS,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;gBACxF,IAAI,CAAC,IAAI,CAAC,eAAe,SAAS,UAAU,MAAM,EAAE,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,0CAA0C,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QAC7F,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,mCAAmC,IAAI,SAAS,KAAK,UAAU,MAAM,GAAG,CAAC,CAAC;QAChG,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,oBAAoB,CAAC,IAAoB;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,4CAA4C,SAAS,GAAG,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,4CAA4C,KAAK,GAAG,CAAC,CAAC;QAChF,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,2BAA2B,WAAW,SAAS,GAAG,GAAG,CAAC,CAAC;QAC1E,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,sCAAsC,IAAI,SAAS,SAAS,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC1H,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,aAAa,CAAC,IAAoB,EAAE,MAAgC;QAClE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,4CAA4C,SAAS,GAAG,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,4CAA4C,KAAK,GAAG,CAAC,CAAC;QAChF,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,WAAW,SAAS,GAAG,GAAG,CAAC,CAAC;QAC5E,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,sCAAsC,MAAM,SAAS,SAAS,SAAS,IAAI,CAAC,IAAI,UAAU,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAC5H,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Shared generator state plus the low-level emission primitives.
|
|
3
|
+
*
|
|
4
|
+
* The generator's method groups are installed onto {@link Generator} via
|
|
5
|
+
* `Object.assign`; this context holds the fields they all mutate and the
|
|
6
|
+
* helpers every group relies on.
|
|
7
|
+
*/
|
|
8
|
+
import { type BindResult, type SymbolInfo } from "../../binder/binder.js";
|
|
9
|
+
import type { DiagnosticBag } from "../../diagnostics/diagnostic.js";
|
|
10
|
+
import type { SourceFileNode, Node } from "../../ast/nodes.js";
|
|
11
|
+
import type { BuiltinFunction } from "../../extensions/registry.js";
|
|
12
|
+
import type { CodegenOptions, FunctionState } from "./state.js";
|
|
13
|
+
export declare class GeneratorContext {
|
|
14
|
+
readonly binding: BindResult;
|
|
15
|
+
readonly sourceFile: SourceFileNode;
|
|
16
|
+
readonly diagnostics: DiagnosticBag;
|
|
17
|
+
readonly builtins: Readonly<Record<string, BuiltinFunction>>;
|
|
18
|
+
readonly globals: string[];
|
|
19
|
+
readonly functions: string[];
|
|
20
|
+
readonly strings: Map<string, {
|
|
21
|
+
label: string;
|
|
22
|
+
length: number;
|
|
23
|
+
}>;
|
|
24
|
+
readonly classGlobals: Map<number, string>;
|
|
25
|
+
readonly moduleGlobals: Map<number, string>;
|
|
26
|
+
readonly extraDeclarations: Set<string>;
|
|
27
|
+
stringCounter: number;
|
|
28
|
+
current: FunctionState;
|
|
29
|
+
constructor(sourceFile: SourceFileNode, diagnostics: DiagnosticBag, options?: CodegenOptions);
|
|
30
|
+
emit(line: string): void;
|
|
31
|
+
terminate(line: string): void;
|
|
32
|
+
reg(): string;
|
|
33
|
+
label(prefix: string): string;
|
|
34
|
+
startBlock(label: string): void;
|
|
35
|
+
alloca(): string;
|
|
36
|
+
const(hex: bigint): string;
|
|
37
|
+
declareSlot(symbol: SymbolInfo, initial: string): void;
|
|
38
|
+
defineCaptureSlot(symbol: SymbolInfo, box: string): void;
|
|
39
|
+
readSlot(symbol: SymbolInfo): string;
|
|
40
|
+
writeSlot(symbol: SymbolInfo, value: string): void;
|
|
41
|
+
stringValue(text: string): string;
|
|
42
|
+
internString(text: string): {
|
|
43
|
+
label: string;
|
|
44
|
+
length: number;
|
|
45
|
+
};
|
|
46
|
+
unsupported(node: Node, what: string): void;
|
|
47
|
+
}
|
|
@@ -0,0 +1,164 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Shared generator state plus the low-level emission primitives.
|
|
3
|
+
*
|
|
4
|
+
* The generator's method groups are installed onto {@link Generator} via
|
|
5
|
+
* `Object.assign`; this context holds the fields they all mutate and the
|
|
6
|
+
* helpers every group relies on.
|
|
7
|
+
*/
|
|
8
|
+
import { bind } from "../../binder/binder.js";
|
|
9
|
+
import { DiagnosticCode } from "../../diagnostics/diagnostic.js";
|
|
10
|
+
import { i64, XT_UNDEFINED } from "../values.js";
|
|
11
|
+
import { escapeBytes, kindName, utf8Bytes } from "./tables.js";
|
|
12
|
+
export class GeneratorContext {
|
|
13
|
+
binding;
|
|
14
|
+
sourceFile;
|
|
15
|
+
diagnostics;
|
|
16
|
+
builtins;
|
|
17
|
+
globals = [];
|
|
18
|
+
functions = [];
|
|
19
|
+
strings = new Map();
|
|
20
|
+
classGlobals = new Map();
|
|
21
|
+
moduleGlobals = new Map();
|
|
22
|
+
extraDeclarations = new Set();
|
|
23
|
+
stringCounter = 0;
|
|
24
|
+
current;
|
|
25
|
+
constructor(sourceFile, diagnostics, options = {}) {
|
|
26
|
+
this.sourceFile = sourceFile;
|
|
27
|
+
this.diagnostics = diagnostics;
|
|
28
|
+
this.binding = bind(sourceFile);
|
|
29
|
+
this.builtins = options.builtins ?? {};
|
|
30
|
+
}
|
|
31
|
+
// -- emission primitives -------------------------------------------------
|
|
32
|
+
emit(line) {
|
|
33
|
+
this.current.buffer.push(line);
|
|
34
|
+
}
|
|
35
|
+
terminate(line) {
|
|
36
|
+
this.current.buffer.push(` ${line}`);
|
|
37
|
+
this.current.terminated = true;
|
|
38
|
+
}
|
|
39
|
+
reg() {
|
|
40
|
+
return `%r${this.current.reg++}`;
|
|
41
|
+
}
|
|
42
|
+
label(prefix) {
|
|
43
|
+
return `${prefix}.${this.current.label++}`;
|
|
44
|
+
}
|
|
45
|
+
startBlock(label) {
|
|
46
|
+
this.current.buffer.push(`${label}:`);
|
|
47
|
+
this.current.terminated = false;
|
|
48
|
+
}
|
|
49
|
+
alloca() {
|
|
50
|
+
const ptr = `%slot${this.current.allocas.length}`;
|
|
51
|
+
this.current.allocas.push(`${ptr} = alloca i64`);
|
|
52
|
+
this.current.escapePointers.push(ptr);
|
|
53
|
+
return ptr;
|
|
54
|
+
}
|
|
55
|
+
const(hex) {
|
|
56
|
+
return i64(hex);
|
|
57
|
+
}
|
|
58
|
+
// -- variables -----------------------------------------------------------
|
|
59
|
+
declareSlot(symbol, initial) {
|
|
60
|
+
const globalName = this.moduleGlobals.get(symbol.id);
|
|
61
|
+
if (globalName) {
|
|
62
|
+
if (symbol.boxed) {
|
|
63
|
+
const box = this.reg();
|
|
64
|
+
this.emit(` ${box} = call i64 @xt_box_new(i64 ${initial})`);
|
|
65
|
+
this.emit(` store i64 ${box}, i64* ${globalName}`);
|
|
66
|
+
}
|
|
67
|
+
else {
|
|
68
|
+
this.emit(` store i64 ${initial}, i64* ${globalName}`);
|
|
69
|
+
}
|
|
70
|
+
this.current.slots.set(symbol.id, { ptr: globalName, boxed: symbol.boxed });
|
|
71
|
+
return;
|
|
72
|
+
}
|
|
73
|
+
const ptr = this.alloca();
|
|
74
|
+
if (symbol.boxed) {
|
|
75
|
+
const box = this.reg();
|
|
76
|
+
this.emit(` ${box} = call i64 @xt_box_new(i64 ${initial})`);
|
|
77
|
+
this.emit(` store i64 ${box}, i64* ${ptr}`);
|
|
78
|
+
}
|
|
79
|
+
else {
|
|
80
|
+
this.emit(` store i64 ${initial}, i64* ${ptr}`);
|
|
81
|
+
}
|
|
82
|
+
this.current.slots.set(symbol.id, { ptr, boxed: symbol.boxed });
|
|
83
|
+
}
|
|
84
|
+
defineCaptureSlot(symbol, box) {
|
|
85
|
+
const ptr = this.alloca();
|
|
86
|
+
this.emit(` store i64 ${box}, i64* ${ptr}`);
|
|
87
|
+
// A captured symbol is always boxed; the environment holds the box.
|
|
88
|
+
this.current.slots.set(symbol.id, { ptr, boxed: true });
|
|
89
|
+
}
|
|
90
|
+
readSlot(symbol) {
|
|
91
|
+
const globalName = this.moduleGlobals.get(symbol.id);
|
|
92
|
+
if (globalName) {
|
|
93
|
+
const value = this.reg();
|
|
94
|
+
this.emit(` ${value} = load i64, i64* ${globalName}`);
|
|
95
|
+
if (!symbol.boxed)
|
|
96
|
+
return value;
|
|
97
|
+
const unboxed = this.reg();
|
|
98
|
+
this.emit(` ${unboxed} = call i64 @xt_box_get(i64 ${value})`);
|
|
99
|
+
return unboxed;
|
|
100
|
+
}
|
|
101
|
+
const slot = this.current.slots.get(symbol.id);
|
|
102
|
+
if (!slot) {
|
|
103
|
+
// Referenced from an inner function without a capture slot: this should
|
|
104
|
+
// be impossible once the binder has run, but stay defensive.
|
|
105
|
+
this.diagnostics.error(DiagnosticCode.CodegenError, `Internal: no slot for '${symbol.name}' in ${this.current.fn.name}`);
|
|
106
|
+
return i64(XT_UNDEFINED);
|
|
107
|
+
}
|
|
108
|
+
const value = this.reg();
|
|
109
|
+
this.emit(` ${value} = load i64, i64* ${slot.ptr}`);
|
|
110
|
+
if (!slot.boxed)
|
|
111
|
+
return value;
|
|
112
|
+
const unboxed = this.reg();
|
|
113
|
+
this.emit(` ${unboxed} = call i64 @xt_box_get(i64 ${value})`);
|
|
114
|
+
return unboxed;
|
|
115
|
+
}
|
|
116
|
+
writeSlot(symbol, value) {
|
|
117
|
+
const globalName = this.moduleGlobals.get(symbol.id);
|
|
118
|
+
if (globalName) {
|
|
119
|
+
if (!symbol.boxed) {
|
|
120
|
+
this.emit(` store i64 ${value}, i64* ${globalName}`);
|
|
121
|
+
return;
|
|
122
|
+
}
|
|
123
|
+
const box = this.reg();
|
|
124
|
+
this.emit(` ${box} = load i64, i64* ${globalName}`);
|
|
125
|
+
this.emit(` call i64 @xt_box_set(i64 ${box}, i64 ${value})`);
|
|
126
|
+
return;
|
|
127
|
+
}
|
|
128
|
+
const slot = this.current.slots.get(symbol.id);
|
|
129
|
+
if (!slot) {
|
|
130
|
+
this.diagnostics.error(DiagnosticCode.CodegenError, `Internal: no slot for '${symbol.name}'`);
|
|
131
|
+
return;
|
|
132
|
+
}
|
|
133
|
+
if (!slot.boxed) {
|
|
134
|
+
this.emit(` store i64 ${value}, i64* ${slot.ptr}`);
|
|
135
|
+
return;
|
|
136
|
+
}
|
|
137
|
+
const box = this.reg();
|
|
138
|
+
this.emit(` ${box} = load i64, i64* ${slot.ptr}`);
|
|
139
|
+
this.emit(` call i64 @xt_box_set(i64 ${box}, i64 ${value})`);
|
|
140
|
+
}
|
|
141
|
+
// -- string pool ---------------------------------------------------------
|
|
142
|
+
stringValue(text) {
|
|
143
|
+
const entry = this.internString(text);
|
|
144
|
+
const result = this.reg();
|
|
145
|
+
this.emit(` ${result} = call i64 @xt_string_new(i8* ${entry.label}, i64 ${entry.length})`);
|
|
146
|
+
return result;
|
|
147
|
+
}
|
|
148
|
+
internString(text) {
|
|
149
|
+
const existing = this.strings.get(text);
|
|
150
|
+
if (existing)
|
|
151
|
+
return existing;
|
|
152
|
+
const label = `@.str.${this.stringCounter++}`;
|
|
153
|
+
const bytes = utf8Bytes(text);
|
|
154
|
+
const entry = { label, length: bytes.length };
|
|
155
|
+
this.strings.set(text, entry);
|
|
156
|
+
this.globals.push(`${label} = private unnamed_addr constant [${bytes.length + 1} x i8] c"${escapeBytes(bytes)}\\00"`);
|
|
157
|
+
return entry;
|
|
158
|
+
}
|
|
159
|
+
unsupported(node, what) {
|
|
160
|
+
const label = kindName(node.kind);
|
|
161
|
+
this.diagnostics.error(DiagnosticCode.UnsupportedFeature, `xbintsc does not yet support this ${what} (${label})`, node, this.sourceFile.fileName);
|
|
162
|
+
}
|
|
163
|
+
}
|
|
164
|
+
//# sourceMappingURL=context.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../src/codegen/generator/context.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,IAAI,EAAoD,MAAM,wBAAwB,CAAC;AAEhG,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAEjE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAGjD,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE/D,MAAM,OAAO,gBAAgB;IAClB,OAAO,CAAa;IACpB,UAAU,CAAiB;IAC3B,WAAW,CAAgB;IAC3B,QAAQ,CAA4C;IACpD,OAAO,GAAa,EAAE,CAAC;IACvB,SAAS,GAAa,EAAE,CAAC;IACzB,OAAO,GAAG,IAAI,GAAG,EAA6C,CAAC;IAC/D,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/C,aAAa,GAAG,CAAC,CAAC;IAClB,OAAO,CAAiB;IAExB,YAAY,UAA0B,EAAE,WAA0B,EAAE,UAA0B,EAAE;QAC9F,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAC/B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,CAAC;IAED,2EAA2E;IAE3E,IAAI,CAAC,IAAY;QACf,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,SAAS,CAAC,IAAY;QACpB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IACjC,CAAC;IAED,GAAG;QACD,OAAO,KAAK,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,MAAc;QAClB,OAAO,GAAG,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;IAC7C,CAAC;IAED,UAAU,CAAC,KAAa;QACtB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,UAAU,GAAG,KAAK,CAAC;IAClC,CAAC;IAED,MAAM;QACJ,MAAM,GAAG,GAAG,QAAQ,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,eAAe,CAAC,CAAC;QACjD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,KAAK,CAAC,GAAW;QACf,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,CAAC;IAED,2EAA2E;IAE3E,WAAW,CAAC,MAAkB,EAAE,OAAe;QAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gBACvB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,+BAA+B,OAAO,GAAG,CAAC,CAAC;gBAC7D,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,UAAU,UAAU,EAAE,CAAC,CAAC;YACtD,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,IAAI,CAAC,eAAe,OAAO,UAAU,UAAU,EAAE,CAAC,CAAC;YAC1D,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5E,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,+BAA+B,OAAO,GAAG,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,UAAU,GAAG,EAAE,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,IAAI,CAAC,eAAe,OAAO,UAAU,GAAG,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAClE,CAAC;IAED,iBAAiB,CAAC,MAAkB,EAAE,GAAW;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,UAAU,GAAG,EAAE,CAAC,CAAC;QAC7C,oEAAoE;QACpE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,QAAQ,CAAC,MAAkB;QACzB,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,UAAU,EAAE,CAAC,CAAC;YACvD,IAAI,CAAC,MAAM,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YAChC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,+BAA+B,KAAK,GAAG,CAAC,CAAC;YAC/D,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,wEAAwE;YACxE,6DAA6D;YAC7D,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,cAAc,CAAC,YAAY,EAC3B,0BAA0B,MAAM,CAAC,IAAI,QAAQ,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CACpE,CAAC;YACF,OAAO,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,+BAA+B,KAAK,GAAG,CAAC,CAAC;QAC/D,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,SAAS,CAAC,MAAkB,EAAE,KAAa;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrD,IAAI,UAAU,EAAE,CAAC;YACf,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,UAAU,EAAE,CAAC,CAAC;gBACtD,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,qBAAqB,UAAU,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,8BAA8B,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;YAC9D,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC,YAAY,EAAE,0BAA0B,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;YAC9F,OAAO;QACT,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;YACpD,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,qBAAqB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,8BAA8B,GAAG,SAAS,KAAK,GAAG,CAAC,CAAC;IAChE,CAAC;IAED,2EAA2E;IAE3E,WAAW,CAAC,IAAY;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,kCAAkC,KAAK,CAAC,KAAK,SAAS,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5F,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,YAAY,CAAC,IAAY;QACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,KAAK,GAAG,SAAS,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,KAAK,CAAC,MAAM,GAAG,CAAC,YAAY,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtH,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,IAAU,EAAE,IAAY;QAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,KAAK,CACpB,cAAc,CAAC,kBAAkB,EACjC,qCAAqC,IAAI,KAAK,KAAK,GAAG,EACtD,IAAI,EACJ,IAAI,CAAC,UAAU,CAAC,QAAQ,CACzB,CAAC;IACJ,CAAC;CACF"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Expression lowering: operators, assignments, conditionals, templates and
|
|
3
|
+
* identifier resolution.
|
|
4
|
+
*/
|
|
5
|
+
import { type AwaitExpression, type BinaryExpression, type ConditionalExpression, type Expression, type Identifier, type NewExpression, type PostfixUnaryExpression, type PrefixUnaryExpression, type TemplateLiteral } from "../../ast/nodes.js";
|
|
6
|
+
import { type SymbolInfo } from "../../binder/binder.js";
|
|
7
|
+
import type { Generator } from "./generator.js";
|
|
8
|
+
export interface ExpressionMethods {
|
|
9
|
+
emitExpression(this: Generator, node: Expression): string;
|
|
10
|
+
emitIdentifier(this: Generator, identifier: Identifier): string;
|
|
11
|
+
emitFunctionValue(this: Generator, symbol: SymbolInfo): string;
|
|
12
|
+
emitTemplate(this: Generator, node: TemplateLiteral): string;
|
|
13
|
+
emitBinaryOrAssignment(this: Generator, node: BinaryExpression): string;
|
|
14
|
+
emitShortCircuit(this: Generator, node: BinaryExpression, kind: "and" | "or" | "nullish"): string;
|
|
15
|
+
emitConditional(this: Generator, node: ConditionalExpression): string;
|
|
16
|
+
emitPrefix(this: Generator, node: PrefixUnaryExpression): string;
|
|
17
|
+
emitPostfix(this: Generator, node: PostfixUnaryExpression): string;
|
|
18
|
+
emitAssignment(this: Generator, node: BinaryExpression): string;
|
|
19
|
+
emitLogicalAssignment(this: Generator, node: BinaryExpression): string;
|
|
20
|
+
emitAssignmentTarget(this: Generator, target: Expression, value: string): void;
|
|
21
|
+
emitThis(this: Generator): string;
|
|
22
|
+
emitNew(this: Generator, node: NewExpression): string;
|
|
23
|
+
emitAwait(this: Generator, node: AwaitExpression): string;
|
|
24
|
+
}
|
|
25
|
+
export declare const expressionMethods: ExpressionMethods;
|