babel-plugin-react-compiler 0.0.0-experimental-3229e95-20250317 → 0.0.0-experimental-794db7b-20250319

package/dist/index.d.ts

@@ -940,6 +940,9 @@ type ObjectPropertyKey = {
 } | {
     kind: 'computed';
     name: Place;
+} | {
+    kind: 'number';
+    name: number;
 };
 type ObjectProperty = {
     kind: 'ObjectProperty';

package/dist/index.js

@@ -115430,6 +115430,9 @@ function printObjectPropertyKey(key2) {
     case "computed": {
       return `[${printPlace(key2.name)}]`;
     }
+    case "number": {
+      return String(key2.name);
+    }
   }
 }
 function printInstructionValue(instrValue) {
@@ -119773,6 +119776,11 @@ function lowerObjectPropertyKey(builder, property) {
       kind: "identifier",
       name: key2.node.name
     };
+  } else if (key2.isNumericLiteral()) {
+    return {
+      kind: "identifier",
+      name: String(key2.node.value)
+    };
   }
   builder.errors.push({
     reason: `(BuildHIR::lowerExpression) Expected Identifier, got ${key2.type} key in ObjectExpression`,
@@ -131129,6 +131137,9 @@ function codegenObjectPropertyKey(cx, key2) {
       });
       return expr;
     }
