@scriptc/compiler 0.3.5 → 0.4.0

package/dist/backend/llvm/lib-test.js

@@ -1,12 +1,11 @@
 import { InternalCompilerError } from "../../errors.js";
 import { abiValue, callRuntime, finishRuntimeCall, ptr } from "./lib-abi.js";
-import { f64Lit } from "./common.js";
 export function emitTestLibCall(host, e) {
     const args = e.args.map((arg) => host.emitExpr(arg)), a = args.map((arg) => abiValue(host, arg));
     host.usesTimers = true;
     switch (e.fn) {
         case "test.register":
-            host.moveTemp(args[3]);
+            host.toHeap(args[3]);
             return finishRuntimeCall(host, e, "scr_test_register", a);
         case "test.registerEmpty":
             return finishRuntimeCall(host, e, "scr_test_register", [
@@ -15,21 +14,21 @@ export function emitTestLibCall(host, e) {
                 ...a.slice(3),
             ]);
         case "test.suite":
-            host.moveTemp(args[3]);
+            host.toHeap(args[3]);
             return finishRuntimeCall(host, e, "scr_test_suite", a);
         case "test.hook":
-            host.moveTemp(args[1]);
+            host.toHeap(args[1]);
             return finishRuntimeCall(host, e, "scr_test_hook", a);
         case "test.sub":
-            host.moveTemp(args[4]);
+            host.toHeap(args[4]);
             return finishRuntimeCall(host, e, "scr_test_sub", a);
         case "test.subEmpty": {
             const promise = callRuntime(host, "scr_test_sub", "ptr", [
                 ...a.slice(0, 4),
                 ptr(),
-                { type: "double", name: f64Lit(0) },
-                a[4],
+                ...a.slice(4),
             ]);
+            host.emitPendingCheck();
             callRuntime(host, "scr_promise_release", "void", [ptr(promise)]);
             return { name: "", type: e.type };
         }
@@ -43,13 +42,63 @@ export function emitTestLibCall(host, e) {
             return finishRuntimeCall(host, e, "scr_test_ctx_name", a);
         case "test.ctxFullName":
             return finishRuntimeCall(host, e, "scr_test_ctx_full_name", a);
+        case "test.ctxPassed":
+            return finishRuntimeCall(host, e, "scr_test_ctx_passed", a);
+        case "test.workerId":
+            return finishRuntimeCall(host, e, "scr_test_worker_id", a);
+        case "test.hasContext":
+            return finishRuntimeCall(host, e, "scr_test_has_context", a);
+        case "test.context":
+            return finishRuntimeCall(host, e, "scr_test_context", a);
         case "test.ctxHook":
-            host.moveTemp(args[2]);
+            host.toHeap(args[2]);
             return finishRuntimeCall(host, e, "scr_test_ctx_hook", a);
         case "test.ctxPlan":
             return finishRuntimeCall(host, e, "scr_test_ctx_plan", a);
         case "test.ctxCount":
             return finishRuntimeCall(host, e, "scr_test_ctx_count", a);
+        case "test.mockTrack":
+            host.toHeap(args[0]);
+            return finishRuntimeCall(host, e, "scr_test_mock_track", a);
+        case "test.mockRestoreAll":
+            return finishRuntimeCall(host, e, "scr_test_mock_restore_all", a);
+        case "test.mockReset":
+            return finishRuntimeCall(host, e, "scr_test_mock_reset", a);
+        case "test.ctxMockTrack":
+            host.toHeap(args[1]);
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_track", a);
+        case "test.ctxMockRestoreAll":
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_restore_all", a);
+        case "test.ctxMockReset":
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_reset", a);
+        case "test.snapshotValue":
+            return finishRuntimeCall(host, e, "scr_test_snapshot_value", a);
+        case "test.ctxSnapshot":
+            return finishRuntimeCall(host, e, "scr_test_ctx_snapshot", a);
+        case "test.fileSnapshot":
+            return finishRuntimeCall(host, e, "scr_test_file_snapshot", a);
+        case "test.snapshotSerialize":
+            return finishRuntimeCall(host, e, "scr_test_snapshot_serialize", a);
+        case "test.mockTimersEnable":
+            return finishRuntimeCall(host, e, "scr_test_mock_timers_enable", a);
+        case "test.mockTimersTick":
+            return finishRuntimeCall(host, e, "scr_test_mock_timers_tick", a);
+        case "test.mockTimersRunAll":
+            return finishRuntimeCall(host, e, "scr_test_mock_timers_run_all", a);
+        case "test.mockTimersReset":
+            return finishRuntimeCall(host, e, "scr_test_mock_timers_reset", a);
+        case "test.mockTimersSetTime":
+            return finishRuntimeCall(host, e, "scr_test_mock_timers_set_time", a);
+        case "test.ctxMockTimersEnable":
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_timers_enable", a);
+        case "test.ctxMockTimersTick":
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_timers_tick", a);
+        case "test.ctxMockTimersRunAll":
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_timers_run_all", a);
+        case "test.ctxMockTimersReset":
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_timers_reset", a);
+        case "test.ctxMockTimersSetTime":
+            return finishRuntimeCall(host, e, "scr_test_ctx_mock_timers_set_time", a);
         default:
             throw new InternalCompilerError(`unhandled test call ${e.fn}`);
     }

package/dist/backend/llvm/lib-test.js.map

@@ -1 +1 @@
-{"version":3,"file":"lib-test.js","sourceRoot":"","sources":["../../../src/backend/llvm/lib-test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAExD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,MAAM,UAAU,eAAe,CAAC,IAAwB,EAAE,CAAc;IACtE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAClD,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,eAAe;YAClB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE;gBACrD,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,EAAE;gBACL,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;aACd,CAAC,CAAC;QACL,KAAK,YAAY;YACf,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;QACzD,KAAK,WAAW;YACd,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;QACxD,KAAK,UAAU;YACb,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;QACvD,KAAK,eAAe,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE;gBACvD,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,EAAE;gBACL,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE;gBACnC,CAAC,CAAC,CAAC,CAAE;aACN,CAAC,CAAC;YACH,WAAW,CAAC,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACjE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,kBAAkB;YACrB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC;QACjE,KAAK,cAAc;YACjB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC;QAC7D;YACE,MAAM,IAAI,qBAAqB,CAAC,uBAAuB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC"}
+{"version":3,"file":"lib-test.js","sourceRoot":"","sources":["../../../src/backend/llvm/lib-test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAExD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AAE7E,MAAM,UAAU,eAAe,CAAC,IAAwB,EAAE,CAAc;IACtE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAClD,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,eAAe;YAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE;gBACrD,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,EAAE;gBACL,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;aACd,CAAC,CAAC;QACL,KAAK,YAAY;YACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;QACzD,KAAK,WAAW;YACd,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;QACxD,KAAK,UAAU;YACb,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;QACvD,KAAK,eAAe,EAAE,CAAC;YACrB,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE;gBACvD,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,EAAE;gBACL,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;aACd,CAAC,CAAC;YACH,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACjE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACpC,CAAC;QACD,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,kBAAkB;YACrB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC;QACjE,KAAK,gBAAgB;YACnB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC;QAC9D,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC;QAC7D,KAAK,iBAAiB;YACpB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC;QAC/D,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC;QAC3D,KAAK,cAAc;YACjB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,cAAc;YACjB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC5D,KAAK,eAAe;YAClB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC;QAC7D,KAAK,gBAAgB;YACnB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC;QAC9D,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,2BAA2B,EAAE,CAAC,CAAC,CAAC;QACpE,KAAK,gBAAgB;YACnB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC;QAC9D,KAAK,mBAAmB;YACtB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,+BAA+B,EAAE,CAAC,CAAC,CAAC;QACxE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,kBAAkB;YACrB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,CAAC;QAChE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,wBAAwB,EAAE,CAAC,CAAC,CAAC;QACjE,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,6BAA6B,EAAE,CAAC,CAAC,CAAC;QACtE,KAAK,uBAAuB;YAC1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,6BAA6B,EAAE,CAAC,CAAC,CAAC;QACtE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,2BAA2B,EAAE,CAAC,CAAC,CAAC;QACpE,KAAK,uBAAuB;YAC1B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,8BAA8B,EAAE,CAAC,CAAC,CAAC;QACvE,KAAK,sBAAsB;YACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,4BAA4B,EAAE,CAAC,CAAC,CAAC;QACrE,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,+BAA+B,EAAE,CAAC,CAAC,CAAC;QACxE,KAAK,0BAA0B;YAC7B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,iCAAiC,EAAE,CAAC,CAAC,CAAC;QAC1E,KAAK,wBAAwB;YAC3B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,+BAA+B,EAAE,CAAC,CAAC,CAAC;QACxE,KAAK,0BAA0B;YAC7B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,kCAAkC,EAAE,CAAC,CAAC,CAAC;QAC3E,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,gCAAgC,EAAE,CAAC,CAAC,CAAC;QACzE,KAAK,2BAA2B;YAC9B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mCAAmC,EAAE,CAAC,CAAC,CAAC;QAC5E;YACE,MAAM,IAAI,qBAAqB,CAAC,uBAAuB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC"}

package/dist/backend/llvm/lib-tls.js

@@ -62,10 +62,10 @@ export function emitTlsLibCall(host, e) {
         case "tls.connect":
         case "tls.connectCb":
             if (args[3] !== undefined)
-                host.moveTemp(args[3]);
+                host.toHeap(args[3]);
             return finishRuntimeCall(host, e, "scr_tls_connect_dyn", [...a.slice(0, 3), a[3] ?? ptr()]);
         case "tls.sockOnSecureConnect":
-            host.moveTemp(args[1]);
+            host.toHeap(args[1]);
             return finishRuntimeCall(host, e, "scr_tls_sock_on_secure_connect", a);
         case "tls.sockOnSession": {
             const cb = args[1], type = callbackType(cb);
@@ -115,13 +115,8 @@ export function emitTlsLibCall(host, e) {
             ]);
             B.br(done);
             B.startBlock(plain);
-            const insecure = callRuntime(host, "scr_http_request_ex", "ptr", [
-                ...a.slice(1, 8),
-                ...handler,
-                { type: "i32", name: "80" },
-                ptr(),
-                ptr(),
-            ]);
+            // The plain arm is http.request: Node's global agent serves it.
+            const insecure = callRuntime(host, "scr_http_request", "ptr", [...a.slice(1, 8), ...handler]);
             B.br(done);
             B.startBlock(done);
             const result = B.tmp();

package/dist/backend/llvm/lib-tls.js.map

@@ -1 +1 @@
-{"version":3,"file":"lib-tls.js","sourceRoot":"","sources":["../../../src/backend/llvm/lib-tls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAExD,OAAO,EACL,QAAQ,EACR,WAAW,EACX,eAAe,EACf,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,GAAG,EACH,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,CAAc;IACrE,IAAI,CAAC,CAAC,EAAE,KAAK,gBAAgB;QAAE,OAAO,sBAAsB,CAAC,IAAI,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,oBAAoB,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,oBAAoB;oBAC7B,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC1B,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;wBAClC,CAAC,CAAC,qBAAqB;wBACvB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACV,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,EACD,CAAC,CAAC,EAAE,KAAK,oBAAoB,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,uBAAuB,EACnF,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,GAAG,OAAO,CAAC,CACvE,CAAC;QACJ,CAAC;QACD,KAAK,qBAAqB,CAAC;QAC3B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,yBAAyB,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;oBACzB,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC1B,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;wBAClC,CAAC,CAAC,qBAAqB;wBACvB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACV,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,2BAA2B,EACvF,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,GAAG,OAAO,CAAC,CACpB,CAAC;QACJ,CAAC;QACD,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,+BAA+B,EAAE;gBACjE,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;gBAC3B,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;aAC5B,CAAC,CAAC;QACL,KAAK,4BAA4B;YAC/B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mCAAmC,EAAE,CAAC,CAAC,CAAC;QAC5E,KAAK,YAAY;YACf,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,sBAAsB,EAAE;gBACxD,CAAC,CAAC,CAAC,CAAE;gBACL,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAE;aAC7B,CAAC,CAAC;QACL,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,2BAA2B,EAAE,CAAC,CAAC,CAAC;QACpE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,sBAAsB;YACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,4BAA4B,EAAE,CAAC,CAAC,CAAC;QACrE,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACtE,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC9F,KAAK,yBAAyB;YAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,gCAAgC,EAAE,CAAC,CAAC,CAAC;QACzE,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,EACjB,IAAI,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;YAC1B,MAAM,OAAO,GACX,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,qBAAqB;gBACvB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,KAAK;oBAC9B,CAAC,CAAC,wBAAwB;oBAC1B,CAAC,CAAC,0BAA0B,CAAC;YACnC,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE;gBAC3D,CAAC,CAAC,CAAC,CAAE;gBACL,GAAG,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC5D,CAAC,CAAC,CAAC,CAAE;aACN,CAAC,CAAC;QACL,CAAC;QACD,KAAK,oBAAoB,CAAC;QAC1B,KAAK,sBAAsB,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;oBAClC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACR,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE;gBAC3D,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;gBAC3B,CAAC,CAAC,CAAC,CAAE;gBACL,GAAG,OAAO;aACX,CAAC,CAAC;QACL,CAAC;QACD,KAAK,iBAAiB,CAAC;QACvB,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;oBAClC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACR,kFAAkF;YAClF,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EACd,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,EAC/B,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,EACnC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;YACpC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE;gBAC3D,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,GAAG;gBACN,GAAG,OAAO;aACX,CAAC,CAAC;YACH,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACX,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACpB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE;gBAC/D,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,OAAO;gBACV,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;gBAC3B,GAAG,EAAE;gBACL,GAAG,EAAE;aACN,CAAC,CAAC;YACH,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,MAAM,MAAM,GAAG,SAAS,QAAQ,MAAM,KAAK,IAAI,CAAC,CAAC;YACjF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,OAAO,GAAG,CAAC;QACb,CAAC;QACD;YACE,MAAM,IAAI,qBAAqB,CAAC,8BAA8B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC"}
+{"version":3,"file":"lib-tls.js","sourceRoot":"","sources":["../../../src/backend/llvm/lib-tls.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAExD,OAAO,EACL,QAAQ,EACR,WAAW,EACX,eAAe,EACf,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,GAAG,EACH,QAAQ,EACR,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAEzD,MAAM,UAAU,cAAc,CAAC,IAAwB,EAAE,CAAc;IACrE,IAAI,CAAC,CAAC,EAAE,KAAK,gBAAgB;QAAE,OAAO,sBAAsB,CAAC,IAAI,EAAE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAC9F,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;IACvB,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,oBAAoB,EAAE,CAAC;YAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,oBAAoB;oBAC7B,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC1B,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;wBAClC,CAAC,CAAC,qBAAqB;wBACvB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACV,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,EACD,CAAC,CAAC,EAAE,KAAK,oBAAoB,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,uBAAuB,EACnF,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE,GAAG,OAAO,CAAC,CACvE,CAAC;QACJ,CAAC;QACD,KAAK,qBAAqB,CAAC;QAC3B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,uBAAuB,CAAC;QAC7B,KAAK,yBAAyB,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;oBACzB,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC1B,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;wBAClC,CAAC,CAAC,qBAAqB;wBACvB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACV,OAAO,iBAAiB,CACtB,IAAI,EACJ,CAAC,EACD,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,2BAA2B,EACvF,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,GAAG,OAAO,CAAC,CACpB,CAAC;QACJ,CAAC;QACD,KAAK,yBAAyB;YAC5B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,+BAA+B,EAAE;gBACjE,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;gBAC3B,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;aAC5B,CAAC,CAAC;QACL,KAAK,4BAA4B;YAC/B,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,mCAAmC,EAAE,CAAC,CAAC,CAAC;QAC5E,KAAK,YAAY;YACf,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,sBAAsB,EAAE;gBACxD,CAAC,CAAC,CAAC,CAAE;gBACL,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAE;aAC7B,CAAC,CAAC;QACL,KAAK,oBAAoB;YACvB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,qBAAqB;YACxB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,2BAA2B,EAAE,CAAC,CAAC,CAAC;QACpE,KAAK,mBAAmB;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,sBAAsB;YACzB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,4BAA4B,EAAE,CAAC,CAAC,CAAC;QACrE,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,yBAAyB,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACtE,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,qBAAqB,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC9F,KAAK,yBAAyB;YAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACtB,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,gCAAgC,EAAE,CAAC,CAAC,CAAC;QACzE,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,EACjB,IAAI,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;YAC1B,MAAM,OAAO,GACX,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBACtB,CAAC,CAAC,qBAAqB;gBACvB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,KAAK,KAAK;oBAC9B,CAAC,CAAC,wBAAwB;oBAC1B,CAAC,CAAC,0BAA0B,CAAC;YACnC,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE;gBAC3D,CAAC,CAAC,CAAC,CAAE;gBACL,GAAG,eAAe,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC5D,CAAC,CAAC,CAAC,CAAE;aACN,CAAC,CAAC;QACL,CAAC;QACD,KAAK,oBAAoB,CAAC;QAC1B,KAAK,sBAAsB,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;oBAClC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACR,OAAO,iBAAiB,CAAC,IAAI,EAAE,CAAC,EAAE,yBAAyB,EAAE;gBAC3D,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC;gBAC3B,CAAC,CAAC,CAAC,CAAE;gBACL,GAAG,OAAO;aACX,CAAC,CAAC;QACL,CAAC;QACD,KAAK,iBAAiB,CAAC;QACvB,KAAK,mBAAmB,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;YACpB,MAAM,OAAO,GACX,EAAE,KAAK,SAAS;gBACd,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;gBAChB,CAAC,CAAC,eAAe,CACb,IAAI,EACJ,EAAE,EACF,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;oBAClC,CAAC,CAAC,sBAAsB;oBACxB,CAAC,CAAC,yBAAyB,EAC7B,CAAC,KAAK,EAAE,KAAK,CAAC,CACf,CAAC;YACR,kFAAkF;YAClF,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EACd,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,EAC/B,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,EACnC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;YACpC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YAClB,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE;gBAC3D,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChB,GAAG,GAAG;gBACN,GAAG,OAAO;aACX,CAAC,CAAC;YACH,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACX,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACpB,gEAAgE;YAChE,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;YAC9F,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACX,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACvB,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,MAAM,MAAM,GAAG,SAAS,QAAQ,MAAM,KAAK,IAAI,CAAC,CAAC;YACjF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACrD,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,OAAO,GAAG,CAAC;QACb,CAAC;QACD;YACE,MAAM,IAAI,qBAAqB,CAAC,8BAA8B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC"}

package/dist/backend/llvm/local-array-reads.js

@@ -472,7 +472,7 @@ export function emitLocalArrayRead(host, read, localSlot, inline = true) {
         // A slot of a nullable-union array may hold NULL even when present.
         const owned = read.nullableElement ? read.type : read.element;
         const store = (value) => {
-            B.line(`store ptr ${read.borrow ? value : host.retainValue(value, owned)}, ptr ${localSlot}`);
+            B.line(`store ptr ${read.borrow ? value : host.retainFrame(value, owned)}, ptr ${localSlot}`);
         };
         if (inline)
             emitDenseReferenceArrayRead(host, array, index, integerIndex, store, no, slow, join, "ptr");
@@ -514,7 +514,7 @@ export function emitLocalArrayRead(host, read, localSlot, inline = true) {
             B.line(`store i64 ${bits}, ptr ${payload}`);
         }
         else {
-            B.line(`store ptr ${read.borrow ? value : host.retainValue(value, read.element)}, ptr ${payload}`);
+            B.line(`store ptr ${read.borrow ? value : host.retainFrame(value, read.element)}, ptr ${payload}`);
         }
         B.line(`store i32 ${read.presentTag}, ptr ${tag}`);
     };

package/dist/backend/llvm/local-array-reads.test.js

@@ -109,7 +109,7 @@ function fixture() {
         ],
     };
     return {
-        irVersion: 16,
+        irVersion: 17,
         sourceFile: loc.file,
         entry: "main",
         records: [{ id: "cell", fields: [{ name: "x", type: F64 }] }],

package/dist/backend/llvm/local-extents.d.ts

@@ -0,0 +1,19 @@
+import type { IrExpr, IrStmt } from "../../ir/ir.js";
+/** The only read of an owned binding in the last statement of its extent,
+ * when that read can take over the binding's reference: the statement reads
+ * the binding exactly once, outside any loop or try statement nested in it,
+ * assigns it nowhere and mentions no binding derived from it (such a
+ * borrowed alias could depend on the moved reference). After the read no
+ * statement observes the binding again, so the slot can be cleared instead
+ * of retaining the value (scope releases tolerate NULL).
+ *
+ * The binding is declared at `stmts[index]`, or before the list starts when
+ * `index` is -1 (a parameter and its function body). Callers exclude boxed
+ * bindings and must also check that the read node occurs once in the
+ * function: lowering may share one varRef node between several reads.
+ * `rebound` also counts rebound locals as derived (walk locals can borrow
+ * from a parameter while rebinding). */
+export declare function lastUseRead(stmts: readonly IrStmt[], index: number, localId: string, rebound?: boolean): IrExpr | null;
+/** Stores that keep a moved value: the read is the stored value of a field,
+ * record or element store, a record literal field, or a pushed element. */
+export declare function storedLastUseRead(stmts: readonly IrStmt[], index: number, localId: string, rebound?: boolean): IrExpr | null;

package/dist/backend/llvm/local-extents.js

@@ -0,0 +1,169 @@
+import { everyExprChild, everyStmtChild } from "../../ir/traverse.js";
+/** The only read of an owned binding in the last statement of its extent,
+ * when that read can take over the binding's reference: the statement reads
+ * the binding exactly once, outside any loop or try statement nested in it,
+ * assigns it nowhere and mentions no binding derived from it (such a
+ * borrowed alias could depend on the moved reference). After the read no
+ * statement observes the binding again, so the slot can be cleared instead
+ * of retaining the value (scope releases tolerate NULL).
+ *
+ * The binding is declared at `stmts[index]`, or before the list starts when
+ * `index` is -1 (a parameter and its function body). Callers exclude boxed
+ * bindings and must also check that the read node occurs once in the
+ * function: lowering may share one varRef node between several reads.
+ * `rebound` also counts rebound locals as derived (walk locals can borrow
+ * from a parameter while rebinding). */
+export function lastUseRead(stmts, index, localId, rebound = false) {
+    return lastUse(stmts, index, localId, rebound)?.read ?? null;
+}
+/** Stores that keep a moved value: the read is the stored value of a field,
+ * record or element store, a record literal field, or a pushed element. */
+export function storedLastUseRead(stmts, index, localId, rebound = false) {
+    const use = lastUse(stmts, index, localId, rebound);
+    return use !== null && use.stored ? use.read : null;
+}
+function lastUse(stmts, index, localId, rebound) {
+    const { extent, derived } = extentOf(stmts, index, localId, rebound);
+    const last = extent[extent.length - 1];
+    if (last === undefined)
+        return null;
+    const state = {
+        read: null,
+        stored: false,
+        ok: true,
+    };
+    const isRead = (e) => e.kind === "varRef" && e.localId === localId;
+    const stmt = (s) => {
+        if (!state.ok)
+            return false;
+        if ((s.kind === "varDecl" || s.kind === "assign") && derived.has(s.localId)) {
+            state.ok = false;
+            return false;
+        }
+        if (s.kind === "for" ||
+            s.kind === "forOf" ||
+            s.kind === "while" ||
+            s.kind === "doWhile" ||
+            s.kind === "tryCatch") {
+            if (!absentStmt(s, derived))
+                state.ok = false;
+            return state.ok;
+        }
+        if ((s.kind === "fieldSet" || s.kind === "recordSet" || s.kind === "arraySet") &&
+            isRead(s.value))
+            state.stored = true;
+        return everyStmtChild(s, expr, stmt);
+    };
+    const expr = (e) => {
+        if (!state.ok)
+            return false;
+        if (isRead(e)) {
+            if (state.read !== null)
+                state.ok = false;
+            else
+                state.read = e;
+            return state.ok;
+        }
+        if (e.kind === "varRef" || e.kind === "assignExpr" || e.kind === "incDec") {
+            if (derived.has(e.localId))
+                state.ok = false;
+        }
+        else if (e.kind === "closure" || e.kind === "classRef") {
+            for (const id of e.captures ?? [])
+                if (derived.has(id))
+                    state.ok = false;
+        }
+        else if (e.kind === "recordLit") {
+            if (e.fields.some((f) => isRead(f.value)))
+                state.stored = true;
+        }
+        else if (e.kind === "arrIntrinsic" && e.method === "push") {
+            if (e.args.some(isRead))
+                state.stored = true;
+        }
+        if (!state.ok)
+            return false;
+        return everyExprChild(e, expr, stmt);
+    };
+    stmt(last);
+    return state.ok && state.read !== null ? { read: state.read, stored: state.stored } : null;
+}
+/** The statements of a block during which a binding declared at
+ * `stmts[index]` can still be observed: from the declaration through the
+ * last later statement that mentions the binding or any binding derived
+ * from it. A binding is derived when its declaration (or loop binding)
+ * mentions the binding or another derived one: a borrowed projection of a
+ * borrowed binding (`const b = a.f`) stays valid only while the first
+ * binding's own source keeps its value. Closure captures count as
+ * mentions. */
+function extentOf(stmts, index, localId, rebound) {
+    const rest = stmts.slice(index + 1);
+    const derived = new Set([localId]);
+    const assigned = new Set();
+    if (!rebound)
+        for (const s of rest)
+            collectAssignedStmt(s, assigned);
+    // Declarations of other bindings that mention the derived set join it;
+    // repeat until nothing is added (loops can declare backwards).
+    for (;;) {
+        const before = derived.size;
+        for (const s of rest)
+            collectDerivedStmt(s, derived, assigned);
+        if (derived.size === before)
+            break;
+    }
+    let last = -1;
+    for (let i = 0; i < rest.length; i++)
+        if (!absentStmt(rest[i], derived))
+            last = i;
+    return { extent: rest.slice(0, last + 1), derived };
+}
+/** Only bindings that are never assigned can hold a borrowed pointer
+ * derived from another local: an assigned local owns its value (walk
+ * locals root only at parameters, which own nothing to move). */
+function collectDerivedStmt(s, derived, assigned) {
+    if ((s.kind === "varDecl" || s.kind === "forOf" || s.kind === "assign") &&
+        !derived.has(s.localId) &&
+        !assigned.has(s.localId)) {
+        const value = s.kind === "varDecl" ? s.init : s.kind === "assign" ? s.value : s.iterable;
+        if (value !== null && !absentExpr(value, derived))
+            derived.add(s.localId);
+    }
+    return everyStmtChild(s, (e) => collectDerivedExpr(e, derived, assigned), (c) => collectDerivedStmt(c, derived, assigned));
+}
+function collectDerivedExpr(e, derived, assigned) {
+    if (e.kind === "assignExpr" && !derived.has(e.localId) && !assigned.has(e.localId)) {
+        if (!absentExpr(e.value, derived))
+            derived.add(e.localId);
+    }
+    return everyExprChild(e, (c) => collectDerivedExpr(c, derived, assigned), (s) => collectDerivedStmt(s, derived, assigned));
+}
+function collectAssignedStmt(s, assigned) {
+    if (s.kind === "assign")
+        assigned.add(s.localId);
+    return everyStmtChild(s, (e) => collectAssignedExpr(e, assigned), (c) => collectAssignedStmt(c, assigned));
+}
+function collectAssignedExpr(e, assigned) {
+    if (e.kind === "assignExpr" || e.kind === "incDec")
+        assigned.add(e.localId);
+    return everyExprChild(e, (c) => collectAssignedExpr(c, assigned), (s) => collectAssignedStmt(s, assigned));
+}
+/** True while no node of the tree mentions a derived binding. */
+function absentExpr(e, derived) {
+    if (e.kind === "varRef" || e.kind === "assignExpr" || e.kind === "incDec") {
+        if (derived.has(e.localId))
+            return false;
+    }
+    else if (e.kind === "closure" || e.kind === "classRef") {
+        for (const id of e.captures ?? [])
+            if (derived.has(id))
+                return false;
+    }
+    return everyExprChild(e, (c) => absentExpr(c, derived), (s) => absentStmt(s, derived));
+}
+function absentStmt(s, derived) {
+    if ((s.kind === "varDecl" || s.kind === "assign") && derived.has(s.localId))
+        return false;
+    return everyStmtChild(s, (e) => absentExpr(e, derived), (c) => absentStmt(c, derived));
+}
+//# sourceMappingURL=local-extents.js.map

package/dist/backend/llvm/local-extents.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-extents.js","sourceRoot":"","sources":["../../../src/backend/llvm/local-extents.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAEtE;;;;;;;;;;;;;wCAawC;AACxC,MAAM,UAAU,WAAW,CACzB,KAAwB,EACxB,KAAa,EACb,OAAe,EACf,OAAO,GAAG,KAAK;IAEf,OAAO,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC;AAC/D,CAAC;AAED;2EAC2E;AAC3E,MAAM,UAAU,iBAAiB,CAC/B,KAAwB,EACxB,KAAa,EACb,OAAe,EACf,OAAO,GAAG,KAAK;IAEf,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,OAAO,CACd,KAAwB,EACxB,KAAa,EACb,OAAe,EACf,OAAgB;IAEhB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAA0D;QACnE,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,KAAK;QACb,EAAE,EAAE,IAAI;KACT,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;IACpF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5E,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC;YACjB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IACE,CAAC,CAAC,IAAI,KAAK,KAAK;YAChB,CAAC,CAAC,IAAI,KAAK,OAAO;YAClB,CAAC,CAAC,IAAI,KAAK,OAAO;YAClB,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,IAAI,KAAK,UAAU,EACrB,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC;gBAAE,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC;YAC9C,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,CAAC;QACD,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAC1E,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YAEf,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QACtB,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;QAClC,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC;QAC5B,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACd,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC;;gBACrC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;YACpB,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1E,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC;QAC/C,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACzD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE;gBAAE,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC;QAC3E,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QACjE,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC5D,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QAC/C,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7F,CAAC;AAED;;;;;;;eAOe;AACf,SAAS,QAAQ,CACf,KAAwB,EACxB,KAAa,EACb,OAAe,EACf,OAAgB;IAEhB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,CAAC,OAAO;QAAE,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,mBAAmB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACrE,uEAAuE;IACvE,+DAA+D;IAC/D,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM;IACrC,CAAC;IACD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC;YAAE,IAAI,GAAG,CAAC,CAAC;IACnF,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;AACtD,CAAC;AAED;;iEAEiE;AACjE,SAAS,kBAAkB,CACzB,CAAS,EACT,OAAoB,EACpB,QAA6B;IAE7B,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QACnE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;QACvB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EACxB,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACzF,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,cAAc,CACnB,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC/C,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,CAAS,EACT,OAAoB,EACpB,QAA6B;IAE7B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QACnF,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,cAAc,CACnB,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC/C,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAS,EAAE,QAAqB;IAC3D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACjD,OAAO,cAAc,CACnB,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,QAAQ,CAAC,EACvC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,QAAQ,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAS,EAAE,QAAqB;IAC3D,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5E,OAAO,cAAc,CACnB,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,QAAQ,CAAC,EACvC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,QAAQ,CAAC,CACxC,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,SAAS,UAAU,CAAC,CAAS,EAAE,OAA4B;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC1E,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3C,CAAC;SAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACzD,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE;YAAE,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;IACvE,CAAC;IACD,OAAO,cAAc,CACnB,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,EAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAC9B,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,CAAS,EAAE,OAA4B;IACzD,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1F,OAAO,cAAc,CACnB,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,EAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAC9B,CAAC;AACJ,CAAC"}

package/dist/backend/llvm/local-extents.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/backend/llvm/local-extents.test.js

@@ -0,0 +1,92 @@
+import { expect, test } from "vitest";
+import { BOOL, F64, arrayOf } from "../../ir/ir.js";
+import { lastUseRead, storedLastUseRead } from "./local-extents.js";
+const loc = { file: "extents.ts", start: 0, end: 0 };
+const cell = { kind: "object", className: "Cell" };
+const cells = arrayOf(cell);
+const ref = (localId, type = cell) => ({
+    kind: "varRef",
+    localId,
+    type,
+    loc,
+});
+const decl = (localId, init) => ({ kind: "varDecl", localId, init, loc });
+const push = (arr, value) => ({
+    kind: "exprStmt",
+    expr: {
+        kind: "arrIntrinsic",
+        method: "push",
+        receiver: ref(arr, cells),
+        args: [value],
+        type: F64,
+        loc,
+    },
+    loc,
+});
+const field = (obj, name) => ({
+    kind: "fieldGet",
+    obj: ref(obj),
+    className: "Cell",
+    field: name,
+    type: cell,
+    loc,
+});
+const use = (value) => ({
+    kind: "exprStmt",
+    expr: { kind: "call", callee: "use", args: [value], type: F64, loc },
+    loc,
+});
+const fresh = { kind: "new", className: "Cell", args: [], type: cell, loc };
+test("the only read in the last statement of a binding's extent moves", () => {
+    const read = ref("row");
+    const stmts = [decl("row", fresh), use(field("row", "next")), push("out", read)];
+    expect(lastUseRead(stmts, 0, "row")).toBe(read);
+    expect(storedLastUseRead(stmts, 0, "row")).toBe(read);
+    // A call argument is a last use but not a store.
+    const arg = ref("row");
+    const called = [decl("row", fresh), use(arg)];
+    expect(lastUseRead(called, 0, "row")).toBe(arg);
+    expect(storedLastUseRead(called, 0, "row")).toBeNull();
+});
+test("a derived alias extends the extent past the move", () => {
+    const stmts = [decl("row", fresh), decl("next", field("row", "next")), push("out", ref("row"))];
+    // The alias is never mentioned later: the push is still the last use.
+    expect(lastUseRead(stmts, 0, "row")).not.toBeNull();
+    stmts.push(use(ref("next")));
+    expect(lastUseRead(stmts, 0, "row")).toBeNull();
+});
+test("repeated reads, loops and try statements keep the reference", () => {
+    const twice = [
+        decl("row", fresh),
+        {
+            kind: "exprStmt",
+            expr: { kind: "call", callee: "pair", args: [ref("row"), ref("row")], type: F64, loc },
+            loc,
+        },
+    ];
+    expect(lastUseRead(twice, 0, "row")).toBeNull();
+    const looped = [
+        decl("row", fresh),
+        {
+            kind: "while",
+            cond: { kind: "boolLit", value: true, type: BOOL, loc },
+            body: [push("out", ref("row"))],
+            loc,
+        },
+    ];
+    expect(lastUseRead(looped, 0, "row")).toBeNull();
+});
+test("parameters count rebound locals as derived only when asked", () => {
+    // let n = head; n = n.next; this.head = head; use(n)
+    const body = [
+        decl("n", ref("head")),
+        { kind: "assign", localId: "n", value: field("n", "next"), loc },
+        push("out", ref("head")),
+        use(ref("n")),
+    ];
+    // `n` is assigned, so the declaration alone does not derive it...
+    expect(lastUseRead(body, -1, "head")).not.toBeNull();
+    // ...but a walk could borrow from the parameter through it.
+    expect(lastUseRead(body, -1, "head", true)).toBeNull();
+});
+//# sourceMappingURL=local-extents.test.js.map

package/dist/backend/llvm/local-extents.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"local-extents.test.js","sourceRoot":"","sources":["../../../src/backend/llvm/local-extents.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAyC,MAAM,gBAAgB,CAAC;AAC3F,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEpE,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACrD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAC5B,MAAM,GAAG,GAAG,CAAC,OAAe,EAAE,IAAI,GAAW,IAAI,EAAU,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,QAAQ;IACd,OAAO;IACP,IAAI;IACJ,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAClG,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE;QACJ,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;QACzB,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,IAAI,EAAE,GAAG;QACT,GAAG;KACJ;IACD,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,UAAU;IAChB,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC;IACb,SAAS,EAAE,MAAM;IACjB,KAAK,EAAE,IAAI;IACX,IAAI,EAAE,IAAI;IACV,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC;IACtC,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;IACpE,GAAG;CACJ,CAAC,CAAC;AACH,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAEpF,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACjF,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,iDAAiD;IACjD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChG,sEAAsE;IACtE,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,KAAK,GAAa;QACtB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;QAClB;YACE,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACtF,GAAG;SACJ;KACF,CAAC;IACF,MAAM,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChD,MAAM,MAAM,GAAa;QACvB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC;QAClB;YACE,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACvD,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/B,GAAG;SACJ;KACF,CAAC;IACF,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;IACtE,qDAAqD;IACrD,MAAM,IAAI,GAAa;QACrB,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE;QAChE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;KACd,CAAC;IACF,kEAAkE;IAClE,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACrD,4DAA4D;IAC5D,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzD,CAAC,CAAC,CAAC"}

package/dist/backend/llvm/local-union-storage.js

@@ -131,7 +131,7 @@ export function storeLocalUnion(host, storage, expr) {
             B.startBlock(label);
             host.frames.push([]);
             storeLocalUnion(host, storage, value);
-            host.releaseFrame(host.frames.pop());
+            host.releaseTemps(host.frames.pop());
             B.br(join);
         }
         B.startBlock(join);
@@ -171,7 +171,7 @@ export function storeLocalUnion(host, storage, expr) {
         const copied = host.emitOwnedNullableStack(expr);
         source = copied.box;
         owner = copied.owner.name;
-        host.moveTemp(copied.owner);
+        host.toFrame(copied.owner);
     }
     else if (expr.kind === "varRef" && !canStackUnion(expr, host.boxedUnionsById)) {
         // A copy of another binding: snapshot the tag and bits, and retain the
@@ -189,7 +189,7 @@ export function storeLocalUnion(host, storage, expr) {
             B.line(`${isRef} = icmp eq i32 ${tag}, ${refTag}`);
             B.condBr(isRef, yes, join);
             B.startBlock(yes);
-            const retained = host.retainValue(host.unionPeek(source, unionId), storage.ownerType);
+            const retained = host.retainFrame(host.unionPeek(source, unionId), storage.ownerType);
             B.line(`store ptr ${retained}, ptr ${held}`);
             B.br(join);
             B.startBlock(join);
@@ -202,7 +202,7 @@ export function storeLocalUnion(host, storage, expr) {
         source = wrapped.value.name;
         if (wrapped.payload) {
             owner = wrapped.payload.name;
-            host.moveTemp(wrapped.payload);
+            host.toFrame(wrapped.payload);
         }
     }
     else {
@@ -224,7 +224,7 @@ export function storeLocalUnion(host, storage, expr) {
         const old = B.tmp();
         B.line(`${old} = load ptr, ptr ${storage.owner}`);
         B.line(`store ptr ${owner}, ptr ${storage.owner}`);
-        host.releaseValue(old, storage.ownerType);
+        host.releaseFrame(old, storage.ownerType);
     }
 }
 /** Build a scalar optional source (isScalarOptionalSource) in a fresh
@@ -252,7 +252,7 @@ export function emitScalarOptional(host, expr) {
         bindPresent();
         host.frames.push([]);
         storeLocalUnion(host, storage, expr.body);
-        host.releaseFrame(host.frames.pop());
+        host.releaseTemps(host.frames.pop());
         host.chainSlots.delete(expr.id);
         B.br(join);
     }
@@ -266,7 +266,7 @@ export function emitScalarOptional(host, expr) {
         B.startBlock(fallback);
         host.frames.push([]);
         storeLocalUnion(host, storage, expr.right);
-        host.releaseFrame(host.frames.pop());
+        host.releaseTemps(host.frames.pop());
         B.br(join);
     }
     B.startBlock(join);