webfuscator 0.9.4

package/dist/transforms/ternary-to-if.js

@@ -0,0 +1,315 @@
+import * as t from '@babel/types';
+import { isInsideWith } from '../utils/ast.js';
+import { traverseForChanges } from '../utils/change-tracking.js';
+import { isConditionalGate, reorderableToStatement } from '../utils/evaluation-order.js';
+import { isStandaloneDeclaration } from '../utils/paths.js';
+/**
+ * Lowers conditional expressions to `if` statements. Expression values use a
+ * temporary. Parameter defaults and repeating loop tests stay unchanged because
+ * hoisting would change when they run.
+ *
+ * @example
+ * // ◀️ before
+ * var y = a ? b : c;
+ * log(d ? e : f);
+ *
+ * // ▶️ after
+ * var y;
+ * if (a) { y = b; } else { y = c; }
+ * var _ternaryResult;
+ * if (d) { _ternaryResult = e; } else { _ternaryResult = f; }
+ * log(_ternaryResult);
+ */
+export function ternaryToIf(ast) {
+    // Flatten sequences and logical gates before lifting ternaries. Replacements
+    // detach queued child paths, so every handler checks liveness.
+    const preparationChanged = traverseForChanges(ast, preparationVisitor);
+    const loweringChanged = traverseForChanges(ast, visitor);
+    return preparationChanged || loweringChanged;
+}
+const preparationVisitor = {
+    ConditionalExpression(path, state) {
+        if (!isPathLive(path) || isInsideWith(path)) {
+            return;
+        }
+        const stmtPath = path.getStatementParent();
+        if (!stmtPath) {
+            return;
+        }
+        if (hoistEnclosingSequence(path, stmtPath) || lowerEnclosingLogical(path, stmtPath)) {
+            state.changed = true;
+        }
+    },
+};
+const visitor = {
+    ConditionalExpression(path, state) {
+        // Statement replacement detaches queued siblings. `with` can also shadow the
+        // synthesized result temporary.
+        if (!isPathLive(path) || isInsideWith(path)) {
+            return;
+        }
+        if (lowerConditional(path)) {
+            state.changed = true;
+        }
+    },
+};
+function lowerConditional(path) {
+    const parent = path.parentPath;
+    if (!parent) {
+        return false;
+    }
+    const { test, consequent, alternate } = path.node;
+    if (parent.isExpressionStatement() && parent.node.expression === path.node) {
+        parent.replaceWith(t.ifStatement(test, t.blockStatement(seqToExpressionStatements(consequent)), t.blockStatement(seqToExpressionStatements(alternate))));
+        // Skip the orphaned path after replacing its parent.
+        path.skip();
+        return true;
+    }
+    if (parent.isReturnStatement() && parent.node.argument === path.node) {
+        parent.replaceWith(t.ifStatement(test, t.blockStatement(seqWithFinal(consequent, t.returnStatement)), t.blockStatement(seqWithFinal(alternate, t.returnStatement))));
+        path.skip();
+        return true;
+    }
+    if (parent.isThrowStatement() && parent.node.argument === path.node) {
+        parent.replaceWith(t.ifStatement(test, t.blockStatement(seqWithFinal(consequent, t.throwStatement)), t.blockStatement(seqWithFinal(alternate, t.throwStatement))));
+        path.skip();
+        return true;
+    }
+    if (parent.isAssignmentExpression() &&
+        parent.node.operator === '=' &&
+        t.isIdentifier(parent.node.left) &&
+        parent.node.right === path.node &&
+        parent.parentPath?.isExpressionStatement() &&
+        parent.parentPath.node.expression === parent.node) {
+        const target = parent.node.left;
+        parent.parentPath.replaceWith(t.ifStatement(test, t.blockStatement(seqWithAssignment(consequent, target)), t.blockStatement(seqWithAssignment(alternate, target))));
+        path.skip();
+        return true;
+    }
+    if (parent.isVariableDeclarator() &&
+        t.isIdentifier(parent.node.id) &&
+        parent.node.init === path.node &&
+        parent.parentPath?.isVariableDeclaration() &&
+        // Splitting lexical declarations would end TDZ early, and bare `const` is
+        // invalid. Keep their initializer behind a result temp.
+        parent.parentPath.node.kind === 'var' &&
+        parent.parentPath.node.declarations.length === 1 &&
+        isStandaloneDeclaration(parent.parentPath)) {
+        const declPath = parent.parentPath;
+        const target = parent.node.id;
+        declPath.replaceWithMultiple([
+            t.variableDeclaration(declPath.node.kind, [t.variableDeclarator(t.cloneNode(target))]),
+            t.ifStatement(test, t.blockStatement(seqWithAssignment(consequent, target)), t.blockStatement(seqWithAssignment(alternate, target))),
+        ]);
+        path.skip();
+        return true;
+    }
+    const stmtPath = path.getStatementParent();
+    if (!stmtPath) {
+        return false;
+    }
+    if (isInsideAssignmentPattern(path, stmtPath)) {
+        return false;
+    }
+    if (isInsideLoopHeader(path, stmtPath)) {
+        return false;
+    }
+    // Lifting requires no short-circuit gate or earlier effect in the statement.
+    if (!reorderableToStatement(path, stmtPath)) {
+        return false;
+    }
+    const { scope } = path;
+    const tmpId = scope.generateUidIdentifier('ternaryResult');
+    scope.push({ id: t.cloneNode(tmpId) });
+    const ifStmt = t.ifStatement(test, t.blockStatement([
+        t.expressionStatement(t.assignmentExpression('=', t.cloneNode(tmpId), consequent)),
+    ]), t.blockStatement([
+        t.expressionStatement(t.assignmentExpression('=', t.cloneNode(tmpId), alternate)),
+    ]));
+    // Detach the ternary before reusing its children in the new `if`.
+    path.replaceWith(t.cloneNode(tmpId));
+    stmtPath.insertBefore(ifStmt);
+    return true;
+}
+function isInsideAssignmentPattern(path, stmtPath) {
+    let ancestor = path.parentPath;
+    while (ancestor && ancestor !== stmtPath) {
+        if (ancestor.isAssignmentPattern()) {
+            return true;
+        }
+        ancestor = ancestor.parentPath;
+    }
+    return false;
+}
+// Split the innermost sequence so its ternary reaches a safe statement position.
+function hoistEnclosingSequence(path, stmtPath) {
+    const seqPath = findEnclosingSequence(path, stmtPath);
+    if (!seqPath) {
+        return false;
+    }
+    const elements = seqPath.node.expressions;
+    if (elements.length < 2) {
+        return false;
+    }
+    const seqStmt = seqPath.getStatementParent();
+    if (!seqStmt) {
+        return false;
+    }
+    // The sequence must run once at statement position without crossing a gate,
+    // case test, parameter default, loop header, or earlier effect.
+    if (isInsideLoopHeader(seqPath, seqStmt) ||
+        isInsideAssignmentPattern(seqPath, seqStmt) ||
+        isInsideSwitchCaseTest(seqPath, seqStmt) ||
+        !reorderableToStatement(seqPath, seqStmt)) {
+        return false;
+    }
+    const preceding = elements.slice(0, -1).map((e) => t.expressionStatement(t.cloneNode(e)));
+    const last = t.cloneNode(elements.at(-1));
+    seqPath.replaceWith(last);
+    seqStmt.insertBefore(preceding);
+    path.skip();
+    return true;
+}
+// Hoisting from a case test would run its work before the switch reaches that case.
+function isInsideSwitchCaseTest(path, stmtPath) {
+    let ancestor = path.parentPath;
+    while (ancestor && ancestor !== stmtPath) {
+        if (ancestor.isSwitchCase()) {
+            return true;
+        }
+        ancestor = ancestor.parentPath;
+    }
+    return false;
+}
+// A live path must still occupy every recorded parent key up to the Program.
+function isPathLive(path) {
+    let cur = path;
+    while (cur) {
+        if (!cur.node) {
+            return false;
+        }
+        const parent = cur.parentPath;
+        if (!parent) {
+            return cur.isProgram() || cur.isFile();
+        }
+        if (!parent.node) {
+            return false;
+        }
+        const parentNode = parent.node;
+        let held = parentNode[cur.key];
+        if (cur.listKey != null) {
+            const arr = parentNode[cur.listKey];
+            held = Array.isArray(arr) ? arr[cur.key] : arr;
+        }
+        if (held !== cur.node) {
+            return false;
+        }
+        cur = parent;
+    }
+    return false;
+}
+function findEnclosingSequence(path, stmtPath) {
+    let cur = path;
+    let parent = cur.parentPath;
+    let found = null;
+    while (parent && parent !== stmtPath) {
+        if (isConditionalGate(parent, cur)) {
+            return null;
+        }
+        if (!found && parent.isSequenceExpression()) {
+            found = parent;
+        }
+        cur = parent;
+        parent = cur.parentPath;
+    }
+    return found;
+}
+// Convert an enclosing logical gate to a conditional so this pass remains
+// self-contained and can lower it on the next visit.
+function lowerEnclosingLogical(path, stmtPath) {
+    const logical = findEnclosingShortCircuitLogical(path, stmtPath);
+    if (!logical || logical.removed || !logical.container) {
+        return false;
+    }
+    const { node } = logical;
+    const { left, right } = node;
+    let test;
+    let valueRef;
+    if (t.isIdentifier(left) && logical.scope.hasBinding(left.name)) {
+        test = left;
+        valueRef = t.cloneNode(left);
+    }
+    else {
+        const tmp = logical.scope.generateUidIdentifierBasedOnNode(left);
+        logical.scope.push({ id: t.cloneNode(tmp) });
+        test = t.assignmentExpression('=', t.cloneNode(tmp), left);
+        valueRef = t.cloneNode(tmp);
+    }
+    const testExpr = node.operator === '??' ? t.binaryExpression('!=', test, t.nullLiteral()) : test;
+    logical.replaceWith(node.operator === '&&'
+        ? t.conditionalExpression(testExpr, right, valueRef)
+        : t.conditionalExpression(testExpr, valueRef, right));
+    path.skip();
+    return true;
+}
+function findEnclosingShortCircuitLogical(path, stmtPath) {
+    let cur = path;
+    let parent = cur.parentPath;
+    let found = null;
+    while (parent && parent !== stmtPath) {
+        if (!found) {
+            if (parent.isConditionalExpression() &&
+                (parent.node.consequent === cur.node || parent.node.alternate === cur.node)) {
+                return null;
+            }
+            if (parent.isLogicalExpression() && parent.node.right === cur.node) {
+                found = parent;
+            }
+        }
+        else if (isConditionalGate(parent, cur)) {
+            return null;
+        }
+        cur = parent;
+        parent = cur.parentPath;
+    }
+    return found;
+}
+// Loop tests and updates repeat, while a `for` initializer runs once.
+function isInsideLoopHeader(path, stmtPath) {
+    let ancestor = path;
+    while (ancestor && ancestor.parentPath !== stmtPath) {
+        ancestor = ancestor.parentPath;
+    }
+    if (!ancestor) {
+        return false;
+    }
+    if (stmtPath.isWhileStatement() || stmtPath.isDoWhileStatement()) {
+        return ancestor.parentKey === 'test';
+    }
+    if (stmtPath.isForStatement()) {
+        return ancestor.parentKey === 'test' || ancestor.parentKey === 'update';
+    }
+    return false;
+}
+// Split sequences so later lifts target the right statement.
+function seqToExpressionStatements(expr) {
+    if (t.isSequenceExpression(expr)) {
+        return expr.expressions.map((e) => t.expressionStatement(e));
+    }
+    return [t.expressionStatement(expr)];
+}
+// In return and throw, only the final sequence element supplies the value.
+function seqWithFinal(expr, build) {
+    if (t.isSequenceExpression(expr)) {
+        const last = expr.expressions.at(-1);
+        const init = expr.expressions.slice(0, -1).map((e) => t.expressionStatement(e));
+        return [...init, build(last)];
+    }
+    return [build(expr)];
+}
+// In a bare assignment, only the final sequence element supplies the value.
+function seqWithAssignment(expr, target) {
+    const build = (value) => t.expressionStatement(t.assignmentExpression('=', t.cloneNode(target), value));
+    return seqWithFinal(expr, build);
+}
+//# sourceMappingURL=ternary-to-if.js.map

