babel-plugin-react-compiler 0.0.0-experimental-938cd9a-20240601 → 0.0.0-experimental-696af53-20240625

package/dist/index.js

@@ -135799,21 +135799,37 @@ function insertGatedFunctionDeclaration(fnPath, compiled, gating) {
     buildFunctionExpression(compiled),
     buildFunctionExpression(fnPath.node)
   );
-  let compiledFn;
   if (
     fnPath.parentPath.node.type !== "ExportDefaultDeclaration" &&
     fnPath.node.type === "FunctionDeclaration" &&
     fnPath.node.id != null
   ) {
-    compiledFn = fnPath.replaceWith(
+    fnPath.replaceWith(
       t__namespace.variableDeclaration("const", [
         t__namespace.variableDeclarator(fnPath.node.id, gatingExpression),
       ])
-    )[0];
+    );
+  } else if (
+    fnPath.parentPath.node.type === "ExportDefaultDeclaration" &&
+    fnPath.node.type !== "ArrowFunctionExpression" &&
+    fnPath.node.id != null
+  ) {
+    fnPath.insertAfter(
+      t__namespace.exportDefaultDeclaration(
+        t__namespace.identifier(fnPath.node.id.name)
+      )
+    );
+    fnPath.parentPath.replaceWith(
+      t__namespace.variableDeclaration("const", [
+        t__namespace.variableDeclarator(
+          t__namespace.identifier(fnPath.node.id.name),
+          gatingExpression
+        ),
+      ])
+    );
   } else {
-    compiledFn = fnPath.replaceWith(gatingExpression)[0];
+    fnPath.replaceWith(gatingExpression);
   }
-  return compiledFn;
 }
 function buildFunctionExpression(node) {
   var _a, _b;
@@ -135848,6 +135864,15 @@ function retainWhere(array, predicate) {
   }
   array.length = writeIndex;
 }
