[compiler] Remove phi type, infer phi.id.type

ghstack-source-id: 0c26bb224c6d5431898e683891df9b1a5c2e5b63 Pull Request resolved: #30795
facebook · Aug 23, 2024 · c9c170b · c9c170b
1 parent 37c6ea8
commit c9c170b
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 6 deletions.
diff --git a/compiler/packages/babel-plugin-react-compiler/src/HIR/HIR.ts b/compiler/packages/babel-plugin-react-compiler/src/HIR/HIR.ts
@@ -759,7 +759,6 @@ export type Phi = {
   kind: 'Phi';
   id: Identifier;
   operands: Map<BlockId, Identifier>;
-  type: Type;
 };
 
 /**

diff --git a/compiler/packages/babel-plugin-react-compiler/src/HIR/PrintHIR.ts b/compiler/packages/babel-plugin-react-compiler/src/HIR/PrintHIR.ts
@@ -165,7 +165,7 @@ export function printPhi(phi: Phi): string {
   const items = [];
   items.push(printIdentifier(phi.id));
   items.push(printMutableRange(phi.id));
-  items.push(printType(phi.type));
+  items.push(printType(phi.id.type));
   items.push(': phi(');
   const phis = [];
   for (const [blockId, id] of phi.operands) {

diff --git a/compiler/packages/babel-plugin-react-compiler/src/SSA/EnterSSA.ts b/compiler/packages/babel-plugin-react-compiler/src/SSA/EnterSSA.ts
@@ -192,7 +192,6 @@ class SSABuilder {
       kind: 'Phi',
       id: newId,
       operands: predDefs,
-      type: makeType(),
     };
 
     block.phis.add(phi);

diff --git a/compiler/packages/babel-plugin-react-compiler/src/TypeInference/InferTypes.ts b/compiler/packages/babel-plugin-react-compiler/src/TypeInference/InferTypes.ts
@@ -68,7 +68,7 @@ export function inferTypes(func: HIRFunction): void {
 function apply(func: HIRFunction, unifier: Unifier): void {
   for (const [_, block] of func.body.blocks) {
     for (const phi of block.phis) {
-      phi.type = unifier.get(phi.type);
+      phi.id.type = unifier.get(phi.id.type);
     }
     for (const instr of block.instructions) {
       for (const operand of eachInstructionLValue(instr)) {
@@ -126,7 +126,7 @@ function* generate(
   const returnTypes: Array<Type> = [];
   for (const [_, block] of func.body.blocks) {
     for (const phi of block.phis) {
-      yield equation(phi.type, {
+      yield equation(phi.id.type, {
         kind: 'Phi',
         operands: [...phi.operands.values()].map(id => id.type),
       });

diff --git a/compiler/packages/babel-plugin-react-compiler/src/TypeInference/PropagatePhiTypes.ts b/compiler/packages/babel-plugin-react-compiler/src/TypeInference/PropagatePhiTypes.ts
@@ -76,7 +76,6 @@ export function propagatePhiTypes(fn: HIRFunction): void {
       }
       if (type !== null) {
         phi.id.type = type;
-        phi.type = type;
         propagated.add(phi.id.id);
       }
     }