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.
Files changed (152) hide show
  1. package/README.md +7 -4
  2. package/dist/src/ast/common.d.ts +33 -0
  3. package/dist/src/ast/common.js +7 -0
  4. package/dist/src/ast/common.js.map +1 -0
  5. package/dist/src/ast/declarations.d.ts +110 -0
  6. package/dist/src/ast/declarations.js +5 -0
  7. package/dist/src/ast/declarations.js.map +1 -0
  8. package/dist/src/ast/expressions.d.ts +219 -0
  9. package/dist/src/ast/expressions.js +6 -0
  10. package/dist/src/ast/expressions.js.map +1 -0
  11. package/dist/src/ast/kinds.d.ts +160 -0
  12. package/dist/src/ast/kinds.js +171 -0
  13. package/dist/src/ast/kinds.js.map +1 -0
  14. package/dist/src/ast/modules.d.ts +61 -0
  15. package/dist/src/ast/modules.js +5 -0
  16. package/dist/src/ast/modules.js.map +1 -0
  17. package/dist/src/ast/nodes.d.ts +11 -839
  18. package/dist/src/ast/nodes.js +11 -237
  19. package/dist/src/ast/nodes.js.map +1 -1
  20. package/dist/src/ast/operators.d.ts +71 -0
  21. package/dist/src/ast/operators.js +77 -0
  22. package/dist/src/ast/operators.js.map +1 -0
  23. package/dist/src/ast/statements.d.ts +120 -0
  24. package/dist/src/ast/statements.js +5 -0
  25. package/dist/src/ast/statements.js.map +1 -0
  26. package/dist/src/ast/types.d.ts +123 -0
  27. package/dist/src/ast/types.js +6 -0
  28. package/dist/src/ast/types.js.map +1 -0
  29. package/dist/src/binder/binder.d.ts +35 -1
  30. package/dist/src/binder/binder.js +138 -0
  31. package/dist/src/binder/binder.js.map +1 -1
  32. package/dist/src/codegen/generator/calls.d.ts +26 -0
  33. package/dist/src/codegen/generator/calls.js +373 -0
  34. package/dist/src/codegen/generator/calls.js.map +1 -0
  35. package/dist/src/codegen/generator/context.d.ts +47 -0
  36. package/dist/src/codegen/generator/context.js +164 -0
  37. package/dist/src/codegen/generator/context.js.map +1 -0
  38. package/dist/src/codegen/generator/expressions.d.ts +25 -0
  39. package/dist/src/codegen/generator/expressions.js +454 -0
  40. package/dist/src/codegen/generator/expressions.js.map +1 -0
  41. package/dist/src/codegen/generator/generator.d.ts +22 -0
  42. package/dist/src/codegen/generator/generator.js +21 -0
  43. package/dist/src/codegen/generator/generator.js.map +1 -0
  44. package/dist/src/codegen/generator/module.d.ts +19 -0
  45. package/dist/src/codegen/generator/module.js +214 -0
  46. package/dist/src/codegen/generator/module.js.map +1 -0
  47. package/dist/src/codegen/generator/state.d.ts +42 -0
  48. package/dist/src/codegen/generator/state.js +125 -0
  49. package/dist/src/codegen/generator/state.js.map +1 -0
  50. package/dist/src/codegen/generator/statements.d.ts +22 -0
  51. package/dist/src/codegen/generator/statements.js +433 -0
  52. package/dist/src/codegen/generator/statements.js.map +1 -0
  53. package/dist/src/codegen/generator/tables.d.ts +23 -0
  54. package/dist/src/codegen/generator/tables.js +186 -0
  55. package/dist/src/codegen/generator/tables.js.map +1 -0
  56. package/dist/src/codegen/llvm.d.ts +4 -13
  57. package/dist/src/codegen/llvm.js +4 -1537
  58. package/dist/src/codegen/llvm.js.map +1 -1
  59. package/dist/src/driver/compiler.js +36 -11
  60. package/dist/src/driver/compiler.js.map +1 -1
  61. package/dist/src/driver/modules.d.ts +24 -0
  62. package/dist/src/driver/modules.js +347 -0
  63. package/dist/src/driver/modules.js.map +1 -0
  64. package/dist/src/lexer/char.d.ts +78 -0
  65. package/dist/src/lexer/char.js +106 -0
  66. package/dist/src/lexer/char.js.map +1 -0
  67. package/dist/src/lexer/scanner.js +1 -98
  68. package/dist/src/lexer/scanner.js.map +1 -1
  69. package/dist/src/parser/context.d.ts +58 -0
  70. package/dist/src/parser/context.js +174 -0
  71. package/dist/src/parser/context.js.map +1 -0
  72. package/dist/src/parser/declarations.d.ts +26 -0
  73. package/dist/src/parser/declarations.js +461 -0
  74. package/dist/src/parser/declarations.js.map +1 -0
  75. package/dist/src/parser/expressions.d.ts +27 -0
  76. package/dist/src/parser/expressions.js +440 -0
  77. package/dist/src/parser/expressions.js.map +1 -0
  78. package/dist/src/parser/helpers.d.ts +7 -0
  79. package/dist/src/parser/helpers.js +36 -0
  80. package/dist/src/parser/helpers.js.map +1 -0
  81. package/dist/src/parser/literals.d.ts +16 -0
  82. package/dist/src/parser/literals.js +193 -0
  83. package/dist/src/parser/literals.js.map +1 -0
  84. package/dist/src/parser/modules.d.ts +12 -0
  85. package/dist/src/parser/modules.js +175 -0
  86. package/dist/src/parser/modules.js.map +1 -0
  87. package/dist/src/parser/operators.d.ts +12 -0
  88. package/dist/src/parser/operators.js +172 -0
  89. package/dist/src/parser/operators.js.map +1 -0
  90. package/dist/src/parser/parser.d.ts +17 -122
  91. package/dist/src/parser/parser.js +18 -2311
  92. package/dist/src/parser/parser.js.map +1 -1
  93. package/dist/src/parser/speculation.d.ts +6 -0
  94. package/dist/src/parser/speculation.js +10 -0
  95. package/dist/src/parser/speculation.js.map +1 -0
  96. package/dist/src/parser/statements.d.ts +28 -0
  97. package/dist/src/parser/statements.js +402 -0
  98. package/dist/src/parser/statements.js.map +1 -0
  99. package/dist/src/parser/types.d.ts +21 -0
  100. package/dist/src/parser/types.js +338 -0
  101. package/dist/src/parser/types.js.map +1 -0
  102. package/dist/tests/codegen/llvm.test.js +1 -1
  103. package/dist/tests/codegen/llvm.test.js.map +1 -1
  104. package/dist/tests/e2e/compile.test.js +86 -0
  105. package/dist/tests/e2e/compile.test.js.map +1 -1
  106. package/package.json +1 -1
  107. package/runtime/rt.h +55 -4
  108. package/runtime/rt_internal.h +169 -0
  109. package/runtime/xt_alloc.c +38 -0
  110. package/runtime/xt_builtins.c +238 -0
  111. package/runtime/xt_containers.c +312 -0
  112. package/runtime/xt_io.c +246 -0
  113. package/runtime/xt_promise.c +292 -0
  114. package/runtime/xt_stdlib.c +556 -0
  115. package/runtime/xt_stdlib2.c +1043 -0
  116. package/runtime/xt_values.c +291 -0
  117. package/scripts/build-runtime.mjs +8 -1
  118. package/src/ast/common.ts +210 -0
  119. package/src/ast/declarations.ts +130 -0
  120. package/src/ast/expressions.ts +275 -0
  121. package/src/ast/kinds.ts +176 -0
  122. package/src/ast/modules.ts +73 -0
  123. package/src/ast/nodes.ts +11 -1101
  124. package/src/ast/operators.ts +76 -0
  125. package/src/ast/statements.ts +148 -0
  126. package/src/ast/types.ts +173 -0
  127. package/src/binder/binder.ts +196 -0
  128. package/src/codegen/generator/calls.ts +433 -0
  129. package/src/codegen/generator/context.ts +190 -0
  130. package/src/codegen/generator/expressions.ts +508 -0
  131. package/src/codegen/generator/generator.ts +35 -0
  132. package/src/codegen/generator/module.ts +244 -0
  133. package/src/codegen/generator/state.ts +169 -0
  134. package/src/codegen/generator/statements.ts +480 -0
  135. package/src/codegen/generator/tables.ts +206 -0
  136. package/src/codegen/llvm.ts +4 -1720
  137. package/src/driver/compiler.ts +45 -12
  138. package/src/driver/modules.ts +377 -0
  139. package/src/lexer/char.ts +116 -0
  140. package/src/lexer/scanner.ts +9 -109
  141. package/src/parser/context.ts +196 -0
  142. package/src/parser/declarations.ts +502 -0
  143. package/src/parser/expressions.ts +468 -0
  144. package/src/parser/helpers.ts +42 -0
  145. package/src/parser/literals.ts +207 -0
  146. package/src/parser/modules.ts +194 -0
  147. package/src/parser/operators.ts +181 -0
  148. package/src/parser/parser.ts +35 -2373
  149. package/src/parser/speculation.ts +9 -0
  150. package/src/parser/statements.ts +457 -0
  151. package/src/parser/types.ts +365 -0
  152. 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;