@tsonic/frontend 0.0.73 → 0.0.75

package/dist/ir/validation/yield-statement-loops.js

@@ -0,0 +1,344 @@
+import { containsYield, createYieldStatement, toReceivePattern, createGeneratorReturnStatement, emitUnsupportedYieldDiagnostic, allocateYieldTempName, flattenStatement, } from "./yield-lowering-helpers.js";
+import { lowerExpressionWithYields, lowerMemberAccessAssignmentWithYields, } from "./yield-expression-lowering.js";
+/**
+ * Process a for statement containing yield.
+ */
+export const processForStatement = (stmt, ctx, processStatement) => {
+    const leadingStatements = [];
+    let initializer = stmt.initializer;
+    if (initializer) {
+        if (initializer.kind === "assignment" &&
+            initializer.operator === "=" &&
+            ((initializer.right.kind === "yield" && !initializer.right.delegate) ||
+                (initializer.left.kind === "memberAccess" &&
+                    containsYield(initializer.left)))) {
+            const receiveTarget = toReceivePattern(initializer.left);
+            if (receiveTarget &&
+                initializer.right.kind === "yield" &&
+                !initializer.right.delegate) {
+                leadingStatements.push(createYieldStatement(initializer.right, receiveTarget, initializer.right.inferredType));
+                initializer = undefined;
+            }
+            else if (receiveTarget) {
+                emitUnsupportedYieldDiagnostic(ctx, "for loop initializer", initializer.right.sourceSpan);
+            }
+            else if (initializer.left.kind === "memberAccess") {
+                const loweredMemberAssignment = lowerMemberAccessAssignmentWithYields(initializer, ctx, {
+                    object: "for loop initializer target object",
+                    property: "for loop initializer target property",
+                    right: "for loop initializer value",
+                });
+                if (!loweredMemberAssignment) {
+                    emitUnsupportedYieldDiagnostic(ctx, "for loop initializer", initializer.right.sourceSpan);
+                }
+                else {
+                    leadingStatements.push(...loweredMemberAssignment.leadingStatements);
+                    leadingStatements.push({
+                        kind: "expressionStatement",
+                        expression: loweredMemberAssignment.loweredAssignment,
+                    });
+                    initializer = undefined;
+                }
+            }
+            else {
+                emitUnsupportedYieldDiagnostic(ctx, "for loop initializer", initializer.right.sourceSpan);
+            }
+        }
+        else if (initializer.kind === "variableDeclaration") {
+            const transformedDecls = initializer.declarations.map((decl) => {
+                if (!decl.initializer || !containsYield(decl.initializer)) {
+                    return decl;
+                }
+                if (decl.initializer.kind === "yield" && !decl.initializer.delegate) {
+                    const tempName = allocateYieldTempName(ctx);
+                    leadingStatements.push(createYieldStatement(decl.initializer, { kind: "identifierPattern", name: tempName }, decl.type ?? decl.initializer.inferredType));
+                    return {
+                        ...decl,
+                        initializer: {
+                            kind: "identifier",
+                            name: tempName,
+                        },
+                    };
+                }
+                const loweredInitializer = lowerExpressionWithYields(decl.initializer, ctx, "for loop initializer", decl.type ?? decl.initializer.inferredType);
+                if (!loweredInitializer) {
+                    return decl;
+                }
+                leadingStatements.push(...loweredInitializer.prelude);
+                return {
+                    ...decl,
+                    initializer: loweredInitializer.expression,
+                };
+            });
+            initializer = {
+                ...initializer,
+                declarations: transformedDecls,
+            };
+        }
+        else if (containsYield(initializer)) {
+            const loweredInitializer = lowerExpressionWithYields(initializer, ctx, "for loop initializer");
+            if (loweredInitializer) {
+                leadingStatements.push(...loweredInitializer.prelude);
+                initializer = loweredInitializer.expression;
+            }
+        }
+    }
+    const loweredCondition = stmt.condition && containsYield(stmt.condition)
+        ? lowerExpressionWithYields(stmt.condition, ctx, "for loop condition")
+        : undefined;
+    const loweredUpdate = stmt.update && containsYield(stmt.update)
+        ? lowerExpressionWithYields(stmt.update, ctx, "for loop update")
+        : undefined;
+    const transformedBody = flattenStatement(processStatement(stmt.body, ctx));
+    if (!loweredCondition && !loweredUpdate) {
+        const transformedFor = {
+            ...stmt,
+            initializer,
+            body: transformedBody,
+        };
+        if (leadingStatements.length === 0) {
+            return transformedFor;
+        }
+        return [...leadingStatements, transformedFor];
+    }
+    const bodyStatements = [];
+    let updateFirstFlagName;
+    if (loweredUpdate) {
+        updateFirstFlagName = allocateYieldTempName(ctx);
+        leadingStatements.push({
+            kind: "variableDeclaration",
+            declarationKind: "let",
+            isExported: false,
+            declarations: [
+                {
+                    kind: "variableDeclarator",
+                    name: { kind: "identifierPattern", name: updateFirstFlagName },
+                    type: { kind: "primitiveType", name: "boolean" },
+                    initializer: { kind: "literal", value: true },
+                },
+            ],
+        });
+        const updateBodyStatements = [...loweredUpdate.prelude];
+        if (!stmt.update || stmt.update.kind !== "yield") {
+            updateBodyStatements.push({
+                kind: "expressionStatement",
+                expression: loweredUpdate.expression,
+            });
+        }
+        bodyStatements.push({
+            kind: "ifStatement",
+            condition: {
+                kind: "unary",
+                operator: "!",
+                expression: { kind: "identifier", name: updateFirstFlagName },
+            },
+            thenStatement: {
+                kind: "blockStatement",
+                statements: updateBodyStatements,
+            },
+        });
+        bodyStatements.push({
+            kind: "expressionStatement",
+            expression: {
+                kind: "assignment",
+                operator: "=",
+                left: { kind: "identifierPattern", name: updateFirstFlagName },
+                right: { kind: "literal", value: false },
+            },
+        });
+    }
+    if (loweredCondition) {
+        bodyStatements.push(...loweredCondition.prelude);
+        bodyStatements.push({
+            kind: "ifStatement",
+            condition: {
+                kind: "unary",
+                operator: "!",
+                expression: loweredCondition.expression,
+            },
+            thenStatement: { kind: "breakStatement" },
+        });
+    }
+    else if (loweredUpdate && stmt.condition) {
+        bodyStatements.push({
+            kind: "ifStatement",
+            condition: {
+                kind: "unary",
+                operator: "!",
+                expression: stmt.condition,
+            },
+            thenStatement: { kind: "breakStatement" },
+        });
+    }
+    if (transformedBody.kind === "blockStatement") {
+        bodyStatements.push(...transformedBody.statements);
+    }
+    else {
+        bodyStatements.push(transformedBody);
+    }
+    const transformedFor = {
+        ...stmt,
+        initializer,
+        condition: { kind: "literal", value: true },
+        update: loweredUpdate ? undefined : stmt.update,
+        body: {
+            kind: "blockStatement",
+            statements: bodyStatements,
+        },
+    };
+    if (leadingStatements.length === 0) {
+        return transformedFor;
+    }
+    return [...leadingStatements, transformedFor];
+};
+/**
+ * Process a for-of statement containing yield.
+ */
+export const processForOfStatement = (stmt, ctx, processStatement) => {
+    if (containsYield(stmt.expression)) {
+        const loweredExpression = lowerExpressionWithYields(stmt.expression, ctx, "for-of expression");
+        if (!loweredExpression) {
+            return {
+                ...stmt,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            };
+        }
+        return [
+            ...loweredExpression.prelude,
+            {
+                ...stmt,
+                expression: loweredExpression.expression,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            },
+        ];
+    }
+    return {
+        ...stmt,
+        body: flattenStatement(processStatement(stmt.body, ctx)),
+    };
+};
+/**
+ * Process a for-in statement containing yield.
+ */
+export const processForInStatement = (stmt, ctx, processStatement) => {
+    if (containsYield(stmt.expression)) {
+        const loweredExpression = lowerExpressionWithYields(stmt.expression, ctx, "for-in expression");
+        if (!loweredExpression) {
+            return {
+                ...stmt,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            };
+        }
+        return [
+            ...loweredExpression.prelude,
+            {
+                ...stmt,
+                expression: loweredExpression.expression,
+                body: flattenStatement(processStatement(stmt.body, ctx)),
+            },
+        ];
+    }
+    return {
+        ...stmt,
+        body: flattenStatement(processStatement(stmt.body, ctx)),
+    };
+};
+/**
+ * Process a switch statement containing yield.
+ */
+export const processSwitchStatement = (stmt, ctx, processStatement) => {
+    if (containsYield(stmt.expression)) {
+        const loweredExpression = lowerExpressionWithYields(stmt.expression, ctx, "switch expression");
+        if (!loweredExpression) {
+            return {
+                ...stmt,
+                cases: stmt.cases.map((c) => ({
+                    ...c,
+                    statements: c.statements.flatMap((s) => {
+                        const result = processStatement(s, ctx);
+                        return Array.isArray(result) ? result : [result];
+                    }),
+                })),
+            };
+        }
+        return [
+            ...loweredExpression.prelude,
+            {
+                ...stmt,
+                expression: loweredExpression.expression,
+                cases: stmt.cases.map((c) => ({
+                    ...c,
+                    statements: c.statements.flatMap((s) => {
+                        const result = processStatement(s, ctx);
+                        return Array.isArray(result) ? result : [result];
+                    }),
+                })),
+            },
+        ];
+    }
+    return {
+        ...stmt,
+        cases: stmt.cases.map((c) => ({
+            ...c,
+            statements: c.statements.flatMap((s) => {
+                const result = processStatement(s, ctx);
+                return Array.isArray(result) ? result : [result];
+            }),
+        })),
+    };
+};
+/**
+ * Process a try statement containing yield.
+ */
+export const processTryStatement = (stmt, ctx, processStatement) => ({
+    ...stmt,
+    tryBlock: flattenStatement(processStatement(stmt.tryBlock, ctx)),
+    catchClause: stmt.catchClause
+        ? {
+            ...stmt.catchClause,
+            body: flattenStatement(processStatement(stmt.catchClause.body, ctx)),
+        }
+        : undefined,
+    finallyBlock: stmt.finallyBlock
+        ? flattenStatement(processStatement(stmt.finallyBlock, ctx))
+        : undefined,
+});
+/**
+ * Process a return statement containing yield.
+ */
+export const processReturnStatement = (stmt, ctx) => {
+    if (stmt.expression && containsYield(stmt.expression)) {
+        const lowered = lowerExpressionWithYields(stmt.expression, ctx, "return expression");
+        if (!lowered) {
+            return createGeneratorReturnStatement(stmt.expression);
+        }
+        return [
+            ...lowered.prelude,
+            createGeneratorReturnStatement(lowered.expression),
+        ];
+    }
+    // Transform return statements in generators to IrGeneratorReturnStatement
+    // This captures the return value for generators with TReturn
+    // The emitter will emit: __returnValue = expr; yield break;
+    return createGeneratorReturnStatement(stmt.expression);
+};
+/**
+ * Process a throw statement containing yield.
+ */
+export const processThrowStatement = (stmt, ctx) => {
+    if (containsYield(stmt.expression)) {
+        const lowered = lowerExpressionWithYields(stmt.expression, ctx, "throw expression");
+        if (!lowered) {
+            return stmt;
+        }
+        return [
+            ...lowered.prelude,
+            {
+                kind: "throwStatement",
+                expression: lowered.expression,
+            },
+        ];
+    }
+    return stmt;
+};
+//# sourceMappingURL=yield-statement-loops.js.map

