[compiler] Migrate PruneNonEscapingScopes to HIR

Summary:
PruneNonEscapingScopes does a pretty powerful escape analysis, which we might want to apply for other purposes in our HIR passes. This ports this pass to HIR. For the most part, this implementation is identical to the ReactiveFunction version. It now handles phis instead of conditional ReactiveExpressions, which it does by treating all the phi operands as possibly aliasing the lvalue. This also requires that we iterate the aliasing analysis to a fixpoint, because the HIR has backedges which the ReactiveFunctions don't.

In our fixtures, this only changes one result, which appears to have become more accurate. I plan on testing this internally in a sync before landing.

ghstack-source-id: 63aad5c97e8bd6ea58fb1363854d081f50a31fa3
Pull Request resolved: #31882

compiler/packages/babel-plugin-react-compiler/src/Entrypoint/Pipeline.ts

@@ -59,7 +59,6 @@ import {
   promoteUsedTemporaries,
   propagateEarlyReturns,
   pruneHoistedContexts,
-  pruneNonEscapingScopes,
   pruneNonReactiveDependencies,
   pruneUnusedLValues,
   pruneUnusedLabels,
@@ -98,6 +97,7 @@ import {validateNoJSXInTryStatement} from '../Validation/ValidateNoJSXInTryState
 import {propagateScopeDependenciesHIR} from '../HIR/PropagateScopeDependenciesHIR';
 import {outlineJSX} from '../Optimization/OutlineJsx';
 import {optimizePropsMethodCalls} from '../Optimization/OptimizePropsMethodCalls';
+import {pruneNonEscapingScopesHIR} from '../HIR/PruneNonEscapingScopesHIR';
 import {transformFire} from '../Transform';
 
 export type CompilerPipelineValue =
@@ -364,6 +364,13 @@ function runWithEnvironment(
     inferEffectDependencies(hir);
   }
 
+  pruneNonEscapingScopesHIR(hir);
+  log({
+    kind: 'hir',
+    name: 'PruneNonEscapingScopesHIR',
+    value: hir,
+  });
+
   if (env.config.inlineJsxTransform) {
     inlineJsxTransform(hir, env.config.inlineJsxTransform);
     log({
@@ -390,13 +397,6 @@ function runWithEnvironment(
   });
   assertScopeInstructionsWithinScopes(reactiveFunction);
 
-  pruneNonEscapingScopes(reactiveFunction);
-  log({
-    kind: 'reactive',
-    name: 'PruneNonEscapingScopes',
-    value: reactiveFunction,
-  });
-
   pruneNonReactiveDependencies(reactiveFunction);
   log({
     kind: 'reactive',