[compiler][ez] Add entrypoints to ssa fixtures

Adds evaluator support for a few compiler test fixtures ghstack-source-id: 202654992a9876cea59885b54a338c908e369ddb Pull Request resolved: #30948
facebook · Sep 12, 2024 · f6dcce5 · f6dcce5
1 parent dff5082
commit f6dcce5
Show file tree

Hide file tree

Showing 27 changed files with 413 additions and 109 deletions.
diff --git a/...tests__/fixtures/compiler/alias-capture-in-method-receiver-and-mutate.expect.md b/...tests__/fixtures/compiler/alias-capture-in-method-receiver-and-mutate.expect.md
@@ -57,4 +57,4 @@ export const FIXTURE_ENTRYPOINT = {
 ```
       
 ### Eval output
-(kind: ok) [[{"a":0,"b":"value1","c":true}],"[[ cyclic ref *2 ]]"]
+(kind: ok) [[{"a":0,"b":"value1","c":true},"joe"],"[[ cyclic ref *2 ]]"]
diff --git a/.../__tests__/fixtures/compiler/align-scopes-reactive-scope-overlaps-try.expect.md b/.../__tests__/fixtures/compiler/align-scopes-reactive-scope-overlaps-try.expect.md
@@ -60,6 +60,6 @@ export const FIXTURE_ENTRYPOINT = {
 ```
       
 ### Eval output
-(kind: ok) [2]
-[2]
-[3]
+(kind: ok) [2,"joe"]
+[2,"joe"]
+[3,"joe"]
diff --git a/...ompiler/src/__tests__/fixtures/compiler/ssa-cascading-eliminated-phis.expect.md b/...ompiler/src/__tests__/fixtures/compiler/ssa-cascading-eliminated-phis.expect.md
@@ -20,8 +20,13 @@ function Component(props) {
 
 export const FIXTURE_ENTRYPOINT = {
   fn: Component,
-  params: ['TodoAdd'],
-  isComponent: 'TodoAdd',
+  params: [{a: 0, b: 1, c: true, d: true}],
+  sequentialRenders: [
+    {a: 0, b: 1, c: true, d: true},
+    {a: 4, b: 1, c: true, d: true},
+    {a: 4, b: 1, c: false, d: true},
+    {a: 4, b: 1, c: false, d: false},
+  ],
 };
 
 ```
@@ -61,9 +66,19 @@ function Component(props) {
 
 export const FIXTURE_ENTRYPOINT = {
   fn: Component,
-  params: ["TodoAdd"],
-  isComponent: "TodoAdd",
+  params: [{ a: 0, b: 1, c: true, d: true }],
+  sequentialRenders: [
+    { a: 0, b: 1, c: true, d: true },
+    { a: 4, b: 1, c: true, d: true },
+    { a: 4, b: 1, c: false, d: true },
+    { a: 4, b: 1, c: false, d: false },
+  ],
 };
 
 ```
-      
+      
+### Eval output
+(kind: ok) [1,1,2]
+[4,1,2]
+[4,0,2]
+[4,0,0]
diff --git a/...el-plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-cascading-eliminated-phis.js b/...el-plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-cascading-eliminated-phis.js
@@ -16,6 +16,11 @@ function Component(props) {
 
 export const FIXTURE_ENTRYPOINT = {
   fn: Component,
-  params: ['TodoAdd'],
-  isComponent: 'TodoAdd',
+  params: [{a: 0, b: 1, c: true, d: true}],
+  sequentialRenders: [
+    {a: 0, b: 1, c: true, d: true},
+    {a: 4, b: 1, c: true, d: true},
+    {a: 4, b: 1, c: false, d: true},
+    {a: 4, b: 1, c: false, d: false},
+  ],
 };
diff --git a/...-plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-leave-case.expect.md b/...-plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-leave-case.expect.md
@@ -2,6 +2,8 @@
 ## Input
 
 ```javascript
+import {Stringify} from 'shared-runtime';
+
 function Component(props) {
   let x = [];
   let y;
@@ -10,19 +12,32 @@ function Component(props) {
     y = x;
   }
   return (
-    <Component>
+    <Stringify>
       {x}
       {y}
-    </Component>
+    </Stringify>
   );
 }
 
+export const FIXTURE_ENTRYPOINT = {
+  fn: Component,
+  params: [{p0: false, p1: 2}],
+  sequentialRenders: [
+    {p0: false, p1: 2},
+    {p0: false, p1: 2},
+    {p0: true, p1: 2},
+    {p0: true, p1: 3},
+  ],
+};
+
 ```
 
 ## Code
 
 ```javascript
 import { c as _c } from "react/compiler-runtime";
+import { Stringify } from "shared-runtime";
+
 function Component(props) {
   const $ = _c(2);
   let t0;
@@ -35,10 +50,10 @@ function Component(props) {
     }
 
     t0 = (
-      <Component>
+      <Stringify>
         {x}
         {y}
-      </Component>
+      </Stringify>
     );
     $[0] = props;
     $[1] = t0;
@@ -48,5 +63,21 @@ function Component(props) {
   return t0;
 }
 
+export const FIXTURE_ENTRYPOINT = {
+  fn: Component,
+  params: [{ p0: false, p1: 2 }],
+  sequentialRenders: [
+    { p0: false, p1: 2 },
+    { p0: false, p1: 2 },
+    { p0: true, p1: 2 },
+    { p0: true, p1: 3 },
+  ],
+};
+
 ```
-      
+      
+### Eval output
+(kind: ok) <div>{"children":[[],null]}</div>
+<div>{"children":[[],null]}</div>
+<div>{"children":[[2],"[[ cyclic ref *2 ]]"]}</div>
+<div>{"children":[[3],"[[ cyclic ref *2 ]]"]}</div>
diff --git a/...er/packages/babel-plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-leave-case.js b/...er/packages/babel-plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-leave-case.js
@@ -1,3 +1,5 @@
+import {Stringify} from 'shared-runtime';
+
 function Component(props) {
   let x = [];
   let y;
@@ -6,9 +8,20 @@ function Component(props) {
     y = x;
   }
   return (
-    <Component>
+    <Stringify>
       {x}
       {y}
-    </Component>
+    </Stringify>
   );
 }
+
+export const FIXTURE_ENTRYPOINT = {
+  fn: Component,
+  params: [{p0: false, p1: 2}],
+  sequentialRenders: [
+    {p0: false, p1: 2},
+    {p0: false, p1: 2},
+    {p0: true, p1: 2},
+    {p0: true, p1: 3},
+  ],
+};
diff --git a/...ts__/fixtures/compiler/ssa-renaming-ternary-destruction-with-mutation.expect.md b/...ts__/fixtures/compiler/ssa-renaming-ternary-destruction-with-mutation.expect.md
@@ -2,28 +2,42 @@
 ## Input
 
 ```javascript
-function foo(props) {
+import {mutate} from 'shared-runtime';
+
+function useFoo(props) {
   let x = [];
   x.push(props.bar);
   props.cond ? (({x} = {x: {}}), ([x] = [[]]), x.push(props.foo)) : null;
-  mut(x);
+  mutate(x);
   return x;
 }
 
+export const FIXTURE_ENTRYPOINT = {
+  fn: useFoo,
+  params: [{cond: false, foo: 2, bar: 55}],
+  sequentialRenders: [
+    {cond: false, foo: 2, bar: 55},
+    {cond: false, foo: 3, bar: 55},
+    {cond: true, foo: 3, bar: 55},
+  ],
+};
+
 ```
 
 ## Code
 
 ```javascript
 import { c as _c } from "react/compiler-runtime";
-function foo(props) {
+import { mutate } from "shared-runtime";
+
+function useFoo(props) {
   const $ = _c(2);
   let x;
   if ($[0] !== props) {
     x = [];
     x.push(props.bar);
     props.cond ? (([x] = [[]]), x.push(props.foo)) : null;
-    mut(x);
+    mutate(x);
     $[0] = props;
     $[1] = x;
   } else {
@@ -32,5 +46,19 @@ function foo(props) {
   return x;
 }
 
+export const FIXTURE_ENTRYPOINT = {
+  fn: useFoo,
+  params: [{ cond: false, foo: 2, bar: 55 }],
+  sequentialRenders: [
+    { cond: false, foo: 2, bar: 55 },
+    { cond: false, foo: 3, bar: 55 },
+    { cond: true, foo: 3, bar: 55 },
+  ],
+};
+
 ```
-      
+      
+### Eval output
+(kind: ok) [55,"joe"]
+[55,"joe"]
+[3,"joe"]
diff --git a/...ompiler/src/__tests__/fixtures/compiler/ssa-renaming-ternary-destruction-with-mutation.js b/...ompiler/src/__tests__/fixtures/compiler/ssa-renaming-ternary-destruction-with-mutation.js
@@ -1,7 +1,19 @@
-function foo(props) {
+import {mutate} from 'shared-runtime';
+
+function useFoo(props) {
   let x = [];
   x.push(props.bar);
   props.cond ? (({x} = {x: {}}), ([x] = [[]]), x.push(props.foo)) : null;
-  mut(x);
+  mutate(x);
   return x;
 }
+
+export const FIXTURE_ENTRYPOINT = {
+  fn: useFoo,
+  params: [{cond: false, foo: 2, bar: 55}],
+  sequentialRenders: [
+    {cond: false, foo: 2, bar: 55},
+    {cond: false, foo: 3, bar: 55},
+    {cond: true, foo: 3, bar: 55},
+  ],
+};
diff --git a/...iler/src/__tests__/fixtures/compiler/ssa-renaming-ternary-destruction.expect.md b/...iler/src/__tests__/fixtures/compiler/ssa-renaming-ternary-destruction.expect.md
@@ -2,17 +2,21 @@
 ## Input
 
 ```javascript
-function foo(props) {
+function useFoo(props) {
   let x = [];
   x.push(props.bar);
   props.cond ? (({x} = {x: {}}), ([x] = [[]]), x.push(props.foo)) : null;
   return x;
 }
 
 export const FIXTURE_ENTRYPOINT = {
-  fn: foo,
-  params: ['TodoAdd'],
-  isComponent: 'TodoAdd',
+  fn: useFoo,
+  params: [{cond: false, foo: 2, bar: 55}],
+  sequentialRenders: [
+    {cond: false, foo: 2, bar: 55},
+    {cond: false, foo: 3, bar: 55},
+    {cond: true, foo: 3, bar: 55},
+  ],
 };
 
 ```
@@ -21,7 +25,7 @@ export const FIXTURE_ENTRYPOINT = {
 
 ```javascript
 import { c as _c } from "react/compiler-runtime";
-function foo(props) {
+function useFoo(props) {
   const $ = _c(4);
   let x;
   if ($[0] !== props.bar) {
@@ -43,10 +47,18 @@ function foo(props) {
 }
 
 export const FIXTURE_ENTRYPOINT = {
-  fn: foo,
-  params: ["TodoAdd"],
-  isComponent: "TodoAdd",
+  fn: useFoo,
+  params: [{ cond: false, foo: 2, bar: 55 }],
+  sequentialRenders: [
+    { cond: false, foo: 2, bar: 55 },
+    { cond: false, foo: 3, bar: 55 },
+    { cond: true, foo: 3, bar: 55 },
+  ],
 };
 
 ```
-      
+      
+### Eval output
+(kind: ok) [55]
+[55]
+[3]
diff --git a/...plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-renaming-ternary-destruction.js b/...plugin-react-compiler/src/__tests__/fixtures/compiler/ssa-renaming-ternary-destruction.js
@@ -1,12 +1,16 @@
-function foo(props) {
+function useFoo(props) {
   let x = [];
   x.push(props.bar);
   props.cond ? (({x} = {x: {}}), ([x] = [[]]), x.push(props.foo)) : null;
   return x;
 }
 
 export const FIXTURE_ENTRYPOINT = {
-  fn: foo,
-  params: ['TodoAdd'],
-  isComponent: 'TodoAdd',
+  fn: useFoo,
+  params: [{cond: false, foo: 2, bar: 55}],
+  sequentialRenders: [
+    {cond: false, foo: 2, bar: 55},
+    {cond: false, foo: 3, bar: 55},
+    {cond: true, foo: 3, bar: 55},
+  ],
 };