+function getOrInsertWith(m, key, makeDefault) {
+  if (m.has(key)) {
+    return m.get(key);
+  } else {
+    const defaultValue = makeDefault();
+    m.set(key, defaultValue);
+    return defaultValue;
+  }
+}
 function getOrInsertDefault(m, key, defaultValue) {
   if (m.has(key)) {
     return m.get(key);
@@ -136071,10 +136096,12 @@ function objectMethodTypeEquals(tA, tB) {
 }
 function propTypeEquals(tA, tB) {
   if (tA.kind === "Property" && tB.kind === "Property") {
-    if (!typeEquals(tA.object, tB.object)) {
+    if (!typeEquals(tA.objectType, tB.objectType)) {
       return false;
     }
-    return tA.propertyName === tB.propertyName;
+    return (
+      tA.propertyName === tB.propertyName && tA.objectName === tB.objectName
+    );
   }
   return false;
 }
@@ -136111,6 +136138,12 @@ function phiTypeEquals(tA, tB) {
   return false;
 }
 const GeneratedSource = Symbol();
+function isStatementBlockKind(kind) {
+  return kind === "block" || kind === "catch";
+}
+function isExpressionBlockKind(kind) {
+  return !isStatementBlockKind(kind);
+}
 var GotoVariant;
 (function (GotoVariant) {
   GotoVariant["Break"] = "Break";
@@ -136165,6 +136198,7 @@ var ValueReason;
   ValueReason["KnownReturnSignature"] = "known-return-signature";
   ValueReason["Context"] = "context";
   ValueReason["State"] = "state";
+  ValueReason["ReducerState"] = "reducer-state";
   ValueReason["ReactiveFunctionArgument"] = "reactive-function-argument";
   ValueReason["Other"] = "other";
 })(ValueReason || (ValueReason = {}));
@@ -136272,6 +136306,17 @@ function isUseStateType(id) {
 function isSetStateType(id) {
   return id.type.kind === "Function" && id.type.shapeId === "BuiltInSetState";
 }
+function isSetActionStateType(id) {
+  return (
+    id.type.kind === "Function" && id.type.shapeId === "BuiltInSetActionState"
+  );
+}
+function isDispatcherType(id) {
+  return id.type.kind === "Function" && id.type.shapeId === "BuiltInDispatch";
+}
+function isStableType(id) {
+  return isSetStateType(id) || isSetActionStateType(id) || isDispatcherType(id);
+}
 function isUseEffectHookType(id) {
   return (
     id.type.kind === "Function" && id.type.shapeId === "BuiltInUseEffectHook"
@@ -136404,6 +136449,11 @@ function writeReactiveBlock(writer, block) {
   writeReactiveInstructions(writer, block.instructions);
   writer.writeLine("}");
 }
+function writePrunedScope(writer, block) {
+  writer.writeLine(`<pruned> ${printReactiveScopeSummary(block.scope)} {`);
+  writeReactiveInstructions(writer, block.instructions);
+  writer.writeLine("}");
+}
 function printDependency(dependency) {
   const identifier =
     printIdentifier(dependency.identifier) +
@@ -136437,6 +136487,10 @@ function writeReactiveInstruction(writer, instr) {
       writeReactiveBlock(writer, instr);
       break;
     }
+    case "pruned-scope": {
+      writePrunedScope(writer, instr);
+      break;
+    }
     case "terminal": {
       if (instr.label !== null) {
         writer.write(`bb${instr.label.id}: `);
@@ -136826,7 +136880,8 @@ function printMixedHIR(value) {
     case "do-while":
     case "for-in":
     case "for-of":
-    case "scope": {
+    case "scope":
+    case "pruned-scope": {
       const terminal = printTerminal(value);
       if (Array.isArray(terminal)) {
         return terminal.join("; ");
@@ -136956,6 +137011,10 @@ function printTerminal(terminal) {
       value = `Scope ${printReactiveScopeSummary(terminal.scope)} block=bb${terminal.block} fallthrough=bb${terminal.fallthrough}`;
       break;
     }
+    case "pruned-scope": {
+      value = `<pruned> Scope ${printReactiveScopeSummary(terminal.scope)} block=bb${terminal.block} fallthrough=bb${terminal.fallthrough}`;
+      break;
+    }
     case "try": {
       value = `Try block=bb${terminal.block} handler=bb${terminal.handler}${terminal.handlerBinding !== null ? ` handlerBinding=(${printPlace(terminal.handlerBinding)})` : ""} fallthrough=${terminal.fallthrough != null ? `bb${terminal.fallthrough}` : ""}`;
       break;
@@ -137256,6 +137315,10 @@ function printInstructionValue(instrValue) {
       value = `RegExp /${instrValue.pattern}/${instrValue.flags}`;
       break;
     }
+    case "MetaProperty": {
+      value = `MetaProperty ${instrValue.meta}.${instrValue.property}`;
+      break;
+    }
     case "Await": {
       value = `Await ${printPlace(instrValue.value)}`;
       break;
@@ -137654,6 +137717,7 @@ function* eachInstructionValueOperand(instrValue) {
     }
     case "Debugger":
     case "RegExpLiteral":
+    case "MetaProperty":
     case "LoadGlobal":
     case "UnsupportedNode":
     case "Primitive":
@@ -137952,6 +138016,7 @@ function mapInstructionValueOperands(instrValue, fn) {
     }
     case "Debugger":
     case "RegExpLiteral":
+    case "MetaProperty":
     case "LoadGlobal":
     case "UnsupportedNode":
     case "Primitive":
@@ -138216,11 +138281,12 @@ function mapTerminalSuccessors(terminal, fn) {
         loc: terminal.loc,
       };
     }
-    case "scope": {
+    case "scope":
+    case "pruned-scope": {
       const block = fn(terminal.block);
       const fallthrough = fn(terminal.fallthrough);
       return {
-        kind: "scope",
+        kind: terminal.kind,
         scope: terminal.scope,
         block: block,
         fallthrough: fallthrough,
@@ -138265,7 +138331,8 @@ function terminalHasFallthrough(terminal) {
     case "switch":
     case "ternary":
     case "while":
-    case "scope": {
+    case "scope":
+    case "pruned-scope": {
       terminal.fallthrough;
       return true;
     }
@@ -138355,7 +138422,8 @@ function* eachTerminalSuccessor(terminal) {
       yield terminal.block;
       break;
     }
-    case "scope": {
+    case "scope":
+    case "pruned-scope": {
       yield terminal.block;
       break;
     }
@@ -138417,7 +138485,8 @@ function mapTerminalOperands(terminal, fn) {
     case "goto":
     case "unreachable":
     case "unsupported":
-    case "scope": {
+    case "scope":
+    case "pruned-scope": {
       break;
     }
     default: {
@@ -138473,7 +138542,8 @@ function* eachTerminalOperand(terminal) {
     case "goto":
     case "unreachable":
     case "unsupported":
-    case "scope": {
+    case "scope":
+    case "pruned-scope": {
       break;
     }
     default: {
@@ -139494,12 +139564,15 @@ function addShape(registry, id, properties, functionType) {
   registry.set(id, shape);
   return shape;
 }
+const BuiltInPropsId = "BuiltInProps";
 const BuiltInArrayId = "BuiltInArray";
 const BuiltInFunctionId = "BuiltInFunction";
 const BuiltInJsxId = "BuiltInJsx";
 const BuiltInObjectId = "BuiltInObject";
 const BuiltInUseStateId = "BuiltInUseState";
 const BuiltInSetStateId = "BuiltInSetState";
+const BuiltInUseActionStateId = "BuiltInUseActionState";
+const BuiltInSetActionStateId = "BuiltInSetActionState";
 const BuiltInUseRefId = "BuiltInUseRefId";
 const BuiltInRefValueId = "BuiltInRefValue";
 const BuiltInMixedReadonlyId = "BuiltInMixedReadonly";
@@ -139507,7 +139580,12 @@ const BuiltInUseEffectHookId = "BuiltInUseEffectHook";
 const BuiltInUseLayoutEffectHookId = "BuiltInUseLayoutEffectHook";
 const BuiltInUseInsertionEffectHookId = "BuiltInUseInsertionEffectHook";
 const BuiltInUseOperatorId = "BuiltInUseOperator";
+const BuiltInUseReducerId = "BuiltInUseReducer";
+const BuiltInDispatchId = "BuiltInDispatch";
 const BUILTIN_SHAPES = new Map();
+addObject(BUILTIN_SHAPES, BuiltInPropsId, [
+  ["ref", { kind: "Object", shapeId: BuiltInUseRefId }],
+]);
 addObject(BUILTIN_SHAPES, BuiltInArrayId, [
   [
     "at",
@@ -139653,6 +139731,42 @@ addObject(BUILTIN_SHAPES, BuiltInUseStateId, [
     ),
   ],
 ]);
+addObject(BUILTIN_SHAPES, BuiltInUseActionStateId, [
+  ["0", { kind: "Poly" }],
+  [
+    "1",
+    addFunction(
+      BUILTIN_SHAPES,
+      [],
+      {
+        positionalParams: [],
+        restParam: exports.Effect.Freeze,
+        returnType: PRIMITIVE_TYPE,
+        calleeEffect: exports.Effect.Read,
+        returnValueKind: exports.ValueKind.Primitive,
+      },
+      BuiltInSetActionStateId
+    ),
+  ],
+]);
+addObject(BUILTIN_SHAPES, BuiltInUseReducerId, [
+  ["0", { kind: "Poly" }],
+  [
+    "1",
+    addFunction(
+      BUILTIN_SHAPES,
+      [],
+      {
+        positionalParams: [],
+        restParam: exports.Effect.Freeze,
+        returnType: PRIMITIVE_TYPE,
+        calleeEffect: exports.Effect.Read,
+        returnValueKind: exports.ValueKind.Primitive,
+      },
+      BuiltInDispatchId
+    ),
+  ],
+]);
 addObject(BUILTIN_SHAPES, BuiltInUseRefId, [
   ["current", { kind: "Object", shapeId: BuiltInRefValueId }],
 ]);
@@ -141190,7 +141304,11 @@ function lowerExpression(builder, exprPath) {
     _13,
     _14,
     _15,
-    _16;
+    _16,
+    _17,
+    _18,
+    _19,
+    _20;
   const exprNode = exprPath.node;
   const exprLoc =
     (_a = exprNode.loc) !== null && _a !== void 0 ? _a : GeneratedSource;
@@ -141386,6 +141504,15 @@ function lowerExpression(builder, exprPath) {
       const left = lowerExpressionToTemporary(builder, leftPath);
       const right = lowerExpressionToTemporary(builder, expr.get("right"));
       const operator = expr.node.operator;
+      if (operator === "|>") {
+        builder.errors.push({
+          reason: `(BuildHIR::lowerExpression) Pipe operator not supported`,
+          severity: exports.ErrorSeverity.Todo,
+          loc: (_j = leftPath.node.loc) !== null && _j !== void 0 ? _j : null,
+          suggestions: null,
+        });
+        return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
+      }
       return {
         kind: "BinaryExpression",
         operator: operator,
@@ -141397,7 +141524,7 @@ function lowerExpression(builder, exprPath) {
     case "SequenceExpression": {
       const expr = exprPath;
       const exprLoc =
-        (_j = expr.node.loc) !== null && _j !== void 0 ? _j : GeneratedSource;
+        (_k = expr.node.loc) !== null && _k !== void 0 ? _k : GeneratedSource;
       const continuationBlock = builder.reserve(builder.currentBlockKind());
       const place = buildTemporaryPlace(builder, exprLoc);
       const sequenceBlock = builder.enter("sequence", (_) => {
@@ -141448,7 +141575,7 @@ function lowerExpression(builder, exprPath) {
     case "ConditionalExpression": {
       const expr = exprPath;
       const exprLoc =
-        (_k = expr.node.loc) !== null && _k !== void 0 ? _k : GeneratedSource;
+        (_l = expr.node.loc) !== null && _l !== void 0 ? _l : GeneratedSource;
       const continuationBlock = builder.reserve(builder.currentBlockKind());
       const testBlock = builder.reserve("value");
       const place = buildTemporaryPlace(builder, exprLoc);
@@ -141529,14 +141656,14 @@ function lowerExpression(builder, exprPath) {
     case "LogicalExpression": {
       const expr = exprPath;
       const exprLoc =
-        (_l = expr.node.loc) !== null && _l !== void 0 ? _l : GeneratedSource;
+        (_m = expr.node.loc) !== null && _m !== void 0 ? _m : GeneratedSource;
       const continuationBlock = builder.reserve(builder.currentBlockKind());
       const testBlock = builder.reserve("value");
       const place = buildTemporaryPlace(builder, exprLoc);
       const leftPlace = buildTemporaryPlace(
         builder,
-        (_m = expr.get("left").node.loc) !== null && _m !== void 0
-          ? _m
+        (_o = expr.get("left").node.loc) !== null && _o !== void 0
+          ? _o
           : GeneratedSource
       );
       const consequent = builder.enter("value", () => {
@@ -141616,7 +141743,7 @@ function lowerExpression(builder, exprPath) {
         const left = expr.get("left");
         return lowerAssignment(
           builder,
-          (_o = left.node.loc) !== null && _o !== void 0 ? _o : GeneratedSource,
+          (_p = left.node.loc) !== null && _p !== void 0 ? _p : GeneratedSource,
           InstructionKind.Reassign,
           left,
           lowerExpressionToTemporary(builder, expr.get("right")),
@@ -141644,7 +141771,7 @@ function lowerExpression(builder, exprPath) {
         builder.errors.push({
           reason: `(BuildHIR::lowerExpression) Handle ${operator} operators in AssignmentExpression`,
           severity: exports.ErrorSeverity.Todo,
-          loc: (_p = expr.node.loc) !== null && _p !== void 0 ? _p : null,
+          loc: (_q = expr.node.loc) !== null && _q !== void 0 ? _q : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141704,8 +141831,8 @@ function lowerExpression(builder, exprPath) {
             left: Object.assign({}, previousValuePlace),
             right: lowerExpressionToTemporary(builder, expr.get("right")),
             loc:
-              (_q = leftExpr.node.loc) !== null && _q !== void 0
-                ? _q
+              (_r = leftExpr.node.loc) !== null && _r !== void 0
+                ? _r
                 : GeneratedSource,
           });
           if (typeof property === "string") {
@@ -141715,8 +141842,8 @@ function lowerExpression(builder, exprPath) {
               property: property,
               value: Object.assign({}, newValuePlace),
               loc:
-                (_r = leftExpr.node.loc) !== null && _r !== void 0
-                  ? _r
+                (_s = leftExpr.node.loc) !== null && _s !== void 0
+                  ? _s
                   : GeneratedSource,
             };
           } else {
@@ -141726,8 +141853,8 @@ function lowerExpression(builder, exprPath) {
               property: Object.assign({}, property),
               value: Object.assign({}, newValuePlace),
               loc:
-                (_s = leftExpr.node.loc) !== null && _s !== void 0
-                  ? _s
+                (_t = leftExpr.node.loc) !== null && _t !== void 0
+                  ? _t
                   : GeneratedSource,
             };
           }
@@ -141736,7 +141863,7 @@ function lowerExpression(builder, exprPath) {
           builder.errors.push({
             reason: `(BuildHIR::lowerExpression) Expected Identifier or MemberExpression, got ${expr.type} lval in AssignmentExpression`,
             severity: exports.ErrorSeverity.Todo,
-            loc: (_t = expr.node.loc) !== null && _t !== void 0 ? _t : null,
+            loc: (_u = expr.node.loc) !== null && _u !== void 0 ? _u : null,
             suggestions: null,
           });
           return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141762,8 +141889,8 @@ function lowerExpression(builder, exprPath) {
       const expr = exprPath;
       const opening = expr.get("openingElement");
       const openingLoc =
-        (_u = opening.node.loc) !== null && _u !== void 0
-          ? _u
+        (_v = opening.node.loc) !== null && _v !== void 0
+          ? _v
           : GeneratedSource;
       const tag = lowerJsxElementName(builder, opening.get("name"));
       const props = [];
@@ -141781,7 +141908,7 @@ function lowerExpression(builder, exprPath) {
             reason: `(BuildHIR::lowerExpression) Handle ${attribute.type} attributes in JSXElement`,
             severity: exports.ErrorSeverity.Todo,
             loc:
-              (_v = attribute.node.loc) !== null && _v !== void 0 ? _v : null,
+              (_w = attribute.node.loc) !== null && _w !== void 0 ? _w : null,
             suggestions: null,
           });
           continue;
@@ -141795,7 +141922,7 @@ function lowerExpression(builder, exprPath) {
               reason: `(BuildHIR::lowerExpression) Unexpected colon in attribute name \`${name}\``,
               severity: exports.ErrorSeverity.Todo,
               loc:
-                (_w = namePath.node.loc) !== null && _w !== void 0 ? _w : null,
+                (_x = namePath.node.loc) !== null && _x !== void 0 ? _x : null,
               suggestions: null,
             });
           }
@@ -141803,7 +141930,7 @@ function lowerExpression(builder, exprPath) {
           CompilerError.invariant(namePath.isJSXNamespacedName(), {
             reason: "Refinement",
             description: null,
-            loc: (_x = namePath.node.loc) !== null && _x !== void 0 ? _x : null,
+            loc: (_y = namePath.node.loc) !== null && _y !== void 0 ? _y : null,
             suggestions: null,
           });
           const namespace = namePath.node.namespace.name;
@@ -141819,8 +141946,8 @@ function lowerExpression(builder, exprPath) {
             kind: "Primitive",
             value: true,
             loc:
-              (_y = attribute.node.loc) !== null && _y !== void 0
-                ? _y
+              (_z = attribute.node.loc) !== null && _z !== void 0
+                ? _z
                 : GeneratedSource,
           });
         } else {
@@ -141829,11 +141956,11 @@ function lowerExpression(builder, exprPath) {
               reason: `(BuildHIR::lowerExpression) Handle ${valueExpr.type} attribute values in JSXElement`,
               severity: exports.ErrorSeverity.Todo,
               loc:
-                (_0 =
-                  (_z = valueExpr.node) === null || _z === void 0
+                (_1 =
+                  (_0 = valueExpr.node) === null || _0 === void 0
                     ? void 0
-                    : _z.loc) !== null && _0 !== void 0
-                  ? _0
+                    : _0.loc) !== null && _1 !== void 0
+                  ? _1
                   : null,
               suggestions: null,
             });
@@ -141845,7 +141972,7 @@ function lowerExpression(builder, exprPath) {
               reason: `(BuildHIR::lowerExpression) Handle ${expression.type} expressions in JSXExpressionContainer within JSXElement`,
               severity: exports.ErrorSeverity.Todo,
               loc:
-                (_1 = valueExpr.node.loc) !== null && _1 !== void 0 ? _1 : null,
+                (_2 = valueExpr.node.loc) !== null && _2 !== void 0 ? _2 : null,
               suggestions: null,
             });
             continue;
@@ -141867,8 +141994,8 @@ function lowerExpression(builder, exprPath) {
           CompilerError.throwTodo({
             reason: `Support <${tagName}> tags where '${tagName}' is a local variable instead of a global`,
             loc:
-              (_2 = openingIdentifier.node.loc) !== null && _2 !== void 0
-                ? _2
+              (_3 = openingIdentifier.node.loc) !== null && _3 !== void 0
+                ? _3
                 : GeneratedSource,
             description: null,
             suggestions: null,
@@ -141894,8 +142021,8 @@ function lowerExpression(builder, exprPath) {
           CompilerError.throwTodo({
             reason: `Support <${tagName}> tags with multiple <${tagName}:enum> values`,
             loc:
-              (_3 = fbtEnumLocations.at(-1)) !== null && _3 !== void 0
-                ? _3
+              (_4 = fbtEnumLocations.at(-1)) !== null && _4 !== void 0
+                ? _4
                 : GeneratedSource,
             description: null,
             suggestions: null,
@@ -141939,11 +142066,11 @@ function lowerExpression(builder, exprPath) {
         loc: exprLoc,
         openingLoc: openingLoc,
         closingLoc:
-          (_5 =
-            (_4 = expr.get("closingElement").node) === null || _4 === void 0
+          (_6 =
+            (_5 = expr.get("closingElement").node) === null || _5 === void 0
               ? void 0
-              : _4.loc) !== null && _5 !== void 0
-            ? _5
+              : _5.loc) !== null && _6 !== void 0
+            ? _6
             : GeneratedSource,
       };
     }
@@ -141967,7 +142094,7 @@ function lowerExpression(builder, exprPath) {
           reason:
             "(BuildHIR::lowerExpression) Handle tagged template with interpolations",
           severity: exports.ErrorSeverity.Todo,
-          loc: (_6 = exprPath.node.loc) !== null && _6 !== void 0 ? _6 : null,
+          loc: (_7 = exprPath.node.loc) !== null && _7 !== void 0 ? _7 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -141976,7 +142103,7 @@ function lowerExpression(builder, exprPath) {
         reason:
           "there should be only one quasi as we don't support interpolations yet",
         description: null,
-        loc: (_7 = expr.node.loc) !== null && _7 !== void 0 ? _7 : null,
+        loc: (_8 = expr.node.loc) !== null && _8 !== void 0 ? _8 : null,
         suggestions: null,
       });
       const value = expr.get("quasi").get("quasis").at(0).node.value;
@@ -141985,7 +142112,7 @@ function lowerExpression(builder, exprPath) {
           reason:
             "(BuildHIR::lowerExpression) Handle tagged template where cooked value is different from raw value",
           severity: exports.ErrorSeverity.Todo,
-          loc: (_8 = exprPath.node.loc) !== null && _8 !== void 0 ? _8 : null,
+          loc: (_9 = exprPath.node.loc) !== null && _9 !== void 0 ? _9 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -142005,7 +142132,8 @@ function lowerExpression(builder, exprPath) {
         builder.errors.push({
           reason: `Unexpected quasi and subexpression lengths in template literal`,
           severity: exports.ErrorSeverity.InvalidJS,
-          loc: (_9 = exprPath.node.loc) !== null && _9 !== void 0 ? _9 : null,
+          loc:
+            (_10 = exprPath.node.loc) !== null && _10 !== void 0 ? _10 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -142015,7 +142143,7 @@ function lowerExpression(builder, exprPath) {
           reason: `(BuildHIR::lowerAssignment) Handle TSType in TemplateLiteral.`,
           severity: exports.ErrorSeverity.Todo,
           loc:
-            (_10 = exprPath.node.loc) !== null && _10 !== void 0 ? _10 : null,
+            (_11 = exprPath.node.loc) !== null && _11 !== void 0 ? _11 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -142058,7 +142186,7 @@ function lowerExpression(builder, exprPath) {
           builder.errors.push({
             reason: `Only object properties can be deleted`,
             severity: exports.ErrorSeverity.InvalidJS,
-            loc: (_11 = expr.node.loc) !== null && _11 !== void 0 ? _11 : null,
+            loc: (_12 = expr.node.loc) !== null && _12 !== void 0 ? _12 : null,
             suggestions: [
               {
                 description: "Remove this line",
@@ -142069,6 +142197,20 @@ function lowerExpression(builder, exprPath) {
           });
           return { kind: "UnsupportedNode", node: expr.node, loc: exprLoc };
         }
+      } else if (expr.node.operator === "throw") {
+        builder.errors.push({
+          reason: `Throw expressions are not supported`,
+          severity: exports.ErrorSeverity.InvalidJS,
+          loc: (_13 = expr.node.loc) !== null && _13 !== void 0 ? _13 : null,
+          suggestions: [
+            {
+              description: "Remove this line",
+              range: [expr.node.start, expr.node.end],
+              op: exports.CompilerSuggestionOperation.Remove,
+            },
+          ],
+        });
+        return { kind: "UnsupportedNode", node: expr.node, loc: exprLoc };
       } else {
         return {
           kind: "UnaryExpression",
@@ -142116,7 +142258,7 @@ function lowerExpression(builder, exprPath) {
           reason: `(BuildHIR::lowerExpression) Handle UpdateExpression with ${argument.type} argument`,
           severity: exports.ErrorSeverity.Todo,
           loc:
-            (_12 = exprPath.node.loc) !== null && _12 !== void 0 ? _12 : null,
+            (_14 = exprPath.node.loc) !== null && _14 !== void 0 ? _14 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -142125,15 +142267,15 @@ function lowerExpression(builder, exprPath) {
           reason: `(BuildHIR::lowerExpression) Handle UpdateExpression to variables captured within lambdas.`,
           severity: exports.ErrorSeverity.Todo,
           loc:
-            (_13 = exprPath.node.loc) !== null && _13 !== void 0 ? _13 : null,
+            (_15 = exprPath.node.loc) !== null && _15 !== void 0 ? _15 : null,
           suggestions: null,
         });
         return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
       }
       const lvalue = lowerIdentifierForAssignment(
         builder,
-        (_14 = argument.node.loc) !== null && _14 !== void 0
-          ? _14
+        (_16 = argument.node.loc) !== null && _16 !== void 0
+          ? _16
           : GeneratedSource,
         InstructionKind.Reassign,
         argument
@@ -142183,8 +142325,8 @@ function lowerExpression(builder, exprPath) {
         pattern: expr.node.pattern,
         flags: expr.node.flags,
         loc:
-          (_15 = expr.node.loc) !== null && _15 !== void 0
-            ? _15
+          (_17 = expr.node.loc) !== null && _17 !== void 0
+            ? _17
             : GeneratedSource,
       };
     }
@@ -142192,11 +142334,35 @@ function lowerExpression(builder, exprPath) {
       let expr = exprPath;
       return lowerExpression(builder, expr.get("expression"));
     }
+    case "MetaProperty": {
+      let expr = exprPath;
+      if (
+        expr.node.meta.name === "import" &&
+        expr.node.property.name === "meta"
+      ) {
+        return {
+          kind: "MetaProperty",
+          meta: expr.node.meta.name,
+          property: expr.node.property.name,
+          loc:
+            (_18 = expr.node.loc) !== null && _18 !== void 0
+              ? _18
+              : GeneratedSource,
+        };
+      }
+      builder.errors.push({
+        reason: `(BuildHIR::lowerExpression) Handle MetaProperty expressions other than import.meta`,
+        severity: exports.ErrorSeverity.Todo,
+        loc: (_19 = exprPath.node.loc) !== null && _19 !== void 0 ? _19 : null,
+        suggestions: null,
+      });
+      return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
+    }
     default: {
       builder.errors.push({
         reason: `(BuildHIR::lowerExpression) Handle ${exprPath.type} expressions`,
         severity: exports.ErrorSeverity.Todo,
-        loc: (_16 = exprPath.node.loc) !== null && _16 !== void 0 ? _16 : null,
+        loc: (_20 = exprPath.node.loc) !== null && _20 !== void 0 ? _20 : null,
         suggestions: null,
       });
       return { kind: "UnsupportedNode", node: exprNode, loc: exprLoc };
@@ -149705,6 +149871,30 @@ const REACT_APIS = [
       returnValueReason: ValueReason.State,
     }),
   ],
+  [
+    "useActionState",
+    addHook(DEFAULT_SHAPES, {
+      positionalParams: [],
+      restParam: exports.Effect.Freeze,
+      returnType: { kind: "Object", shapeId: BuiltInUseActionStateId },
+      calleeEffect: exports.Effect.Read,
+      hookKind: "useActionState",
+      returnValueKind: exports.ValueKind.Frozen,
+      returnValueReason: ValueReason.State,
+    }),
+  ],
+  [
+    "useReducer",
+    addHook(DEFAULT_SHAPES, {
+      positionalParams: [],
+      restParam: exports.Effect.Freeze,
+      returnType: { kind: "Object", shapeId: BuiltInUseReducerId },
+      calleeEffect: exports.Effect.Read,
+      hookKind: "useReducer",
+      returnValueKind: exports.ValueKind.Frozen,
+      returnValueReason: ValueReason.ReducerState,
+    }),
+  ],
   [
     "useRef",
     addHook(DEFAULT_SHAPES, {
@@ -149951,6 +150141,7 @@ const HookSchema = z.object({
 });
 const EnvironmentConfigSchema = z.object({
   customHooks: z.map(z.string(), HookSchema).optional().default(new Map()),
+  customMacros: z.nullable(z.array(z.string())).default(null),
   enableResetCacheOnSourceFileChanges: z.boolean().default(false),
   enablePreserveExistingMemoizationGuarantees: z.boolean().default(false),
   validatePreserveExistingMemoizationGuarantees: z.boolean().default(true),
@@ -149967,6 +150158,7 @@ const EnvironmentConfigSchema = z.object({
   enableTransitivelyFreezeFunctionExpressions: z.boolean().default(true),
   enableEmitFreeze: ExternalFunctionSchema.nullish(),
   enableEmitHookGuards: ExternalFunctionSchema.nullish(),
+  enableInstructionReordering: z.boolean().default(false),
   enableEmitInstrumentForget: InstrumentationSchema.nullish(),
   assertValidMutableRanges: z.boolean().default(false),
   enableChangeVariableCodegen: z.boolean().default(false),
@@ -149978,6 +150170,7 @@ const EnvironmentConfigSchema = z.object({
   enableChangeDetectionForDebugging: ExternalFunctionSchema.nullish(),
   enableCustomTypeDefinitionForReanimated: z.boolean().default(false),
   hookPattern: z.string().nullable().default(null),
+  enableTreatRefLikeIdentifiersAsRefs: z.boolean().nullable().default(false),
 });
 function parseConfigPragma(pragma) {
   const maybeConfig = {};
@@ -149992,6 +150185,16 @@ function parseConfigPragma(pragma) {
       maybeConfig[key] = [];
       continue;
     }
+    if (
+      key === "enableChangeDetectionForDebugging" &&
+      (val === undefined || val === "true")
+    ) {
+      maybeConfig[key] = {
+        source: "react-compiler-runtime",
+        importSpecifierName: "$structuralCheck",
+      };
+      continue;
+    }
     if (typeof defaultConfig[key] !== "boolean") {
       continue;
     }
@@ -150673,6 +150876,12 @@ class ReactiveFunctionVisitor {
   traverseScope(scope, state) {
     this.visitBlock(scope.instructions, state);
   }
+  visitPrunedScope(scopeBlock, state) {
+    this.traversePrunedScope(scopeBlock, state);
+  }
+  traversePrunedScope(scopeBlock, state) {
+    this.visitBlock(scopeBlock.instructions, state);
+  }
   visitBlock(block, state) {
     this.traverseBlock(block, state);
   }
@@ -150687,6 +150896,10 @@ class ReactiveFunctionVisitor {
           this.visitScope(instr, state);
           break;
         }
+        case "pruned-scope": {
+          this.visitPrunedScope(instr, state);
+          break;
+        }
         case "terminal": {
           this.visitTerminal(instr, state);
           break;
@@ -150736,6 +150949,10 @@ class ReactiveFunctionTransform extends ReactiveFunctionVisitor {
           transformed = this.transformScope(instr, state);
           break;
         }
+        case "pruned-scope": {
+          transformed = this.transformPrunedScope(instr, state);
+          break;
+        }
         case "terminal": {
           transformed = this.transformTerminal(instr, state);
           break;
@@ -150793,6 +151010,10 @@ class ReactiveFunctionTransform extends ReactiveFunctionVisitor {
     this.visitScope(scope, state);
     return { kind: "keep" };
   }
+  transformPrunedScope(scope, state) {
+    this.visitPrunedScope(scope, state);
+    return { kind: "keep" };
+  }
   transformValue(id, value, state) {
     this.visitValue(id, value, state);
     return { kind: "keep" };
@@ -151233,6 +151454,7 @@ function visitBlock(context, block) {
         context.append(stmt, stmt.label);
         break;
       }
+      case "pruned-scope":
       case "scope": {
         CompilerError.invariant(false, {
           reason: "Expected the function to not have scopes already assigned",
@@ -153939,6 +154161,7 @@ class Driver {
         }
         break;
       }
+      case "pruned-scope":
       case "scope": {
         const fallthroughId = !this.cx.isScheduled(terminal.fallthrough)
           ? terminal.fallthrough
@@ -153959,7 +154182,7 @@ class Driver {
         }
         this.cx.unscheduleAll(scheduleIds);
         blockValue.push({
-          kind: "scope",
+          kind: terminal.kind,
           instructions: block,
           scope: terminal.scope,
         });
@@ -154047,12 +154270,15 @@ class Driver {
         const instr = defaultBlock.instructions[0];
         let place = instr.lvalue;
         let value = instr.value;
-        if (instr.value.kind === "StoreLocal") {
-          place = instr.value.lvalue.place;
+        if (
+          value.kind === "StoreLocal" &&
+          value.lvalue.place.identifier.name === null
+        ) {
+          place = value.lvalue.place;
           value = {
             kind: "LoadLocal",
-            place: instr.value.value,
-            loc: instr.value.value.loc,
+            place: value.value,
+            loc: value.value.loc,
           };
         }
         return {
@@ -154065,12 +154291,15 @@ class Driver {
         const instr = defaultBlock.instructions.at(-1);
         let place = instr.lvalue;
         let value = instr.value;
-        if (instr.value.kind === "StoreLocal") {
-          place = instr.value.lvalue.place;
+        if (
+          value.kind === "StoreLocal" &&
+          value.lvalue.place.identifier.name === null
+        ) {
+          place = value.lvalue.place;
           value = {
             kind: "LoadLocal",
-            place: instr.value.value,
-            loc: instr.value.value.loc,
+            place: value.value,
+            loc: value.value.loc,
           };
         }
         const sequence = {
@@ -154538,11 +154767,16 @@ var GuardKind;
   GuardKind[(GuardKind["AllowHook"] = 2)] = "AllowHook";
   GuardKind[(GuardKind["DisallowHook"] = 3)] = "DisallowHook";
 })(GuardKind || (GuardKind = {}));
-function memoizeFbtOperandsInSameScope(fn) {
+function memoizeFbtAndMacroOperandsInSameScope(fn) {
+  var _a;
+  const fbtMacroTags = new Set([
+    ...FBT_TAGS,
+    ...((_a = fn.env.config.customMacros) !== null && _a !== void 0 ? _a : []),
+  ]);
   const fbtValues = new Set();
   while (true) {
     let size = fbtValues.size;
-    visit$1(fn, fbtValues);
+    visit$1(fn, fbtMacroTags, fbtValues);
     if (size === fbtValues.size) {
       break;
     }
@@ -154550,28 +154784,28 @@ function memoizeFbtOperandsInSameScope(fn) {
 }
 const FBT_TAGS = new Set(["fbt", "fbt:param", "fbs", "fbs:param"]);
 const SINGLE_CHILD_FBT_TAGS = new Set(["fbt:param", "fbs:param"]);
-function visit$1(fn, fbtValues) {
+function visit$1(fn, fbtMacroTags, fbtValues) {
   for (const [, block] of fn.body.blocks) {
     for (const instruction of block.instructions) {
       const { lvalue: lvalue, value: value } = instruction;
       if (lvalue === null) {
-        return;
+        continue;
       }
       if (
         value.kind === "Primitive" &&
         typeof value.value === "string" &&
-        FBT_TAGS.has(value.value)
+        fbtMacroTags.has(value.value)
       ) {
         fbtValues.add(lvalue.identifier.id);
       } else if (
         value.kind === "LoadGlobal" &&
-        FBT_TAGS.has(value.binding.name)
+        fbtMacroTags.has(value.binding.name)
       ) {
         fbtValues.add(lvalue.identifier.id);
       } else if (isFbtCallExpression(fbtValues, value)) {
         const fbtScope = lvalue.identifier.scope;
         if (fbtScope === null) {
-          return;
+          continue;
         }
         for (const operand of eachReactiveValueOperand(value)) {
           operand.identifier.scope = fbtScope;
@@ -154581,14 +154815,15 @@ function visit$1(fn, fbtValues) {
               operand.identifier.mutableRange.start
             )
           );
+          fbtValues.add(operand.identifier.id);
         }
       } else if (
-        isFbtJsxExpression(fbtValues, value) ||
+        isFbtJsxExpression(fbtMacroTags, fbtValues, value) ||
         isFbtJsxChild(fbtValues, lvalue, value)
       ) {
         const fbtScope = lvalue.identifier.scope;
         if (fbtScope === null) {
-          return;
+          continue;
         }
         for (const operand of eachReactiveValueOperand(value)) {
           operand.identifier.scope = fbtScope;
@@ -154600,6 +154835,26 @@ function visit$1(fn, fbtValues) {
           );
           fbtValues.add(operand.identifier.id);
         }
+      } else if (fbtValues.has(lvalue.identifier.id)) {
+        const fbtScope = lvalue.identifier.scope;
+        if (fbtScope === null) {
+          return;
+        }
+        for (const operand of eachReactiveValueOperand(value)) {
+          if (
+            operand.identifier.name !== null &&
+            operand.identifier.name.kind === "named"
+          ) {
+            continue;
+          }
+          operand.identifier.scope = fbtScope;
+          fbtScope.range.start = makeInstructionId(
+            Math.min(
+              fbtScope.range.start,
+              operand.identifier.mutableRange.start
+            )
+          );
+        }
       }
     }
   }
@@ -154609,12 +154864,12 @@ function isFbtCallExpression(fbtValues, value) {
     value.kind === "CallExpression" && fbtValues.has(value.callee.identifier.id)
   );
 }
-function isFbtJsxExpression(fbtValues, value) {
+function isFbtJsxExpression(fbtMacroTags, fbtValues, value) {
   return (
     value.kind === "JsxExpression" &&
     ((value.tag.kind === "Identifier" &&
       fbtValues.has(value.tag.identifier.id)) ||
-      (value.tag.kind === "BuiltinTag" && FBT_TAGS.has(value.tag.name)))
+      (value.tag.kind === "BuiltinTag" && fbtMacroTags.has(value.tag.name)))
   );
 }
 function isFbtJsxChild(fbtValues, lvalue, value) {
@@ -154807,7 +155062,7 @@ function codegenReactiveFunction(cx, fn) {
   if (cx.errors.hasErrors()) {
     return Err(cx.errors);
   }
-  const countMemoBlockVisitor = new CountMemoBlockVisitor();
+  const countMemoBlockVisitor = new CountMemoBlockVisitor(fn.env);
   visitReactiveFunction(fn, countMemoBlockVisitor, undefined);
   return Ok({
     type: "CodegenFunction",
@@ -154818,17 +155073,30 @@ function codegenReactiveFunction(cx, fn) {
     generator: fn.generator,
     async: fn.async,
     memoSlotsUsed: cx.nextCacheIndex,
-    memoBlocks: countMemoBlockVisitor.count,
+    memoBlocks: countMemoBlockVisitor.memoBlocks,
+    memoValues: countMemoBlockVisitor.memoValues,
+    prunedMemoBlocks: countMemoBlockVisitor.prunedMemoBlocks,
+    prunedMemoValues: countMemoBlockVisitor.prunedMemoValues,
   });
 }
 class CountMemoBlockVisitor extends ReactiveFunctionVisitor {
-  constructor() {
-    super(...arguments);
-    this.count = 0;
+  constructor(env) {
+    super();
+    this.memoBlocks = 0;
+    this.memoValues = 0;
+    this.prunedMemoBlocks = 0;
+    this.prunedMemoValues = 0;
+    this.env = env;
   }
-  visitScope(scope, state) {
-    this.count += 1;
-    this.traverseScope(scope, state);
+  visitScope(scopeBlock, state) {
+    this.memoBlocks += 1;
+    this.memoValues += scopeBlock.scope.declarations.size;
+    this.traverseScope(scopeBlock, state);
+  }
+  visitPrunedScope(scopeBlock, state) {
+    this.prunedMemoBlocks += 1;
+    this.prunedMemoValues += scopeBlock.scope.declarations.size;
+    this.traversePrunedScope(scopeBlock, state);
   }
 }
 function convertParameter(param) {
@@ -154919,6 +155187,11 @@ function codegenBlockNoReset(cx, block) {
         }
         break;
       }
+      case "pruned-scope": {
+        const scopeBlock = codegenBlockNoReset(cx, item.instructions);
+        statements.push(...scopeBlock.body);
+        break;
+      }
       case "scope": {
         const temp = new Map(cx.temp);
         codegenReactiveScope(cx, statements, item.scope, item.instructions);
@@ -155024,8 +155297,8 @@ function codegenReactiveScope(cx, statements, scope, block) {
       firstOutputIndex = index;
     }
     CompilerError.invariant(identifier.name != null, {
-      reason: `Expected identifier '@${identifier.id}' to be named`,
-      description: null,
+      reason: `Expected scope declaration identifier to be named`,
+      description: `Declaration \`${printIdentifier(identifier)}\` is unnamed in scope @${scope.id}`,
       loc: null,
       suggestions: null,
     });
@@ -156470,6 +156743,13 @@ function codegenInstructionValue(cx, instrValue) {
       value = t__namespace.regExpLiteral(instrValue.pattern, instrValue.flags);
       break;
     }
+    case "MetaProperty": {
+      value = t__namespace.metaProperty(
+        t__namespace.identifier(instrValue.meta),
+        t__namespace.identifier(instrValue.property)
+      );
+      break;
+    }
     case "Await": {
       value = t__namespace.awaitExpression(
         codegenPlaceToExpression(cx, instrValue.value)
@@ -156554,7 +156834,8 @@ function codegenInstructionValue(cx, instrValue) {
   }
   return value;
 }
-const STRING_REQUIRES_EXPR_CONTAINER_PATTERN = /[\u{0080}-\u{FFFF}]|"/u;
+const STRING_REQUIRES_EXPR_CONTAINER_PATTERN =
+  /[\u{0000}-\u{001F}|\u{007F}|\u{0080}-\u{FFFF}]|"/u;
 function codegenJsxAttribute(cx, attribute) {
   switch (attribute.kind) {
     case "JsxAttribute": {
@@ -156883,7 +157164,14 @@ let Transform$6 = class Transform extends ReactiveFunctionTransform {
   transformScope(scope, isWithinLoop) {
     this.visitScope(scope, isWithinLoop);
     if (isWithinLoop) {
-      return { kind: "replace-many", value: scope.instructions };
+      return {
+        kind: "replace",
+        value: {
+          kind: "pruned-scope",
+          scope: scope.scope,
+          instructions: scope.instructions,
+        },
+      };
     } else {
       return { kind: "keep" };
     }
@@ -156927,7 +157215,17 @@ let Transform$5 = class Transform extends ReactiveFunctionTransform {
     this.visitScope(scope, innerState);
     outerState.hasHook || (outerState.hasHook = innerState.hasHook);
     if (innerState.hasHook) {
-      return { kind: "replace-many", value: scope.instructions };
+      if (scope.instructions.length === 1) {
+        return { kind: "replace-many", value: scope.instructions };
+      }
+      return {
+        kind: "replace",
+        value: {
+          kind: "pruned-scope",
+          scope: scope.scope,
+          instructions: scope.instructions,
+        },
+      };
     } else {
       return { kind: "keep" };
     }
@@ -157153,13 +157451,26 @@ let Transform$4 = class Transform extends ReactiveFunctionTransform {
           }
           break;
         }
+        case "pruned-scope": {
+          if (current !== null) {
+            log$1(
+              `Reset scope @${current.block.scope.id} from pruned scope @${instr.scope.id}`
+            );
+            reset();
+          }
+          break;
+        }
         case "instruction": {
           switch (instr.instruction.value.kind) {
+            case "BinaryExpression":
             case "ComputedLoad":
             case "JSXText":
+            case "LoadGlobal":
             case "LoadLocal":
             case "Primitive":
-            case "PropertyLoad": {
+            case "PropertyLoad":
+            case "TemplateLiteral":
+            case "UnaryExpression": {
               if (current !== null && instr.instruction.lvalue !== null) {
                 current.lvalues.add(instr.instruction.lvalue.identifier.id);
               }
@@ -157401,20 +157712,35 @@ function scopeIsEligibleForMerging(scopeBlock) {
   );
 }
 let Visitor$9 = class Visitor extends ReactiveFunctionVisitor {
-  visitScope(block, state) {
-    this.traverseScope(block, state);
-    for (const dep of block.scope.dependencies) {
+  visitScope(scopeBlock, state) {
+    this.traverseScope(scopeBlock, state);
+    for (const dep of scopeBlock.scope.dependencies) {
       const { identifier: identifier } = dep;
       if (identifier.name == null) {
         promoteIdentifier(identifier, state);
       }
     }
-    for (const [, declaration] of block.scope.declarations) {
+    for (const [, declaration] of scopeBlock.scope.declarations) {
       if (declaration.identifier.name == null) {
         promoteIdentifier(declaration.identifier, state);
       }
     }
   }
+  visitPrunedScope(scopeBlock, state) {
+    var _a;
+    this.traversePrunedScope(scopeBlock, state);
+    for (const [, declaration] of scopeBlock.scope.declarations) {
+      if (
+        declaration.identifier.name == null &&
+        ((_a = state.pruned.get(declaration.identifier.id)) === null ||
+        _a === void 0
+          ? void 0
+          : _a.usedOutsideScope) === true
+      ) {
+        promoteIdentifier(declaration.identifier, state);
+      }
+    }
+  }
   visitParam(place, state) {
     if (place.identifier.name === null) {
       promoteIdentifier(place.identifier, state);
@@ -157436,18 +157762,45 @@ let Visitor$9 = class Visitor extends ReactiveFunctionVisitor {
     visitReactiveFunction(fn, this, state);
   }
 };
-class CollectJsxTagsVisitor extends ReactiveFunctionVisitor {
+class CollectPromotableTemporaries extends ReactiveFunctionVisitor {
+  constructor() {
+    super(...arguments);
+    this.activeScopes = [];
+  }
+  visitPlace(_id, place, state) {
+    if (
+      this.activeScopes.length !== 0 &&
+      state.pruned.has(place.identifier.id)
+    ) {
+      const prunedPlace = state.pruned.get(place.identifier.id);
+      if (prunedPlace.activeScopes.indexOf(this.activeScopes.at(-1)) === -1) {
+        prunedPlace.usedOutsideScope = true;
+      }
+    }
+  }
   visitValue(id, value, state) {
     this.traverseValue(id, value, state);
     if (value.kind === "JsxExpression" && value.tag.kind === "Identifier") {
-      state.add(value.tag.identifier.id);
+      state.tags.add(value.tag.identifier.id);
     }
   }
+  visitPrunedScope(scopeBlock, state) {
+    for (const [id] of scopeBlock.scope.declarations) {
+      state.pruned.set(id, {
+        activeScopes: [...this.activeScopes],
+        usedOutsideScope: false,
+      });
+    }
+  }
+  visitScope(scopeBlock, state) {
+    this.activeScopes.push(scopeBlock.scope.id);
+    this.traverseScope(scopeBlock, state);
+    this.activeScopes.pop();
+  }
 }
 function promoteUsedTemporaries(fn) {
-  const tags = new Set();
-  visitReactiveFunction(fn, new CollectJsxTagsVisitor(), tags);
-  const state = { tags: tags };
+  const state = { tags: new Set(), pruned: new Map() };
+  visitReactiveFunction(fn, new CollectPromotableTemporaries(), state);
   for (const operand of fn.params) {
     const place = operand.kind === "Identifier" ? operand : operand.place;
     if (place.identifier.name === null) {
@@ -158734,6 +159087,11 @@ class PropagationVisitor extends ReactiveFunctionVisitor {
     });
     scope.scope.dependencies = scopeDependencies;
   }
+  visitPrunedScope(scopeBlock, context) {
+    context.enter(scopeBlock.scope, () => {
+      this.visitBlock(scopeBlock.instructions, context);
+    });
+  }
   visitInstruction(instruction, context) {
     const { id: id, value: value, lvalue: lvalue } = instruction;
     this.visitInstructionValue(context, id, value, lvalue);
@@ -159209,7 +159567,9 @@ function inferReferenceEffects(fn, options = { isFunctionExpression: false }) {
     let queuedState = queuedStates.get(blockId);
     if (queuedState != null) {
       state =
-        (_a = queuedState.merge(state)) !== null && _a !== void 0 ? _a : state;
+        (_a = queuedState.merge(state)) !== null && _a !== void 0
+          ? _a
+          : queuedState;
       queuedStates.set(blockId, state);
     } else {
       const prevState = statesByBlock.get(blockId);
@@ -159494,7 +159854,8 @@ class InferenceState {
         break;
       }
       case exports.Effect.Mutate: {
-        if (valueKind.kind === exports.ValueKind.Context) {
+        if (isRefValueType(place.identifier) || isUseRefType(place.identifier));
+        else if (valueKind.kind === exports.ValueKind.Context) {
           functionEffect = {
             kind: "ContextMutation",
             loc: place.loc,
@@ -159532,7 +159893,8 @@ class InferenceState {
         break;
       }
       case exports.Effect.Store: {
-        if (valueKind.kind === exports.ValueKind.Context) {
+        if (isRefValueType(place.identifier) || isUseRefType(place.identifier));
+        else if (valueKind.kind === exports.ValueKind.Context) {
           functionEffect = {
             kind: "ContextMutation",
             loc: place.loc,
@@ -159750,7 +160112,7 @@ class InferenceState {
       _InferenceState_variables,
       "f"
     )) {
-      result.variables[variable] = [...values].map(identify);
+      result.variables[`$${variable}`] = [...values].map(identify);
     }
     return result;
   }
@@ -160091,17 +160453,28 @@ function inferBlock(env, functionEffects, state, block) {
         };
         break;
       }
-      case "LoadGlobal":
+      case "MetaProperty": {
+        if (instrValue.meta !== "import" || instrValue.property !== "meta") {
+          continue;
+        }
         valueKind = {
           kind: exports.ValueKind.Global,
           reason: new Set([ValueReason.Global]),
           context: new Set(),
         };
         break;
-      case "Debugger":
-      case "JSXText":
-      case "Primitive": {
-        valueKind = {
+      }
+      case "LoadGlobal":
+        valueKind = {
+          kind: exports.ValueKind.Global,
+          reason: new Set([ValueReason.Global]),
+          context: new Set(),
+        };
+        break;
+      case "Debugger":
+      case "JSXText":
+      case "Primitive": {
+        valueKind = {
           kind: exports.ValueKind.Primitive,
           reason: new Set([ValueReason.Other]),
           context: new Set(),
@@ -160843,6 +161216,8 @@ function getWriteErrorReason(abstractValue) {
     return "Mutating component props or hook arguments is not allowed. Consider using a local variable instead";
   } else if (abstractValue.reason.has(ValueReason.State)) {
     return "Mutating a value returned from 'useState()', which should not be mutated. Use the setter function to update instead";
+  } else if (abstractValue.reason.has(ValueReason.ReducerState)) {
+    return "Mutating a value returned from 'useReducer()', which should not be mutated. Use the dispatch function to update instead";
   } else {
     return "This mutates a variable that React considers immutable";
   }
@@ -161061,6 +161436,7 @@ function computeMemoizationInputs(env, value, lvalue, options) {
     case "ComputedDelete":
     case "PropertyDelete":
     case "LoadGlobal":
+    case "MetaProperty":
     case "TemplateLiteral":
     case "Primitive":
     case "JSXText":
@@ -161475,6 +161851,14 @@ let Visitor$6 = class Visitor extends ReactiveFunctionVisitor {
       state.add(place.identifier.id);
     }
   }
+  visitPrunedScope(scopeBlock, state) {
+    this.traversePrunedScope(scopeBlock, state);
+    for (const [id, decl] of scopeBlock.scope.declarations) {
+      if (!isPrimitiveType(decl.identifier)) {
+        state.add(id);
+      }
+    }
+  }
 };
 function collectReactiveIdentifiers(fn) {
   const visitor = new Visitor$6();
@@ -161509,7 +161893,7 @@ let Visitor$5 = class Visitor extends ReactiveFunctionVisitor {
       case "Destructure": {
         if (state.has(value.value.identifier.id)) {
           for (const lvalue of eachPatternOperand(value.lvalue.pattern)) {
-            if (isSetStateType(lvalue.identifier)) {
+            if (isStableType(lvalue.identifier)) {
               continue;
             }
             state.add(lvalue.identifier.id);
@@ -161524,7 +161908,7 @@ let Visitor$5 = class Visitor extends ReactiveFunctionVisitor {
         if (
           lvalue !== null &&
           state.has(value.object.identifier.id) &&
-          !isSetStateType(lvalue.identifier)
+          !isStableType(lvalue.identifier)
         ) {
           state.add(lvalue.identifier.id);
         }
@@ -161635,7 +162019,14 @@ let Transform$1 = class Transform extends ReactiveFunctionTransform {
       (scopeBlock.scope.declarations.size === 0 ||
         !hasOwnDeclaration(scopeBlock))
     ) {
-      return { kind: "replace-many", value: scopeBlock.instructions };
+      return {
+        kind: "replace",
+        value: {
+          kind: "pruned-scope",
+          scope: scopeBlock.scope,
+          instructions: scopeBlock.instructions,
+        },
+      };
     } else {
       return { kind: "keep" };
     }
@@ -161705,6 +162096,9 @@ let Visitor$2 = class Visitor extends ReactiveFunctionVisitor {
       this.traverseBlock(block, state);
     });
   }
+  visitPrunedScope(scopeBlock, state) {
+    this.traverseBlock(scopeBlock.instructions, state);
+  }
   visitScope(scope, state) {
     for (const [_, declaration] of scope.scope.declarations) {
       state.visit(declaration.identifier);
@@ -161954,6 +162348,7 @@ function mayAllocate(env, instruction) {
     case "DeclareContext":
     case "StoreLocal":
     case "LoadGlobal":
+    case "MetaProperty":
     case "TypeCastExpression":
     case "LoadLocal":
     case "LoadContext":
@@ -162406,7 +162801,7 @@ function addMemoCacheFunctionImportDeclaration(program, moduleName, localName) {
   );
 }
 z.enum(["all_errors", "critical_errors", "none"]);
-z.enum(["infer", "annotation", "all"]);
+z.enum(["infer", "syntax", "annotation", "all"]);
 const defaultOptions = {
   compilationMode: "infer",
   panicThreshold: "none",
@@ -162419,6 +162814,7 @@ const defaultOptions = {
   flowSuppressions: false,
   ignoreUseNoForget: false,
   sources: (filename) => filename.indexOf("node_modules") === -1,
+  enableReanimatedCheck: true,
 };
 function parsePluginOptions(obj) {
   if (obj == null || typeof obj !== "object") {
@@ -163910,6 +164306,7 @@ function pruneableValue(value, state) {
       return false;
     }
     case "RegExpLiteral":
+    case "MetaProperty":
     case "LoadGlobal":
     case "ArrayExpression":
     case "BinaryExpression":
@@ -164836,7 +165233,7 @@ function inferReactivePlaces(fn) {
         }
         if (hasReactiveInput) {
           for (const lvalue of eachInstructionLValue(instruction)) {
-            if (isSetStateType(lvalue.identifier)) {
+            if (isStableType(lvalue.identifier)) {
               continue;
             }
             reactiveIdentifiers.markReactive(lvalue);
@@ -165150,6 +165547,268 @@ function declareTemporary(env, block, result) {
     },
   });
 }
+function instructionReordering(fn) {
+  var _a;
+  const shared = new Map();
+  const references = findReferencedRangeOfTemporaries(fn);
+  for (const [, block] of fn.body.blocks) {
+    reorderBlock(fn.env, block, shared, references);
+  }
+  CompilerError.invariant(shared.size === 0, {
+    reason: `InstructionReordering: expected all reorderable nodes to have been emitted`,
+    loc:
+      (_a = [...shared.values()]
+        .map((node) => {
+          var _a;
+          return (_a = node.instruction) === null || _a === void 0
+            ? void 0
+            : _a.loc;
+        })
+        .filter((loc) => loc != null)[0]) !== null && _a !== void 0
+        ? _a
+        : GeneratedSource,
+  });
+  markInstructionIds(fn.body);
+}
+var ReferenceKind;
+(function (ReferenceKind) {
+  ReferenceKind[(ReferenceKind["Read"] = 0)] = "Read";
+  ReferenceKind[(ReferenceKind["Write"] = 1)] = "Write";
+})(ReferenceKind || (ReferenceKind = {}));
+function findReferencedRangeOfTemporaries(fn) {
+  const singleUseIdentifiers = new Map();
+  const lastAssignments = new Map();
+  function reference(instr, place, kind) {
+    var _a;
+    if (
+      place.identifier.name !== null &&
+      place.identifier.name.kind === "named"
+    ) {
+      if (kind === ReferenceKind.Write) {
+        const name = place.identifier.name.value;
+        const previous = lastAssignments.get(name);
+        if (previous === undefined) {
+          lastAssignments.set(name, instr);
+        } else {
+          lastAssignments.set(
+            name,
+            makeInstructionId(Math.max(previous, instr))
+          );
+        }
+      }
+      return;
+    } else if (kind === ReferenceKind.Read) {
+      const previousCount =
+        (_a = singleUseIdentifiers.get(place.identifier.id)) !== null &&
+        _a !== void 0
+          ? _a
+          : 0;
+      singleUseIdentifiers.set(place.identifier.id, previousCount + 1);
+    }
+  }
+  for (const [, block] of fn.body.blocks) {
+    for (const instr of block.instructions) {
+      for (const operand of eachInstructionValueLValue(instr.value)) {
+        reference(instr.id, operand, ReferenceKind.Read);
+      }
+      for (const lvalue of eachInstructionLValue(instr)) {
+        reference(instr.id, lvalue, ReferenceKind.Write);
+      }
+    }
+    for (const operand of eachTerminalOperand(block.terminal)) {
+      reference(block.terminal.id, operand, ReferenceKind.Read);
+    }
+  }
+  return {
+    singleUseIdentifiers: new Set(
+      [...singleUseIdentifiers]
+        .filter(([, count]) => count === 1)
+        .map(([id]) => id)
+    ),
+    lastAssignments: lastAssignments,
+  };
+}
+function reorderBlock(env, block, shared, references) {
+  var _a, _b;
+  const locals = new Map();
+  const named = new Map();
+  let previous = null;
+  for (const instr of block.instructions) {
+    const { lvalue: lvalue, value: value } = instr;
+    const reorderability = getReorderability(instr, references);
+    const node = getOrInsertWith(locals, lvalue.identifier.id, () => ({
+      instruction: instr,
+      dependencies: new Set(),
+      reorderability: reorderability,
+      depth: null,
+    }));
+    if (reorderability === Reorderability.Nonreorderable) {
+      if (previous !== null) {
+        node.dependencies.add(previous);
+      }
+      previous = lvalue.identifier.id;
+    }
+    for (const operand of eachInstructionValueOperand(value)) {
+      const { name: name, id: id } = operand.identifier;
+      if (name !== null && name.kind === "named") {
+        const previous = named.get(name.value);
+        if (previous !== undefined) {
+          node.dependencies.add(previous);
+        }
+        named.set(name.value, lvalue.identifier.id);
+      } else if (locals.has(id) || shared.has(id)) {
+        node.dependencies.add(id);
+      }
+    }
+    for (const lvalueOperand of eachInstructionValueLValue(value)) {
+      const lvalueNode = getOrInsertWith(
+        locals,
+        lvalueOperand.identifier.id,
+        () => ({ instruction: null, dependencies: new Set(), depth: null })
+      );
+      lvalueNode.dependencies.add(lvalue.identifier.id);
+      const name = lvalueOperand.identifier.name;
+      if (name !== null && name.kind === "named") {
+        const previous = named.get(name.value);
+        if (previous !== undefined) {
+          node.dependencies.add(previous);
+        }
+        named.set(name.value, lvalue.identifier.id);
+      }
+    }
+  }
+  const nextInstructions = [];
+  if (isExpressionBlockKind(block.kind)) {
+    if (previous !== null) {
+      emit(env, locals, shared, nextInstructions, previous);
+    }
+    if (block.instructions.length !== 0) {
+      emit(
+        env,
+        locals,
+        shared,
+        nextInstructions,
+        block.instructions.at(-1).lvalue.identifier.id
+      );
+    }
+    for (const operand of eachTerminalOperand(block.terminal)) {
+      emit(env, locals, shared, nextInstructions, operand.identifier.id);
+    }
+    for (const [id, node] of locals) {
+      if (node.instruction == null) {
+        continue;
+      }
+      CompilerError.invariant(
+        node.reorderability === Reorderability.Reorderable,
+        {
+          reason: `Expected all remaining instructions to be reorderable`,
+          loc:
+            (_b =
+              (_a = node.instruction) === null || _a === void 0
+                ? void 0
+                : _a.loc) !== null && _b !== void 0
+              ? _b
+              : block.terminal.loc,
+          description:
+            node.instruction != null
+              ? `Instruction [${node.instruction.id}] was not emitted yet but is not reorderable`
+              : `Lvalue $${id} was not emitted yet but is not reorderable`,
+        }
+      );
+      shared.set(id, node);
+    }
+  } else {
+    for (const operand of eachTerminalOperand(block.terminal)) {
+      emit(env, locals, shared, nextInstructions, operand.identifier.id);
+    }
+    for (const id of Array.from(locals.keys()).reverse()) {
+      const node = locals.get(id);
+      if (node === undefined) {
+        continue;
+      }
+      if (node.reorderability === Reorderability.Reorderable) {
+        shared.set(id, node);
+      } else {
+        emit(env, locals, shared, nextInstructions, id);
+      }
+    }
+  }
+  block.instructions = nextInstructions;
+}
+function getDepth(env, nodes, id) {
+  const node = nodes.get(id);
+  if (node == null) {
+    return 0;
+  }
+  if (node.depth != null) {
+    return node.depth;
+  }
+  node.depth = 0;
+  let depth = node.reorderability === Reorderability.Reorderable ? 1 : 10;
+  for (const dep of node.dependencies) {
+    depth += getDepth(env, nodes, dep);
+  }
+  node.depth = depth;
+  return depth;
+}
+function emit(env, locals, shared, instructions, id) {
+  var _a;
+  const node =
+    (_a = locals.get(id)) !== null && _a !== void 0 ? _a : shared.get(id);
+  if (node == null) {
+    return;
+  }
+  locals.delete(id);
+  shared.delete(id);
+  const deps = [...node.dependencies];
+  deps.sort((a, b) => {
+    const aDepth = getDepth(env, locals, a);
+    const bDepth = getDepth(env, locals, b);
+    return bDepth - aDepth;
+  });
+  for (const dep of deps) {
+    emit(env, locals, shared, instructions, dep);
+  }
+  if (node.instruction !== null) {
+    instructions.push(node.instruction);
+  }
+}
+var Reorderability;
+(function (Reorderability) {
+  Reorderability[(Reorderability["Reorderable"] = 0)] = "Reorderable";
+  Reorderability[(Reorderability["Nonreorderable"] = 1)] = "Nonreorderable";
+})(Reorderability || (Reorderability = {}));
+function getReorderability(instr, references) {
+  switch (instr.value.kind) {
+    case "JsxExpression":
+    case "JsxFragment":
+    case "JSXText":
+    case "LoadGlobal":
+    case "Primitive":
+    case "TemplateLiteral":
+    case "BinaryExpression":
+    case "UnaryExpression": {
+      return Reorderability.Reorderable;
+    }
+    case "LoadLocal": {
+      const name = instr.value.place.identifier.name;
+      if (name !== null && name.kind === "named") {
+        const lastAssignment = references.lastAssignments.get(name.value);
+        if (
+          lastAssignment !== undefined &&
+          lastAssignment < instr.id &&
+          references.singleUseIdentifiers.has(instr.lvalue.identifier.id)
+        ) {
+          return Reorderability.Reorderable;
+        }
+      }
+      return Reorderability.Nonreorderable;
+    }
+    default: {
+      return Reorderability.Nonreorderable;
+    }
+  }
+}
 function alignMethodCallScopes(fn) {
   const scopeMapping = new Map();
   const mergedScopes = new DisjointSet();
@@ -165338,6 +165997,127 @@ function alignReactiveScopesToBlockScopesHIR(fn) {
     });
   }
 }
+function flattenReactiveLoopsHIR(fn) {
+  const activeLoops = Array();
+  for (const [, block] of fn.body.blocks) {
+    retainWhere(activeLoops, (id) => id !== block.id);
+    const { terminal: terminal } = block;
+    switch (terminal.kind) {
+      case "do-while":
+      case "for":
+      case "for-in":
+      case "for-of":
+      case "while": {
+        activeLoops.push(terminal.fallthrough);
+        break;
+      }
+      case "scope": {
+        if (activeLoops.length !== 0) {
+          block.terminal = {
+            kind: "pruned-scope",
+            block: terminal.block,
+            fallthrough: terminal.fallthrough,
+            id: terminal.id,
+            loc: terminal.loc,
+            scope: terminal.scope,
+          };
+        }
+        break;
+      }
+      case "branch":
+      case "goto":
+      case "if":
+      case "label":
+      case "logical":
+      case "maybe-throw":
+      case "optional":
+      case "pruned-scope":
+      case "return":
+      case "sequence":
+      case "switch":
+      case "ternary":
+      case "throw":
+      case "try":
+      case "unreachable":
+      case "unsupported": {
+        break;
+      }
+      default: {
+        assertExhaustive(
+          terminal,
+          `Unexpected terminal kind \`${terminal.kind}\``
+        );
+      }
+    }
+  }
+}
+function flattenScopesWithHooksOrUseHIR(fn) {
+  var _a, _b;
+  const activeScopes = [];
+  const prune = [];
+  for (const [, block] of fn.body.blocks) {
+    const firstId =
+      (_b =
+        (_a = block.instructions[0]) === null || _a === void 0
+          ? void 0
+          : _a.id) !== null && _b !== void 0
+        ? _b
+        : block.terminal.id;
+    retainWhere(activeScopes, (current) => current.scope.range.end > firstId);
+    for (const instr of block.instructions) {
+      const { value: value } = instr;
+      switch (value.kind) {
+        case "MethodCall":
+        case "CallExpression": {
+          const callee =
+            value.kind === "MethodCall" ? value.property : value.callee;
+          if (
+            getHookKind(fn.env, callee.identifier) != null ||
+            isUseOperator(callee.identifier)
+          ) {
+            prune.push(...activeScopes.map((entry) => entry.block));
+            activeScopes.length = 0;
+          }
+        }
+      }
+    }
+    if (block.terminal.kind === "scope") {
+      activeScopes.push({ block: block.id, scope: block.terminal.scope });
+    }
+  }
+  for (const id of prune) {
+    const block = fn.body.blocks.get(id);
+    const terminal = block.terminal;
+    CompilerError.invariant(terminal.kind === "scope", {
+      reason: `Expected block to have a scope terminal`,
+      description: `Expected block bb${block.id} to end in a scope terminal`,
+      loc: terminal.loc,
+    });
+    const body = fn.body.blocks.get(terminal.block);
+    if (
+      body.instructions.length === 1 &&
+      body.terminal.kind === "goto" &&
+      body.terminal.block === terminal.fallthrough
+    ) {
+      block.terminal = {
+        kind: "label",
+        block: terminal.block,
+        fallthrough: terminal.fallthrough,
+        id: terminal.id,
+        loc: terminal.loc,
+      };
+      continue;
+    }
+    block.terminal = {
+      kind: "pruned-scope",
+      block: terminal.block,
+      fallthrough: terminal.fallthrough,
+      id: terminal.id,
+      loc: terminal.loc,
+      scope: terminal.scope,
+    };
+  }
+}
 function pruneAlwaysInvalidatingScopes(fn) {
   visitReactiveFunction(fn, new Transform(), false);
 }
@@ -165405,41 +166185,258 @@ class Transform extends ReactiveFunctionTransform {
             this.unmemoizedValues.add(identifier);
           }
         }
-        return { kind: "replace-many", value: scopeBlock.instructions };
+        return {
+          kind: "replace",
+          value: {
+            kind: "pruned-scope",
+            scope: scopeBlock.scope,
+            instructions: scopeBlock.instructions,
+          },
+        };
       }
     }
     return { kind: "keep" };
   }
 }
-function isPrimitiveBinaryOp(op) {
-  switch (op) {
-    case "+":
-    case "-":
-    case "/":
-    case "%":
-    case "*":
-    case "**":
-    case "&":
-    case "|":
-    case ">>":
-    case "<<":
-    case "^":
-    case ">":
-    case "<":
-    case ">=":
-    case "<=":
-    case "|>":
-      return true;
-    default:
-      return false;
+let Visitor$1 = class Visitor extends ReactiveFunctionVisitor {
+  constructor(env, aliases, paths) {
+    super();
+    this.map = new Map();
+    this.aliases = aliases;
+    this.paths = paths;
+    this.env = env;
   }
-}
-function inferTypes(func) {
-  const unifier = new Unifier(func.env);
-  for (const e of generate(func)) {
-    unifier.unify(e.left, e.right);
+  join(values) {
+    function join2(l, r) {
+      if (l === "Update" || r === "Update") {
+        return "Update";
+      } else if (l === "Create" || r === "Create") {
+        return "Create";
+      } else if (l === "Unknown" || r === "Unknown") {
+        return "Unknown";
+      }
+      assertExhaustive(r, `Unhandled variable kind ${r}`);
+    }
+    return values.reduce(join2, "Unknown");
   }
-  apply(func, unifier);
+  isCreateOnlyHook(id) {
+    return isUseStateType(id) || isUseRefType(id);
+  }
+  visitPlace(_, place, state) {
+    var _a;
+    this.map.set(
+      place.identifier.id,
+      this.join([
+        state,
+        (_a = this.map.get(place.identifier.id)) !== null && _a !== void 0
+          ? _a
+          : "Unknown",
+      ])
+    );
+  }
+  visitBlock(block, state) {
+    super.visitBlock([...block].reverse(), state);
+  }
+  visitInstruction(instruction) {
+    const state = this.join(
+      [...eachInstructionLValue(instruction)].map((operand) => {
+        var _a;
+        return (_a = this.map.get(operand.identifier.id)) !== null &&
+          _a !== void 0
+          ? _a
+          : "Unknown";
+      })
+    );
+    const visitCallOrMethodNonArgs = () => {
+      switch (instruction.value.kind) {
+        case "CallExpression": {
+          this.visitPlace(instruction.id, instruction.value.callee, state);
+          break;
+        }
+        case "MethodCall": {
+          this.visitPlace(instruction.id, instruction.value.property, state);
+          this.visitPlace(instruction.id, instruction.value.receiver, state);
+          break;
+        }
+      }
+    };
+    const isHook = () => {
+      let callee = null;
+      switch (instruction.value.kind) {
+        case "CallExpression": {
+          callee = instruction.value.callee.identifier;
+          break;
+        }
+        case "MethodCall": {
+          callee = instruction.value.property.identifier;
+          break;
+        }
+      }
+      return callee != null && getHookKind(this.env, callee) != null;
+    };
+    switch (instruction.value.kind) {
+      case "CallExpression":
+      case "MethodCall": {
+        if (
+          instruction.lvalue &&
+          this.isCreateOnlyHook(instruction.lvalue.identifier)
+        ) {
+          [...eachCallArgument(instruction.value.args)].forEach((operand) =>
+            this.visitPlace(instruction.id, operand, "Create")
+          );
+          visitCallOrMethodNonArgs();
+        } else {
+          this.traverseInstruction(instruction, isHook() ? "Update" : state);
+        }
+        break;
+      }
+      default: {
+        this.traverseInstruction(instruction, state);
+      }
+    }
+  }
+  visitScope(scope) {
+    const state = this.join(
+      [
+        ...scope.scope.declarations.keys(),
+        ...[...scope.scope.reassignments.values()].map((ident) => ident.id),
+      ].map((id) => {
+        var _a;
+        return (_a = this.map.get(id)) !== null && _a !== void 0
+          ? _a
+          : "Unknown";
+      })
+    );
+    super.visitScope(scope, state);
+    [...scope.scope.dependencies].forEach((ident) => {
+      var _a;
+      let target =
+        (_a = this.aliases.find(ident.identifier.id)) !== null && _a !== void 0
+          ? _a
+          : ident.identifier.id;
+      ident.path.forEach((key) => {
+        var _a;
+        target &&
+          (target =
+            (_a = this.paths.get(target)) === null || _a === void 0
+              ? void 0
+              : _a.get(key));
+      });
+      if (target && this.map.get(target) === "Create") {
+        scope.scope.dependencies.delete(ident);
+      }
+    });
+  }
+  visitTerminal(stmt, state) {
+    CompilerError.invariant(state !== "Create", {
+      reason: "Visiting a terminal statement with state 'Create'",
+      loc: stmt.terminal.loc,
+    });
+    super.visitTerminal(stmt, state);
+  }
+  visitReactiveFunctionValue(_id, _dependencies, fn, state) {
+    visitReactiveFunction(fn, this, state);
+  }
+};
+function pruneInitializationDependencies(fn) {
+  const [aliases, paths] = getAliases(fn);
+  visitReactiveFunction(fn, new Visitor$1(fn.env, aliases, paths), "Update");
+}
+function update(map, key, path, value) {
+  var _a;
+  const inner = (_a = map.get(key)) !== null && _a !== void 0 ? _a : new Map();
+  inner.set(path, value);
+  map.set(key, inner);
+}
+class AliasVisitor extends ReactiveFunctionVisitor {
+  constructor() {
+    super(...arguments);
+    this.scopeIdentifiers = new DisjointSet();
+    this.scopePaths = new Map();
+  }
+  visitInstruction(instr) {
+    if (
+      instr.value.kind === "StoreLocal" ||
+      instr.value.kind === "StoreContext"
+    ) {
+      this.scopeIdentifiers.union([
+        instr.value.lvalue.place.identifier.id,
+        instr.value.value.identifier.id,
+      ]);
+    } else if (
+      instr.value.kind === "LoadLocal" ||
+      instr.value.kind === "LoadContext"
+    ) {
+      instr.lvalue &&
+        this.scopeIdentifiers.union([
+          instr.lvalue.identifier.id,
+          instr.value.place.identifier.id,
+        ]);
+    } else if (instr.value.kind === "PropertyLoad") {
+      instr.lvalue &&
+        update(
+          this.scopePaths,
+          instr.value.object.identifier.id,
+          instr.value.property,
+          instr.lvalue.identifier.id
+        );
+    } else if (instr.value.kind === "PropertyStore") {
+      update(
+        this.scopePaths,
+        instr.value.object.identifier.id,
+        instr.value.property,
+        instr.value.value.identifier.id
+      );
+    }
+  }
+}
+function getAliases(fn) {
+  var _a, _b;
+  const visitor = new AliasVisitor();
+  visitReactiveFunction(fn, visitor, null);
+  let disjoint = visitor.scopeIdentifiers;
+  let scopePaths = new Map();
+  for (const [key, value] of visitor.scopePaths) {
+    for (const [path, id] of value) {
+      update(
+        scopePaths,
+        (_a = disjoint.find(key)) !== null && _a !== void 0 ? _a : key,
+        path,
+        (_b = disjoint.find(id)) !== null && _b !== void 0 ? _b : id
+      );
+    }
+  }
+  return [disjoint, scopePaths];
+}
+function isPrimitiveBinaryOp(op) {
+  switch (op) {
+    case "+":
+    case "-":
+    case "/":
+    case "%":
+    case "*":
+    case "**":
+    case "&":
+    case "|":
+    case ">>":
+    case "<<":
+    case "^":
+    case ">":
+    case "<":
+    case ">=":
+    case "<=":
+    case "|>":
+      return true;
+    default:
+      return false;
+  }
+}
+function inferTypes(func) {
+  const unifier = new Unifier(func.env);
+  for (const e of generate(func)) {
+    unifier.unify(e.left, e.right);
+  }
+  apply(func, unifier);
 }
 function apply(func, unifier) {
   for (const [_, block] of func.body.blocks) {
@@ -165469,7 +166466,13 @@ function equation(left, right) {
 }
 function* generate(func) {
   if (func.env.fnType === "Component") {
-    const [_, ref] = func.params;
+    const [props, ref] = func.params;
+    if (props && props.kind === "Identifier") {
+      yield equation(props.identifier.type, {
+        kind: "Object",
+        shapeId: BuiltInPropsId,
+      });
+    }
     if (ref && ref.kind === "Identifier") {
       yield equation(ref.identifier.type, {
         kind: "Object",
@@ -165477,6 +166480,7 @@ function* generate(func) {
       });
     }
   }
+  const names = new Map();
   for (const [_, block] of func.body.blocks) {
     for (const phi of block.phis) {
       yield equation(phi.type, {
@@ -165485,11 +166489,23 @@ function* generate(func) {
       });
     }
     for (const instr of block.instructions) {
-      yield* generateInstructionTypes(func.env, instr);
+      yield* generateInstructionTypes(func.env, names, instr);
     }
   }
 }
-function* generateInstructionTypes(env, instr) {
+function setName(names, id, name) {
+  var _a;
+  if (
+    ((_a = name.name) === null || _a === void 0 ? void 0 : _a.kind) === "named"
+  ) {
+    names.set(id, name.name.value);
+  }
+}
+function getName(names, id) {
+  var _a;
+  return (_a = names.get(id)) !== null && _a !== void 0 ? _a : "";
+}
+function* generateInstructionTypes(env, names, instr) {
   const { lvalue: lvalue, value: value } = instr;
   const left = lvalue.identifier.type;
   switch (value.kind) {
@@ -165504,6 +166520,7 @@ function* generateInstructionTypes(env, instr) {
       break;
     }
     case "LoadLocal": {
+      setName(names, lvalue.identifier.id, value.place.identifier);
       yield equation(left, value.place.identifier.type);
       break;
     }
@@ -165586,7 +166603,8 @@ function* generateInstructionTypes(env, instr) {
     case "PropertyLoad": {
       yield equation(left, {
         kind: "Property",
-        object: value.object.identifier.type,
+        objectType: value.object.identifier.type,
+        objectName: getName(names, value.object.identifier.id),
         propertyName: value.property,
       });
       break;
@@ -165610,7 +166628,8 @@ function* generateInstructionTypes(env, instr) {
             const propertyName = String(i);
             yield equation(item.identifier.type, {
               kind: "Property",
-              object: value.value.identifier.type,
+              objectType: value.value.identifier.type,
+              objectName: getName(names, value.value.identifier.id),
               propertyName: propertyName,
             });
           } else {
@@ -165626,7 +166645,8 @@ function* generateInstructionTypes(env, instr) {
             ) {
               yield equation(property.place.identifier.type, {
                 kind: "Property",
-                object: value.value.identifier.type,
+                objectType: value.value.identifier.type,
+                objectName: getName(names, value.value.identifier.id),
                 propertyName: property.key.name,
               });
             }
@@ -165668,10 +166688,11 @@ function* generateInstructionTypes(env, instr) {
       yield equation(left, { kind: "Object", shapeId: BuiltInJsxId });
       break;
     }
+    case "PropertyStore":
     case "DeclareLocal":
     case "NewExpression":
     case "RegExpLiteral":
-    case "PropertyStore":
+    case "MetaProperty":
     case "ComputedStore":
     case "ComputedLoad":
     case "TaggedTemplateExpression":
@@ -165695,7 +166716,15 @@ class Unifier {
   }
   unify(tA, tB) {
     if (tB.kind === "Property") {
-      const objectType = this.get(tB.object);
+      if (
+        this.env.config.enableTreatRefLikeIdentifiersAsRefs &&
+        isRefLikeName(tB)
+      ) {
+        this.unify(tB.objectType, { kind: "Object", shapeId: BuiltInUseRefId });
+        this.unify(tA, { kind: "Object", shapeId: BuiltInRefValueId });
+        return;
+      }
+      const objectType = this.get(tB.objectType);
       const propertyType = this.env.getPropertyType(
         objectType,
         tB.propertyName
@@ -165777,6 +166806,10 @@ class Unifier {
     return type;
   }
 }
+const RefLikeNameRE = /^(?:[a-zA-Z$_][a-zA-Z$_0-9]*)Ref$|^ref$/;
+function isRefLikeName(t) {
+  return RefLikeNameRE.test(t.objectName) && t.propertyName === "current";
+}
 function validateContextVariableLValues(fn) {
   const identifierKinds = new Map();
   validateContextVariableLValuesImpl(fn, identifierKinds);
@@ -166547,7 +167580,7 @@ function validateNonSetState(errors, unconditionalSetStateFunctions, operand) {
 }
 function validatePreservedManualMemoization(fn) {
   const state = { errors: new CompilerError(), manualMemoState: null };
-  visitReactiveFunction(fn, new Visitor$1(), state);
+  visitReactiveFunction(fn, new Visitor(), state);
   if (state.errors.hasErrors()) {
     throw state.errors;
   }
@@ -166669,7 +167702,7 @@ function validateInferredDep(
     suggestions: null,
   });
 }
-let Visitor$1 = class Visitor extends ReactiveFunctionVisitor {
+class Visitor extends ReactiveFunctionVisitor {
   constructor() {
     super(...arguments);
     this.scopes = new Set();
@@ -166838,7 +167871,7 @@ let Visitor$1 = class Visitor extends ReactiveFunctionVisitor {
       }
     }
   }
-};
+}
 function isUnmemoized(operand, scopes) {
   return operand.scope != null && !scopes.has(operand.scope.id);
 }
@@ -166910,216 +167943,6 @@ function validateUseMemo(fn) {
     }
   }
 }
-class Visitor extends ReactiveFunctionVisitor {
-  constructor(env, aliases, paths) {
-    super();
-    this.map = new Map();
-    this.aliases = aliases;
-    this.paths = paths;
-    this.env = env;
-  }
-  join(values) {
-    function join2(l, r) {
-      if (l === "Update" || r === "Update") {
-        return "Update";
-      } else if (l === "Create" || r === "Create") {
-        return "Create";
-      } else if (l === "Unknown" || r === "Unknown") {
-        return "Unknown";
-      }
-      assertExhaustive(r, `Unhandled variable kind ${r}`);
-    }
-    return values.reduce(join2, "Unknown");
-  }
-  isCreateOnlyHook(id) {
-    return isUseStateType(id) || isUseRefType(id);
-  }
-  visitPlace(_, place, state) {
-    var _a;
-    this.map.set(
-      place.identifier.id,
-      this.join([
-        state,
-        (_a = this.map.get(place.identifier.id)) !== null && _a !== void 0
-          ? _a
-          : "Unknown",
-      ])
-    );
-  }
-  visitBlock(block, state) {
-    super.visitBlock([...block].reverse(), state);
-  }
-  visitInstruction(instruction) {
-    const state = this.join(
-      [...eachInstructionLValue(instruction)].map((operand) => {
-        var _a;
-        return (_a = this.map.get(operand.identifier.id)) !== null &&
-          _a !== void 0
-          ? _a
-          : "Unknown";
-      })
-    );
-    const visitCallOrMethodNonArgs = () => {
-      switch (instruction.value.kind) {
-        case "CallExpression": {
-          this.visitPlace(instruction.id, instruction.value.callee, state);
-          break;
-        }
-        case "MethodCall": {
-          this.visitPlace(instruction.id, instruction.value.property, state);
-          this.visitPlace(instruction.id, instruction.value.receiver, state);
-          break;
-        }
-      }
-    };
-    const isHook = () => {
-      let callee = null;
-      switch (instruction.value.kind) {
-        case "CallExpression": {
-          callee = instruction.value.callee.identifier;
-          break;
-        }
-        case "MethodCall": {
-          callee = instruction.value.property.identifier;
-          break;
-        }
-      }
-      return callee != null && getHookKind(this.env, callee) != null;
-    };
-    switch (instruction.value.kind) {
-      case "CallExpression":
-      case "MethodCall": {
-        if (
-          instruction.lvalue &&
-          this.isCreateOnlyHook(instruction.lvalue.identifier)
-        ) {
-          [...eachCallArgument(instruction.value.args)].forEach((operand) =>
-            this.visitPlace(instruction.id, operand, "Create")
-          );
-          visitCallOrMethodNonArgs();
-        } else {
-          this.traverseInstruction(instruction, isHook() ? "Update" : state);
-        }
-        break;
-      }
-      default: {
-        this.traverseInstruction(instruction, state);
-      }
-    }
-  }
-  visitScope(scope) {
-    const state = this.join(
-      [
-        ...scope.scope.declarations.keys(),
-        ...[...scope.scope.reassignments.values()].map((ident) => ident.id),
-      ].map((id) => {
-        var _a;
-        return (_a = this.map.get(id)) !== null && _a !== void 0
-          ? _a
-          : "Unknown";
-      })
-    );
-    super.visitScope(scope, state);
-    [...scope.scope.dependencies].forEach((ident) => {
-      var _a;
-      let target =
-        (_a = this.aliases.find(ident.identifier.id)) !== null && _a !== void 0
-          ? _a
-          : ident.identifier.id;
-      ident.path.forEach((key) => {
-        var _a;
-        target &&
-          (target =
-            (_a = this.paths.get(target)) === null || _a === void 0
-              ? void 0
-              : _a.get(key));
-      });
-      if (target && this.map.get(target) === "Create") {
-        scope.scope.dependencies.delete(ident);
-      }
-    });
-  }
-  visitTerminal(stmt, state) {
-    CompilerError.invariant(state !== "Create", {
-      reason: "Visiting a terminal statement with state 'Create'",
-      loc: stmt.terminal.loc,
-    });
-    super.visitTerminal(stmt, state);
-  }
-  visitReactiveFunctionValue(_id, _dependencies, fn, state) {
-    visitReactiveFunction(fn, this, state);
-  }
-}
-function pruneInitializationDependencies(fn) {
-  const [aliases, paths] = getAliases(fn);
-  visitReactiveFunction(fn, new Visitor(fn.env, aliases, paths), "Update");
-}
-function update(map, key, path, value) {
-  var _a;
-  const inner = (_a = map.get(key)) !== null && _a !== void 0 ? _a : new Map();
-  inner.set(path, value);
-  map.set(key, inner);
-}
-class AliasVisitor extends ReactiveFunctionVisitor {
-  constructor() {
-    super(...arguments);
-    this.scopeIdentifiers = new DisjointSet();
-    this.scopePaths = new Map();
-  }
-  visitInstruction(instr) {
-    if (
-      instr.value.kind === "StoreLocal" ||
-      instr.value.kind === "StoreContext"
-    ) {
-      this.scopeIdentifiers.union([
-        instr.value.lvalue.place.identifier.id,
-        instr.value.value.identifier.id,
-      ]);
-    } else if (
-      instr.value.kind === "LoadLocal" ||
-      instr.value.kind === "LoadContext"
-    ) {
-      instr.lvalue &&
-        this.scopeIdentifiers.union([
-          instr.lvalue.identifier.id,
-          instr.value.place.identifier.id,
-        ]);
-    } else if (instr.value.kind === "PropertyLoad") {
-      instr.lvalue &&
-        update(
-          this.scopePaths,
-          instr.value.object.identifier.id,
-          instr.value.property,
-          instr.lvalue.identifier.id
-        );
-    } else if (instr.value.kind === "PropertyStore") {
-      update(
-        this.scopePaths,
-        instr.value.object.identifier.id,
-        instr.value.property,
-        instr.value.value.identifier.id
-      );
-    }
-  }
-}
-function getAliases(fn) {
-  var _a, _b;
-  const visitor = new AliasVisitor();
-  visitReactiveFunction(fn, visitor, null);
-  let disjoint = visitor.scopeIdentifiers;
-  let scopePaths = new Map();
-  for (const [key, value] of visitor.scopePaths) {
-    for (const [path, id] of value) {
-      update(
-        scopePaths,
-        (_a = disjoint.find(key)) !== null && _a !== void 0 ? _a : key,
-        path,
-        (_b = disjoint.find(id)) !== null && _b !== void 0 ? _b : id
-      );
-    }
-  }
-  return [disjoint, scopePaths];
-}
 function* run(
   func,
   config,
@@ -167193,6 +168016,10 @@ function* runWithEnvironment(func, env) {
   yield log({ kind: "hir", name: "InferReferenceEffects", value: hir });
   deadCodeElimination(hir);
   yield log({ kind: "hir", name: "DeadCodeElimination", value: hir });
+  if (env.config.enableInstructionReordering) {
+    instructionReordering(hir);
+    yield log({ kind: "hir", name: "InstructionReordering", value: hir });
+  }
   pruneMaybeThrows(hir);
   yield log({ kind: "hir", name: "PruneMaybeThrows", value: hir });
   inferMutableRanges(hir);
@@ -167216,8 +168043,12 @@ function* runWithEnvironment(func, env) {
   yield log({ kind: "hir", name: "AlignMethodCallScopes", value: hir });
   alignObjectMethodScopes(hir);
   yield log({ kind: "hir", name: "AlignObjectMethodScopes", value: hir });
-  memoizeFbtOperandsInSameScope(hir);
-  yield log({ kind: "hir", name: "MemoizeFbtOperandsInSameScope", value: hir });
+  memoizeFbtAndMacroOperandsInSameScope(hir);
+  yield log({
+    kind: "hir",
+    name: "MemoizeFbtAndMacroOperandsInSameScope",
+    value: hir,
+  });
   if (env.config.enableReactiveScopesInHIR) {
     pruneUnusedLabelsHIR(hir);
     yield log({ kind: "hir", name: "PruneUnusedLabelsHIR", value: hir });
@@ -167241,6 +168072,14 @@ function* runWithEnvironment(func, env) {
       value: hir,
     });
     assertValidBlockNesting(hir);
+    flattenReactiveLoopsHIR(hir);
+    yield log({ kind: "hir", name: "FlattenReactiveLoopsHIR", value: hir });
+    flattenScopesWithHooksOrUseHIR(hir);
+    yield log({
+      kind: "hir",
+      name: "FlattenScopesWithHooksOrUseHIR",
+      value: hir,
+    });
   }
   const reactiveFunction = buildReactiveFunction(hir);
   yield log({
@@ -167274,20 +168113,20 @@ function* runWithEnvironment(func, env) {
       name: "BuildReactiveBlocks",
       value: reactiveFunction,
     });
+    flattenReactiveLoops(reactiveFunction);
+    yield log({
+      kind: "reactive",
+      name: "FlattenReactiveLoops",
+      value: reactiveFunction,
+    });
+    flattenScopesWithHooksOrUse(reactiveFunction);
+    yield log({
+      kind: "reactive",
+      name: "FlattenScopesWithHooks",
+      value: reactiveFunction,
+    });
   }
-  flattenReactiveLoops(reactiveFunction);
-  yield log({
-    kind: "reactive",
-    name: "FlattenReactiveLoops",
-    value: reactiveFunction,
-  });
   assertScopeInstructionsWithinScopes(reactiveFunction);
-  flattenScopesWithHooksOrUse(reactiveFunction);
-  yield log({
-    kind: "reactive",
-    name: "FlattenScopesWithHooks",
-    value: reactiveFunction,
-  });
   propagateScopeDependencies(reactiveFunction);
   yield log({
     kind: "reactive",
@@ -167721,8 +168560,7 @@ function isFilePartOfSources(sources, filename) {
 }
 function compileProgram(program, pass) {
   var _a, _b, _c, _d, _e, _f, _g, _h;
-  const options = parsePluginOptions(pass.opts);
-  if (options.sources) {
+  if (pass.opts.sources) {
     if (pass.filename === null) {
       const error = new CompilerError();
       error.pushErrorDetail(
@@ -167737,12 +168575,13 @@ function compileProgram(program, pass) {
       handleError(error, pass, null);
       return;
     }
-    if (!isFilePartOfSources(options.sources, pass.filename)) {
+    if (!isFilePartOfSources(pass.opts.sources, pass.filename)) {
       return;
     }
   }
   if (
-    findDirectiveDisablingMemoization(program.node.directives, options) != null
+    findDirectiveDisablingMemoization(program.node.directives, pass.opts) !=
+    null
   ) {
     return;
   }
@@ -167751,7 +168590,7 @@ function compileProgram(program, pass) {
   );
   const useMemoCacheIdentifier = program.scope.generateUidIdentifier("c");
   const moduleName =
-    (_b = options.runtimeModule) !== null && _b !== void 0
+    (_b = pass.opts.runtimeModule) !== null && _b !== void 0
       ? _b
       : "react/compiler-runtime";
   if (hasMemoCacheFunctionImport(program, moduleName)) {
@@ -167759,10 +168598,10 @@ function compileProgram(program, pass) {
   }
   const suppressions = findProgramSuppressions(
     pass.comments,
-    (_c = options.eslintSuppressionRules) !== null && _c !== void 0
+    (_c = pass.opts.eslintSuppressionRules) !== null && _c !== void 0
       ? _c
       : DEFAULT_ESLINT_SUPPRESSIONS,
-    options.flowSuppressions
+    pass.opts.flowSuppressions
   );
   const lintError = suppressionsToCompilerError(suppressions);
   let hasCriticalError = lintError != null;
@@ -167805,11 +168644,11 @@ function compileProgram(program, pass) {
         config,
         fnType,
         useMemoCacheIdentifier.name,
-        options.logger,
+        pass.opts.logger,
         pass.filename,
         pass.code
       );
-      (_b = options.logger) === null || _b === void 0
+      (_b = pass.opts.logger) === null || _b === void 0
         ? void 0
         : _b.logEvent(pass.filename, {
             kind: "CompileSuccess",
@@ -167823,6 +168662,9 @@ function compileProgram(program, pass) {
                 : null,
             memoSlots: compiledFn.memoSlotsUsed,
             memoBlocks: compiledFn.memoBlocks,
+            memoValues: compiledFn.memoValues,
+            prunedMemoBlocks: compiledFn.prunedMemoBlocks,
+            prunedMemoValues: compiledFn.prunedMemoValues,
           });
     } catch (err) {
       hasCriticalError || (hasCriticalError = isCriticalError(err));
@@ -167852,11 +168694,11 @@ function compileProgram(program, pass) {
       ArrowFunctionExpression: traverseFunction,
     },
     Object.assign(Object.assign({}, pass), {
-      opts: Object.assign(Object.assign({}, pass.opts), options),
+      opts: Object.assign(Object.assign({}, pass.opts), pass.opts),
       filename: (_d = pass.filename) !== null && _d !== void 0 ? _d : null,
     })
   );
-  if (options.gating != null) {
+  if (pass.opts.gating != null) {
     const error = checkFunctionReferencedBeforeDeclarationAtTopLevel(
       program,
       compiledFns.map(({ originalFn: originalFn }) => originalFn)
@@ -167869,12 +168711,12 @@ function compileProgram(program, pass) {
   const externalFunctions = [];
   let gating = null;
   try {
-    if (options.gating != null) {
-      gating = tryParseExternalFunction(options.gating);
+    if (pass.opts.gating != null) {
+      gating = tryParseExternalFunction(pass.opts.gating);
       externalFunctions.push(gating);
     }
     const enableEmitInstrumentForget =
-      (_e = options.environment) === null || _e === void 0
+      (_e = pass.opts.environment) === null || _e === void 0
         ? void 0
         : _e.enableEmitInstrumentForget;
     if (enableEmitInstrumentForget != null) {
@@ -167888,32 +168730,32 @@ function compileProgram(program, pass) {
       }
     }
     if (
-      ((_f = options.environment) === null || _f === void 0
+      ((_f = pass.opts.environment) === null || _f === void 0
         ? void 0
         : _f.enableEmitFreeze) != null
     ) {
       const enableEmitFreeze = tryParseExternalFunction(
-        options.environment.enableEmitFreeze
+        pass.opts.environment.enableEmitFreeze
       );
       externalFunctions.push(enableEmitFreeze);
     }
     if (
-      ((_g = options.environment) === null || _g === void 0
+      ((_g = pass.opts.environment) === null || _g === void 0
         ? void 0
         : _g.enableEmitHookGuards) != null
     ) {
       const enableEmitHookGuards = tryParseExternalFunction(
-        options.environment.enableEmitHookGuards
+        pass.opts.environment.enableEmitHookGuards
       );
       externalFunctions.push(enableEmitHookGuards);
     }
     if (
-      ((_h = options.environment) === null || _h === void 0
+      ((_h = pass.opts.environment) === null || _h === void 0
         ? void 0
         : _h.enableChangeDetectionForDebugging) != null
     ) {
       const enableChangeDetectionForDebugging = tryParseExternalFunction(
-        options.environment.enableChangeDetectionForDebugging
+        pass.opts.environment.enableChangeDetectionForDebugging
       );
       externalFunctions.push(enableChangeDetectionForDebugging);
     }
@@ -167987,19 +168829,25 @@ function getReactFunctionType(fn, pass) {
         : "Other";
     }
   }
+  let componentSyntaxType = null;
+  if (fn.isFunctionDeclaration()) {
+    if (isComponentDeclaration(fn.node)) {
+      componentSyntaxType = "Component";
+    } else if (isHookDeclaration(fn.node)) {
+      componentSyntaxType = "Hook";
+    }
+  }
   switch (pass.opts.compilationMode) {
     case "annotation": {
       return null;
     }
     case "infer": {
-      if (fn.isFunctionDeclaration()) {
-        if (isComponentDeclaration(fn.node)) {
-          return "Component";
-        } else if (isHookDeclaration(fn.node)) {
-          return "Hook";
-        }
-      }
-      return getComponentOrHookLike(fn, hookPattern);
+      return componentSyntaxType !== null && componentSyntaxType !== void 0
+        ? componentSyntaxType
+        : getComponentOrHookLike(fn, hookPattern);
+    }
+    case "syntax": {
+      return componentSyntaxType;
     }
     case "all": {
       if (fn.scope.getProgramParent() !== fn.scope.parent) {
@@ -168089,15 +168937,62 @@ function isMemoCallback(path) {
     isReactAPI(path.parentPath.get("callee"), "memo")
   );
 }
+function isValidPropsAnnotation(annot) {
+  if (annot == null) {
+    return true;
+  } else if (annot.type === "TSTypeAnnotation") {
+    switch (annot.typeAnnotation.type) {
+      case "TSArrayType":
+      case "TSBigIntKeyword":
+      case "TSBooleanKeyword":
+      case "TSConstructorType":
+      case "TSFunctionType":
+      case "TSLiteralType":
+      case "TSNeverKeyword":
+      case "TSNumberKeyword":
+      case "TSStringKeyword":
+      case "TSSymbolKeyword":
+      case "TSTupleType":
+        return false;
+    }
+    return true;
+  } else if (annot.type === "TypeAnnotation") {
+    switch (annot.typeAnnotation.type) {
+      case "ArrayTypeAnnotation":
+      case "BooleanLiteralTypeAnnotation":
+      case "BooleanTypeAnnotation":
+      case "EmptyTypeAnnotation":
+      case "FunctionTypeAnnotation":
+      case "NumberLiteralTypeAnnotation":
+      case "NumberTypeAnnotation":
+      case "StringLiteralTypeAnnotation":
+      case "StringTypeAnnotation":
+      case "SymbolTypeAnnotation":
+      case "ThisTypeAnnotation":
+      case "TupleTypeAnnotation":
+        return false;
+    }
+    return true;
+  } else if (annot.type === "Noop") {
+    return true;
+  } else {
+    assertExhaustive(annot, `Unexpected annotation node \`${annot}\``);
+  }
+}
 function isValidComponentParams(params) {
   if (params.length === 0) {
     return true;
-  } else if (params.length === 1) {
-    return !params[0].isRestElement();
-  } else if (params.length === 2) {
-    if (params[1].isIdentifier()) {
+  } else if (params.length > 0 && params.length <= 2) {
+    if (!isValidPropsAnnotation(params[0].node.typeAnnotation)) {
+      return false;
+    }
+    if (params.length === 1) {
+      return !params[0].isRestElement();
+    } else if (params[1].isIdentifier()) {
       const { name: name } = params[1].node;
       return name.includes("ref") || name.includes("Ref");
+    } else {
+      return false;
     }
   }
   return false;
@@ -168107,7 +169002,8 @@ function getComponentOrHookLike(node, hookPattern) {
   if (functionName !== null && isComponentName(functionName)) {
     let isComponent =
       callsHooksOrCreatesJsx(node, hookPattern) &&
-      isValidComponentParams(node.get("params"));
+      isValidComponentParams(node.get("params")) &&
+      !returnsNonNode(node);
     return isComponent ? "Component" : null;
   } else if (functionName !== null && isHook(functionName, hookPattern)) {
     return callsHooksOrCreatesJsx(node, hookPattern) ? "Hook" : null;
@@ -168119,6 +169015,13 @@ function getComponentOrHookLike(node, hookPattern) {
   }
   return null;
 }
+function skipNestedFunctions(node) {
+  return (fn) => {
+    if (fn.node !== node.node) {
+      fn.skip();
+    }
+  };
+}
 function callsHooksOrCreatesJsx(node, hookPattern) {
   let invokesHooks = false;
   let createsJsx = false;
@@ -168132,9 +169035,39 @@ function callsHooksOrCreatesJsx(node, hookPattern) {
         invokesHooks = true;
       }
     },
+    ArrowFunctionExpression: skipNestedFunctions(node),
+    FunctionExpression: skipNestedFunctions(node),
+    FunctionDeclaration: skipNestedFunctions(node),
   });
   return invokesHooks || createsJsx;
 }
+function returnsNonNode(node) {
+  let hasReturn = false;
+  let returnsNonNode = false;
+  node.traverse({
+    ReturnStatement(ret) {
+      hasReturn = true;
+      const argument = ret.node.argument;
+      if (argument == null) {
+        returnsNonNode = true;
+      } else {
+        switch (argument.type) {
+          case "ObjectExpression":
+          case "ArrowFunctionExpression":
+          case "FunctionExpression":
+          case "BigIntLiteral":
+          case "ClassExpression":
+          case "NewExpression":
+            returnsNonNode = true;
+        }
+      }
+    },
+    ArrowFunctionExpression: skipNestedFunctions(node),
+    FunctionExpression: skipNestedFunctions(node),
+    FunctionDeclaration: skipNestedFunctions(node),
+  });
+  return !hasReturn || returnsNonNode;
+}
 function getFunctionName(path) {
   if (path.isFunctionDeclaration()) {
     const id = path.get("id");
@@ -168265,10 +169198,16 @@ function BabelPluginReactCompiler(_babel) {
       Program(prog, pass) {
         var _a, _b;
         let opts = parsePluginOptions(pass.opts);
-        if (pipelineUsesReanimatedPlugin(pass.file.opts.plugins)) {
+        const isDev =
+          (typeof __DEV__ !== "undefined" && __DEV__ === true) ||
+          process.env["NODE_ENV"] === "development";
+        if (
+          opts.enableReanimatedCheck === true &&
+          pipelineUsesReanimatedPlugin(pass.file.opts.plugins)
+        ) {
           opts = injectReanimatedFlag(opts);
         }
-        if (process.env["NODE_ENV"] === "development") {
+        if (isDev) {
           opts = Object.assign(Object.assign({}, opts), {
             environment: Object.assign(Object.assign({}, opts.environment), {
               enableResetCacheOnSourceFileChanges: true,