package/dist/ir/validation/yield-statement-loops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-statement-loops.js","sourceRoot":"","sources":["../../../src/ir/validation/yield-statement-loops.ts"],"names":[],"mappings":"AAWA,OAAO,EAEL,aAAa,EACb,oBAAoB,EACpB,gBAAgB,EAChB,8BAA8B,EAC9B,8BAA8B,EAC9B,qBAAqB,EACrB,gBAAgB,GACjB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,yBAAyB,EACzB,qCAAqC,GACtC,MAAM,gCAAgC,CAAC;AAExC;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAoD,EACpD,GAAoB,EACpB,gBAGyC,EACH,EAAE;IACxC,MAAM,iBAAiB,GAAkB,EAAE,CAAC;IAC5C,IAAI,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IAEnC,IAAI,WAAW,EAAE,CAAC;QAChB,IACE,WAAW,CAAC,IAAI,KAAK,YAAY;YACjC,WAAW,CAAC,QAAQ,KAAK,GAAG;YAC5B,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC;gBAClE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;oBACvC,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EACrC,CAAC;YACD,MAAM,aAAa,GAAG,gBAAgB,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACzD,IACE,aAAa;gBACb,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;gBAClC,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,EAC3B,CAAC;gBACD,iBAAiB,CAAC,IAAI,CACpB,oBAAoB,CAClB,WAAW,CAAC,KAAK,EACjB,aAAa,EACb,WAAW,CAAC,KAAK,CAAC,YAAY,CAC/B,CACF,CAAC;gBACF,WAAW,GAAG,SAAS,CAAC;YAC1B,CAAC;iBAAM,IAAI,aAAa,EAAE,CAAC;gBACzB,8BAA8B,CAC5B,GAAG,EACH,sBAAsB,EACtB,WAAW,CAAC,KAAK,CAAC,UAAU,CAC7B,CAAC;YACJ,CAAC;iBAAM,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACpD,MAAM,uBAAuB,GAAG,qCAAqC,CACnE,WAAW,EACX,GAAG,EACH;oBACE,MAAM,EAAE,oCAAoC;oBAC5C,QAAQ,EAAE,sCAAsC;oBAChD,KAAK,EAAE,4BAA4B;iBACpC,CACF,CAAC;gBACF,IAAI,CAAC,uBAAuB,EAAE,CAAC;oBAC7B,8BAA8B,CAC5B,GAAG,EACH,sBAAsB,EACtB,WAAW,CAAC,KAAK,CAAC,UAAU,CAC7B,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,iBAAiB,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,CAAC;oBACrE,iBAAiB,CAAC,IAAI,CAAC;wBACrB,IAAI,EAAE,qBAAqB;wBAC3B,UAAU,EAAE,uBAAuB,CAAC,iBAAiB;qBACtD,CAAC,CAAC;oBACH,WAAW,GAAG,SAAS,CAAC;gBAC1B,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,8BAA8B,CAC5B,GAAG,EACH,sBAAsB,EACtB,WAAW,CAAC,KAAK,CAAC,UAAU,CAC7B,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACtD,MAAM,gBAAgB,GAAG,WAAW,CAAC,YAAY,CAAC,GAAG,CACnD,CAAC,IAA0B,EAAE,EAAE;gBAC7B,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC1D,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;oBACpE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;oBAC5C,iBAAiB,CAAC,IAAI,CACpB,oBAAoB,CAClB,IAAI,CAAC,WAAW,EAChB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,EAC7C,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,YAAY,CAC3C,CACF,CAAC;oBACF,OAAO;wBACL,GAAG,IAAI;wBACP,WAAW,EAAE;4BACX,IAAI,EAAE,YAAY;4BAClB,IAAI,EAAE,QAAQ;yBACN;qBACX,CAAC;gBACJ,CAAC;gBAED,MAAM,kBAAkB,GAAG,yBAAyB,CAClD,IAAI,CAAC,WAAW,EAChB,GAAG,EACH,sBAAsB,EACtB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,YAAY,CAC3C,CAAC;gBACF,IAAI,CAAC,kBAAkB,EAAE,CAAC;oBACxB,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,iBAAiB,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBACtD,OAAO;oBACL,GAAG,IAAI;oBACP,WAAW,EAAE,kBAAkB,CAAC,UAAU;iBAC3C,CAAC;YACJ,CAAC,CACF,CAAC;YACF,WAAW,GAAG;gBACZ,GAAG,WAAW;gBACd,YAAY,EAAE,gBAAgB;aAC/B,CAAC;QACJ,CAAC;aAAM,IAAI,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;YACtC,MAAM,kBAAkB,GAAG,yBAAyB,CAClD,WAAW,EACX,GAAG,EACH,sBAAsB,CACvB,CAAC;YACF,IAAI,kBAAkB,EAAE,CAAC;gBACvB,iBAAiB,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBACtD,WAAW,GAAG,kBAAkB,CAAC,UAAU,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,gBAAgB,GACpB,IAAI,CAAC,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;QAC7C,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,oBAAoB,CAAC;QACtE,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,aAAa,GACjB,IAAI,CAAC,MAAM,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC;QACvC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,iBAAiB,CAAC;QAChE,CAAC,CAAC,SAAS,CAAC;IAEhB,MAAM,eAAe,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,IAAI,CAAC,gBAAgB,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,cAAc,GAAgB;YAClC,GAAG,IAAI;YACP,WAAW;YACX,IAAI,EAAE,eAAe;SACtB,CAAC;QACF,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,OAAO,cAAc,CAAC;QACxB,CAAC;QACD,OAAO,CAAC,GAAG,iBAAiB,EAAE,cAAc,CAAC,CAAC;IAChD,CAAC;IAED,MAAM,cAAc,GAAkB,EAAE,CAAC;IACzC,IAAI,mBAAuC,CAAC;IAC5C,IAAI,aAAa,EAAE,CAAC;QAClB,mBAAmB,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACjD,iBAAiB,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,qBAAqB;YAC3B,eAAe,EAAE,KAAK;YACtB,UAAU,EAAE,KAAK;YACjB,YAAY,EAAE;gBACZ;oBACE,IAAI,EAAE,oBAAoB;oBAC1B,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,mBAAmB,EAAE;oBAC9D,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE;oBAChD,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;iBAC9C;aACF;SACF,CAAC,CAAC;QACH,MAAM,oBAAoB,GAAkB,CAAC,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACvE,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACjD,oBAAoB,CAAC,IAAI,CAAC;gBACxB,IAAI,EAAE,qBAAqB;gBAC3B,UAAU,EAAE,aAAa,CAAC,UAAU;aACrC,CAAC,CAAC;QACL,CAAC;QACD,cAAc,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE;gBACT,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,GAAG;gBACb,UAAU,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,mBAAmB,EAAE;aAC9D;YACD,aAAa,EAAE;gBACb,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,oBAAoB;aACjC;SACF,CAAC,CAAC;QACH,cAAc,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,qBAAqB;YAC3B,UAAU,EAAE;gBACV,IAAI,EAAE,YAAY;gBAClB,QAAQ,EAAE,GAAG;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,mBAAmB,EAAE;gBAC9D,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE;aACzC;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,gBAAgB,EAAE,CAAC;QACrB,cAAc,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACjD,cAAc,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE;gBACT,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,GAAG;gBACb,UAAU,EAAE,gBAAgB,CAAC,UAAU;aACxC;YACD,aAAa,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;SAC1C,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,aAAa,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QAC3C,cAAc,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE;gBACT,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,GAAG;gBACb,UAAU,EAAE,IAAI,CAAC,SAAS;aAC3B;YACD,aAAa,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;SAC1C,CAAC,CAAC;IACL,CAAC;IAED,IAAI,eAAe,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAC9C,cAAc,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC;SAAM,CAAC;QACN,cAAc,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,cAAc,GAAgB;QAClC,GAAG,IAAI;QACP,WAAW;QACX,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;QAC3C,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM;QAC/C,IAAI,EAAE;YACJ,IAAI,EAAE,gBAAgB;YACtB,UAAU,EAAE,cAAc;SAC3B;KACF,CAAC;IAEF,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,OAAO,CAAC,GAAG,iBAAiB,EAAE,cAAc,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAsD,EACtD,GAAoB,EACpB,gBAGyC,EACH,EAAE;IACxC,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,MAAM,iBAAiB,GAAG,yBAAyB,CACjD,IAAI,CAAC,UAAU,EACf,GAAG,EACH,mBAAmB,CACpB,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACzD,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,iBAAiB,CAAC,OAAO;YAC5B;gBACE,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,UAAU;gBACxC,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACzD;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;KACzD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAsD,EACtD,GAAoB,EACpB,gBAGyC,EACH,EAAE;IACxC,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,MAAM,iBAAiB,GAAG,yBAAyB,CACjD,IAAI,CAAC,UAAU,EACf,GAAG,EACH,mBAAmB,CACpB,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACzD,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,iBAAiB,CAAC,OAAO;YAC5B;gBACE,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,UAAU;gBACxC,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;aACzD;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;KACzD,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAuD,EACvD,GAAoB,EACpB,gBAGyC,EACH,EAAE;IACxC,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,MAAM,iBAAiB,GAAG,yBAAyB,CACjD,IAAI,CAAC,UAAU,EACf,GAAG,EACH,mBAAmB,CACpB,CAAC;QACF,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;wBACrC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBACxC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACnD,CAAC,CAAC;iBACH,CAAC,CAAC;aACJ,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,iBAAiB,CAAC,OAAO;YAC5B;gBACE,GAAG,IAAI;gBACP,UAAU,EAAE,iBAAiB,CAAC,UAAU;gBACxC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBAC5B,GAAG,CAAC;oBACJ,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;wBACrC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;wBACxC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACnD,CAAC,CAAC;iBACH,CAAC,CAAC;aACJ;SACF,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,IAAI;QACP,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5B,GAAG,CAAC;YACJ,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;gBACrC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACxC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACnD,CAAC,CAAC;SACH,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,IAAoD,EACpD,GAAoB,EACpB,gBAGyC,EAC5B,EAAE,CAAC,CAAC;IACjB,GAAG,IAAI;IACP,QAAQ,EAAE,gBAAgB,CACxB,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CACjB;IACrB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC3B,CAAC,CAAC;YACE,GAAG,IAAI,CAAC,WAAW;YACnB,IAAI,EAAE,gBAAgB,CACpB,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CACzB;SACtB;QACH,CAAC,CAAC,SAAS;IACb,YAAY,EAAE,IAAI,CAAC,YAAY;QAC7B,CAAC,CAAE,gBAAgB,CACf,gBAAgB,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,CACpB;QACxB,CAAC,CAAC,SAAS;CACd,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,IAAuD,EACvD,GAAoB,EACkB,EAAE;IACxC,IAAI,IAAI,CAAC,UAAU,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,MAAM,OAAO,GAAG,yBAAyB,CACvC,IAAI,CAAC,UAAU,EACf,GAAG,EACH,mBAAmB,CACpB,CAAC;QACF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzD,CAAC;QACD,OAAO;YACL,GAAG,OAAO,CAAC,OAAO;YAClB,8BAA8B,CAAC,OAAO,CAAC,UAAU,CAAC;SACnD,CAAC;IACJ,CAAC;IACD,0EAA0E;IAC1E,6DAA6D;IAC7D,4DAA4D;IAC5D,OAAO,8BAA8B,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAsD,EACtD,GAAoB,EACkB,EAAE;IACxC,IAAI,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,yBAAyB,CACvC,IAAI,CAAC,UAAU,EACf,GAAG,EACH,kBAAkB,CACnB,CAAC;QACF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,GAAG,OAAO,CAAC,OAAO;YAClB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,UAAU,EAAE,OAAO,CAAC,UAAU;aAC/B;SACF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/ir/validation/yield-statement-lowering.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Yield Statement Lowering — Facade
+ *
+ * Wires sub-module statement handlers into a unified `processStatement` dispatcher.
+ *
+ * Sub-modules:
+ * - yield-statement-simple: expression, variable, block, if, while statements
+ * - yield-statement-loops: for, forOf, forIn, switch, try, return, throw statements
+ */
+import { IrStatement } from "../types.js";
+import { type LoweringContext } from "./yield-lowering-helpers.js";
+/**
+ * Process a statement in a generator function body.
+ * Returns the transformed statement(s) - may return multiple statements
+ * when a single statement is split.
+ */
+export declare const processStatement: (stmt: IrStatement, ctx: LoweringContext) => IrStatement | readonly IrStatement[];
+//# sourceMappingURL=yield-statement-lowering.d.ts.map