+    case "number": {
+      return t4.numericLiteral(key2.name);
+    }
   }
 }
 function codegenArrayPattern(cx, pattern) {
@@ -139755,7 +139766,8 @@ function collectHoistablePropertyLoads(fn, temporaries, hoistableFromOptionals)
     knownImmutableIdentifiers,
     hoistableFromOptionals,
     registry,
-    nestedFnImmutableContext: null
+    nestedFnImmutableContext: null,
+    assumedInvokedFns: fn.env.config.enableTreatFunctionDepsAsConditional ? /* @__PURE__ */ new Set() : getAssumedInvokedFunctions(fn)
   });
 }
 function collectHoistablePropertyLoadsImpl(fn, context) {
@@ -139893,23 +139905,25 @@ function collectNonNullsInBlocks(fn, context) {
       if (maybeNonNull != null && isImmutableAtInstr(maybeNonNull.fullPath.identifier, instr.id, context)) {
         assumedNonNullObjects.add(maybeNonNull);
       }
-      if ((instr.value.kind === "FunctionExpression" || instr.value.kind === "ObjectMethod") && !fn.env.config.enableTreatFunctionDepsAsConditional) {
+      if (instr.value.kind === "FunctionExpression") {
         const innerFn = instr.value.loweredFunc;
-        const innerHoistableMap = collectHoistablePropertyLoadsImpl(
-          innerFn.func,
-          __spreadProps(__spreadValues({}, context), {
-            nestedFnImmutableContext: (_a = context.nestedFnImmutableContext) != null ? _a : new Set(
-              innerFn.func.context.filter(
-                (place) => isImmutableAtInstr(place.identifier, instr.id, context)
-              ).map((place) => place.identifier.id)
-            )
-          })
-        );
-        const innerHoistables = assertNonNull(
-          innerHoistableMap.get(innerFn.func.body.entry)
-        );
-        for (const entry of innerHoistables.assumedNonNullObjects) {
-          assumedNonNullObjects.add(entry);
+        if (context.assumedInvokedFns.has(innerFn)) {
+          const innerHoistableMap = collectHoistablePropertyLoadsImpl(
+            innerFn.func,
+            __spreadProps(__spreadValues({}, context), {
+              nestedFnImmutableContext: (_a = context.nestedFnImmutableContext) != null ? _a : new Set(
+                innerFn.func.context.filter(
+                  (place) => isImmutableAtInstr(place.identifier, instr.id, context)
+                ).map((place) => place.identifier.id)
+              )
+            })
+          );
+          const innerHoistables = assertNonNull(
+            innerHoistableMap.get(innerFn.func.body.entry)
+          );
+          for (const entry of innerHoistables.assumedNonNullObjects) {
+            assumedNonNullObjects.add(entry);
+          }
         }
       }
     }
@@ -140037,6 +140051,96 @@ function reduceMaybeOptionalChains(nodes, registry) {
     }
   } while (changed);
 }
+function getAssumedInvokedFunctions(fn, temporaries = /* @__PURE__ */ new Map()) {
+  var _a;
+  const hoistableFunctions = /* @__PURE__ */ new Set();
+  for (const block of fn.body.blocks.values()) {
+    for (const { lvalue, value } of block.instructions) {
+      if (value.kind === "FunctionExpression") {
+        temporaries.set(lvalue.identifier.id, {
+          fn: value.loweredFunc,
+          mayInvoke: /* @__PURE__ */ new Set()
+        });
+      } else if (value.kind === "StoreLocal") {
+        const lvalue2 = value.lvalue.place.identifier;
+        const maybeLoweredFunc = temporaries.get(value.value.identifier.id);
+        if (maybeLoweredFunc != null) {
+          temporaries.set(lvalue2.id, maybeLoweredFunc);
+        }
+      } else if (value.kind === "LoadLocal") {
+        const maybeLoweredFunc = temporaries.get(value.place.identifier.id);
+        if (maybeLoweredFunc != null) {
+          temporaries.set(lvalue.identifier.id, maybeLoweredFunc);
+        }
+      }
+    }
+  }
+  for (const block of fn.body.blocks.values()) {
+    for (const { lvalue, value } of block.instructions) {
+      if (value.kind === "CallExpression") {
+        const callee = value.callee;
+        const maybeHook = getHookKind(fn.env, callee.identifier);
+        const maybeLoweredFunc = temporaries.get(callee.identifier.id);
+        if (maybeLoweredFunc != null) {
+          hoistableFunctions.add(maybeLoweredFunc.fn);
+        } else if (maybeHook != null) {
+          for (const arg of value.args) {
+            if (arg.kind === "Identifier") {
+              const maybeLoweredFunc2 = temporaries.get(arg.identifier.id);
+              if (maybeLoweredFunc2 != null) {
+                hoistableFunctions.add(maybeLoweredFunc2.fn);
+              }
+            }
+          }
+        }
+      } else if (value.kind === "JsxExpression") {
+        for (const attr of value.props) {
+          if (attr.kind === "JsxSpreadAttribute") {
+            continue;
+          }
+          const maybeLoweredFunc = temporaries.get(attr.place.identifier.id);
+          if (maybeLoweredFunc != null) {
+            hoistableFunctions.add(maybeLoweredFunc.fn);
+          }
+        }
+        for (const child of (_a = value.children) != null ? _a : []) {
+          const maybeLoweredFunc = temporaries.get(child.identifier.id);
+          if (maybeLoweredFunc != null) {
+            hoistableFunctions.add(maybeLoweredFunc.fn);
+          }
+        }
+      } else if (value.kind === "FunctionExpression") {
+        const loweredFunc = value.loweredFunc.func;
+        const lambdasCalled = getAssumedInvokedFunctions(
+          loweredFunc,
+          temporaries
+        );
+        const maybeLoweredFunc = temporaries.get(lvalue.identifier.id);
+        if (maybeLoweredFunc != null) {
+          for (const called of lambdasCalled) {
+            maybeLoweredFunc.mayInvoke.add(called);
+          }
+        }
+      }
+    }
+    if (block.terminal.kind === "return") {
+      const maybeLoweredFunc = temporaries.get(
+        block.terminal.value.identifier.id
+      );
+      if (maybeLoweredFunc != null) {
+        hoistableFunctions.add(maybeLoweredFunc.fn);
+      }
+    }
+  }
+  for (const [_, { fn: fn2, mayInvoke }] of temporaries) {
+    if (hoistableFunctions.has(fn2)) {
+      for (const called of mayInvoke) {
+        hoistableFunctions.add(called);
+      }
+    }
+  }
+  return hoistableFunctions;
+}
 
 // src/Utils/Stack.ts
 function empty() {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "babel-plugin-react-compiler",
-  "version": "0.0.0-experimental-3229e95-20250317",
+  "version": "0.0.0-experimental-794db7b-20250319",
   "description": "Babel plugin for React Compiler.",
   "main": "dist/index.js",
   "license": "MIT",