xbintsc 0.2.9 → 0.3.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +17 -2
- package/README.zh-CN.md +16 -2
- package/bin/xbintsc.js +49 -10
- package/dist/src/ast/expressions.d.ts +2 -0
- package/dist/src/binder/binder.d.ts +24 -98
- package/dist/src/binder/binder.js +13 -559
- package/dist/src/binder/binder.js.map +1 -1
- package/dist/src/binder/declarations.d.ts +16 -0
- package/dist/src/binder/declarations.js +168 -0
- package/dist/src/binder/declarations.js.map +1 -0
- package/dist/src/binder/helpers.d.ts +11 -0
- package/dist/src/binder/helpers.js +46 -0
- package/dist/src/binder/helpers.js.map +1 -0
- package/dist/src/binder/references.d.ts +21 -0
- package/dist/src/binder/references.js +349 -0
- package/dist/src/binder/references.js.map +1 -0
- package/dist/src/binder/types.d.ts +114 -0
- package/dist/src/binder/types.js +27 -0
- package/dist/src/binder/types.js.map +1 -0
- package/dist/src/cli/main.d.ts +1 -0
- package/dist/src/cli/main.js +40 -0
- package/dist/src/cli/main.js.map +1 -1
- package/dist/src/codegen/generator/calls/access.d.ts +13 -0
- package/dist/src/codegen/generator/calls/access.js +115 -0
- package/dist/src/codegen/generator/calls/access.js.map +1 -0
- package/dist/src/codegen/generator/calls/closures.d.ts +11 -0
- package/dist/src/codegen/generator/calls/closures.js +50 -0
- package/dist/src/codegen/generator/calls/closures.js.map +1 -0
- package/dist/src/codegen/generator/calls/invocation.d.ts +18 -0
- package/dist/src/codegen/generator/calls/invocation.js +242 -0
- package/dist/src/codegen/generator/calls/invocation.js.map +1 -0
- package/dist/src/codegen/generator/calls/literals.d.ts +10 -0
- package/dist/src/codegen/generator/calls/literals.js +69 -0
- package/dist/src/codegen/generator/calls/literals.js.map +1 -0
- package/dist/src/codegen/generator/calls/super.d.ts +10 -0
- package/dist/src/codegen/generator/calls/super.js +47 -0
- package/dist/src/codegen/generator/calls/super.js.map +1 -0
- package/dist/src/codegen/generator/calls.d.ts +15 -24
- package/dist/src/codegen/generator/calls.js +15 -482
- package/dist/src/codegen/generator/calls.js.map +1 -1
- package/dist/src/codegen/generator/context.d.ts +1 -1
- package/dist/src/codegen/generator/context.js +2 -2
- package/dist/src/codegen/generator/context.js.map +1 -1
- package/dist/src/codegen/generator/expressions/assignment.d.ts +13 -0
- package/dist/src/codegen/generator/expressions/assignment.js +203 -0
- package/dist/src/codegen/generator/expressions/assignment.js.map +1 -0
- package/dist/src/codegen/generator/expressions/operators.d.ts +14 -0
- package/dist/src/codegen/generator/expressions/operators.js +163 -0
- package/dist/src/codegen/generator/expressions/operators.js.map +1 -0
- package/dist/src/codegen/generator/expressions/primary.d.ts +17 -0
- package/dist/src/codegen/generator/expressions/primary.js +260 -0
- package/dist/src/codegen/generator/expressions/primary.js.map +1 -0
- package/dist/src/codegen/generator/expressions.d.ts +11 -21
- package/dist/src/codegen/generator/expressions.js +11 -494
- package/dist/src/codegen/generator/expressions.js.map +1 -1
- package/dist/src/codegen/generator/module.js +16 -4
- package/dist/src/codegen/generator/module.js.map +1 -1
- package/dist/src/codegen/generator/state.js +8 -0
- package/dist/src/codegen/generator/state.js.map +1 -1
- package/dist/src/codegen/generator/statements/control-flow.d.ts +14 -0
- package/dist/src/codegen/generator/statements/control-flow.js +199 -0
- package/dist/src/codegen/generator/statements/control-flow.js.map +1 -0
- package/dist/src/codegen/generator/statements/dispatch.d.ts +12 -0
- package/dist/src/codegen/generator/statements/dispatch.js +100 -0
- package/dist/src/codegen/generator/statements/dispatch.js.map +1 -0
- package/dist/src/codegen/generator/statements/loops.d.ts +13 -0
- package/dist/src/codegen/generator/statements/loops.js +152 -0
- package/dist/src/codegen/generator/statements/loops.js.map +1 -0
- package/dist/src/codegen/generator/statements/variables.d.ts +13 -0
- package/dist/src/codegen/generator/statements/variables.js +146 -0
- package/dist/src/codegen/generator/statements/variables.js.map +1 -0
- package/dist/src/codegen/generator/statements.d.ts +13 -21
- package/dist/src/codegen/generator/statements.js +13 -568
- package/dist/src/codegen/generator/statements.js.map +1 -1
- package/dist/src/codegen/generator/tables.js +7 -0
- package/dist/src/codegen/generator/tables.js.map +1 -1
- package/dist/src/codegen/values.d.ts +17 -17
- package/dist/src/codegen/values.js +21 -57
- package/dist/src/codegen/values.js.map +1 -1
- package/dist/src/diagnostics/diagnostic.d.ts +1 -0
- package/dist/src/diagnostics/diagnostic.js +1 -0
- package/dist/src/diagnostics/diagnostic.js.map +1 -1
- package/dist/src/diagnostics/source.d.ts +1 -1
- package/dist/src/diagnostics/source.js +7 -12
- package/dist/src/diagnostics/source.js.map +1 -1
- package/dist/src/driver/compiler.d.ts +4 -0
- package/dist/src/driver/compiler.js +51 -16
- package/dist/src/driver/compiler.js.map +1 -1
- package/dist/src/driver/index.d.ts +5 -2
- package/dist/src/driver/index.js +5 -2
- package/dist/src/driver/index.js.map +1 -1
- package/dist/src/driver/paths.d.ts +20 -0
- package/dist/src/driver/paths.js +49 -0
- package/dist/src/driver/paths.js.map +1 -1
- package/dist/src/driver/runtime-lib.d.ts +18 -0
- package/dist/src/driver/runtime-lib.js +31 -0
- package/dist/src/driver/runtime-lib.js.map +1 -0
- package/dist/src/driver/toolchain-download.d.ts +50 -0
- package/dist/src/driver/toolchain-download.js +76 -0
- package/dist/src/driver/toolchain-download.js.map +1 -0
- package/dist/src/driver/toolchain-provider.d.ts +33 -0
- package/dist/src/driver/toolchain-provider.js +71 -0
- package/dist/src/driver/toolchain-provider.js.map +1 -0
- package/dist/src/driver/toolchain.d.ts +9 -4
- package/dist/src/driver/toolchain.js +6 -10
- package/dist/src/driver/toolchain.js.map +1 -1
- package/dist/src/extensions/node/child_process/index.d.ts +4 -2
- package/dist/src/extensions/node/child_process/index.js +4 -2
- package/dist/src/extensions/node/child_process/index.js.map +1 -1
- package/dist/src/extensions/node/events/index.d.ts +10 -0
- package/dist/src/extensions/node/events/index.js +22 -0
- package/dist/src/extensions/node/events/index.js.map +1 -0
- package/dist/src/extensions/node/index.js +6 -0
- package/dist/src/extensions/node/index.js.map +1 -1
- package/dist/src/extensions/node/querystring/index.d.ts +10 -0
- package/dist/src/extensions/node/querystring/index.js +25 -0
- package/dist/src/extensions/node/querystring/index.js.map +1 -0
- package/dist/src/extensions/node/util/index.d.ts +11 -0
- package/dist/src/extensions/node/util/index.js +41 -0
- package/dist/src/extensions/node/util/index.js.map +1 -0
- package/dist/src/extensions/registry.d.ts +6 -0
- package/dist/src/extensions/registry.js.map +1 -1
- package/dist/src/index.d.ts +1 -1
- package/dist/src/index.js +1 -1
- package/dist/src/index.js.map +1 -1
- package/dist/src/lexer/scanner/identifiers.d.ts +9 -0
- package/dist/src/lexer/scanner/identifiers.js +33 -0
- package/dist/src/lexer/scanner/identifiers.js.map +1 -0
- package/dist/src/lexer/scanner/numbers.d.ts +10 -0
- package/dist/src/lexer/scanner/numbers.js +89 -0
- package/dist/src/lexer/scanner/numbers.js.map +1 -0
- package/dist/src/lexer/scanner/punctuation.d.ts +9 -0
- package/dist/src/lexer/scanner/punctuation.js +151 -0
- package/dist/src/lexer/scanner/punctuation.js.map +1 -0
- package/dist/src/lexer/scanner/regex.d.ts +11 -0
- package/dist/src/lexer/scanner/regex.js +69 -0
- package/dist/src/lexer/scanner/regex.js.map +1 -0
- package/dist/src/lexer/scanner/strings.d.ts +13 -0
- package/dist/src/lexer/scanner/strings.js +118 -0
- package/dist/src/lexer/scanner/strings.js.map +1 -0
- package/dist/src/lexer/scanner.d.ts +20 -27
- package/dist/src/lexer/scanner.js +11 -415
- package/dist/src/lexer/scanner.js.map +1 -1
- package/dist/src/parser/declarations/classes.d.ts +14 -0
- package/dist/src/parser/declarations/classes.js +191 -0
- package/dist/src/parser/declarations/classes.js.map +1 -0
- package/dist/src/parser/declarations/functions.d.ts +17 -0
- package/dist/src/parser/declarations/functions.js +241 -0
- package/dist/src/parser/declarations/functions.js.map +1 -0
- package/dist/src/parser/declarations/type-members.d.ts +16 -0
- package/dist/src/parser/declarations/type-members.js +156 -0
- package/dist/src/parser/declarations/type-members.js.map +1 -0
- package/dist/src/parser/declarations.d.ts +13 -24
- package/dist/src/parser/declarations.js +13 -571
- package/dist/src/parser/declarations.js.map +1 -1
- package/dist/src/parser/helpers.js +13 -4
- package/dist/src/parser/helpers.js.map +1 -1
- package/dist/src/parser/literals.js +10 -1
- package/dist/src/parser/literals.js.map +1 -1
- package/dist/tests/codegen/llvm.test.js +24 -0
- package/dist/tests/codegen/llvm.test.js.map +1 -1
- package/dist/tests/driver/compiler.test.js +3 -0
- package/dist/tests/driver/compiler.test.js.map +1 -1
- package/dist/tests/driver/paths.test.d.ts +1 -0
- package/dist/tests/driver/paths.test.js +26 -0
- package/dist/tests/driver/paths.test.js.map +1 -0
- package/dist/tests/driver/toolchain-download.test.d.ts +1 -0
- package/dist/tests/driver/toolchain-download.test.js +38 -0
- package/dist/tests/driver/toolchain-download.test.js.map +1 -0
- package/dist/tests/driver/toolchain-provider.test.d.ts +1 -0
- package/dist/tests/driver/toolchain-provider.test.js +37 -0
- package/dist/tests/driver/toolchain-provider.test.js.map +1 -0
- package/dist/tests/e2e/compile-node.test.d.ts +7 -0
- package/dist/tests/e2e/compile-node.test.js +123 -0
- package/dist/tests/e2e/compile-node.test.js.map +1 -0
- package/dist/tests/e2e/compile.test.d.ts +4 -1
- package/dist/tests/e2e/compile.test.js +78 -130
- package/dist/tests/e2e/compile.test.js.map +1 -1
- package/dist/tests/e2e/harness.d.ts +36 -0
- package/dist/tests/e2e/harness.js +64 -0
- package/dist/tests/e2e/harness.js.map +1 -0
- package/dist/tests/e2e/node-modules.test.js +60 -0
- package/dist/tests/e2e/node-modules.test.js.map +1 -1
- package/dist/tests/extensions/registry.test.js +4 -0
- package/dist/tests/extensions/registry.test.js.map +1 -1
- package/package.json +5 -3
- package/runtime/ext_node/buffer/buffer.c +12 -552
- package/runtime/ext_node/buffer/parts/byte-access.inc +35 -0
- package/runtime/ext_node/buffer/parts/construction.inc +60 -0
- package/runtime/ext_node/buffer/parts/integer-io.inc +119 -0
- package/runtime/ext_node/buffer/parts/methods.inc +135 -0
- package/runtime/ext_node/buffer/parts/prototype.inc +54 -0
- package/runtime/ext_node/buffer/parts/search.inc +86 -0
- package/runtime/ext_node/buffer/parts/static-api.inc +58 -0
- package/runtime/ext_node/child_process/child_process.c +37 -3
- package/runtime/ext_node/events/events.c +285 -0
- package/runtime/ext_node/http/http.c +11 -736
- package/runtime/ext_node/http/parts/client.inc +290 -0
- package/runtime/ext_node/http/parts/helpers.inc +45 -0
- package/runtime/ext_node/http/parts/prototypes.inc +57 -0
- package/runtime/ext_node/http/parts/response.inc +149 -0
- package/runtime/ext_node/http/parts/server.inc +133 -0
- package/runtime/ext_node/http/parts/string-builder.inc +58 -0
- package/runtime/ext_node/net/net.c +12 -504
- package/runtime/ext_node/net/parts/construction.inc +22 -0
- package/runtime/ext_node/net/parts/platform.inc +60 -0
- package/runtime/ext_node/net/parts/prototypes.inc +35 -0
- package/runtime/ext_node/net/parts/read-loop.inc +58 -0
- package/runtime/ext_node/net/parts/server.inc +131 -0
- package/runtime/ext_node/net/parts/socket-methods.inc +100 -0
- package/runtime/ext_node/net/parts/static-api.inc +93 -0
- package/runtime/ext_node/querystring/querystring.c +251 -0
- package/runtime/ext_node/util/util.c +456 -0
- package/runtime/rt.h +8 -2
- package/runtime/rt_internal.h +34 -0
- package/runtime/xt_bigint/arithmetic.inc +135 -0
- package/runtime/xt_bigint/bits.inc +98 -0
- package/runtime/xt_bigint/bitwise.inc +103 -0
- package/runtime/xt_bigint/compare.inc +30 -0
- package/runtime/xt_bigint/conversions.inc +51 -0
- package/runtime/xt_bigint/division.inc +85 -0
- package/runtime/xt_bigint/format.inc +145 -0
- package/runtime/xt_bigint/helpers.inc +92 -0
- package/runtime/xt_bigint/magnitude.inc +88 -0
- package/runtime/xt_bigint/public.inc +59 -0
- package/runtime/xt_bigint/small-arithmetic.inc +58 -0
- package/runtime/xt_bigint.c +42 -0
- package/runtime/xt_builtins.c +1 -0
- package/runtime/xt_io.c +7 -0
- package/runtime/xt_stdlib/arrays.inc +161 -0
- package/runtime/xt_stdlib/dispatch.inc +116 -0
- package/runtime/xt_stdlib/helpers.inc +23 -0
- package/runtime/xt_stdlib/math.inc +72 -0
- package/runtime/xt_stdlib/strings.inc +178 -0
- package/runtime/xt_stdlib.c +10 -549
- package/runtime/xt_stdlib2/array-statics.inc +37 -0
- package/runtime/xt_stdlib2/arrays.inc +189 -0
- package/runtime/xt_stdlib2/container.inc +23 -0
- package/runtime/xt_stdlib2/date.inc +72 -0
- package/runtime/xt_stdlib2/error.inc +22 -0
- package/runtime/xt_stdlib2/helpers.inc +43 -0
- package/runtime/xt_stdlib2/json.inc +213 -0
- package/runtime/xt_stdlib2/map.inc +95 -0
- package/runtime/xt_stdlib2/number-string-statics.inc +73 -0
- package/runtime/xt_stdlib2/numbers.inc +38 -0
- package/runtime/xt_stdlib2/objects.inc +41 -0
- package/runtime/xt_stdlib2/regexp-match.inc +204 -0
- package/runtime/xt_stdlib2/regexp.inc +20 -0
- package/runtime/xt_stdlib2/set.inc +105 -0
- package/runtime/xt_stdlib2/strings.inc +94 -0
- package/runtime/xt_stdlib2.c +19 -1278
- package/runtime/xt_values.c +155 -12
- package/scripts/build-runtime.ts +109 -0
- package/scripts/fetch-toolchain.ts +101 -0
- package/scripts/package-release.ts +192 -0
- package/src/ast/expressions.ts +2 -0
- package/src/binder/binder.ts +40 -725
- package/src/binder/declarations.ts +203 -0
- package/src/binder/helpers.ts +47 -0
- package/src/binder/references.ts +410 -0
- package/src/binder/types.ts +134 -0
- package/src/cli/main.ts +43 -0
- package/src/codegen/generator/calls/access.ts +139 -0
- package/src/codegen/generator/calls/closures.ts +60 -0
- package/src/codegen/generator/calls/invocation.ts +282 -0
- package/src/codegen/generator/calls/literals.ts +77 -0
- package/src/codegen/generator/calls/super.ts +61 -0
- package/src/codegen/generator/calls.ts +30 -552
- package/src/codegen/generator/context.ts +2 -2
- package/src/codegen/generator/expressions/assignment.ts +226 -0
- package/src/codegen/generator/expressions/operators.ts +182 -0
- package/src/codegen/generator/expressions/primary.ts +304 -0
- package/src/codegen/generator/expressions.ts +22 -553
- package/src/codegen/generator/module.ts +14 -4
- package/src/codegen/generator/state.ts +8 -0
- package/src/codegen/generator/statements/control-flow.ts +225 -0
- package/src/codegen/generator/statements/dispatch.ts +122 -0
- package/src/codegen/generator/statements/loops.ts +173 -0
- package/src/codegen/generator/statements/variables.ts +152 -0
- package/src/codegen/generator/statements.ts +26 -612
- package/src/codegen/generator/tables.ts +7 -0
- package/src/codegen/values.ts +22 -57
- package/src/diagnostics/diagnostic.ts +1 -0
- package/src/diagnostics/source.ts +7 -12
- package/src/driver/compiler.ts +61 -18
- package/src/driver/index.ts +17 -2
- package/src/driver/paths.ts +54 -0
- package/src/driver/runtime-lib.ts +32 -0
- package/src/driver/toolchain-download.ts +108 -0
- package/src/driver/toolchain-provider.ts +91 -0
- package/src/driver/toolchain.ts +29 -11
- package/src/extensions/node/child_process/index.ts +4 -2
- package/src/extensions/node/events/index.ts +27 -0
- package/src/extensions/node/index.ts +6 -0
- package/src/extensions/node/querystring/index.ts +29 -0
- package/src/extensions/node/util/index.ts +48 -0
- package/src/extensions/registry.ts +6 -0
- package/src/index.ts +1 -0
- package/src/lexer/scanner/identifiers.ts +37 -0
- package/src/lexer/scanner/numbers.ts +84 -0
- package/src/lexer/scanner/punctuation.ts +132 -0
- package/src/lexer/scanner/regex.ts +79 -0
- package/src/lexer/scanner/strings.ts +128 -0
- package/src/lexer/scanner.ts +35 -401
- package/src/parser/declarations/classes.ts +215 -0
- package/src/parser/declarations/functions.ts +254 -0
- package/src/parser/declarations/type-members.ts +181 -0
- package/src/parser/declarations.ts +32 -609
- package/src/parser/helpers.ts +13 -6
- package/src/parser/literals.ts +10 -1
- package/scripts/build-runtime.mjs +0 -55
|
@@ -50,6 +50,10 @@ export const RUNTIME_DECLARATIONS = [
|
|
|
50
50
|
"declare i64 @xt_net_server_ctor(i32, i64*)",
|
|
51
51
|
"declare i64 @xt_dgram_static(i64, i32, i64*)",
|
|
52
52
|
"declare i64 @xt_http_static(i64, i32, i64*)",
|
|
53
|
+
"declare i64 @xt_event_emitter_ctor(i32, i64*)",
|
|
54
|
+
"declare i64 @xt_events_static(i64, i32, i64*)",
|
|
55
|
+
"declare i64 @xt_util_static(i64, i32, i64*)",
|
|
56
|
+
"declare i64 @xt_querystring_static(i64, i32, i64*)",
|
|
53
57
|
"declare i64 @xt_process_call(i64, i32, i64*)",
|
|
54
58
|
"declare i64 @xt_process_get(i64)",
|
|
55
59
|
"declare i64 @xt_map_ctor(i32, i64*)",
|
|
@@ -119,6 +123,9 @@ export const RUNTIME_DECLARATIONS = [
|
|
|
119
123
|
"declare i64 @xt_is_nan(i32, i64*)",
|
|
120
124
|
"declare i64 @xt_is_finite(i32, i64*)",
|
|
121
125
|
"declare i64 @xt_number_ctor(i32, i64*)",
|
|
126
|
+
"declare i64 @xt_bigint_ctor(i32, i64*)",
|
|
127
|
+
"declare i64 @xt_bigint_static(i64, i32, i64*)",
|
|
128
|
+
"declare i64 @xt_bigint_from_string(i8*, i64)",
|
|
122
129
|
"declare i64 @xt_string_ctor(i32, i64*)",
|
|
123
130
|
"declare i64 @xt_boolean_ctor(i32, i64*)",
|
|
124
131
|
"declare i64 @xt_in(i64, i64)",
|
|
@@ -141,6 +148,7 @@ export const RUNTIME_DECLARATIONS = [
|
|
|
141
148
|
"declare i64 @xt_builtin_value_number(i64, i64, i32, i64*)",
|
|
142
149
|
"declare i64 @xt_builtin_value_string(i64, i64, i32, i64*)",
|
|
143
150
|
"declare i64 @xt_builtin_value_boolean(i64, i64, i32, i64*)",
|
|
151
|
+
"declare i64 @xt_builtin_value_bigint(i64, i64, i32, i64*)",
|
|
144
152
|
"declare i64 @xt_get(i64, i64)",
|
|
145
153
|
"declare i64 @xt_set(i64, i64, i64)",
|
|
146
154
|
"declare i64 @xt_box_new(i64)",
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/codegen/generator/state.ts"],"names":[],"mappings":"AAAA;;GAEG;AAgDH,MAAM,CAAC,MAAM,oBAAoB,GAAsB;IACrD,6BAA6B;IAC7B,wBAAwB;IACxB,2BAA2B;IAC3B,gCAAgC;IAChC,sCAAsC;IACtC,uCAAuC;IACvC,qCAAqC;IACrC,6CAA6C;IAC7C,8CAA8C;IAC9C,uCAAuC;IACvC,qDAAqD;IACrD,wBAAwB;IACxB,qCAAqC;IACrC,uCAAuC;IACvC,kDAAkD;IAClD,6CAA6C;IAC7C,4CAA4C;IAC5C,2CAA2C;IAC3C,gDAAgD;IAChD,qDAAqD;IACrD,qDAAqD;IACrD,4BAA4B;IAC5B,qCAAqC;IACrC,mCAAmC;IACnC,sCAAsC;IACtC,qCAAqC;IACrC,yCAAyC;IACzC,gDAAgD;IAChD,8CAA8C;IAC9C,+CAA+C;IAC/C,+CAA+C;IAC/C,+CAA+C;IAC/C,6CAA6C;IAC7C,6CAA6C;IAC7C,2CAA2C;IAC3C,+CAA+C;IAC/C,wCAAwC;IACxC,+CAA+C;IAC/C,0CAA0C;IAC1C,0CAA0C;IAC1C,wCAAwC;IACxC,2CAA2C;IAC3C,8CAA8C;IAC9C,4CAA4C;IAC5C,4CAA4C;IAC5C,4CAA4C;IAC5C,8CAA8C;IAC9C,6CAA6C;IAC7C,8CAA8C;IAC9C,kCAAkC;IAClC,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,wCAAwC;IACxC,uCAAuC;IACvC,4CAA4C;IAC5C,uCAAuC;IACvC,2CAA2C;IAC3C,0CAA0C;IAC1C,oCAAoC;IACpC,uCAAuC;IACvC,0CAA0C;IAC1C,wCAAwC;IACxC,0CAA0C;IAC1C,2CAA2C;IAC3C,0CAA0C;IAC1C,gDAAgD;IAChD,0CAA0C;IAC1C,8CAA8C;IAC9C,0CAA0C;IAC1C,yCAAyC;IACzC,6CAA6C;IAC7C,6CAA6C;IAC7C,6BAA6B;IAC7B,mCAAmC;IACnC,gCAAgC;IAChC,6BAA6B;IAC7B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,0BAA0B;IAC1B,mCAAmC;IACnC,kCAAkC;IAClC,mCAAmC;IACnC,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,gCAAgC;IAChC,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,8BAA8B;IAC9B,2CAA2C;IAC3C,2CAA2C;IAC3C,sCAAsC;IACtC,kCAAkC;IAClC,oCAAoC;IACpC,qCAAqC;IACrC,0CAA0C;IAC1C,yCAAyC;IACzC,kDAAkD;IAClD,2CAA2C;IAC3C,sCAAsC;IACtC,wCAAwC;IACxC,mCAAmC;IACnC,sCAAsC;IACtC,wCAAwC;IACxC,wCAAwC;IACxC,yCAAyC;IACzC,8BAA8B;IAC9B,kCAAkC;IAClC,2CAA2C;IAC3C,8CAA8C;IAC9C,kCAAkC;IAClC,sCAAsC;IACtC,sCAAsC;IACtC,mCAAmC;IACnC,wCAAwC;IACxC,kCAAkC;IAClC,sCAAsC;IACtC,iCAAiC;IACjC,mCAAmC;IACnC,6DAA6D;IAC7D,+DAA+D;IAC/D,0DAA0D;IAC1D,6DAA6D;IAC7D,2DAA2D;IAC3D,2DAA2D;IAC3D,4DAA4D;IAC5D,+BAA+B;IAC/B,oCAAoC;IACpC,8BAA8B;IAC9B,8BAA8B;IAC9B,mCAAmC;IACnC,iCAAiC;IACjC,6BAA6B;IAC7B,qCAAqC;IACrC,8CAA8C;IAC9C,6BAA6B;IAC7B,oCAAoC;IACpC,iCAAiC;IACjC,yCAAyC;IACzC,0CAA0C;IAC1C,0CAA0C;IAC1C,2CAA2C;CAC5C,CAAC"}
|
|
1
|
+
{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/codegen/generator/state.ts"],"names":[],"mappings":"AAAA;;GAEG;AAgDH,MAAM,CAAC,MAAM,oBAAoB,GAAsB;IACrD,6BAA6B;IAC7B,wBAAwB;IACxB,2BAA2B;IAC3B,gCAAgC;IAChC,sCAAsC;IACtC,uCAAuC;IACvC,qCAAqC;IACrC,6CAA6C;IAC7C,8CAA8C;IAC9C,uCAAuC;IACvC,qDAAqD;IACrD,wBAAwB;IACxB,qCAAqC;IACrC,uCAAuC;IACvC,kDAAkD;IAClD,6CAA6C;IAC7C,4CAA4C;IAC5C,2CAA2C;IAC3C,gDAAgD;IAChD,qDAAqD;IACrD,qDAAqD;IACrD,4BAA4B;IAC5B,qCAAqC;IACrC,mCAAmC;IACnC,sCAAsC;IACtC,qCAAqC;IACrC,yCAAyC;IACzC,gDAAgD;IAChD,8CAA8C;IAC9C,+CAA+C;IAC/C,+CAA+C;IAC/C,+CAA+C;IAC/C,6CAA6C;IAC7C,6CAA6C;IAC7C,2CAA2C;IAC3C,+CAA+C;IAC/C,wCAAwC;IACxC,+CAA+C;IAC/C,0CAA0C;IAC1C,0CAA0C;IAC1C,wCAAwC;IACxC,2CAA2C;IAC3C,8CAA8C;IAC9C,4CAA4C;IAC5C,4CAA4C;IAC5C,4CAA4C;IAC5C,8CAA8C;IAC9C,6CAA6C;IAC7C,+CAA+C;IAC/C,+CAA+C;IAC/C,6CAA6C;IAC7C,oDAAoD;IACpD,8CAA8C;IAC9C,kCAAkC;IAClC,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,wCAAwC;IACxC,uCAAuC;IACvC,4CAA4C;IAC5C,uCAAuC;IACvC,2CAA2C;IAC3C,0CAA0C;IAC1C,oCAAoC;IACpC,uCAAuC;IACvC,0CAA0C;IAC1C,wCAAwC;IACxC,0CAA0C;IAC1C,2CAA2C;IAC3C,0CAA0C;IAC1C,gDAAgD;IAChD,0CAA0C;IAC1C,8CAA8C;IAC9C,0CAA0C;IAC1C,yCAAyC;IACzC,6CAA6C;IAC7C,6CAA6C;IAC7C,6BAA6B;IAC7B,mCAAmC;IACnC,gCAAgC;IAChC,6BAA6B;IAC7B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,0BAA0B;IAC1B,mCAAmC;IACnC,kCAAkC;IAClC,mCAAmC;IACnC,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,gCAAgC;IAChC,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,8BAA8B;IAC9B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,8BAA8B;IAC9B,2CAA2C;IAC3C,2CAA2C;IAC3C,sCAAsC;IACtC,kCAAkC;IAClC,oCAAoC;IACpC,qCAAqC;IACrC,0CAA0C;IAC1C,yCAAyC;IACzC,kDAAkD;IAClD,2CAA2C;IAC3C,sCAAsC;IACtC,wCAAwC;IACxC,mCAAmC;IACnC,sCAAsC;IACtC,wCAAwC;IACxC,wCAAwC;IACxC,+CAA+C;IAC/C,8CAA8C;IAC9C,wCAAwC;IACxC,yCAAyC;IACzC,8BAA8B;IAC9B,kCAAkC;IAClC,2CAA2C;IAC3C,8CAA8C;IAC9C,kCAAkC;IAClC,sCAAsC;IACtC,sCAAsC;IACtC,mCAAmC;IACnC,wCAAwC;IACxC,kCAAkC;IAClC,sCAAsC;IACtC,iCAAiC;IACjC,mCAAmC;IACnC,6DAA6D;IAC7D,+DAA+D;IAC/D,0DAA0D;IAC1D,6DAA6D;IAC7D,2DAA2D;IAC3D,2DAA2D;IAC3D,4DAA4D;IAC5D,2DAA2D;IAC3D,+BAA+B;IAC/B,oCAAoC;IACpC,8BAA8B;IAC9B,8BAA8B;IAC9B,mCAAmC;IACnC,iCAAiC;IACjC,6BAA6B;IAC7B,qCAAqC;IACrC,8CAA8C;IAC9C,6BAA6B;IAC7B,oCAAoC;IACpC,iCAAiC;IACjC,yCAAyC;IACzC,0CAA0C;IAC1C,0CAA0C;IAC1C,2CAA2C;CAC5C,CAAC"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Control-flow lowering: `if`, `switch`, `try`/`catch`/`finally` and `return`.
|
|
3
|
+
*/
|
|
4
|
+
import { type Identifier, type IfStatement, type ReturnStatement, type SwitchStatement, type TryStatement } from "../../../ast/nodes.js";
|
|
5
|
+
import type { Generator } from "../generator.js";
|
|
6
|
+
export interface ControlFlowStatementMethods {
|
|
7
|
+
emitIf(this: Generator, statement: IfStatement): void;
|
|
8
|
+
emitSwitch(this: Generator, statement: SwitchStatement): void;
|
|
9
|
+
emitTry(this: Generator, statement: TryStatement): void;
|
|
10
|
+
bindCatchVariable(this: Generator, variable: Identifier | undefined, value: string): void;
|
|
11
|
+
emitReturn(this: Generator, statement: ReturnStatement): void;
|
|
12
|
+
popTryFramesTo(this: Generator, depth: number): void;
|
|
13
|
+
}
|
|
14
|
+
export declare const controlFlowStatementMethods: ControlFlowStatementMethods;
|
|
@@ -0,0 +1,199 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Control-flow lowering: `if`, `switch`, `try`/`catch`/`finally` and `return`.
|
|
3
|
+
*/
|
|
4
|
+
import { SyntaxKind, } from "../../../ast/nodes.js";
|
|
5
|
+
import { i64, XT_UNDEFINED } from "../../values.js";
|
|
6
|
+
export const controlFlowStatementMethods = {
|
|
7
|
+
emitIf(statement) {
|
|
8
|
+
const thenLabel = this.label("if.then");
|
|
9
|
+
const elseLabel = statement.elseStatement ? this.label("if.else") : undefined;
|
|
10
|
+
const endLabel = this.label("if.end");
|
|
11
|
+
const condition = this.emitExpression(statement.condition);
|
|
12
|
+
const truthy = this.reg();
|
|
13
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
|
|
14
|
+
const nonzero = this.reg();
|
|
15
|
+
this.emit(` ${nonzero} = icmp ne i32 ${truthy}, 0`);
|
|
16
|
+
this.terminate(`br i1 ${nonzero}, label %${thenLabel}, label %${elseLabel ?? endLabel}`);
|
|
17
|
+
this.startBlock(thenLabel);
|
|
18
|
+
this.emitStatement(statement.thenStatement);
|
|
19
|
+
if (!this.current.terminated)
|
|
20
|
+
this.terminate(`br label %${endLabel}`);
|
|
21
|
+
if (elseLabel) {
|
|
22
|
+
this.startBlock(elseLabel);
|
|
23
|
+
this.emitStatement(statement.elseStatement);
|
|
24
|
+
if (!this.current.terminated)
|
|
25
|
+
this.terminate(`br label %${endLabel}`);
|
|
26
|
+
}
|
|
27
|
+
this.startBlock(endLabel);
|
|
28
|
+
},
|
|
29
|
+
/**
|
|
30
|
+
* JavaScript `switch`: test each `case` with strict equality, then run the
|
|
31
|
+
* matched clause and fall through into the following clauses until `break`.
|
|
32
|
+
*/
|
|
33
|
+
emitSwitch(statement) {
|
|
34
|
+
const discriminant = this.emitExpression(statement.expression);
|
|
35
|
+
const endLabel = this.label("switch.end");
|
|
36
|
+
const clauses = statement.clauses;
|
|
37
|
+
const labels = clauses.map(() => this.label("switch.case"));
|
|
38
|
+
const testLabels = clauses.map((clause) => clause.kind === SyntaxKind.CaseClause ? this.label("switch.test") : undefined);
|
|
39
|
+
const defaultIndex = clauses.findIndex((clause) => clause.kind === SyntaxKind.DefaultClause);
|
|
40
|
+
const defaultLabel = defaultIndex >= 0 ? labels[defaultIndex] : endLabel;
|
|
41
|
+
const caseIndexes = clauses
|
|
42
|
+
.map((clause, index) => ({ clause, index }))
|
|
43
|
+
.filter((entry) => entry.clause.kind === SyntaxKind.CaseClause);
|
|
44
|
+
this.terminate(`br label %${caseIndexes.length > 0 ? testLabels[caseIndexes[0].index] : defaultLabel}`);
|
|
45
|
+
for (let test = 0; test < caseIndexes.length; test++) {
|
|
46
|
+
const entry = caseIndexes[test];
|
|
47
|
+
this.startBlock(testLabels[entry.index]);
|
|
48
|
+
const caseValue = this.emitExpression(entry.clause.expression);
|
|
49
|
+
const equals = this.reg();
|
|
50
|
+
this.emit(` ${equals} = call i64 @xt_seq(i64 ${discriminant}, i64 ${caseValue})`);
|
|
51
|
+
const truthy = this.reg();
|
|
52
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${equals})`);
|
|
53
|
+
const condition = this.reg();
|
|
54
|
+
this.emit(` ${condition} = icmp ne i32 ${truthy}, 0`);
|
|
55
|
+
const next = test + 1 < caseIndexes.length ? testLabels[caseIndexes[test + 1].index] : defaultLabel;
|
|
56
|
+
this.terminate(`br i1 ${condition}, label %${labels[entry.index]}, label %${next}`);
|
|
57
|
+
}
|
|
58
|
+
for (let index = 0; index < clauses.length; index++) {
|
|
59
|
+
this.startBlock(labels[index]);
|
|
60
|
+
const enclosing = this.current.loops[this.current.loops.length - 1];
|
|
61
|
+
this.current.loops.push({ breakLabel: endLabel, continueLabel: enclosing?.continueLabel ?? endLabel, tryDepth: this.current.tryFrames.length });
|
|
62
|
+
for (const child of clauses[index].statements) {
|
|
63
|
+
if (this.current.terminated)
|
|
64
|
+
break;
|
|
65
|
+
this.emitStatement(child);
|
|
66
|
+
}
|
|
67
|
+
this.current.loops.pop();
|
|
68
|
+
if (!this.current.terminated) {
|
|
69
|
+
const next = index + 1 < clauses.length ? labels[index + 1] : endLabel;
|
|
70
|
+
this.terminate(`br label %${next}`);
|
|
71
|
+
}
|
|
72
|
+
}
|
|
73
|
+
this.startBlock(endLabel);
|
|
74
|
+
},
|
|
75
|
+
/**
|
|
76
|
+
* `try`/`catch`/`finally` via a runtime setjmp frame. The runtime keeps a
|
|
77
|
+
* stack of frames; `xt_throw` longjmps into the innermost one. A `return`
|
|
78
|
+
* that exits the protected region skips `finally` (a known limitation).
|
|
79
|
+
*/
|
|
80
|
+
emitTry(statement) {
|
|
81
|
+
this.current.usesTry = true;
|
|
82
|
+
const frameSlot = this.alloca();
|
|
83
|
+
const exceptionSlot = this.alloca();
|
|
84
|
+
const flagSlot = this.alloca();
|
|
85
|
+
const tryLabel = this.label("try.body");
|
|
86
|
+
const catchLabel = this.label("try.catch");
|
|
87
|
+
const exceptionLabel = this.label("try.exception");
|
|
88
|
+
const rethrowLabel = this.label("try.rethrow");
|
|
89
|
+
const finallyLabel = statement.finallyBlock ? this.label("try.finally") : undefined;
|
|
90
|
+
const endLabel = this.label("try.end");
|
|
91
|
+
const hasCatch = !!statement.catchClause;
|
|
92
|
+
const frame = this.reg();
|
|
93
|
+
this.emit(` ${frame} = call i8* @xt_try_enter()`);
|
|
94
|
+
this.emit(` store i8* ${frame}, i8** ${frameSlot}`);
|
|
95
|
+
this.emit(` store i64 0, i64* ${flagSlot}`);
|
|
96
|
+
// MSVC's `_setjmp` takes the caller's frame address as a second argument
|
|
97
|
+
// (`_JUMP_BUFFER.Frame`); `longjmp` uses it to run the unwind. clang lowers
|
|
98
|
+
// a C call to `_setjmp` exactly like this. The extra argument is ignored by
|
|
99
|
+
// the one-argument `_setjmp` on Linux/macOS.
|
|
100
|
+
const frameAddress = this.reg();
|
|
101
|
+
this.emit(` ${frameAddress} = call i8* @llvm.frameaddress(i32 0)`);
|
|
102
|
+
const jump = this.reg();
|
|
103
|
+
this.emit(` ${jump} = call i32 @_setjmp(i8* ${frame}, i8* ${frameAddress})`);
|
|
104
|
+
const isThrow = this.reg();
|
|
105
|
+
this.emit(` ${isThrow} = icmp ne i32 ${jump}, 0`);
|
|
106
|
+
const exceptionTarget = hasCatch ? catchLabel : exceptionLabel;
|
|
107
|
+
this.terminate(`br i1 ${isThrow}, label %${exceptionTarget}, label %${tryLabel}`);
|
|
108
|
+
// Normal completion of the try block.
|
|
109
|
+
this.startBlock(tryLabel);
|
|
110
|
+
this.current.tryFrames.push(frameSlot);
|
|
111
|
+
this.emitStatements(statement.tryBlock.statements);
|
|
112
|
+
this.current.tryFrames.pop();
|
|
113
|
+
if (!this.current.terminated) {
|
|
114
|
+
const currentFrame = this.reg();
|
|
115
|
+
this.emit(` ${currentFrame} = load i8*, i8** ${frameSlot}`);
|
|
116
|
+
this.emit(` call void @xt_try_leave(i8* ${currentFrame})`);
|
|
117
|
+
this.terminate(`br label %${finallyLabel ?? endLabel}`);
|
|
118
|
+
}
|
|
119
|
+
if (hasCatch) {
|
|
120
|
+
this.startBlock(catchLabel);
|
|
121
|
+
const currentFrame = this.reg();
|
|
122
|
+
this.emit(` ${currentFrame} = load i8*, i8** ${frameSlot}`);
|
|
123
|
+
const exception = this.reg();
|
|
124
|
+
this.emit(` ${exception} = call i64 @xt_try_exception(i8* ${currentFrame})`);
|
|
125
|
+
this.emit(` call void @xt_try_leave(i8* ${currentFrame})`);
|
|
126
|
+
this.bindCatchVariable(statement.catchClause.variable, exception);
|
|
127
|
+
this.emitStatements(statement.catchClause.block.statements);
|
|
128
|
+
if (!this.current.terminated)
|
|
129
|
+
this.terminate(`br label %${finallyLabel ?? endLabel}`);
|
|
130
|
+
}
|
|
131
|
+
else {
|
|
132
|
+
// Without a catch clause the exception is remembered, then rethrown
|
|
133
|
+
// after `finally` runs.
|
|
134
|
+
this.startBlock(exceptionLabel);
|
|
135
|
+
const currentFrame = this.reg();
|
|
136
|
+
this.emit(` ${currentFrame} = load i8*, i8** ${frameSlot}`);
|
|
137
|
+
const exception = this.reg();
|
|
138
|
+
this.emit(` ${exception} = call i64 @xt_try_exception(i8* ${currentFrame})`);
|
|
139
|
+
this.emit(` call void @xt_try_leave(i8* ${currentFrame})`);
|
|
140
|
+
this.emit(` store i64 ${exception}, i64* ${exceptionSlot}`);
|
|
141
|
+
this.emit(` store i64 1, i64* ${flagSlot}`);
|
|
142
|
+
this.terminate(`br label %${finallyLabel ?? rethrowLabel}`);
|
|
143
|
+
}
|
|
144
|
+
if (finallyLabel) {
|
|
145
|
+
this.startBlock(finallyLabel);
|
|
146
|
+
this.emitStatements(statement.finallyBlock.statements);
|
|
147
|
+
if (!this.current.terminated) {
|
|
148
|
+
if (hasCatch) {
|
|
149
|
+
this.terminate(`br label %${endLabel}`);
|
|
150
|
+
}
|
|
151
|
+
else {
|
|
152
|
+
const flag = this.reg();
|
|
153
|
+
this.emit(` ${flag} = load i64, i64* ${flagSlot}`);
|
|
154
|
+
const truthy = this.reg();
|
|
155
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${flag})`);
|
|
156
|
+
const shouldRethrow = this.reg();
|
|
157
|
+
this.emit(` ${shouldRethrow} = icmp ne i32 ${truthy}, 0`);
|
|
158
|
+
this.terminate(`br i1 ${shouldRethrow}, label %${rethrowLabel}, label %${endLabel}`);
|
|
159
|
+
}
|
|
160
|
+
}
|
|
161
|
+
}
|
|
162
|
+
if (!hasCatch) {
|
|
163
|
+
this.startBlock(rethrowLabel);
|
|
164
|
+
const exception = this.reg();
|
|
165
|
+
this.emit(` ${exception} = load i64, i64* ${exceptionSlot}`);
|
|
166
|
+
this.emit(` call void @xt_throw(i64 ${exception})`);
|
|
167
|
+
this.terminate("unreachable");
|
|
168
|
+
}
|
|
169
|
+
this.startBlock(endLabel);
|
|
170
|
+
},
|
|
171
|
+
bindCatchVariable(variable, value) {
|
|
172
|
+
if (!variable)
|
|
173
|
+
return;
|
|
174
|
+
const symbol = this.binding.symbolOfDeclaration.get(variable);
|
|
175
|
+
if (!symbol)
|
|
176
|
+
return;
|
|
177
|
+
if (this.current.slots.has(symbol.id))
|
|
178
|
+
this.writeSlot(symbol, value);
|
|
179
|
+
else
|
|
180
|
+
this.declareSlot(symbol, value);
|
|
181
|
+
},
|
|
182
|
+
emitReturn(statement) {
|
|
183
|
+
let value = statement.expression ? this.emitExpression(statement.expression) : i64(XT_UNDEFINED);
|
|
184
|
+
if (this.current.fn.isAsync)
|
|
185
|
+
value = this.wrapAsync(value);
|
|
186
|
+
this.popTryFramesTo(0);
|
|
187
|
+
this.terminate(`ret i64 ${value}`);
|
|
188
|
+
},
|
|
189
|
+
/** Emit `xt_try_leave` for every active frame above `depth` (innermost first). */
|
|
190
|
+
popTryFramesTo(depth) {
|
|
191
|
+
for (let index = this.current.tryFrames.length - 1; index >= depth; index--) {
|
|
192
|
+
const slot = this.current.tryFrames[index];
|
|
193
|
+
const frame = this.reg();
|
|
194
|
+
this.emit(` ${frame} = load i8*, i8** ${slot}`);
|
|
195
|
+
this.emit(` call void @xt_try_leave(i8* ${frame})`);
|
|
196
|
+
}
|
|
197
|
+
},
|
|
198
|
+
};
|
|
199
|
+
//# sourceMappingURL=control-flow.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"control-flow.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/statements/control-flow.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GAOX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAYpD,MAAM,CAAC,MAAM,2BAA2B,GAAgC;IACtE,MAAM,CAAC,SAAsB;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9E,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,SAAS,IAAI,QAAQ,EAAE,CAAC,CAAC;QAEzF,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QAEtE,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YAC3B,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,aAAc,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;gBAAE,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;QACxE,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,SAA0B;QACnC,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;QAC5D,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACxC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAC9E,CAAC;QACF,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,CAAC,CAAC;QAC7F,MAAM,YAAY,GAAG,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1E,MAAM,WAAW,GAAG,OAAO;aACxB,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;aAC3C,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,CAAC,CAAC;QAElE,IAAI,CAAC,SAAS,CAAC,aAAa,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;QAC1G,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACrD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAE,CAAC;YACjC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC,CAAC;YAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAE,KAAK,CAAC,MAAqB,CAAC,UAAU,CAAC,CAAC;YAC/E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,2BAA2B,YAAY,SAAS,SAAS,GAAG,CAAC,CAAC;YACnF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,MAAM,GAAG,CAAC,CAAC;YAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,kBAAkB,MAAM,KAAK,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,CAAE,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,YAAY,CAAC;YACtG,IAAI,CAAC,SAAS,CAAC,SAAS,SAAS,YAAY,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC;QACtF,CAAC;QAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YACpE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,IAAI,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;YAChJ,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,KAAK,CAAE,CAAC,UAAU,EAAE,CAAC;gBAC/C,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU;oBAAE,MAAM;gBACnC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC5B,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;gBACxE,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,SAAuB;QAC7B,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC;QAEzC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,6BAA6B,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,eAAe,KAAK,UAAU,SAAS,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,uBAAuB,QAAQ,EAAE,CAAC,CAAC;QAC7C,yEAAyE;QACzE,4EAA4E;QAC5E,4EAA4E;QAC5E,6CAA6C;QAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,uCAAuC,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,4BAA4B,KAAK,SAAS,YAAY,GAAG,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,IAAI,KAAK,CAAC,CAAC;QACnD,MAAM,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;QAC/D,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,eAAe,YAAY,QAAQ,EAAE,CAAC,CAAC;QAElF,sCAAsC;QACtC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,iCAAiC,YAAY,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,SAAS,CAAC,aAAa,YAAY,IAAI,QAAQ,EAAE,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,qCAAqC,YAAY,GAAG,CAAC,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,iCAAiC,YAAY,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,iBAAiB,CAAC,SAAS,CAAC,WAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACnE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,WAAY,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;gBAAE,IAAI,CAAC,SAAS,CAAC,aAAa,YAAY,IAAI,QAAQ,EAAE,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,oEAAoE;YACpE,wBAAwB;YACxB,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;YAChC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,KAAK,YAAY,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,qCAAqC,YAAY,GAAG,CAAC,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,iCAAiC,YAAY,GAAG,CAAC,CAAC;YAC5D,IAAI,CAAC,IAAI,CAAC,eAAe,SAAS,UAAU,aAAa,EAAE,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,uBAAuB,QAAQ,EAAE,CAAC,CAAC;YAC7C,IAAI,CAAC,SAAS,CAAC,aAAa,YAAY,IAAI,YAAY,EAAE,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAC9B,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,YAAa,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,SAAS,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,qBAAqB,QAAQ,EAAE,CAAC,CAAC;oBACpD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,IAAI,GAAG,CAAC,CAAC;oBAC5D,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAI,CAAC,KAAK,aAAa,kBAAkB,MAAM,KAAK,CAAC,CAAC;oBAC3D,IAAI,CAAC,SAAS,CAAC,SAAS,aAAa,YAAY,YAAY,YAAY,QAAQ,EAAE,CAAC,CAAC;gBACvF,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,qBAAqB,aAAa,EAAE,CAAC,CAAC;YAC9D,IAAI,CAAC,IAAI,CAAC,6BAA6B,SAAS,GAAG,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,iBAAiB,CAAC,QAAgC,EAAE,KAAa;QAC/D,IAAI,CAAC,QAAQ;YAAE,OAAO;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9D,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;;YAChE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAED,UAAU,CAAC,SAA0B;QACnC,IAAI,KAAK,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QACjG,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,kFAAkF;IAClF,cAAc,CAAC,KAAa;QAC1B,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;YAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,IAAI,EAAE,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,iCAAiC,KAAK,GAAG,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Statement dispatch: walks a statement list and routes each kind to its
|
|
3
|
+
* lowering method. The concrete lowerings live in the sibling modules
|
|
4
|
+
* (`variables`, `control-flow`, `loops`).
|
|
5
|
+
*/
|
|
6
|
+
import { type Statement } from "../../../ast/nodes.js";
|
|
7
|
+
import type { Generator } from "../generator.js";
|
|
8
|
+
export interface StatementDispatchMethods {
|
|
9
|
+
emitStatements(this: Generator, statements: readonly Statement[]): void;
|
|
10
|
+
emitStatement(this: Generator, statement: Statement): void;
|
|
11
|
+
}
|
|
12
|
+
export declare const statementDispatchMethods: StatementDispatchMethods;
|
|
@@ -0,0 +1,100 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Statement dispatch: walks a statement list and routes each kind to its
|
|
3
|
+
* lowering method. The concrete lowerings live in the sibling modules
|
|
4
|
+
* (`variables`, `control-flow`, `loops`).
|
|
5
|
+
*/
|
|
6
|
+
import { SyntaxKind, } from "../../../ast/nodes.js";
|
|
7
|
+
export const statementDispatchMethods = {
|
|
8
|
+
emitStatements(statements) {
|
|
9
|
+
for (const statement of statements) {
|
|
10
|
+
if (this.current.terminated)
|
|
11
|
+
break;
|
|
12
|
+
this.emitStatement(statement);
|
|
13
|
+
}
|
|
14
|
+
},
|
|
15
|
+
emitStatement(statement) {
|
|
16
|
+
switch (statement.kind) {
|
|
17
|
+
case SyntaxKind.ExpressionStatement:
|
|
18
|
+
this.emitExpression(statement.expression);
|
|
19
|
+
return;
|
|
20
|
+
case SyntaxKind.VariableStatement:
|
|
21
|
+
this.emitVariableStatement(statement);
|
|
22
|
+
return;
|
|
23
|
+
case SyntaxKind.Block:
|
|
24
|
+
this.emitStatements(statement.statements);
|
|
25
|
+
return;
|
|
26
|
+
case SyntaxKind.EmptyStatement:
|
|
27
|
+
case SyntaxKind.DebuggerStatement:
|
|
28
|
+
case SyntaxKind.FunctionDeclaration:
|
|
29
|
+
case SyntaxKind.InterfaceDeclaration:
|
|
30
|
+
case SyntaxKind.TypeAliasDeclaration:
|
|
31
|
+
case SyntaxKind.ImportDeclaration:
|
|
32
|
+
return; // functions are emitted at module scope; imports are resolved at call sites
|
|
33
|
+
case SyntaxKind.ClassDeclaration: {
|
|
34
|
+
const info = this.binding.classOfNode.get(statement);
|
|
35
|
+
if (info)
|
|
36
|
+
this.emitClassSetup(info);
|
|
37
|
+
return;
|
|
38
|
+
}
|
|
39
|
+
case SyntaxKind.IfStatement:
|
|
40
|
+
this.emitIf(statement);
|
|
41
|
+
return;
|
|
42
|
+
case SyntaxKind.WhileStatement:
|
|
43
|
+
this.emitWhile(statement);
|
|
44
|
+
return;
|
|
45
|
+
case SyntaxKind.DoStatement:
|
|
46
|
+
this.emitDo(statement);
|
|
47
|
+
return;
|
|
48
|
+
case SyntaxKind.ForStatement:
|
|
49
|
+
this.emitFor(statement);
|
|
50
|
+
return;
|
|
51
|
+
case SyntaxKind.ForOfStatement:
|
|
52
|
+
case SyntaxKind.ForInStatement:
|
|
53
|
+
this.emitForOf(statement);
|
|
54
|
+
return;
|
|
55
|
+
case SyntaxKind.SwitchStatement:
|
|
56
|
+
this.emitSwitch(statement);
|
|
57
|
+
return;
|
|
58
|
+
case SyntaxKind.TryStatement:
|
|
59
|
+
this.emitTry(statement);
|
|
60
|
+
return;
|
|
61
|
+
case SyntaxKind.ReturnStatement:
|
|
62
|
+
this.emitReturn(statement);
|
|
63
|
+
return;
|
|
64
|
+
case SyntaxKind.BreakStatement: {
|
|
65
|
+
const loop = this.current.loops[this.current.loops.length - 1];
|
|
66
|
+
if (loop) {
|
|
67
|
+
this.popTryFramesTo(loop.tryDepth ?? 0);
|
|
68
|
+
this.terminate(`br label %${loop.breakLabel}`);
|
|
69
|
+
}
|
|
70
|
+
return;
|
|
71
|
+
}
|
|
72
|
+
case SyntaxKind.ContinueStatement: {
|
|
73
|
+
const loop = this.current.loops[this.current.loops.length - 1];
|
|
74
|
+
if (loop) {
|
|
75
|
+
this.popTryFramesTo(loop.tryDepth ?? 0);
|
|
76
|
+
this.terminate(`br label %${loop.continueLabel}`);
|
|
77
|
+
}
|
|
78
|
+
return;
|
|
79
|
+
}
|
|
80
|
+
case SyntaxKind.ThrowStatement: {
|
|
81
|
+
const value = this.emitExpression(statement.expression);
|
|
82
|
+
this.emit(` call void @xt_throw(i64 ${value})`);
|
|
83
|
+
this.terminate("unreachable");
|
|
84
|
+
return;
|
|
85
|
+
}
|
|
86
|
+
case SyntaxKind.ExportDeclaration: {
|
|
87
|
+
const declaration = statement.declaration;
|
|
88
|
+
if (declaration)
|
|
89
|
+
this.emitStatement(declaration);
|
|
90
|
+
return;
|
|
91
|
+
}
|
|
92
|
+
case SyntaxKind.EnumDeclaration:
|
|
93
|
+
this.emitEnum(statement);
|
|
94
|
+
return;
|
|
95
|
+
default:
|
|
96
|
+
this.unsupported(statement, "statement");
|
|
97
|
+
}
|
|
98
|
+
},
|
|
99
|
+
};
|
|
100
|
+
//# sourceMappingURL=dispatch.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"dispatch.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/statements/dispatch.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,UAAU,GAgBX,MAAM,uBAAuB,CAAC;AAQ/B,MAAM,CAAC,MAAM,wBAAwB,GAA6B;IAChE,cAAc,CAAC,UAAgC;QAC7C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU;gBAAE,MAAM;YACnC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,aAAa,CAAC,SAAoB;QAChC,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,UAAU,CAAC,mBAAmB;gBACjC,IAAI,CAAC,cAAc,CAAE,SAAwC,CAAC,UAAU,CAAC,CAAC;gBAC1E,OAAO;YACT,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,IAAI,CAAC,qBAAqB,CAAC,SAA8B,CAAC,CAAC;gBAC3D,OAAO;YACT,KAAK,UAAU,CAAC,KAAK;gBACnB,IAAI,CAAC,cAAc,CAAE,SAAmB,CAAC,UAAU,CAAC,CAAC;gBACrD,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,iBAAiB,CAAC;YAClC,KAAK,UAAU,CAAC,mBAAmB,CAAC;YACpC,KAAK,UAAU,CAAC,oBAAoB,CAAC;YACrC,KAAK,UAAU,CAAC,oBAAoB,CAAC;YACrC,KAAK,UAAU,CAAC,iBAAiB;gBAC/B,OAAO,CAAC,4EAA4E;YACtF,KAAK,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACrD,IAAI,IAAI;oBAAE,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBACpC,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,WAAW;gBACzB,IAAI,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;gBACtC,OAAO;YACT,KAAK,UAAU,CAAC,cAAc;gBAC5B,IAAI,CAAC,SAAS,CAAC,SAA2B,CAAC,CAAC;gBAC5C,OAAO;YACT,KAAK,UAAU,CAAC,WAAW;gBACzB,IAAI,CAAC,MAAM,CAAC,SAAwB,CAAC,CAAC;gBACtC,OAAO;YACT,KAAK,UAAU,CAAC,YAAY;gBAC1B,IAAI,CAAC,OAAO,CAAC,SAAyB,CAAC,CAAC;gBACxC,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC;YAC/B,KAAK,UAAU,CAAC,cAAc;gBAC5B,IAAI,CAAC,SAAS,CAAC,SAA4C,CAAC,CAAC;gBAC7D,OAAO;YACT,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,UAAU,CAAC,SAA4B,CAAC,CAAC;gBAC9C,OAAO;YACT,KAAK,UAAU,CAAC,YAAY;gBAC1B,IAAI,CAAC,OAAO,CAAC,SAAyB,CAAC,CAAC;gBACxC,OAAO;YACT,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,UAAU,CAAC,SAA4B,CAAC,CAAC;gBAC9C,OAAO;YACT,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/D,IAAI,IAAI,EAAE,CAAC;oBACT,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;oBACxC,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;gBACjD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;gBAClC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/D,IAAI,IAAI,EAAE,CAAC;oBACT,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC;oBACxC,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;gBACpD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,CAAE,SAA4B,CAAC,UAAU,CAAC,CAAC;gBAC5E,IAAI,CAAC,IAAI,CAAC,6BAA6B,KAAK,GAAG,CAAC,CAAC;gBACjD,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC;gBAClC,MAAM,WAAW,GAAI,SAAyC,CAAC,WAAW,CAAC;gBAC3E,IAAI,WAAW;oBAAE,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;gBACjD,OAAO;YACT,CAAC;YACD,KAAK,UAAU,CAAC,eAAe;gBAC7B,IAAI,CAAC,QAAQ,CAAC,SAA4B,CAAC,CAAC;gBAC5C,OAAO;YACT;gBACE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Loop lowering: `while`, `do`/`while`, `for` and `for`/`of` / `for`/`in`.
|
|
3
|
+
*/
|
|
4
|
+
import { type DoStatement, type Expression, type ForInStatement, type ForOfStatement, type ForStatement, type VariableDeclarationList, type WhileStatement } from "../../../ast/nodes.js";
|
|
5
|
+
import type { Generator } from "../generator.js";
|
|
6
|
+
export interface LoopStatementMethods {
|
|
7
|
+
emitWhile(this: Generator, statement: WhileStatement): void;
|
|
8
|
+
emitDo(this: Generator, statement: DoStatement): void;
|
|
9
|
+
emitFor(this: Generator, statement: ForStatement): void;
|
|
10
|
+
emitForOf(this: Generator, statement: ForOfStatement | ForInStatement): void;
|
|
11
|
+
bindLoopVariable(this: Generator, initializer: VariableDeclarationList | Expression, value: string): void;
|
|
12
|
+
}
|
|
13
|
+
export declare const loopStatementMethods: LoopStatementMethods;
|
|
@@ -0,0 +1,152 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Loop lowering: `while`, `do`/`while`, `for` and `for`/`of` / `for`/`in`.
|
|
3
|
+
*/
|
|
4
|
+
import { SyntaxKind, } from "../../../ast/nodes.js";
|
|
5
|
+
import { numberLiteral } from "../../values.js";
|
|
6
|
+
export const loopStatementMethods = {
|
|
7
|
+
emitWhile(statement) {
|
|
8
|
+
const condLabel = this.label("while.cond");
|
|
9
|
+
const bodyLabel = this.label("while.body");
|
|
10
|
+
const endLabel = this.label("while.end");
|
|
11
|
+
this.terminate(`br label %${condLabel}`);
|
|
12
|
+
this.startBlock(condLabel);
|
|
13
|
+
const condition = this.emitExpression(statement.condition);
|
|
14
|
+
const truthy = this.reg();
|
|
15
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
|
|
16
|
+
const nonzero = this.reg();
|
|
17
|
+
this.emit(` ${nonzero} = icmp ne i32 ${truthy}, 0`);
|
|
18
|
+
this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
|
|
19
|
+
this.startBlock(bodyLabel);
|
|
20
|
+
this.current.loops.push({ breakLabel: endLabel, continueLabel: condLabel, tryDepth: this.current.tryFrames.length });
|
|
21
|
+
this.emitStatement(statement.statement);
|
|
22
|
+
this.current.loops.pop();
|
|
23
|
+
if (!this.current.terminated)
|
|
24
|
+
this.terminate(`br label %${condLabel}`);
|
|
25
|
+
this.startBlock(endLabel);
|
|
26
|
+
},
|
|
27
|
+
emitDo(statement) {
|
|
28
|
+
const bodyLabel = this.label("do.body");
|
|
29
|
+
const condLabel = this.label("do.cond");
|
|
30
|
+
const endLabel = this.label("do.end");
|
|
31
|
+
this.terminate(`br label %${bodyLabel}`);
|
|
32
|
+
this.startBlock(bodyLabel);
|
|
33
|
+
this.current.loops.push({ breakLabel: endLabel, continueLabel: condLabel, tryDepth: this.current.tryFrames.length });
|
|
34
|
+
this.emitStatement(statement.statement);
|
|
35
|
+
this.current.loops.pop();
|
|
36
|
+
if (!this.current.terminated)
|
|
37
|
+
this.terminate(`br label %${condLabel}`);
|
|
38
|
+
this.startBlock(condLabel);
|
|
39
|
+
const condition = this.emitExpression(statement.condition);
|
|
40
|
+
const truthy = this.reg();
|
|
41
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
|
|
42
|
+
const nonzero = this.reg();
|
|
43
|
+
this.emit(` ${nonzero} = icmp ne i32 ${truthy}, 0`);
|
|
44
|
+
this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
|
|
45
|
+
this.startBlock(endLabel);
|
|
46
|
+
},
|
|
47
|
+
emitFor(statement) {
|
|
48
|
+
if (statement.initializer && statement.initializer.kind === SyntaxKind.VariableDeclarationList) {
|
|
49
|
+
this.emitVariableStatement({
|
|
50
|
+
kind: SyntaxKind.VariableStatement,
|
|
51
|
+
declarationList: statement.initializer,
|
|
52
|
+
modifiers: [],
|
|
53
|
+
start: statement.initializer.start,
|
|
54
|
+
end: statement.initializer.end,
|
|
55
|
+
});
|
|
56
|
+
}
|
|
57
|
+
else if (statement.initializer) {
|
|
58
|
+
this.emitExpression(statement.initializer);
|
|
59
|
+
}
|
|
60
|
+
const condLabel = this.label("for.cond");
|
|
61
|
+
const bodyLabel = this.label("for.body");
|
|
62
|
+
const updateLabel = this.label("for.update");
|
|
63
|
+
const endLabel = this.label("for.end");
|
|
64
|
+
this.terminate(`br label %${condLabel}`);
|
|
65
|
+
this.startBlock(condLabel);
|
|
66
|
+
if (statement.condition) {
|
|
67
|
+
const condition = this.emitExpression(statement.condition);
|
|
68
|
+
const truthy = this.reg();
|
|
69
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${condition})`);
|
|
70
|
+
const nonzero = this.reg();
|
|
71
|
+
this.emit(` ${nonzero} = icmp ne i32 ${truthy}, 0`);
|
|
72
|
+
this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
|
|
73
|
+
}
|
|
74
|
+
else {
|
|
75
|
+
this.terminate(`br label %${bodyLabel}`);
|
|
76
|
+
}
|
|
77
|
+
this.startBlock(bodyLabel);
|
|
78
|
+
this.current.loops.push({ breakLabel: endLabel, continueLabel: updateLabel, tryDepth: this.current.tryFrames.length });
|
|
79
|
+
this.emitStatement(statement.statement);
|
|
80
|
+
this.current.loops.pop();
|
|
81
|
+
if (!this.current.terminated)
|
|
82
|
+
this.terminate(`br label %${updateLabel}`);
|
|
83
|
+
this.startBlock(updateLabel);
|
|
84
|
+
if (statement.incrementor)
|
|
85
|
+
this.emitExpression(statement.incrementor);
|
|
86
|
+
this.terminate(`br label %${condLabel}`);
|
|
87
|
+
this.startBlock(endLabel);
|
|
88
|
+
},
|
|
89
|
+
/** `for (const x of xs)` / `for (const k in obj)` over arrays, strings and objects. */
|
|
90
|
+
emitForOf(statement) {
|
|
91
|
+
const source = this.emitExpression(statement.expression);
|
|
92
|
+
const isForIn = statement.kind === SyntaxKind.ForInStatement;
|
|
93
|
+
// `for...in` iterates the enumerable keys (indices become strings);
|
|
94
|
+
// `for...of` iterates the values at each index.
|
|
95
|
+
const iterable = isForIn ? this.runtimeCall("xt_object_keys", [source]) : source;
|
|
96
|
+
const indexPtr = this.alloca();
|
|
97
|
+
this.emit(` store i64 ${numberLiteral(0)}, i64* ${indexPtr}`);
|
|
98
|
+
const lengthValue = this.reg();
|
|
99
|
+
this.emit(` ${lengthValue} = call i64 @xt_iter_length(i64 ${iterable})`);
|
|
100
|
+
const condLabel = this.label("forof.cond");
|
|
101
|
+
const bodyLabel = this.label("forof.body");
|
|
102
|
+
const updateLabel = this.label("forof.update");
|
|
103
|
+
const endLabel = this.label("forof.end");
|
|
104
|
+
this.terminate(`br label %${condLabel}`);
|
|
105
|
+
this.startBlock(condLabel);
|
|
106
|
+
const index = this.reg();
|
|
107
|
+
this.emit(` ${index} = load i64, i64* ${indexPtr}`);
|
|
108
|
+
const inRange = this.reg();
|
|
109
|
+
this.emit(` ${inRange} = call i64 @xt_lt(i64 ${index}, i64 ${lengthValue})`);
|
|
110
|
+
const truthy = this.reg();
|
|
111
|
+
this.emit(` ${truthy} = call i32 @xt_truthy(i64 ${inRange})`);
|
|
112
|
+
const nonzero = this.reg();
|
|
113
|
+
this.emit(` ${nonzero} = icmp ne i32 ${truthy}, 0`);
|
|
114
|
+
this.terminate(`br i1 ${nonzero}, label %${bodyLabel}, label %${endLabel}`);
|
|
115
|
+
this.startBlock(bodyLabel);
|
|
116
|
+
const element = this.reg();
|
|
117
|
+
this.emit(` ${element} = call i64 @xt_iter_value(i64 ${iterable}, i64 ${index})`);
|
|
118
|
+
this.bindLoopVariable(statement.initializer, element);
|
|
119
|
+
this.current.loops.push({ breakLabel: endLabel, continueLabel: updateLabel, tryDepth: this.current.tryFrames.length });
|
|
120
|
+
this.emitStatement(statement.statement);
|
|
121
|
+
this.current.loops.pop();
|
|
122
|
+
if (!this.current.terminated)
|
|
123
|
+
this.terminate(`br label %${updateLabel}`);
|
|
124
|
+
this.startBlock(updateLabel);
|
|
125
|
+
const next = this.reg();
|
|
126
|
+
this.emit(` ${next} = call i64 @xt_add(i64 ${index}, i64 ${numberLiteral(1)})`);
|
|
127
|
+
this.emit(` store i64 ${next}, i64* ${indexPtr}`);
|
|
128
|
+
this.terminate(`br label %${condLabel}`);
|
|
129
|
+
this.startBlock(endLabel);
|
|
130
|
+
},
|
|
131
|
+
bindLoopVariable(initializer, value) {
|
|
132
|
+
if (initializer.kind === SyntaxKind.VariableDeclarationList) {
|
|
133
|
+
const declaration = initializer.declarations[0];
|
|
134
|
+
if (!declaration)
|
|
135
|
+
return;
|
|
136
|
+
if (declaration.name.kind !== SyntaxKind.Identifier) {
|
|
137
|
+
this.emitBindingPattern(declaration.name, value);
|
|
138
|
+
return;
|
|
139
|
+
}
|
|
140
|
+
const symbol = this.binding.symbolOfDeclaration.get(declaration) ?? this.binding.symbolOfDeclaration.get(declaration.name);
|
|
141
|
+
if (symbol) {
|
|
142
|
+
if (this.current.slots.has(symbol.id))
|
|
143
|
+
this.writeSlot(symbol, value);
|
|
144
|
+
else
|
|
145
|
+
this.declareSlot(symbol, value);
|
|
146
|
+
}
|
|
147
|
+
return;
|
|
148
|
+
}
|
|
149
|
+
this.emitAssignmentTarget(initializer, value);
|
|
150
|
+
},
|
|
151
|
+
};
|
|
152
|
+
//# sourceMappingURL=loops.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"loops.js","sourceRoot":"","sources":["../../../../../src/codegen/generator/statements/loops.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,UAAU,GAQX,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAWhD,MAAM,CAAC,MAAM,oBAAoB,GAAyB;IACxD,SAAS,CAAC,SAAyB;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACrH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,SAAsB;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACrH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAEvE,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,CAAC,SAAuB;QAC7B,IAAI,SAAS,CAAC,WAAW,IAAI,SAAS,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YAC/F,IAAI,CAAC,qBAAqB,CAAC;gBACzB,IAAI,EAAE,UAAU,CAAC,iBAAiB;gBAClC,eAAe,EAAE,SAAS,CAAC,WAAsC;gBACjE,SAAS,EAAE,EAAE;gBACb,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,KAAK;gBAClC,GAAG,EAAE,SAAS,CAAC,WAAW,CAAC,GAAG;aAC/B,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YACjC,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,WAAyB,CAAC,CAAC;QAC3D,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACzC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAEzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;YACxB,MAAM,SAAS,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,SAAS,GAAG,CAAC,CAAC;YACjE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;YACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAC9E,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAC3C,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACvH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,WAAW,EAAE,CAAC,CAAC;QAEzE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC7B,IAAI,SAAS,CAAC,WAAW;YAAE,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACtE,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,uFAAuF;IACvF,SAAS,CAAC,SAA0C;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,CAAC;QAC7D,oEAAoE;QACpE,gDAAgD;QAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,eAAe,aAAa,CAAC,CAAC,CAAC,UAAU,QAAQ,EAAE,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,KAAK,WAAW,mCAAmC,QAAQ,GAAG,CAAC,CAAC;QAE1E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QAEzC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,qBAAqB,QAAQ,EAAE,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,0BAA0B,KAAK,SAAS,WAAW,GAAG,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,8BAA8B,OAAO,GAAG,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kBAAkB,MAAM,KAAK,CAAC,CAAC;QACrD,IAAI,CAAC,SAAS,CAAC,SAAS,OAAO,YAAY,SAAS,YAAY,QAAQ,EAAE,CAAC,CAAC;QAE5E,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,kCAAkC,QAAQ,SAAS,KAAK,GAAG,CAAC,CAAC;QACnF,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC;QACvH,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU;YAAE,IAAI,CAAC,SAAS,CAAC,aAAa,WAAW,EAAE,CAAC,CAAC;QAEzE,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,2BAA2B,KAAK,SAAS,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,UAAU,QAAQ,EAAE,CAAC,CAAC;QACnD,IAAI,CAAC,SAAS,CAAC,aAAa,SAAS,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,gBAAgB,CAAC,WAAiD,EAAE,KAAa;QAC/E,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,uBAAuB,EAAE,CAAC;YAC5D,MAAM,WAAW,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,CAAC,WAAW;gBAAE,OAAO;YACzB,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,UAAU,EAAE,CAAC;gBACpD,IAAI,CAAC,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACjD,OAAO;YACT,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAC3H,IAAI,MAAM,EAAE,CAAC;gBACX,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;;oBAChE,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACvC,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,WAAyB,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC;CACF,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Variable lowering: declarations, destructuring bindings, default values and
|
|
3
|
+
* enum objects.
|
|
4
|
+
*/
|
|
5
|
+
import { type BindingName, type EnumDeclaration, type Expression, type VariableStatement } from "../../../ast/nodes.js";
|
|
6
|
+
import type { Generator } from "../generator.js";
|
|
7
|
+
export interface VariableStatementMethods {
|
|
8
|
+
emitVariableStatement(this: Generator, statement: VariableStatement): void;
|
|
9
|
+
emitBindingPattern(this: Generator, name: BindingName, value: string): void;
|
|
10
|
+
emitBindingDefault(this: Generator, value: string, initializer: Expression): string;
|
|
11
|
+
emitEnum(this: Generator, statement: EnumDeclaration): void;
|
|
12
|
+
}
|
|
13
|
+
export declare const variableStatementMethods: VariableStatementMethods;
|