package/dist/ir/validation/yield-statement-lowering.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-statement-lowering.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/yield-statement-lowering.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAkBnE;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,WAAW,EACjB,KAAK,eAAe,KACnB,WAAW,GAAG,SAAS,WAAW,EAuCpC,CAAC"}

package/dist/ir/validation/yield-statement-lowering.js

@@ -0,0 +1,48 @@
+import { processNonGeneratorStatement } from "./yield-module-processing.js";
+import { processExpressionStatement, processVariableDeclaration, processIfStatement, processWhileStatement, } from "./yield-statement-simple.js";
+import { processForStatement, processForOfStatement, processForInStatement, processSwitchStatement, processTryStatement, processReturnStatement, processThrowStatement, } from "./yield-statement-loops.js";
+/**
+ * Process a statement in a generator function body.
+ * Returns the transformed statement(s) - may return multiple statements
+ * when a single statement is split.
+ */
+export const processStatement = (stmt, ctx) => {
+    if (!ctx.inGenerator) {
+        return processNonGeneratorStatement(stmt, ctx);
+    }
+    switch (stmt.kind) {
+        case "expressionStatement":
+            return processExpressionStatement(stmt, ctx);
+        case "variableDeclaration":
+            return processVariableDeclaration(stmt, ctx);
+        case "blockStatement":
+            return {
+                ...stmt,
+                statements: stmt.statements.flatMap((s) => {
+                    const result = processStatement(s, ctx);
+                    return Array.isArray(result) ? result : [result];
+                }),
+            };
+        case "ifStatement":
+            return processIfStatement(stmt, ctx, processStatement);
+        case "whileStatement":
+            return processWhileStatement(stmt, ctx, processStatement);
+        case "forStatement":
+            return processForStatement(stmt, ctx, processStatement);
+        case "forOfStatement":
+            return processForOfStatement(stmt, ctx, processStatement);
+        case "forInStatement":
+            return processForInStatement(stmt, ctx, processStatement);
+        case "switchStatement":
+            return processSwitchStatement(stmt, ctx, processStatement);
+        case "tryStatement":
+            return processTryStatement(stmt, ctx, processStatement);
+        case "returnStatement":
+            return processReturnStatement(stmt, ctx);
+        case "throwStatement":
+            return processThrowStatement(stmt, ctx);
+        default:
+            return stmt;
+    }
+};
+//# sourceMappingURL=yield-statement-lowering.js.map