package/dist/transforms/ternary-to-if.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ternary-to-if.js","sourceRoot":"","sources":["../../src/transforms/ternary-to-if.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAA;AACtF,OAAO,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAA;AAEzD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CAAC,GAAS;IACnC,6EAA6E;IAC7E,+DAA+D;IAC/D,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAA;IACtE,MAAM,eAAe,GAAG,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IACxD,OAAO,kBAAkB,IAAI,eAAe,CAAA;AAC9C,CAAC;AAED,MAAM,kBAAkB,GAAyB;IAC/C,qBAAqB,CAAC,IAAI,EAAE,KAAK;QAC/B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,OAAM;QACR,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;QAC1C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAM;QACR,CAAC;QACD,IAAI,sBAAsB,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;YACpF,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;QACtB,CAAC;IACH,CAAC;CACF,CAAA;AAED,MAAM,OAAO,GAAyB;IACpC,qBAAqB,CAAC,IAAI,EAAE,KAAK;QAC/B,6EAA6E;QAC7E,gCAAgC;QAChC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,OAAM;QACR,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;QACtB,CAAC;IACH,CAAC;CACF,CAAA;AAED,SAAS,gBAAgB,CAAC,IAAuC;IAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAA;IAC9B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,IAAI,CAAA;IAEjD,IAAI,MAAM,CAAC,qBAAqB,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3E,MAAM,CAAC,WAAW,CAChB,CAAC,CAAC,WAAW,CACX,IAAI,EACJ,CAAC,CAAC,cAAc,CAAC,yBAAyB,CAAC,UAAU,CAAC,CAAC,EACvD,CAAC,CAAC,cAAc,CAAC,yBAAyB,CAAC,SAAS,CAAC,CAAC,CACvD,CACF,CAAA;QACD,qDAAqD;QACrD,IAAI,CAAC,IAAI,EAAE,CAAA;QACX,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,MAAM,CAAC,iBAAiB,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACrE,MAAM,CAAC,WAAW,CAChB,CAAC,CAAC,WAAW,CACX,IAAI,EACJ,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,EAC7D,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,CAC7D,CACF,CAAA;QACD,IAAI,CAAC,IAAI,EAAE,CAAA;QACX,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACpE,MAAM,CAAC,WAAW,CAChB,CAAC,CAAC,WAAW,CACX,IAAI,EACJ,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,EAC5D,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAC5D,CACF,CAAA;QACD,IAAI,CAAC,IAAI,EAAE,CAAA;QACX,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IACE,MAAM,CAAC,sBAAsB,EAAE;QAC/B,MAAM,CAAC,IAAI,CAAC,QAAQ,KAAK,GAAG;QAC5B,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI;QAC/B,MAAM,CAAC,UAAU,EAAE,qBAAqB,EAAE;QAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,IAAI,EACjD,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAA;QAC/B,MAAM,CAAC,UAAU,CAAC,WAAW,CAC3B,CAAC,CAAC,WAAW,CACX,IAAI,EACJ,CAAC,CAAC,cAAc,CAAC,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EACvD,CAAC,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CACvD,CACF,CAAA;QACD,IAAI,CAAC,IAAI,EAAE,CAAA;QACX,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IACE,MAAM,CAAC,oBAAoB,EAAE;QAC7B,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;QAC9B,MAAM,CAAC,UAAU,EAAE,qBAAqB,EAAE;QAC1C,0EAA0E;QAC1E,wDAAwD;QACxD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;QACrC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAChD,uBAAuB,CAAC,MAAM,CAAC,UAAU,CAAC,EAC1C,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAA;QAClC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAA;QAC7B,QAAQ,CAAC,mBAAmB,CAAC;YAC3B,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACtF,CAAC,CAAC,WAAW,CACX,IAAI,EACJ,CAAC,CAAC,cAAc,CAAC,iBAAiB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,EACvD,CAAC,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CACvD;SACF,CAAC,CAAA;QACF,IAAI,CAAC,IAAI,EAAE,CAAA;QACX,OAAO,IAAI,CAAA;IACb,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAA;IAC1C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAA;IACd,CAAC;IAED,IAAI,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,kBAAkB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,6EAA6E;IAC7E,IAAI,CAAC,sBAAsB,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAA;IACtB,MAAM,KAAK,GAAG,KAAK,CAAC,qBAAqB,CAAC,eAAe,CAAC,CAAA;IAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAEtC,MAAM,MAAM,GAAG,CAAC,CAAC,WAAW,CAC1B,IAAI,EACJ,CAAC,CAAC,cAAc,CAAC;QACf,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;KACnF,CAAC,EACF,CAAC,CAAC,cAAc,CAAC;QACf,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;KAClF,CAAC,CACH,CAAA;IAED,kEAAkE;IAClE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;IACpC,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IAC7B,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAc,EAAE,QAAkB;IACnE,IAAI,QAAQ,GAAoB,IAAI,CAAC,UAAU,CAAA;IAC/C,OAAO,QAAQ,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,mBAAmB,EAAE,EAAE,CAAC;YACnC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAA;IAChC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,iFAAiF;AACjF,SAAS,sBAAsB,CAAC,IAAc,EAAE,QAAkB;IAChE,MAAM,OAAO,GAAG,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACrD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,CAAA;IACzC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAA;IAC5C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,KAAK,CAAA;IACd,CAAC;IACD,4EAA4E;IAC5E,gEAAgE;IAChE,IACE,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAAC;QACpC,yBAAyB,CAAC,OAAO,EAAE,OAAO,CAAC;QAC3C,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC;QACxC,CAAC,sBAAsB,CAAC,OAAO,EAAE,OAAO,CAAC,EACzC,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACzF,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;IAC1C,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;IACzB,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAA;IACX,OAAO,IAAI,CAAA;AACb,CAAC;AAED,oFAAoF;AACpF,SAAS,sBAAsB,CAAC,IAAc,EAAE,QAAkB;IAChE,IAAI,QAAQ,GAAoB,IAAI,CAAC,UAAU,CAAA;IAC/C,OAAO,QAAQ,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAA;QACb,CAAC;QACD,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAA;IAChC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,IAAc;IAChC,IAAI,GAAG,GAAoB,IAAI,CAAA;IAC/B,OAAO,GAAG,EAAE,CAAC;QACX,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACd,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,MAAM,GAAoB,GAAG,CAAC,UAAU,CAAA;QAC9C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,GAAG,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,MAAM,EAAE,CAAA;QACxC,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,IAA0C,CAAA;QACpE,IAAI,IAAI,GAAY,UAAU,CAAC,GAAG,CAAC,GAAa,CAAC,CAAA;QACjD,IAAI,GAAG,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACnC,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;QAC1D,CAAC;QACD,IAAI,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YACtB,OAAO,KAAK,CAAA;QACd,CAAC;QACD,GAAG,GAAG,MAAM,CAAA;IACd,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAc,EACd,QAAkB;IAElB,IAAI,GAAG,GAAa,IAAI,CAAA;IACxB,IAAI,MAAM,GAAG,GAAG,CAAC,UAAU,CAAA;IAC3B,IAAI,KAAK,GAA0C,IAAI,CAAA;IACvD,OAAO,MAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACrC,IAAI,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YACnC,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;YAC5C,KAAK,GAAG,MAAwC,CAAA;QAClD,CAAC;QACD,GAAG,GAAG,MAAM,CAAA;QACZ,MAAM,GAAG,GAAG,CAAC,UAAU,CAAA;IACzB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,0EAA0E;AAC1E,qDAAqD;AACrD,SAAS,qBAAqB,CAAC,IAAc,EAAE,QAAkB;IAC/D,MAAM,OAAO,GAAG,gCAAgC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAChE,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QACtD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAA;IACxB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,CAAA;IAC5B,IAAI,IAAkB,CAAA;IACtB,IAAI,QAAsB,CAAA;IAC1B,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAChE,IAAI,GAAG,IAAI,CAAA;QACX,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAA;QAChE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAC5C,IAAI,GAAG,CAAC,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAA;QAC1D,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;IAC7B,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAChG,OAAO,CAAC,WAAW,CACjB,IAAI,CAAC,QAAQ,KAAK,IAAI;QACpB,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC;QACpD,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,CACvD,CAAA;IACD,IAAI,CAAC,IAAI,EAAE,CAAA;IACX,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,gCAAgC,CACvC,IAAc,EACd,QAAkB;IAElB,IAAI,GAAG,GAAa,IAAI,CAAA;IACxB,IAAI,MAAM,GAAG,GAAG,CAAC,UAAU,CAAA;IAC3B,IAAI,KAAK,GAAyC,IAAI,CAAA;IACtD,OAAO,MAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IACE,MAAM,CAAC,uBAAuB,EAAE;gBAChC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,KAAK,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,GAAG,CAAC,IAAI,CAAC,EAC3E,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;YACD,IAAI,MAAM,CAAC,mBAAmB,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;gBACnE,KAAK,GAAG,MAAuC,CAAA;YACjD,CAAC;QACH,CAAC;aAAM,IAAI,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC1C,OAAO,IAAI,CAAA;QACb,CAAC;QACD,GAAG,GAAG,MAAM,CAAA;QACZ,MAAM,GAAG,GAAG,CAAC,UAAU,CAAA;IACzB,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,sEAAsE;AACtE,SAAS,kBAAkB,CAAC,IAAc,EAAE,QAAkB;IAC5D,IAAI,QAAQ,GAAoB,IAAI,CAAA;IACpC,OAAO,QAAQ,IAAI,QAAQ,CAAC,UAAU,KAAK,QAAQ,EAAE,CAAC;QACpD,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAA;IAChC,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,EAAE,IAAI,QAAQ,CAAC,kBAAkB,EAAE,EAAE,CAAC;QACjE,OAAO,QAAQ,CAAC,SAAS,KAAK,MAAM,CAAA;IACtC,CAAC;IACD,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC,SAAS,KAAK,MAAM,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAA;IACzE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,6DAA6D;AAC7D,SAAS,yBAAyB,CAAC,IAAkB;IACnD,IAAI,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9D,CAAC;IACD,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAA;AACtC,CAAC;AAED,2EAA2E;AAC3E,SAAS,YAAY,CAAC,IAAkB,EAAE,KAAuC;IAC/E,IAAI,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAA;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAA;QAC/E,OAAO,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AACtB,CAAC;AAED,4EAA4E;AAC5E,SAAS,iBAAiB,CAAC,IAAkB,EAAE,MAAoB;IACjE,MAAM,KAAK,GAAG,CAAC,KAAmB,EAAe,EAAE,CACjD,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IAChF,OAAO,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AAClC,CAAC"}

