babel-plugin-react-compiler 0.0.0-experimental-1113db2-20250421 → 0.0.0-experimental-f69c469-20250424

package/dist/index.d.ts

@@ -1575,7 +1575,7 @@ declare const CompilerReactTargetSchema: z.ZodUnion<[z.ZodLiteral<"17">, z.ZodLi
 type CompilerReactTarget = z.infer<typeof CompilerReactTargetSchema>;
 declare const CompilationModeSchema: z.ZodEnum<["infer", "syntax", "annotation", "all"]>;
 type CompilationMode = z.infer<typeof CompilationModeSchema>;
-type LoggerEvent = CompileSuccessEvent | CompileErrorEvent | CompileDiagnosticEvent | CompileSkipEvent | PipelineErrorEvent | TimingEvent;
+type LoggerEvent = CompileSuccessEvent | CompileErrorEvent | CompileDiagnosticEvent | CompileSkipEvent | PipelineErrorEvent | TimingEvent | AutoDepsDecorationsEvent | AutoDepsEligibleEvent;
 type CompileErrorEvent = {
     kind: 'CompileError';
     fnLoc: t.SourceLocation | null;
@@ -1611,6 +1611,16 @@ type TimingEvent = {
     kind: 'Timing';
     measurement: PerformanceMeasure;
 };
+type AutoDepsDecorationsEvent = {
+    kind: 'AutoDepsDecorations';
+    fnLoc: t.SourceLocation;
+    decorations: Array<t.SourceLocation>;
+};
+type AutoDepsEligibleEvent = {
+    kind: 'AutoDepsEligible';
+    fnLoc: t.SourceLocation;
+    depArrayLoc: t.SourceLocation;
+};
 type Logger = {
     logEvent: (filename: string | null, event: LoggerEvent) => void;
     debugLogIRs?: (value: CompilerPipelineValue) => void;

package/dist/index.js

@@ -136404,6 +136404,7 @@ function declareTemporary(env, block, result) {
 
 // src/Inference/InferEffectDependencies.ts
 function inferEffectDependencies(fn) {
+  var _a, _b;
   let hasRewrite = false;
   const fnExpressions = /* @__PURE__ */ new Map();
   const autodepFnConfigs = /* @__PURE__ */ new Map();
@@ -136494,6 +136495,7 @@ function inferEffectDependencies(fn) {
                 loc: fnExpr.loc
               });
             }
+            const usedDeps = [];
             for (const dep of scopeInfo.deps) {
               if ((isUseRefType(dep.identifier) || isSetStateType(dep.identifier)) && !reactiveIds.has(dep.identifier.id) || isFireFunctionType(dep.identifier)) {
                 continue;
@@ -136506,6 +136508,21 @@ function inferEffectDependencies(fn) {
               );
               newInstructions.push(...instructions);
               effectDeps.push(place);
+              usedDeps.push(dep);
+            }
+            const decorations = [];
+            for (const loc of collectDepUsages(usedDeps, fnExpr.value)) {
+              if (typeof loc === "symbol") {
+                continue;
+              }
+              decorations.push(loc);
+            }
+            if (typeof value.loc !== "symbol") {
+              (_a = fn.env.logger) == null ? void 0 : _a.logEvent(fn.env.filename, {
+                kind: "AutoDepsDecorations",
+                fnLoc: value.loc,
+                decorations
+              });
             }
             newInstructions.push({
               id: makeInstructionId(0),
@@ -136527,6 +136544,19 @@ function inferEffectDependencies(fn) {
             rewriteInstrs.set(instr.id, newInstructions);
             fn.env.inferredEffectLocations.add(callee.loc);
           }
+        } else if (value.args.length >= 2 && value.args.length - 1 === autodepFnLoads.get(callee.identifier.id) && value.args[0] != null && value.args[0].kind === "Identifier") {
+          const penultimateArg = value.args[value.args.length - 2];
+          const depArrayArg = value.args[value.args.length - 1];
+          if (depArrayArg.kind !== "Spread" && penultimateArg.kind !== "Spread" && typeof depArrayArg.loc !== "symbol" && typeof penultimateArg.loc !== "symbol" && typeof value.loc !== "symbol") {
+            (_b = fn.env.logger) == null ? void 0 : _b.logEvent(fn.env.filename, {
+              kind: "AutoDepsEligible",
+              fnLoc: value.loc,
+              depArrayLoc: __spreadProps(__spreadValues({}, depArrayArg.loc), {
+                start: penultimateArg.loc.end,
+                end: depArrayArg.loc.end
+              })
+            });
+          }
         }
       }
     }
@@ -136613,6 +136643,27 @@ function inferReactiveIdentifiers(fn) {
   }
   return reactiveIds;
 }
+function collectDepUsages(deps, fnExpr) {
+  const identifiers = /* @__PURE__ */ new Map();
+  const loadedDeps = /* @__PURE__ */ new Set();
+  const sourceLocations = [];
+  for (const dep of deps) {
+    identifiers.set(dep.identifier.id, dep);
+  }
+  for (const [, block] of fnExpr.loweredFunc.func.body.blocks) {
+    for (const instr of block.instructions) {
+      if (instr.value.kind === "LoadLocal" && identifiers.has(instr.value.place.identifier.id)) {
+        loadedDeps.add(instr.lvalue.identifier.id);
+      }
+      for (const place of eachInstructionOperand(instr)) {
+        if (loadedDeps.has(place.identifier.id)) {
+          sourceLocations.push(place.identifier.loc);
+        }
+      }
+    }
+  }
+  return sourceLocations;
+}
 
 // src/Optimization/InstructionReordering.ts
 function instructionReordering(fn) {
@@ -142615,6 +142666,11 @@ function runWithEnvironment(func, env) {
   });
   if (env.config.inferEffectDependencies) {
     inferEffectDependencies(hir);
+    log2({
+      kind: "hir",
+      name: "InferEffectDependencies",
+      value: hir
+    });
   }
   if (env.config.inlineJsxTransform) {
     inlineJsxTransform(hir, env.config.inlineJsxTransform);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "babel-plugin-react-compiler",
-  "version": "0.0.0-experimental-1113db2-20250421",
+  "version": "0.0.0-experimental-f69c469-20250424",
   "description": "Babel plugin for React Compiler.",
   "main": "dist/index.js",
   "license": "MIT",