package/dist/ir/validation/yield-statement-lowering.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-statement-lowering.js","sourceRoot":"","sources":["../../../src/ir/validation/yield-statement-lowering.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,4BAA4B,EAAE,MAAM,8BAA8B,CAAC;AAC5E,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,EAC1B,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AAEpC;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAiB,EACjB,GAAoB,EACkB,EAAE;IACxC,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC;QACrB,OAAO,4BAA4B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IAED,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,OAAO,0BAA0B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,KAAK,qBAAqB;YACxB,OAAO,0BAA0B,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBACxC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;oBACxC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACnD,CAAC,CAAC;aACH,CAAC;QACJ,KAAK,aAAa;YAChB,OAAO,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;QACzD,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;QAC5D,KAAK,cAAc;YACjB,OAAO,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;QAC1D,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;QAC5D,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;QAC5D,KAAK,iBAAiB;YACpB,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;QAC7D,KAAK,cAAc;YACjB,OAAO,mBAAmB,CAAC,IAAI,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC;QAC1D,KAAK,iBAAiB;YACpB,OAAO,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3C,KAAK,gBAAgB;YACnB,OAAO,qBAAqB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC1C;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC,CAAC"}

package/dist/ir/validation/yield-statement-simple.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Yield Statement Lowering -- Simple Statement Forms
+ *
+ * Handles yield lowering for expression statements, variable declarations,
+ * block statements, if statements, and while statements.
+ */
+import { IrStatement } from "../types.js";
+import { type LoweringContext } from "./yield-lowering-helpers.js";
+/**
+ * Process an expression statement containing yield.
+ */
+export declare const processExpressionStatement: (stmt: Extract<IrStatement, {
+    kind: "expressionStatement";
+}>, ctx: LoweringContext) => IrStatement | readonly IrStatement[];
+/**
+ * Process a variable declaration containing yield.
+ */
+export declare const processVariableDeclaration: (stmt: Extract<IrStatement, {
+    kind: "variableDeclaration";
+}>, ctx: LoweringContext) => IrStatement | readonly IrStatement[];
+/**
+ * Process an if statement containing yield.
+ */
+export declare const processIfStatement: (stmt: Extract<IrStatement, {
+    kind: "ifStatement";
+}>, ctx: LoweringContext, processStatement: (s: IrStatement, c: LoweringContext) => IrStatement | readonly IrStatement[]) => IrStatement | readonly IrStatement[];
+/**
+ * Process a while statement containing yield.
+ */
+export declare const processWhileStatement: (stmt: Extract<IrStatement, {
+    kind: "whileStatement";
+}>, ctx: LoweringContext, processStatement: (s: IrStatement, c: LoweringContext) => IrStatement | readonly IrStatement[]) => IrStatement | readonly IrStatement[];
+//# sourceMappingURL=yield-statement-simple.d.ts.map