package/dist/transforms/update-to-assignment.d.ts

@@ -0,0 +1,26 @@
+import type { File } from '@babel/types';
+/**
+ * Rewrites numeric updates as compound assignments for later expansion. Prefix
+ * results already match. Postfix forms require a position that discards the old
+ * value.
+ *
+ * BigInt differs because adding the number `1` throws. Only bindings proven to
+ * stay numeric are rewritten. Members and parameters stay unchanged.
+ *
+ * @example
+ * // ◀️ before
+ * let i = 0;
+ * i++;
+ * arr[++i] = 1;
+ * let n = 5n;
+ * n++;
+ *
+ * // ▶️ after
+ * let i = 0;
+ * i += 1;
+ * arr[i += 1] = 1;
+ * let n = 5n;
+ * n++;
+ */
+export declare function updateToAssignment(ast: File): boolean;
+//# sourceMappingURL=update-to-assignment.d.ts.map

package/dist/transforms/update-to-assignment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-to-assignment.d.ts","sourceRoot":"","sources":["../../src/transforms/update-to-assignment.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAMxC;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,IAAI,GAAG,OAAO,CAErD"}

package/dist/transforms/update-to-assignment.js

@@ -0,0 +1,120 @@
+import * as t from '@babel/types';
+import { isDirectEvalCall, isInsideWith } from '../utils/ast.js';
+import { traverseForChanges } from '../utils/change-tracking.js';
+/**
+ * Rewrites numeric updates as compound assignments for later expansion. Prefix
+ * results already match. Postfix forms require a position that discards the old
+ * value.
+ *
+ * BigInt differs because adding the number `1` throws. Only bindings proven to
+ * stay numeric are rewritten. Members and parameters stay unchanged.
+ *
+ * @example
+ * // ◀️ before
+ * let i = 0;
+ * i++;
+ * arr[++i] = 1;
+ * let n = 5n;
+ * n++;
+ *
+ * // ▶️ after
+ * let i = 0;
+ * i += 1;
+ * arr[i += 1] = 1;
+ * let n = 5n;
+ * n++;
+ */
+export function updateToAssignment(ast) {
+    return traverseForChanges(ast, visitor);
+}
+const visitor = {
+    UpdateExpression(path, state) {
+        const { argument, prefix, operator } = path.node;
+        if (!t.isIdentifier(argument)) {
+            return;
+        }
+        if (!prefix && !valueIsDiscarded(path)) {
+            return;
+        }
+        // `with` can retarget the name and defeat the numeric proof.
+        if (isInsideWith(path)) {
+            return;
+        }
+        const binding = path.scope.getBinding(argument.name);
+        if (!isNumericBinding(binding)) {
+            return;
+        }
+        // Direct eval anywhere in the binding's scope can change its type.
+        if (bindingScopeReachesDirectEval(binding)) {
+            return;
+        }
+        const compound = operator === '++' ? '+=' : '-=';
+        path.replaceWith(t.assignmentExpression(compound, argument, t.numericLiteral(1)));
+        state.changed = true;
+    },
+};
+function valueIsDiscarded(path) {
+    const { parentPath } = path;
+    if (!parentPath) {
+        return false;
+    }
+    if (parentPath.isExpressionStatement()) {
+        return true;
+    }
+    if (parentPath.isForStatement() && parentPath.node.update === path.node) {
+        return true;
+    }
+    if (parentPath.isSequenceExpression()) {
+        return parentPath.node.expressions.at(-1) !== path.node;
+    }
+    return false;
+}
+// The initializer and every mutation must keep the binding numeric.
+function isNumericBinding(binding) {
+    if (!binding || (binding.kind !== 'var' && binding.kind !== 'let')) {
+        return false;
+    }
+    const declarator = binding.path.node;
+    if (!t.isVariableDeclarator(declarator) || !t.isNumericLiteral(declarator.init)) {
+        return false;
+    }
+    // Babel misses the string writes from an Annex B `for-in` initializer.
+    if (isForInOfLoopVariable(binding)) {
+        return false;
+    }
+    return binding.constantViolations.every((violation) => keepsNumeric(violation.node));
+}
+// A sibling or nested direct eval can still close over and reassign the binding.
+function bindingScopeReachesDirectEval(binding) {
+    let found = false;
+    t.traverseFast(binding.scope.block, (node) => {
+        if (isDirectEvalCall(node)) {
+            found = true;
+        }
+        return found ? t.traverseFast.stop : undefined;
+    });
+    return found;
+}
+function isForInOfLoopVariable(binding) {
+    const declaration = binding.path.parentPath;
+    if (!declaration || !declaration.isVariableDeclaration()) {
+        return false;
+    }
+    const loop = declaration.parentPath;
+    return (loop != null &&
+        (loop.isForInStatement() || loop.isForOfStatement()) &&
+        loop.node.left === declaration.node);
+}
+function keepsNumeric(node) {
+    if (t.isUpdateExpression(node)) {
+        return true;
+    }
+    if (t.isVariableDeclarator(node)) {
+        return t.isNumericLiteral(node.init);
+    }
+    if (t.isAssignmentExpression(node)) {
+        return t.isNumericLiteral(node.right);
+    }
+    return false;
+}
+//# sourceMappingURL=update-to-assignment.js.map

