@scriptc/compiler 0.4.3 → 0.4.4

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 (232) hide show
  1. package/ambient/scriptc-node-fallback.d.ts +73 -29
  2. package/dist/backend/llvm/bytes-loop-versions.js +6 -0
  3. package/dist/backend/llvm/bytes-loop-versions.js.map +1 -1
  4. package/dist/backend/llvm/bytes-loop-versions.test.js +7 -2
  5. package/dist/backend/llvm/bytes-loop-versions.test.js.map +1 -1
  6. package/dist/backend/llvm/debug-info.js +2 -5
  7. package/dist/backend/llvm/debug-info.js.map +1 -1
  8. package/dist/backend/llvm/dyn.d.ts +4 -0
  9. package/dist/backend/llvm/dyn.js +21 -9
  10. package/dist/backend/llvm/dyn.js.map +1 -1
  11. package/dist/backend/llvm/emit-function.js +2 -8
  12. package/dist/backend/llvm/emit-function.js.map +1 -1
  13. package/dist/backend/llvm/emit-module.js +16 -6
  14. package/dist/backend/llvm/emit-module.js.map +1 -1
  15. package/dist/backend/llvm/emitter.d.ts +10 -0
  16. package/dist/backend/llvm/emitter.js +9 -5
  17. package/dist/backend/llvm/emitter.js.map +1 -1
  18. package/dist/backend/llvm/emitter.test.js +11 -2
  19. package/dist/backend/llvm/emitter.test.js.map +1 -1
  20. package/dist/backend/llvm/expr-async.js +11 -13
  21. package/dist/backend/llvm/expr-async.js.map +1 -1
  22. package/dist/backend/llvm/expr-bytes.js +14 -8
  23. package/dist/backend/llvm/expr-bytes.js.map +1 -1
  24. package/dist/backend/llvm/expr-containers.js +14 -0
  25. package/dist/backend/llvm/expr-containers.js.map +1 -1
  26. package/dist/backend/llvm/expr-primitives.js +20 -11
  27. package/dist/backend/llvm/expr-primitives.js.map +1 -1
  28. package/dist/backend/llvm/expr-stream-bridges.js +16 -4
  29. package/dist/backend/llvm/expr-stream-bridges.js.map +1 -1
  30. package/dist/backend/llvm/integer-values.d.ts +5 -0
  31. package/dist/backend/llvm/integer-values.js +27 -3
  32. package/dist/backend/llvm/integer-values.js.map +1 -1
  33. package/dist/backend/llvm/lib-dispatch.js +133 -3
  34. package/dist/backend/llvm/lib-dispatch.js.map +1 -1
  35. package/dist/backend/llvm/lib-process.js +37 -1
  36. package/dist/backend/llvm/lib-process.js.map +1 -1
  37. package/dist/backend/llvm/lib-shared.js +21 -0
  38. package/dist/backend/llvm/lib-shared.js.map +1 -1
  39. package/dist/backend/llvm/publish.js +3 -3
  40. package/dist/backend/llvm/publish.js.map +1 -1
  41. package/dist/backend/llvm/reference-effects.js +3 -0
  42. package/dist/backend/llvm/reference-effects.js.map +1 -1
  43. package/dist/backend/llvm/shapes.js +2 -7
  44. package/dist/backend/llvm/shapes.js.map +1 -1
  45. package/dist/backend/llvm/stack-captures.js +1 -5
  46. package/dist/backend/llvm/stack-captures.js.map +1 -1
  47. package/dist/backend/llvm/union-repr.d.ts +4 -3
  48. package/dist/backend/llvm/union-repr.js +6 -5
  49. package/dist/backend/llvm/union-repr.js.map +1 -1
  50. package/dist/backend/llvm/walkers.js +13 -0
  51. package/dist/backend/llvm/walkers.js.map +1 -1
  52. package/dist/backend/native-codegen-core.d.ts +5 -3
  53. package/dist/backend/native-codegen-core.js +13 -6
  54. package/dist/backend/native-codegen-core.js.map +1 -1
  55. package/dist/backend/native-codegen.test.js +6 -4
  56. package/dist/backend/native-codegen.test.js.map +1 -1
  57. package/dist/backend/target-cpu.d.ts +26 -0
  58. package/dist/backend/target-cpu.js +98 -0
  59. package/dist/backend/target-cpu.js.map +1 -0
  60. package/dist/backend/target-cpu.test.d.ts +1 -0
  61. package/dist/backend/target-cpu.test.js +38 -0
  62. package/dist/backend/target-cpu.test.js.map +1 -0
  63. package/dist/cli/command.js +20 -1
  64. package/dist/cli/command.js.map +1 -1
  65. package/dist/cli/usage.d.ts +4 -1
  66. package/dist/cli/usage.js +7 -0
  67. package/dist/cli/usage.js.map +1 -1
  68. package/dist/compile-types.d.ts +7 -0
  69. package/dist/diagnostics/diagnostic.js +1 -1
  70. package/dist/diagnostics/diagnostic.js.map +1 -1
  71. package/dist/executable/executable-cache.d.ts +3 -0
  72. package/dist/executable/executable-cache.js +4 -0
  73. package/dist/executable/executable-cache.js.map +1 -1
  74. package/dist/executable/executable-cache.test.js +2 -0
  75. package/dist/executable/executable-cache.test.js.map +1 -1
  76. package/dist/frontend/decl-projection.js +105 -10
  77. package/dist/frontend/decl-projection.js.map +1 -1
  78. package/dist/frontend/lowering/builtins/async-context.d.ts +8 -2
  79. package/dist/frontend/lowering/builtins/async-context.js +62 -3
  80. package/dist/frontend/lowering/builtins/async-context.js.map +1 -1
  81. package/dist/frontend/lowering/builtins/crypto.js +3 -1
  82. package/dist/frontend/lowering/builtins/crypto.js.map +1 -1
  83. package/dist/frontend/lowering/builtins/dates.js +4 -1
  84. package/dist/frontend/lowering/builtins/dates.js.map +1 -1
  85. package/dist/frontend/lowering/builtins/filesystem-calls.js +3 -3
  86. package/dist/frontend/lowering/builtins/filesystem-calls.js.map +1 -1
  87. package/dist/frontend/lowering/builtins/fs-glob.js +6 -3
  88. package/dist/frontend/lowering/builtins/fs-glob.js.map +1 -1
  89. package/dist/frontend/lowering/builtins/fs-paths.d.ts +43 -5
  90. package/dist/frontend/lowering/builtins/fs-paths.js +245 -93
  91. package/dist/frontend/lowering/builtins/fs-paths.js.map +1 -1
  92. package/dist/frontend/lowering/builtins/module-calls.js +6 -3
  93. package/dist/frontend/lowering/builtins/module-calls.js.map +1 -1
  94. package/dist/frontend/lowering/builtins/promises.d.ts +1 -1
  95. package/dist/frontend/lowering/builtins/promises.js +149 -138
  96. package/dist/frontend/lowering/builtins/promises.js.map +1 -1
  97. package/dist/frontend/lowering/call-signatures.js +0 -1
  98. package/dist/frontend/lowering/call-signatures.js.map +1 -1
  99. package/dist/frontend/lowering/cjs-exports-object.js +1 -1
  100. package/dist/frontend/lowering/cjs-exports-object.js.map +1 -1
  101. package/dist/frontend/lowering/cjs-inline-require.d.ts +32 -0
  102. package/dist/frontend/lowering/cjs-inline-require.js +307 -4
  103. package/dist/frontend/lowering/cjs-inline-require.js.map +1 -1
  104. package/dist/frontend/lowering/class-dynamic-dispatch.d.ts +10 -0
  105. package/dist/frontend/lowering/class-dynamic-dispatch.js +114 -0
  106. package/dist/frontend/lowering/class-dynamic-dispatch.js.map +1 -1
  107. package/dist/frontend/lowering/class-method-mutations.js +54 -18
  108. package/dist/frontend/lowering/class-method-mutations.js.map +1 -1
  109. package/dist/frontend/lowering/class-protocols.d.ts +25 -0
  110. package/dist/frontend/lowering/class-protocols.js +183 -1
  111. package/dist/frontend/lowering/class-protocols.js.map +1 -1
  112. package/dist/frontend/lowering/completion-callbacks.d.ts +4 -0
  113. package/dist/frontend/lowering/completion-callbacks.js +146 -0
  114. package/dist/frontend/lowering/completion-callbacks.js.map +1 -0
  115. package/dist/frontend/lowering/containers/array-callbacks.d.ts +5 -4
  116. package/dist/frontend/lowering/containers/array-callbacks.js +7 -6
  117. package/dist/frontend/lowering/containers/array-callbacks.js.map +1 -1
  118. package/dist/frontend/lowering/containers/array-construction.js +5 -0
  119. package/dist/frontend/lowering/containers/array-construction.js.map +1 -1
  120. package/dist/frontend/lowering/containers/array-methods.js +11 -3
  121. package/dist/frontend/lowering/containers/array-methods.js.map +1 -1
  122. package/dist/frontend/lowering/containers/bytes.d.ts +25 -17
  123. package/dist/frontend/lowering/containers/bytes.js +453 -45
  124. package/dist/frontend/lowering/containers/bytes.js.map +1 -1
  125. package/dist/frontend/lowering/date-values.d.ts +11 -0
  126. package/dist/frontend/lowering/date-values.js +207 -0
  127. package/dist/frontend/lowering/date-values.js.map +1 -0
  128. package/dist/frontend/lowering/expressions/array-literals.js +6 -0
  129. package/dist/frontend/lowering/expressions/array-literals.js.map +1 -1
  130. package/dist/frontend/lowering/expressions/binary.js +64 -26
  131. package/dist/frontend/lowering/expressions/binary.js.map +1 -1
  132. package/dist/frontend/lowering/expressions/element-access.js +79 -0
  133. package/dist/frontend/lowering/expressions/element-access.js.map +1 -1
  134. package/dist/frontend/lowering/expressions/identifiers.js +31 -1
  135. package/dist/frontend/lowering/expressions/identifiers.js.map +1 -1
  136. package/dist/frontend/lowering/expressions/property-access.js +56 -0
  137. package/dist/frontend/lowering/expressions/property-access.js.map +1 -1
  138. package/dist/frontend/lowering/expressions/typeof.js +6 -0
  139. package/dist/frontend/lowering/expressions/typeof.js.map +1 -1
  140. package/dist/frontend/lowering/expressions/updates.js +17 -0
  141. package/dist/frontend/lowering/expressions/updates.js.map +1 -1
  142. package/dist/frontend/lowering/function-returns.js +15 -0
  143. package/dist/frontend/lowering/function-returns.js.map +1 -1
  144. package/dist/frontend/lowering/indexed-unions.d.ts +54 -0
  145. package/dist/frontend/lowering/indexed-unions.js +401 -0
  146. package/dist/frontend/lowering/indexed-unions.js.map +1 -0
  147. package/dist/frontend/lowering/key-order-witness.js +210 -32
  148. package/dist/frontend/lowering/key-order-witness.js.map +1 -1
  149. package/dist/frontend/lowering/key-order-witness.test.js +104 -4
  150. package/dist/frontend/lowering/key-order-witness.test.js.map +1 -1
  151. package/dist/frontend/lowering/lower-assert.js +15 -3
  152. package/dist/frontend/lowering/lower-assert.js.map +1 -1
  153. package/dist/frontend/lowering/lower-calls.js +19 -3
  154. package/dist/frontend/lowering/lower-calls.js.map +1 -1
  155. package/dist/frontend/lowering/lower-classes.js +22 -47
  156. package/dist/frontend/lowering/lower-classes.js.map +1 -1
  157. package/dist/frontend/lowering/lower-exprs.js +205 -1
  158. package/dist/frontend/lowering/lower-exprs.js.map +1 -1
  159. package/dist/frontend/lowering/lower-generators.js +1 -1
  160. package/dist/frontend/lowering/lower-generators.js.map +1 -1
  161. package/dist/frontend/lowering/lower-inspect.d.ts +1 -1
  162. package/dist/frontend/lowering/lower-inspect.js +35 -11
  163. package/dist/frontend/lowering/lower-inspect.js.map +1 -1
  164. package/dist/frontend/lowering/lower-modules.js +21 -5
  165. package/dist/frontend/lowering/lower-modules.js.map +1 -1
  166. package/dist/frontend/lowering/lower-stmts.js +100 -34
  167. package/dist/frontend/lowering/lower-stmts.js.map +1 -1
  168. package/dist/frontend/lowering/lowerer.d.ts +30 -2
  169. package/dist/frontend/lowering/lowerer.js +68 -7
  170. package/dist/frontend/lowering/lowerer.js.map +1 -1
  171. package/dist/frontend/lowering/object-factory-new.d.ts +5 -0
  172. package/dist/frontend/lowering/object-factory-new.js +20 -6
  173. package/dist/frontend/lowering/object-factory-new.js.map +1 -1
  174. package/dist/frontend/lowering/overload-choice.d.ts +33 -0
  175. package/dist/frontend/lowering/overload-choice.js +190 -0
  176. package/dist/frontend/lowering/overload-choice.js.map +1 -0
  177. package/dist/frontend/lowering/surfaces.js +55 -2
  178. package/dist/frontend/lowering/surfaces.js.map +1 -1
  179. package/dist/frontend/pipeline.js +1 -1
  180. package/dist/frontend/pipeline.js.map +1 -1
  181. package/dist/frontend/program-analysis.d.ts +5 -1
  182. package/dist/frontend/program-analysis.js +5 -0
  183. package/dist/frontend/program-analysis.js.map +1 -1
  184. package/dist/frontend/program.d.ts +13 -5
  185. package/dist/frontend/program.js +197 -14
  186. package/dist/frontend/program.js.map +1 -1
  187. package/dist/frontend/ts7/semantic-model.d.ts +3 -0
  188. package/dist/frontend/ts7/semantic-model.js +5 -0
  189. package/dist/frontend/ts7/semantic-model.js.map +1 -1
  190. package/dist/frontend/ts7/semantic-model.test.js +6 -1
  191. package/dist/frontend/ts7/semantic-model.test.js.map +1 -1
  192. package/dist/frontend/ts7/semantic-types.d.ts +1 -1
  193. package/dist/frontend/ts7/semantic-types.js +1 -1
  194. package/dist/frontend/ts7/semantic-types.js.map +1 -1
  195. package/dist/frontend/type-mapper.js +45 -16
  196. package/dist/frontend/type-mapper.js.map +1 -1
  197. package/dist/index.js +12 -0
  198. package/dist/index.js.map +1 -1
  199. package/dist/ir/builtin-effects.js +8 -0
  200. package/dist/ir/builtin-effects.js.map +1 -1
  201. package/dist/ir/builtin-signatures.d.ts +1 -1
  202. package/dist/ir/builtin-signatures.js +56 -0
  203. package/dist/ir/builtin-signatures.js.map +1 -1
  204. package/dist/ir/int32-slots.js +7 -0
  205. package/dist/ir/int32-slots.js.map +1 -1
  206. package/dist/ir/int32-slots.test.js +33 -0
  207. package/dist/ir/int32-slots.test.js.map +1 -1
  208. package/dist/ir/integer-loops.js +14 -4
  209. package/dist/ir/integer-loops.js.map +1 -1
  210. package/dist/ir/ir.d.ts +13 -3
  211. package/dist/ir/ir.js +19 -5
  212. package/dist/ir/ir.js.map +1 -1
  213. package/dist/ir/ir.test.js +2 -1
  214. package/dist/ir/ir.test.js.map +1 -1
  215. package/dist/ir/js-ic.d.ts +2 -15
  216. package/dist/ir/js-ic.js +11 -79
  217. package/dist/ir/js-ic.js.map +1 -1
  218. package/dist/ir/js-ic.test.js +0 -142
  219. package/dist/ir/js-ic.test.js.map +1 -1
  220. package/dist/ir/runtime-features.js +25 -1
  221. package/dist/ir/runtime-features.js.map +1 -1
  222. package/dist/ir/validate.js +46 -5
  223. package/dist/ir/validate.js.map +1 -1
  224. package/dist/library/ir-policy.js +1 -0
  225. package/dist/library/ir-policy.js.map +1 -1
  226. package/dist/native/prepare.d.ts +1 -1
  227. package/dist/native/prepare.js +11 -1
  228. package/dist/native/prepare.js.map +1 -1
  229. package/dist/native/prepare.test.js +18 -2
  230. package/dist/native/prepare.test.js.map +1 -1
  231. package/package.json +20 -20
  232. package/surface-manifest.json +2 -4