package/dist/ir/validation/yield-statement-simple.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yield-statement-simple.d.ts","sourceRoot":"","sources":["../../../src/ir/validation/yield-statement-simple.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,WAAW,EAAgB,MAAM,aAAa,CAAC;AACxD,OAAO,EACL,KAAK,eAAe,EASrB,MAAM,6BAA6B,CAAC;AAMrC;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,KAAK,eAAe,KACnB,WAAW,GAAG,SAAS,WAAW,EA0LpC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,0BAA0B,GACrC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,qBAAqB,CAAA;CAAE,CAAC,EAC3D,KAAK,eAAe,KACnB,WAAW,GAAG,SAAS,WAAW,EA2EpC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,CAAC,EACnD,KAAK,eAAe,EACpB,kBAAkB,CAChB,CAAC,EAAE,WAAW,EACd,CAAC,EAAE,eAAe,KACf,WAAW,GAAG,SAAS,WAAW,EAAE,KACxC,WAAW,GAAG,SAAS,WAAW,EAuCpC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,qBAAqB,GAChC,MAAM,OAAO,CAAC,WAAW,EAAE;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC,EACtD,KAAK,eAAe,EACpB,kBAAkB,CAChB,CAAC,EAAE,WAAW,EACd,CAAC,EAAE,eAAe,KACf,WAAW,GAAG,SAAS,WAAW,EAAE,KACxC,WAAW,GAAG,SAAS,WAAW,EA4CpC,CAAC"}