@scriptc/compiler 0.2.4 → 0.2.5

package/dist/backend/llvm/emitter.d.ts

@@ -36,6 +36,8 @@ export declare class LlEmitter {
     readonly mod: IrModule;
     localArrayReads: Map<string, LocalArrayRead>;
     private localStackUnions;
+    private localUnionStorageProofs;
+    private localUnionStorage;
     integerArrayBindings: Set<string>;
     private readonly fieldAliasTags;
     private readonly fieldPointerTags;
@@ -189,6 +191,8 @@ export declare class LlEmitter {
      * for blocks and switches. */
     private jumpTargets;
     private currentLocals;
+    private readonly initializerBindings;
+    private numericLocals;
     private captureIds;
     /** Active induction bindings retain their width independently of size_t. */
     integerLoopBindings: Map<string, {
@@ -456,8 +460,9 @@ export declare class LlEmitter {
      * The pending exception remains for the adapter's caller to handle. */
     private emitOwnedCallAdapter;
     /** A local stable binding keeps its value alive while later arguments
-     * and the callee execute. Global, captured, TDZ and mutable bindings need
-     * an owned snapshot, even when the callee only inspects the value. */
+     * and the callee execute. A proven local union box cannot escape or be
+     * rebound during a call; its independent payload owner keeps it alive.
+     * Other writable bindings need an owned snapshot. */
     canBorrowCallArgument(value: IrExpr): boolean;
     private emitStmts;
     /** Emits a block in its own lexical scope (refcounted locals released at
@@ -494,7 +499,8 @@ export declare class LlEmitter {
     private emitTryCatch;
     /** JS-exact switch: lazily evaluated, arbitrary-expression case tests in
      * source order, bodies falling through in source order until a break —
-     * A chain of conditional branches. All case bodies
+     * Literal-only tests can use native dispatch; other tests keep a chain
+     * of conditional branches. All case bodies
      * share ONE scope; because dispatch can jump PAST a varDecl into a later
      * case, refcounted/boxed case-body locals are NULL-reset up front and
      * the scope-exit releases rely on NULL tolerance. */