@@ -0,0 +1,401 @@
1
+ import { keyedHelperName } from "./stable-names.js";
2
+ import { helperLoc, varRef } from "../../ir/build.js";
3
+ import { BOOL, BYTES_ELEMENT_SIZE, F64, VOID, typeKey, } from "../../ir/ir.js";
4
+ import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
5
+ import { arrayNumberRead, lowerSafeBytesRead, lowerSafeIndexRead } from "./array-values.js";
6
+ /** The arms of a union whose every arm is a typed array or a `number[]`,
7
+ * or null. Unions with any other arm (undefined included) are not
8
+ * indexed unions: their reads need a narrowing first. */
9
+ export function indexedUnionArms(lowerer, type) {
10
+ if (type.kind !== "union")
11
+ return null;
12
+ const arms = lowerer.unions.get(type.unionId)?.arms;
13
+ if (!arms || arms.length < 2)
14
+ return null;
15
+ const result = [];
16
+ for (const [tag, arm] of arms.entries()) {
17
+ if (arm.kind === "bytes")
18
+ result.push({ tag, type: arm });
19
+ else if (arm.kind === "array" && arm.elem.kind === "f64")
20
+ result.push({ tag, type: arm });
21
+ else
22
+ return null;
23
+ }
24
+ return result;
25
+ }
26
+ /** Whether every arm is a typed array (so typed-array-only members such
27
+ * as `byteLength` apply). */
28
+ export function allBytesArms(arms) {
29
+ return arms.every((arm) => arm.type.kind === "bytes");
30
+ }
31
+ /** The helper `name(u, ...args)`: for each arm but the last, a tag test
32
+ * that runs the arm's statements; the last arm's statements run without a
33
+ * test (the union holds one of its arms). */
34
+ function dispatchHelper(lowerer, key, prefix, union, arms, params, returnType, body, loc) {
35
+ const existing = lowerer.arrHofHelpers.get(key);
36
+ if (existing)
37
+ return existing;
38
+ const name = keyedHelperName(lowerer, prefix, key);
39
+ lowerer.arrHofHelpers.set(key, name);
40
+ const at = helperLoc(loc);
41
+ if (union.kind !== "union")
42
+ throw new Error("indexed-union helper over a non-union");
43
+ const u = varRef("u.0", union, at);
44
+ const args = params.map((p) => varRef(`${p.name}.0`, p.type, at));
45
+ const stmts = [];
46
+ arms.forEach((arm, i) => {
47
+ const receiver = {
48
+ kind: "unionNarrow",
49
+ unionId: union.unionId,
50
+ tag: arm.tag,
51
+ value: u,
52
+ type: arm.type,
53
+ loc: at,
54
+ };
55
+ const armStmts = body(receiver, arm, args);
56
+ if (i === arms.length - 1) {
57
+ stmts.push(...armStmts);
58
+ return;
59
+ }
60
+ stmts.push({
61
+ kind: "if",
62
+ cond: {
63
+ kind: "unionIsTag",
64
+ unionId: union.unionId,
65
+ tag: arm.tag,
66
+ negated: false,
67
+ value: u,
68
+ type: BOOL,
69
+ loc: at,
70
+ },
71
+ then: armStmts,
72
+ else_: null,
73
+ loc: at,
74
+ });
75
+ });
76
+ const fn = {
77
+ name,
78
+ params: [
79
+ { localId: "u.0", name: "u", type: union },
80
+ ...params.map((p) => ({ localId: `${p.name}.0`, name: p.name, type: p.type })),
81
+ ],
82
+ returnType,
83
+ locals: [
84
+ { id: "u.0", name: "u", type: union, mutable: false },
85
+ ...params.map((p) => ({ id: `${p.name}.0`, name: p.name, type: p.type, mutable: false })),
86
+ ],
87
+ body: stmts,
88
+ loc: at,
89
+ };
90
+ lowerer.liftedFns.push(fn);
91
+ return name;
92
+ }
93
+ const returning = (value, loc) => [{ kind: "return", value, loc }];
94
+ /** `u[i]` read as an element or undefined (an invalid index), as the
95
+ * typed-array and number-array reads answer. */
96
+ export function lowerIndexedUnionRead(lowerer, receiver, arms, index, loc) {
97
+ const resultT = lowerer.withUndefinedArm(F64);
98
+ const key = `idxUnion:get:${unionKey(receiver.type)}`;
99
+ const name = dispatchHelper(lowerer, key, "%union.idxOr", receiver.type, arms, [{ name: "i", type: F64 }], resultT, (arm, info, [i]) => returning(info.type.kind === "bytes"
100
+ ? lowerSafeBytesRead(lowerer, arm, i, loc)
101
+ : lowerSafeIndexRead(lowerer, arm, i, loc), loc), loc);
102
+ const numeric = indexedUnionNumberHelper(lowerer, receiver.type, arms, loc);
103
+ lowerer.indexedUnionNumericTwins.set(name, numeric);
104
+ return { kind: "call", callee: name, args: [receiver, index], type: resultT, loc };
105
+ }
106
+ /** `u[i]` read as a number: an invalid index reads as NaN, which is
107
+ * ToNumber(undefined). */
108
+ export function lowerIndexedUnionNumberRead(lowerer, receiver, arms, index, loc) {
109
+ if (inlineDispatch(receiver, [index]))
110
+ return inlineArms(receiver, arms, F64, (arm, info) => numberRead(arm, info, index, loc), loc);
111
+ const name = indexedUnionNumberHelper(lowerer, receiver.type, arms, loc);
112
+ return { kind: "call", callee: name, args: [receiver, index], type: F64, loc };
113
+ }
114
+ function numberRead(arm, info, index, loc) {
115
+ return info.type.kind === "bytes"
116
+ ? {
117
+ kind: "bytesIntrinsic",
118
+ method: "get",
119
+ receiver: arm,
120
+ args: [index],
121
+ type: F64,
122
+ loc,
123
+ invalidNaN: true,
124
+ }
125
+ : arrayNumberRead(arm, index, loc);
126
+ }
127
+ function indexedUnionNumberHelper(lowerer, union, arms, loc) {
128
+ return dispatchHelper(lowerer, `idxUnion:num:${unionKey(union)}`, "%union.getNumber", union, arms, [{ name: "i", type: F64 }], F64, (arm, info, [i]) => returning(numberRead(arm, info, i, loc), loc), loc);
129
+ }
130
+ /** The numeric twin of an indexed-union read helper call, or null. */
131
+ export function indexedUnionNumericTwin(lowerer, call) {
132
+ if (call.kind !== "call")
133
+ return null;
134
+ const twin = lowerer.indexedUnionNumericTwins.get(call.callee);
135
+ return twin === undefined ? null : { ...call, callee: twin, type: F64 };
136
+ }
137
+ /** `u[i] = v` for a number `v`: each arm's element store (a typed array
138
+ * converts the number to its element kind and ignores an invalid index; a
139
+ * number array stores at the index). */
140
+ export function lowerIndexedUnionWrite(lowerer, receiver, arms, index, value, loc) {
141
+ // In place, the value evaluates before the arms read the receiver and
142
+ // index: only when it cannot rebind either.
143
+ if (inlineDispatch(receiver, [index]) && !rebinds(value, [receiver, index])) {
144
+ const union = receiver.type;
145
+ const valueLocal = lowerer.declareHiddenLocal("%elementValue", F64);
146
+ const v = { kind: "varRef", localId: valueLocal.id, type: F64, loc };
147
+ let chain = null;
148
+ for (let i = arms.length - 1; i >= 0; i--) {
149
+ const info = arms[i];
150
+ const arm = {
151
+ kind: "unionNarrow",
152
+ unionId: union.kind === "union" ? union.unionId : "",
153
+ tag: info.tag,
154
+ value: receiver,
155
+ type: info.type,
156
+ loc,
157
+ };
158
+ const store = info.type.kind === "bytes"
159
+ ? { kind: "bytesSet", arr: arm, index, value: v, loc }
160
+ : { kind: "arraySet", arr: arm, index, value: v, loc };
161
+ chain =
162
+ chain === null
163
+ ? [store]
164
+ : [
165
+ {
166
+ kind: "if",
167
+ cond: {
168
+ kind: "unionIsTag",
169
+ unionId: union.kind === "union" ? union.unionId : "",
170
+ tag: info.tag,
171
+ negated: false,
172
+ value: receiver,
173
+ type: BOOL,
174
+ loc,
175
+ },
176
+ then: [store],
177
+ else_: chain,
178
+ loc,
179
+ },
180
+ ];
181
+ }
182
+ return {
183
+ kind: "block",
184
+ body: [{ kind: "varDecl", localId: valueLocal.id, init: value, loc }, ...chain],
185
+ loc,
186
+ };
187
+ }
188
+ const name = dispatchHelper(lowerer, `idxUnion:set:${unionKey(receiver.type)}`, "%union.idxSet", receiver.type, arms, [
189
+ { name: "i", type: F64 },
190
+ { name: "v", type: F64 },
191
+ ], VOID, (arm, info, [i, v]) => [
192
+ info.type.kind === "bytes"
193
+ ? { kind: "bytesSet", arr: arm, index: i, value: v, loc }
194
+ : { kind: "arraySet", arr: arm, index: i, value: v, loc },
195
+ { kind: "return", value: null, loc },
196
+ ], loc);
197
+ return {
198
+ kind: "exprStmt",
199
+ expr: { kind: "call", callee: name, args: [receiver, index, value], type: VOID, loc },
200
+ loc,
201
+ };
202
+ }
203
+ /** The members every arm answers: `length` for all, and `byteLength`,
204
+ * `byteOffset` and `BYTES_PER_ELEMENT` when every arm is a typed array. */
205
+ export function lowerIndexedUnionMember(lowerer, receiver, arms, member, loc) {
206
+ const bytesOnly = member !== "length";
207
+ if (member !== "length" &&
208
+ member !== "byteLength" &&
209
+ member !== "byteOffset" &&
210
+ member !== "BYTES_PER_ELEMENT")
211
+ return null;
212
+ if (bytesOnly && !allBytesArms(arms))
213
+ return null;
214
+ const memberOf = (arm, info) => info.type.kind === "array"
215
+ ? { kind: "arrIntrinsic", method: "length", receiver: arm, args: [], type: F64, loc }
216
+ : member === "BYTES_PER_ELEMENT"
217
+ ? { kind: "numLit", value: BYTES_ELEMENT_SIZE[info.type.elem], type: F64, loc }
218
+ : { kind: "bytesIntrinsic", method: member, receiver: arm, args: [], type: F64, loc };
219
+ if (inlineDispatch(receiver, []))
220
+ return inlineArms(receiver, arms, F64, memberOf, loc);
221
+ const name = dispatchHelper(lowerer, `idxUnion:${member}:${unionKey(receiver.type)}`, `%union.${member}`, receiver.type, arms, [], F64, (arm, info) => returning(memberOf(arm, info), loc), loc);
222
+ return { kind: "call", callee: name, args: [receiver], type: F64, loc };
223
+ }
224
+ function unionKey(type) {
225
+ return type.kind === "union" ? String(type.unionId) : "?";
226
+ }
227
+ /** A typed-array method on a union whose every arm is a typed array: the
228
+ * arguments evaluate once in the caller, and each arm runs the same
229
+ * `bytesIntrinsic` on its own receiver. `result` "receiver" is a method
230
+ * that answers a typed array of the receiver's kind (subarray, slice,
231
+ * fill, ...): each arm wraps its answer back into the union. */
232
+ export function lowerIndexedUnionMethod(lowerer, receiver, arms, method, args, result, loc) {
233
+ const union = receiver.type;
234
+ if (union.kind !== "union")
235
+ throw new Error("indexed-union method over a non-union");
236
+ const resultT = result === "receiver" ? union : result;
237
+ const params = args.map((arg, i) => ({ name: `a${i}`, type: arg.type }));
238
+ const signature = args.map((arg) => typeKey(arg.type)).join(",");
239
+ const name = dispatchHelper(lowerer, `idxUnion:${method}(${signature}):${unionKey(union)}`, `%union.${method}`, union, arms, params, resultT, (arm, info, refs) => {
240
+ const call = {
241
+ kind: "bytesIntrinsic",
242
+ method,
243
+ receiver: arm,
244
+ args: [...refs],
245
+ type: result === "receiver" ? info.type : result,
246
+ loc,
247
+ };
248
+ if (result === "receiver")
249
+ return returning({
250
+ kind: "unionWrap",
251
+ unionId: union.unionId,
252
+ tag: info.tag,
253
+ value: call,
254
+ type: union,
255
+ loc,
256
+ }, loc);
257
+ if (result.kind === "void")
258
+ return [
259
+ { kind: "exprStmt", expr: call, loc },
260
+ { kind: "return", value: null, loc },
261
+ ];
262
+ return returning(call, loc);
263
+ }, loc);
264
+ return { kind: "call", callee: name, args: [receiver, ...args], type: resultT, loc };
265
+ }
266
+ /** The elements of `u` as a `number[]`: a typed-array arm drains its
267
+ * elements into a fresh array. A number-array arm is the array itself for
268
+ * consumers that copy it (spreads), or with `fresh` a dense copy whose
269
+ * holes read as undefined (Array.from). */
270
+ export function lowerIndexedUnionToArray(lowerer, receiver, arms, loc, fresh = false) {
271
+ const arrayT = { kind: "array", elem: F64 };
272
+ const name = dispatchHelper(lowerer, `idxUnion:${fresh ? "from" : "toArray"}:${unionKey(receiver.type)}`, fresh ? "%union.arrayFrom" : "%union.toArray", receiver.type, arms, [], arrayT, (arm, info) => returning(info.type.kind === "bytes"
273
+ ? {
274
+ kind: "bytesIntrinsic",
275
+ method: "toArray",
276
+ receiver: arm,
277
+ args: [],
278
+ type: arrayT,
279
+ loc,
280
+ }
281
+ : fresh
282
+ ? {
283
+ kind: "arrIntrinsic",
284
+ method: "reverse",
285
+ receiver: {
286
+ kind: "arrIntrinsic",
287
+ method: "toReversed",
288
+ receiver: arm,
289
+ args: [],
290
+ type: arrayT,
291
+ loc,
292
+ },
293
+ args: [],
294
+ type: arrayT,
295
+ loc,
296
+ }
297
+ : arm, loc), loc);
298
+ return { kind: "call", callee: name, args: [receiver], type: arrayT, loc };
299
+ }
300
+ /** Whether a dispatch can run in place instead of through a helper call:
301
+ * the receiver is a plain read, so testing and narrowing it once per arm
302
+ * reads the same value, and the other operands are plain reads or
303
+ * literals. The arms' own reads then stay visible to the integer range
304
+ * analysis (a loop bounded by `u.length` keeps an integer counter). */
305
+ function inlineDispatch(receiver, operands) {
306
+ return (receiver.kind === "varRef" && operands.every((e) => e.kind === "varRef" || e.kind === "numLit"));
307
+ }
308
+ /** Expressions that run no program code: reads, literals and operators
309
+ * over primitive values. */
310
+ const CODE_FREE_EXPRS = new Set([
311
+ "numLit",
312
+ "boolLit",
313
+ "strLit",
314
+ "unitLit",
315
+ "varRef",
316
+ "unary",
317
+ "logical",
318
+ "ternary",
319
+ "toBool",
320
+ "strEq",
321
+ "strCmp",
322
+ "arrayGet",
323
+ "arrayHas",
324
+ "arrayState",
325
+ "bytesIntrinsic",
326
+ "fieldGet",
327
+ "recordGet",
328
+ "unionNarrow",
329
+ "unionIsTag",
330
+ "unionDisc",
331
+ "upcast",
332
+ "nullish",
333
+ ]);
334
+ const PRIMITIVE_OPERANDS = new Set(["f64", "bool", "string", "bigint"]);
335
+ /** Whether evaluating `e` can rebind one of the plain reads `reads`: by
336
+ * assigning it, or by running program code (a call, a getter, a
337
+ * conversion) that could assign a captured binding. */
338
+ function rebinds(e, reads) {
339
+ const ids = new Set(reads.flatMap((r) => (r.kind === "varRef" ? [r.localId] : [])));
340
+ let found = false;
341
+ const expr = (x) => {
342
+ if ((x.kind === "assignExpr" || x.kind === "incDec") && ids.has(x.localId))
343
+ found = true;
344
+ else if (x.kind === "bin") {
345
+ if (!PRIMITIVE_OPERANDS.has(x.left.type.kind) || !PRIMITIVE_OPERANDS.has(x.right.type.kind))
346
+ found = true;
347
+ }
348
+ else if (x.kind === "call") {
349
+ // The union dispatch helpers only read and store elements.
350
+ if (!x.callee.startsWith("%union."))
351
+ found = true;
352
+ }
353
+ else if (!CODE_FREE_EXPRS.has(x.kind))
354
+ found = true;
355
+ return !found && everyExprChild(x, expr, stmt);
356
+ };
357
+ const stmt = (x) => {
358
+ if ((x.kind === "assign" || x.kind === "varDecl") && ids.has(x.localId))
359
+ found = true;
360
+ return !found && everyStmtChild(x, expr, stmt);
361
+ };
362
+ expr(e);
363
+ return found;
364
+ }
365
+ /** The in-place form of a dispatch: a ternary chain over the arms' tags,
366
+ * the last arm untested. */
367
+ function inlineArms(receiver, arms, type, arm, loc) {
368
+ const union = receiver.type;
369
+ if (union.kind !== "union")
370
+ throw new Error("indexed-union dispatch over a non-union");
371
+ const narrowed = (info) => ({
372
+ kind: "unionNarrow",
373
+ unionId: union.unionId,
374
+ tag: info.tag,
375
+ value: receiver,
376
+ type: info.type,
377
+ loc,
378
+ });
379
+ let result = arm(narrowed(arms[arms.length - 1]), arms[arms.length - 1]);
380
+ for (let i = arms.length - 2; i >= 0; i--) {
381
+ const info = arms[i];
382
+ result = {
383
+ kind: "ternary",
384
+ cond: {
385
+ kind: "unionIsTag",
386
+ unionId: union.unionId,
387
+ tag: info.tag,
388
+ negated: false,
389
+ value: receiver,
390
+ type: BOOL,
391
+ loc,
392
+ },
393
+ then: arm(narrowed(info), info),
394
+ else_: result,
395
+ type,
396
+ loc,
397
+ };
398
+ }
399
+ return result;
400
+ }
401
+ //# sourceMappingURL=indexed-unions.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"indexed-unions.js","sourceRoot":"","sources":["../../../src/frontend/lowering/indexed-unions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EACL,IAAI,EACJ,kBAAkB,EAClB,GAAG,EACH,IAAI,EAOJ,OAAO,GACR,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAoB5F;;yDAEyD;AACzD,MAAM,UAAU,gBAAgB,CAAC,OAAgB,EAAE,IAAY;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACpD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;aACrD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;;YACrF,OAAO,IAAI,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;6BAC6B;AAC7B,MAAM,UAAU,YAAY,CAAC,IAA2B;IACtD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AACxD,CAAC;AAID;;6CAE6C;AAC7C,SAAS,cAAc,CACrB,OAAgB,EAChB,GAAW,EACX,MAAc,EACd,KAAa,EACb,IAA2B,EAC3B,MAAiD,EACjD,UAAkB,EAClB,IAAa,EACb,GAAW;IAEX,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACnD,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACrF,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,QAAQ,GAAW;YACvB,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,EAAE,EAAE;SACR,CAAC;QACF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,GAAG,CAAC,GAAG;gBACZ,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,CAAC;gBACR,IAAI,EAAE,IAAI;gBACV,GAAG,EAAE,EAAE;aACR;YACD,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,IAAI;YACX,GAAG,EAAE,EAAE;SACR,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,EAAE,GAAe;QACrB,IAAI;QACJ,MAAM,EAAE;YACN,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE;YAC1C,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;SAC/E;QACD,UAAU;QACV,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;YACrD,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC1F;QACD,IAAI,EAAE,KAAK;QACX,GAAG,EAAE,EAAE;KACR,CAAC;IACF,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAAa,EAAE,GAAW,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAE7F;gDACgD;AAChD,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,GAAW;IAEX,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAC9C,MAAM,GAAG,GAAG,gBAAgB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;IACtD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,GAAG,EACH,cAAc,EACd,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAC1B,OAAO,EACP,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACjB,SAAS,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAE,EAAE,GAAG,CAAC;QAC3C,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAE,EAAE,GAAG,CAAE,EAC9C,GAAG,CACJ,EACH,GAAG,CACJ,CAAC;IACF,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5E,OAAO,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;0BAC0B;AAC1B,MAAM,UAAU,2BAA2B,CACzC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,GAAW;IAEX,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,IAAgB,EAAE,KAAa,EAAE,GAAW;IAC3E,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAC/B,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,CAAC,KAAK,CAAC;YACb,IAAI,EAAE,GAAG;YACT,GAAG;YACH,UAAU,EAAE,IAAI;SACjB;QACH,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAgB,EAChB,KAAa,EACb,IAA2B,EAC3B,GAAW;IAEX,OAAO,cAAc,CACnB,OAAO,EACP,gBAAgB,QAAQ,CAAC,KAAK,CAAC,EAAE,EACjC,kBAAkB,EAClB,KAAK,EACL,IAAI,EACJ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAC1B,GAAG,EACH,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,CAAE,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAClE,GAAG,CACJ,CAAC;AACJ,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,IAAY;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,wBAAwB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED;;wCAEwC;AACxC,MAAM,UAAU,sBAAsB,CACpC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,KAAa,EACb,KAAa,EACb,GAAW;IAEX,sEAAsE;IACtE,4CAA4C;IAC5C,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;QAC5B,MAAM,UAAU,GAAG,OAAO,CAAC,kBAAkB,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;QACpE,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC7E,IAAI,KAAK,GAAoB,IAAI,CAAC;QAClC,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;YACtB,MAAM,GAAG,GAAW;gBAClB,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACpD,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG;aACJ,CAAC;YACF,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;gBACxB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE;gBACtD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;YAC3D,KAAK;gBACH,KAAK,KAAK,IAAI;oBACZ,CAAC,CAAC,CAAC,KAAK,CAAC;oBACT,CAAC,CAAC;wBACE;4BACE,IAAI,EAAE,IAAI;4BACV,IAAI,EAAE;gCACJ,IAAI,EAAE,YAAY;gCAClB,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gCACpD,GAAG,EAAE,IAAI,CAAC,GAAG;gCACb,OAAO,EAAE,KAAK;gCACd,KAAK,EAAE,QAAQ;gCACf,IAAI,EAAE,IAAI;gCACV,GAAG;6BACJ;4BACD,IAAI,EAAE,CAAC,KAAK,CAAC;4BACb,KAAK,EAAE,KAAK;4BACZ,GAAG;yBACJ;qBACF,CAAC;QACV,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,KAAM,CAAC;YAChF,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,gBAAgB,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EACzC,eAAe,EACf,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ;QACE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;QACxB,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;KACzB,EACD,IAAI,EACJ,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACxB,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAE,EAAE,KAAK,EAAE,CAAE,EAAE,GAAG,EAAE;YAC3D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAE,EAAE,KAAK,EAAE,CAAE,EAAE,GAAG,EAAE;QAC7D,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;KACrC,EACD,GAAG,CACJ,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;QACrF,GAAG;KACJ,CAAC;AACJ,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,MAAc,EACd,GAAW;IAEX,MAAM,SAAS,GAAG,MAAM,KAAK,QAAQ,CAAC;IACtC,IACE,MAAM,KAAK,QAAQ;QACnB,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,YAAY;QACvB,MAAM,KAAK,mBAAmB;QAE9B,OAAO,IAAI,CAAC;IACd,IAAI,SAAS,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAE,IAAgB,EAAU,EAAE,CACzD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACrF,CAAC,CAAC,MAAM,KAAK,mBAAmB;YAC9B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IAC5F,IAAI,cAAc,CAAC,QAAQ,EAAE,EAAE,CAAC;QAAE,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;IACxF,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,MAAM,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAC/C,UAAU,MAAM,EAAE,EAClB,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,EAAE,EACF,GAAG,EACH,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAClD,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC5D,CAAC;AAED;;;;gEAIgE;AAChE,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,MAA8B,EAC9B,IAAuB,EACvB,MAA2B,EAC3B,GAAW;IAEX,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACrF,MAAM,OAAO,GAAG,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,MAAM,IAAI,SAAS,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE,EACrD,UAAU,MAAM,EAAE,EAClB,KAAK,EACL,IAAI,EACJ,MAAM,EACN,OAAO,EACP,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;QAClB,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,gBAAgB;YACtB,MAAM;YACN,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;YACf,IAAI,EAAE,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;YAChD,GAAG;SACJ,CAAC;QACF,IAAI,MAAM,KAAK,UAAU;YACvB,OAAO,SAAS,CACd;gBACE,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,KAAK,EAAE,IAAI;gBACX,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ,EACD,GAAG,CACJ,CAAC;QACJ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YACxB,OAAO;gBACL,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;aACrC,CAAC;QACJ,OAAO,SAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9B,CAAC,EACD,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACvF,CAAC;AAED;;;2CAG2C;AAC3C,MAAM,UAAU,wBAAwB,CACtC,OAAgB,EAChB,QAAgB,EAChB,IAA2B,EAC3B,GAAW,EACX,KAAK,GAAG,KAAK;IAEb,MAAM,MAAM,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,cAAc,CACzB,OAAO,EACP,YAAY,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EACnE,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,gBAAgB,EAC7C,QAAQ,CAAC,IAAI,EACb,IAAI,EACJ,EAAE,EACF,MAAM,EACN,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CACZ,SAAS,CACP,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACH,CAAC,CAAC,KAAK;YACL,CAAC,CAAC;gBACE,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,SAAS;gBACjB,QAAQ,EAAE;oBACR,IAAI,EAAE,cAAc;oBACpB,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,GAAG;oBACb,IAAI,EAAE,EAAE;oBACR,IAAI,EAAE,MAAM;oBACZ,GAAG;iBACJ;gBACD,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,MAAM;gBACZ,GAAG;aACJ;YACH,CAAC,CAAC,GAAG,EACT,GAAG,CACJ,EACH,GAAG,CACJ,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AAC7E,CAAC;AAED;;;;uEAIuE;AACvE,SAAS,cAAc,CAAC,QAAgB,EAAE,QAA2B;IACnE,OAAO,CACL,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAChG,CAAC;AACJ,CAAC;AAED;4BAC4B;AAC5B,MAAM,eAAe,GAAG,IAAI,GAAG,CAAiB;IAC9C,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,OAAO;IACP,SAAS;IACT,SAAS;IACT,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,UAAU;IACV,UAAU;IACV,YAAY;IACZ,gBAAgB;IAChB,UAAU;IACV,WAAW;IACX,aAAa;IACb,YAAY;IACZ,WAAW;IACX,QAAQ;IACR,SAAS;CACV,CAAC,CAAC;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AAExF;;uDAEuD;AACvD,SAAS,OAAO,CAAC,CAAS,EAAE,KAAwB;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;aACpF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzF,KAAK,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,2DAA2D;YAC3D,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QACpD,CAAC;aAAM,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;QACtD,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;QACtF,OAAO,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,IAAI,CAAC,CAAC,CAAC,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC;AAED;4BAC4B;AAC5B,SAAS,UAAU,CACjB,QAAgB,EAChB,IAA2B,EAC3B,IAAY,EACZ,GAAmD,EACnD,GAAW;IAEX,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAU,EAAE,CAAC,CAAC;QAC9C,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC;IAC3E,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACtB,MAAM,GAAG;YACP,IAAI,EAAE,SAAS;YACf,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,GAAG,EAAE,IAAI,CAAC,GAAG;gBACb,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,QAAQ;gBACf,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;YAC/B,KAAK,EAAE,MAAM;YACb,IAAI;YACJ,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}