package/dist/transforms/update-to-assignment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"update-to-assignment.js","sourceRoot":"","sources":["../../src/transforms/update-to-assignment.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAG9D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAS;IAC1C,OAAO,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,OAAO,GAAyB;IACpC,gBAAgB,CAAC,IAAI,EAAE,KAAK;QAC1B,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,IAAI,CAAA;QAChD,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,OAAM;QACR,CAAC;QACD,IAAI,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,OAAM;QACR,CAAC;QACD,6DAA6D;QAC7D,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,OAAM;QACR,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACpD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,OAAM;QACR,CAAC;QACD,mEAAmE;QACnE,IAAI,6BAA6B,CAAC,OAAQ,CAAC,EAAE,CAAC;YAC5C,OAAM;QACR,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QAChD,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,oBAAoB,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QACjF,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;IACtB,CAAC;CACF,CAAA;AAED,SAAS,gBAAgB,CAAC,IAAkC;IAC1D,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAA;IAC3B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACvC,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,UAAU,CAAC,cAAc,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QACxE,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,UAAU,CAAC,oBAAoB,EAAE,EAAE,CAAC;QACtC,OAAO,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAA;IACzD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,oEAAoE;AACpE,SAAS,gBAAgB,CAAC,OAA4B;IACpD,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QACnE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAA;IACpC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAChF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,uEAAuE;IACvE,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;AACtF,CAAC;AAED,iFAAiF;AACjF,SAAS,6BAA6B,CAAC,OAAgB;IACrD,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3C,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAA;QACd,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,qBAAqB,CAAC,OAAgB;IAC7C,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAA;IAC3C,IAAI,CAAC,WAAW,IAAI,CAAC,WAAW,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACzD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAA;IACnC,OAAO,CACL,IAAI,IAAI,IAAI;QACZ,CAAC,IAAI,CAAC,gBAAgB,EAAE,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC,IAAI,CACpC,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACvC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/transforms/yodify-conditions.d.ts

@@ -0,0 +1,22 @@
+import type { File } from '@babel/types';
+/**
+ * Moves a safe literal-shaped right operand to the left of a comparison.
+ * Relational operators are flipped after swapping.
+ *
+ * Unary operations over literals also count when their coercion cannot act.
+ *
+ * @example
+ * // ◀️ before
+ * if (x === 1) {}
+ * if (name !== "foo") {}
+ * if (count > 5) {}
+ * if (idx <= 10) {}
+ *
+ * // ▶️ after
+ * if (1 === x) {}
+ * if ("foo" !== name) {}
+ * if (5 < count) {}
+ * if (10 >= idx) {}
+ */
+export declare function yodifyConditions(ast: File): boolean;
+//# sourceMappingURL=yodify-conditions.d.ts.map

package/dist/transforms/yodify-conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"yodify-conditions.d.ts","sourceRoot":"","sources":["../../src/transforms/yodify-conditions.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAMxC;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,IAAI,GAAG,OAAO,CAEnD"}

package/dist/transforms/yodify-conditions.js

@@ -0,0 +1,91 @@
+import * as t from '@babel/types';
+import { traverseForChanges } from '../utils/change-tracking.js';
+import { isLiteralShaped } from '../utils/literal.js';
+/**
+ * Moves a safe literal-shaped right operand to the left of a comparison.
+ * Relational operators are flipped after swapping.
+ *
+ * Unary operations over literals also count when their coercion cannot act.
+ *
+ * @example
+ * // ◀️ before
+ * if (x === 1) {}
+ * if (name !== "foo") {}
+ * if (count > 5) {}
+ * if (idx <= 10) {}
+ *
+ * // ▶️ after
+ * if (1 === x) {}
+ * if ("foo" !== name) {}
+ * if (5 < count) {}
+ * if (10 >= idx) {}
+ */
+export function yodifyConditions(ast) {
+    return traverseForChanges(ast, visitor);
+}
+const visitor = {
+    BinaryExpression(path, state) {
+        const { node } = path;
+        const op = node.operator;
+        if (!isComparisonOp(op)) {
+            return;
+        }
+        if (!t.isExpression(node.left)) {
+            return;
+        }
+        if (isLiteralShaped(node.left)) {
+            return;
+        }
+        // The moved right side must run no user code, including object coercion.
+        if (!swappingRightIsEffectFree(node.right)) {
+            return;
+        }
+        // Relational comparison coerces left first, so a regexp operand cannot swap.
+        if (RELATIONAL_FLIP[op] !== undefined && containsRegExpLiteral(node.right)) {
+            return;
+        }
+        const { left } = node;
+        const { right } = node;
+        node.left = right;
+        node.right = left;
+        const flipped = RELATIONAL_FLIP[op];
+        if (flipped !== undefined) {
+            node.operator = flipped;
+        }
+        state.changed = true;
+    },
+};
+const COMPARISON_OPS = new Set(['==', '!=', '===', '!==', '<', '<=', '>', '>=']);
+function isComparisonOp(op) {
+    return COMPARISON_OPS.has(op);
+}
+const RELATIONAL_FLIP = {
+    '<': '>',
+    '>': '<',
+    '<=': '>=',
+    '>=': '<=',
+};
+// Numeric unary over regexp invokes ToPrimitive and cannot move earlier.
+function swappingRightIsEffectFree(node) {
+    return isLiteralShaped(node) && !numericUnaryCoercesRegExp(node);
+}
+// `!` only propagates risk because ToBoolean never invokes object coercion.
+function numericUnaryCoercesRegExp(node) {
+    if (!t.isUnaryExpression(node) || !t.isExpression(node.argument)) {
+        return false;
+    }
+    if (node.operator === '!') {
+        return numericUnaryCoercesRegExp(node.argument);
+    }
+    return t.isRegExpLiteral(node.argument) || numericUnaryCoercesRegExp(node.argument);
+}
+function containsRegExpLiteral(node) {
+    if (t.isRegExpLiteral(node)) {
+        return true;
+    }
+    if (t.isUnaryExpression(node) && t.isExpression(node.argument)) {
+        return containsRegExpLiteral(node.argument);
+    }
+    return false;
+}
+//# sourceMappingURL=yodify-conditions.js.map

package/dist/transforms/yodify-conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"yodify-conditions.js","sourceRoot":"","sources":["../../src/transforms/yodify-conditions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAA;AAE9D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAEnD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAS;IACxC,OAAO,kBAAkB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,OAAO,GAAyB;IACpC,gBAAgB,CAAC,IAAI,EAAE,KAAK;QAC1B,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;QACrB,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAA;QACxB,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAM;QACR,CAAC;QACD,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAM;QACR,CAAC;QACD,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAM;QACR,CAAC;QACD,yEAAyE;QACzE,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,OAAM;QACR,CAAC;QACD,6EAA6E;QAC7E,IAAI,eAAe,CAAC,EAAE,CAAC,KAAK,SAAS,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3E,OAAM;QACR,CAAC;QAED,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAA;QACrB,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAA;QACtB,IAAI,CAAC,IAAI,GAAG,KAAK,CAAA;QACjB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAA;QACjB,MAAM,OAAO,GAAG,eAAe,CAAC,EAAE,CAAC,CAAA;QACnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAA;QACzB,CAAC;QACD,KAAK,CAAC,OAAO,GAAG,IAAI,CAAA;IACtB,CAAC;CACF,CAAA;AAED,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;AAExF,SAAS,cAAc,CAAC,EAAU;IAChC,OAAO,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,eAAe,GAAmD;IACtE,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;CACX,CAAA;AAED,yEAAyE;AACzE,SAAS,yBAAyB,CAAC,IAAkB;IACnD,OAAO,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAA;AAClE,CAAC;AAED,4EAA4E;AAC5E,SAAS,yBAAyB,CAAC,IAAY;IAC7C,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,EAAE,CAAC;QAC1B,OAAO,yBAAyB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACjD,CAAC;IACD,OAAO,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;AACrF,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAkB;IAC/C,IAAI,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/D,OAAO,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/utils/ast.d.ts

@@ -0,0 +1,10 @@
+import type { NodePath } from '@babel/traverse';
+import * as t from '@babel/types';
+export declare function isInDirectivePrologue(path: NodePath): boolean;
+export declare function walkOwnFunctionScope(root: t.Node, callback: (node: t.Node) => void): void;
+export declare function hasDuplicateParamNames(params: t.Function['params']): boolean;
+export declare function isProtoKey(key: t.Node): boolean;
+export declare function isInsideWith(path: NodePath): boolean;
+export declare function enclosingScopeHasDirectEval(path: NodePath): boolean;
+export declare function isDirectEvalCall(node: t.Node): boolean;
+//# sourceMappingURL=ast.d.ts.map

package/dist/utils/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/utils/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC/C,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAsB7D;AAGD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,IAAI,GAAG,IAAI,CAQzF;AAID,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,OAAO,CAW5E;AAID,wBAAgB,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,GAAG,OAAO,CAK/C;AAGD,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAKpD;AAID,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAYnE;AAyCD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,OAAO,CAEtD"}