[compiler] WIP port of React Compiler to Rust#36173

Open

josephsavona wants to merge 296 commits intofacebook:mainfrom

josephsavona:rust-research

This pull request is big! We're only showing the most recent 250 commits

Commits on Mar 16, 2026

[rust-compiler] Implement M13: polish, remove all todo!() stubs
Joe Savona
committed
[rust-compiler] Update plan doc status: M1-M13 complete
Joe Savona
committed
[rust-compiler] Fix review issues: plan alignment and TS fidelity improvements
Joe Savona
committed
[rust-compiler] Fix review round 2: UpdateExpression member targets, compound member assignment, enum errors
Joe Savona
committed
[rust-compiler] Add debugLogIRs support for debug variant
Joe Savona
committed
[rust-compiler] Add distilled architecture guide for Rust port
Joe Savona
committed
[rust-compiler] Integrate entrypoint with HIR lowering pipeline
Joe Savona
committed
[rust-compiler] Update skills and agents for compiler-review
Joe Savona
committed
[rust-compiler] Align entrypoint types with TypeScript architecture
Joe Savona
committed
[compiler] Add printDebugHIR() for exhaustive HIR debug output
Joe Savona
committed
[rust-compiler] Align debug_print.rs with TS DebugPrintHIR.ts
Joe Savona
committed
[rust-compiler] Align entrypoint orchestration with TypeScript architecture
Joe Savona
committed
[rust-compiler] Add Babel plugin-based test infrastructure for Rust port
Joe Savona
committed
[rust-compiler] Validate pass name in test-rust-port script
Joe Savona
committed
[rust-compiler] Build native module automatically in test-rust-port
Joe Savona
committed
[rust-compiler] Compare logger error events in test-rust-port
Joe Savona
committed
[rust-compiler] Align build_hir.rs and hir_builder.rs with TypeScript BuildHIR/HIRBuilder
Joe Savona
committed
[rust-compiler] Add /compiler-port skill and port-pass agent
Joe Savona
committed

Commits on Mar 17, 2026

[rust-compiler] Update port-pass agent to reference architecture guide
Joe Savona
committed
[rust-compiler] Fix HIR lowering debug output and scope resolution (55→772 tests passing)
Joe Savona
committed
[rust-compiler] Fix HIR lowering loc handling, type annotations, function id, and debug print (772→951 tests passing)
Joe Savona
committed
[compiler] Update test-rust-port.ts to unify log comparison and deepen error diffing
Joe Savona
committed
[rust-compiler] Fix HIR lowering assignments, locs, context identifiers, and name dedup (1190→1467 tests passing)
Joe Savona
committed
[rust-compiler] Compute context identifiers in Rust via AST visitor instead of JS
Joe Savona
committed
[rust-compiler] Port PruneMaybeThrows pass to Rust
Joe Savona
committed
[rust-compiler] Port validateContextVariableLValues and validateUseMemo
Joe Savona
committed
[rust-compiler] Port dropManualMemoization and inlineImmediatelyInvokedFunctionExpressions
Joe Savona
committed
[rust-compiler] WIP: Add ordered_log to CompileResult and CompilationContext
Joe Savona
committed
[rust-compiler] Fix HIR lowering: 68 more tests passing (1535/1717)
Joe Savona
committed
[rust-compiler] Fix HIR lowering: assignment expressions, for-in/for-of, identifier locs (1595/1717)
Joe Savona
committed
[rust-compiler] Fix hoisting, JSX member expressions, try-catch, and other HIR lowering issues (1654/1717)
Joe Savona
committed
[rust-compiler] Add reference locs for constant violations and binding declarations in scope info
Joe Savona
committed
[rust-compiler] Fix identifier declaration loc for no-init variable declarations (1658/1717)
Joe Savona
committed
[rust-compiler] Fix type casts, function type inference, fbt duplicate tags, and other HIR lowering issues (1672/1717)
Joe Savona
committed
[rust-compiler] Fix 10 HIR test failures across multiple categories
Joe Savona
committed
[rust-compiler] Fix 22 HIR lowering test failures
Joe Savona
committed
[rust-compiler] Fix 3 more HIR lowering test failures
Joe Savona
committed
[rust-compiler] Fix 6 HIR lowering test failures
Joe Savona
committed
[rust-compiler] Fix final 5 HIR lowering failures and address review feedback
Joe Savona
committed
[rust-compiler] Port EnterSSA pass to Rust
Joe Savona
committed
[rust-compiler] Port EliminateRedundantPhi pass to Rust
Joe Savona
committed
[rust-compiler] Port ConstantPropagation pass to Rust
Joe Savona
committed
[rust-compiler] Port InferTypes pass to Rust
Joe Savona
committed
[rust-compiler] Port Environment configuration system to Rust
Joe Savona
committed
[rust-compiler] Fix TypeId allocation in HirBuilder to use environment arena
Joe Savona
committed

Commits on Mar 18, 2026

[rust-compiler] Eliminate referenceLocs and jsxReferencePositions from scope serialization
Joe Savona
committed
[rust-compiler] Fix PruneMaybeThrows and ValidateUseMemo passes
Joe Savona
committed
[compiler] Document scope serialization approach
Joe Savona
committed
[rust-compiler] Port OptimizePropsMethodCalls, ValidateHooksUsage, and ValidateNoCapitalizedCalls passes
Joe Savona
committed
[rust-compiler] Add enableValidations guard to pipeline validation passes
Joe Savona
committed
[rust-compiler] Compare full compiler error details in test-rust-port
Joe Savona
committed
[rust-compiler] Deserialize full EnvironmentConfig from JS to Rust
Joe Savona
committed
[rust-compiler] Add compiler-orchestrator skill and update compiler-commit with orchestrator log
Joe Savona
committed
[rust-compiler] Add compiler-orchestrator log file
Joe Savona
committed
[rust-compiler] Move orchestrator analysis into subagents
Joe Savona
committed
[rust-compiler] Update compiler-orchestrator skill to delegate all work to subagents
Joe Savona
committed
[rust-compiler] Add frontier detection and optional pass arg to test-rust-port
Joe Savona
committed
[rust-compiler] Update skills to use test-rust-port frontier detection
Joe Savona
committed
[rust-compiler] Fix reserved word error reporting in BabelPlugin
Joe Savona
committed
[rust-compiler] Update test-rust-port frontier message for explicit pass arg
Joe Savona
committed

Commits on Mar 19, 2026

Commits on Mar 20, 2026

[rust-compiler] Fix AnalyseFunctions pass — all tests passing
Joe Savona
committed
[rust-compiler] Add debug logs after assert/validate calls and derive PASS_ORDER from pipeline.rs
Joe Savona
committed
[rust-compiler] Fix While terminal successors and InferMutationAliasingEffects error handling
Joe Savona
committed
[compiler] Format Pipeline.ts with prettier
Joe Savona
committed
[rust-compiler] Fix remaining test failures — all 1717 fixtures passing through InferMutationAliasingRanges
Joe Savona
committed
[rust-compiler] Update orchestrator log — all passes clean through InferMutationAliasingRanges
Joe Savona
committed
[rust-compiler] Port MemoizeFbtAndMacroOperandsInSameScope pass
Joe Savona
committed
[rust-compiler] Port NameAnonymousFunctions pass and outlineJSX stub
Joe Savona
committed
[rust-compiler] Port OutlineFunctions pass
Joe Savona
committed
[rust-compiler] Port AlignMethodCallScopes pass
Joe Savona
committed
[rust-compiler] Port AlignObjectMethodScopes pass
Joe Savona
committed
[rust-compiler] Port PruneUnusedLabelsHIR pass
Joe Savona
committed
[rust-compiler] Port AlignReactiveScopesToBlockScopesHIR pass
Joe Savona
committed
[rust-compiler] Port MergeOverlappingReactiveScopesHIR pass
Joe Savona
committed
[rust-compiler] Port BuildReactiveScopeTerminalsHIR pass
Joe Savona
committed
[rust-compiler] Port FlattenReactiveLoopsHIR pass
Joe Savona
committed
[rust-compiler] Port FlattenScopesWithHooksOrUseHIR pass
Joe Savona
committed
[rust-compiler] Port PropagateScopeDependenciesHIR pass
Joe Savona
committed
[rust-compiler] Update orchestrator log — all 31 HIR passes ported
Joe Savona
committed
[rust-compiler] Port validation passes to fix InferReactivePlaces test failures
Joe Savona
committed
[rust-compiler] Update Rust port review documents for all crates
Joe Savona
committed
[rust-compiler] Fix OutlineFunctions debug printing, validation passes, and test harness normalization
Joe Savona
committed
[rust-compiler] Fix ANALYSIS.md issues: globals callee effects, infer_types names map, RewriteInstructionKinds ordering
Joe Savona
committed
[rust-compiler] Implement assumed-invoked function hoisting in PropagateScopeDependenciesHIR
Joe Savona
committed
[rust-compiler] Port validation passes and fix InferReactivePlaces try-catch handling
Joe Savona
committed
[rust-compiler] Port ValidateExhaustiveDependencies and isolate false positive errors
Joe Savona
committed
[rust-compiler] plan files
Joe Savona
committed
[rust-compiler] Fix VED pipeline guard — always run ValidateExhaustiveDependencies
Joe Savona
committed
[rust-compiler] Fix OutlineFunctions name ordering and PropagateScopeDependenciesHIR determinism
Joe Savona
committed
[rust-compiler] Update orchestrator log — 1637/1717 passing (95.3%)
Joe Savona
committed
[rust-compiler] Update orchestrator log with current per-pass status
Joe Savona
committed
[rust-compiler] Update orchestrator FIX mode to use parallel diagnosis
Joe Savona
committed
[rust-compiler] Port validateNoDerivedComputationsInEffects_exp validation pass
Joe Savona
committed
[rust-compiler] Update orchestrator log — 1650/1717 passing (96.1%)
Joe Savona
committed
[rust-compiler] Fix ValidateNoSetStateInEffects — port createControlDominators
Joe Savona
committed

Commits on Mar 21, 2026

[rust-compiler] Fix validation passes — resolve 7 InferReactivePlaces failures
Joe Savona
committed
[rust-compiler] Fix operand ordering, port ValidateStaticComponents and reduceMaybeOptionalChains
Joe Savona
committed
[rust-compiler] Fix VED, PSDH, AlignObjectMethod — 1695/1717 passing (98.7%)
Joe Savona
committed
[rust-compiler] Update orchestrator log — 1695/1717 passing (98.7%)
Joe Savona
committed
[rust-compiler] Fix PSDH assumed-invoked functions and outline_jsx issues
Joe Savona
committed
[rust-compiler] Update orchestrator log — 1700/1717 passing (99.0%)
Joe Savona
committed
[rust-compiler] Fix OutlineFunctions and MergeOverlappingReactiveScopesHIR — 1709/1717 passing (99.5%)
Joe Savona
committed
[rust-compiler] Update orchestrator log — 1709/1717 passing (99.5%)
Joe Savona
committed
[rust-compiler] Fix PropagateScopeDependenciesHIR — 1713/1717 passing (99.8%)
Joe Savona
committed
[rust-compiler] Update orchestrator log — 1713/1717 passing (99.8%)
Joe Savona
committed
[rust-compiler] Add reactive types, react_compiler_reactive_scopes crate, and BuildReactiveFunction
Joe Savona
committed
[compiler] Add DebugPrintReactiveFunction and update test-rust-port.ts for reactive passes
Joe Savona
committed
[rust-compiler] Update skill files with reactive pass table and crate mapping
Joe Savona
committed
[rust-compiler] Fix BuildReactiveFunction switch case scheduling and add panic catching
Joe Savona
committed
[rust-compiler] Fix reactive debug printer format to match TS output
Joe Savona
committed
[compiler] Fix DebugPrintReactiveFunction crash on non-reactive outlined functions
Joe Savona
committed
[rust-compiler] Add HIR function formatting bridge for inner functions in reactive printer
Joe Savona
committed
[rust-compiler] Fix outlined function blank line in reactive printer
Joe Savona
committed
[rust-compiler] Fix StoreLocal→LoadLocal conversion in BuildReactiveFunction value blocks
Joe Savona
committed
[rust-compiler] Fix for-loop continue block to use update when present
Joe Savona
committed
[rust-compiler] Update reactive function plan status
Joe Savona
committed
[rust-compiler] Fix BuildReactiveFunction port fidelity issues
Joe Savona
committed
[rust-compiler] Port all reactive passes after BuildReactiveFunction
Joe Savona
committed
[rust-compiler] Remove no-op (generated) normalization from test-rust-port.ts
Joe Savona
committed
[rust-compiler] Fix identifier allocation order in PropagateEarlyReturns
Joe Savona
committed

Commits on Mar 22, 2026

Commits on Mar 23, 2026

[rust-compiler] Add react_compiler_oxc crate — OXC frontend for React Compiler
Joe Savona
committed
[rust-compiler] Add react_compiler_swc crate — SWC frontend for React Compiler
Joe Savona
committed
[rust-compiler] Port CodegenReactiveFunction — final codegen pass
Joe Savona
committed
[rust-compiler] Wire CodegenReactiveFunction into pipeline
Joe Savona
committed
[rust-compiler] Compare final code output in test-rust-port.ts
Joe Savona
committed
[rust-compiler] Add e2e test infrastructure for all compiler frontends
Joe Savona
committed
[rust-compiler] Add progress output to test-e2e.ts
Joe Savona
committed
[rust-compiler] Fix RenameVariables scoping, ExtractScopeDeclarations metadata, PruneNonEscapingScopes context operands
Joe Savona
committed
[rust-compiler] Add Result support to ReactiveFunctionTransform, fix 11 test failures
Joe Savona
committed

Commits on Mar 24, 2026

Commits on Mar 25, 2026

[rust-compiler] Fix outlined function ordering, type annotation preservation, CJS imports
Joe Savona
committed
[rust-compiler] Implement function gating codegen
Joe Savona
committed
[rust-compiler] Port ValidatePreservedManualMemoization pass
Joe Savona
committed
[rust-compiler] Fix codegen invariants, enum passthrough, error handling
Joe Savona
committed
[rust-compiler] Fix code comparison failures in function discovery, replacement, and gating
Joe Savona
committed
[rust-compiler] Compile outlined JSX functions through full pipeline, fix function discovery
Joe Savona
committed
[rust-compiler] Fix 11 code comparison failures, add instrumentation and fast refresh codegen
Joe Savona
committed
[rust-compiler] Fix last 5 test failures: all 1717 tests now pass
Joe Savona
committed
[rust-compiler] Update orchestrator log — all 1717 pass + code tests passing
Joe Savona
committed
[rust-compiler] Fix all Rust compiler warnings
Joe Savona
committed

Commits on Mar 26, 2026

[rust-compiler] remove outdated review docs
Joe Savona
committed

Commits on Mar 27, 2026

[rust-compiler] Support moduleTypeProvider in Rust compiler port
Joe Savona
committed
[rust-compiler] Port HIR visitors from TypeScript to Rust
Joe Savona
committed
[rust-compiler] Replace local visitor copies with canonical react_compiler_hir::visitors
Joe Savona
committed
[rust-compiler] Fix reactive scopes visitors to match canonical visitor semantics
Joe Savona
committed

Commits on Mar 28, 2026

Commits on Mar 29, 2026

[rust-compiler] Replace local visitor copies with canonical react_compiler_hir::visitors
Joe Savona
committed
[rust-compiler] Add test-rust-port.sh to compiler-verify skill
Joe Savona
committed
[rust-compiler] Add react_compiler_utils crate with generic DisjointSet
Joe Savona
committed
[rust-compiler] Consolidate duplicated helper logic across Rust crates
Joe Savona
committed
[rust-compiler] Use visitor/transform infra in MergeReactiveScopesThatInvalidateTogether
Joe Savona
committed
[rust-compiler] Use ReactiveFunctionTransform in PropagateEarlyReturns
Joe Savona
committed
[rust-compiler] Use ReactiveFunctionVisitor in PruneNonEscapingScopes
Joe Savona
committed
[rust-compiler] Use ReactiveFunctionTransform in PruneNonReactiveDependencies
Joe Savona
committed
[rust-compiler] Use ReactiveFunctionVisitor in PruneUnusedLvalues
Joe Savona
committed
[rust-compiler] Use ReactiveFunctionVisitor in RenameVariables
Joe Savona
committed
[rust-compiler] Use ReactiveFunctionTransform in StabilizeBlockIds
Joe Savona
committed
[rust-compiler] Use ReactiveFunctionVisitor for CountMemoBlockVisitor in codegen
Joe Savona
committed
[rust-compiler] Remove redundant mark_predecessors call in PruneMaybeThrows
Joe Savona
committed
[rust-compiler] Add missing default branch error in ValidateContextVariableLValues
Joe Savona
committed
[rust-compiler] Align naming in ValidateUseMemo with TS original
Joe Savona
committed
[rust-compiler] Align InlineIIFEs with TS original
Joe Savona
committed
[rust-compiler] Fix phi processing order in EliminateRedundantPhi
Joe Savona
committed
[rust-compiler] Fix TemplateLiteral undefined handling in ConstantPropagation
Joe Savona
committed
[rust-compiler] Fix hook-name fallback in InferTypes resolve_property_type
Joe Savona
committed
[rust-compiler] Fix missing lvalue kind assignments in ValidateHooksUsage
Joe Savona
committed
[rust-compiler] Move is_props_type to shared HIR utility
Joe Savona
committed
[rust-compiler] Align InferMutationAliasingEffects with TS original
Joe Savona
committed
[rust-compiler] Remove unused parameter in DeadCodeElimination
Joe Savona
committed
[rust-compiler] Align validation passes with TS originals
Joe Savona
committed
[rust-compiler] Fix retainWhere dedup logic and rename in ValidateExhaustiveDependencies
Joe Savona
committed
[rust-compiler] Add missing source locations to invariant errors in RewriteInstructionKinds
Joe Savona
committed
[rust-compiler] Consolidate visit_operands in MemoizeFbt to match TS
Joe Savona
committed
[rust-compiler] Add missing invariants in OutlineJsx, use mem::replace in OutlineFunctions
Joe Savona
committed
[rust-compiler] Fix range accumulation bug in AlignMethodCallScopes
Joe Savona
committed
[rust-compiler] Use shift_remove instead of swap_remove in PruneUnusedLabelsHIR
Joe Savona
committed
[rust-compiler] Align BuildReactiveFunction with TS original
Joe Savona
committed
[rust-compiler] Separate reason/description in AssertScopeInstructionsWithinScopes
Joe Savona
committed
[rust-compiler] Add missing invariant checks in PruneNonEscapingScopes
Joe Savona
committed
[rust-compiler] Use HashSet instead of HashMap<K,()> in PruneUnusedLValues
Joe Savona
committed
[rust-compiler] Align PruneHoistedContexts and ValidatePreservedManualMemoization
Joe Savona
committed
[rust-compiler] Add performance profiling infrastructure and conditional debug_print
Joe Savona
committed
[rust-compiler] Eliminate double AST serialization with RawValue
Joe Savona
committed
[rust-compiler] Remove debug_logs/ordered_log duplication
Joe Savona
committed
[rust-compiler] Remove debugLogs field from bridge types
Joe Savona
committed
[rust-compiler] Replace regex with string matching in suppressions, avoid per-function EnvironmentConfig clone
Joe Savona
committed
[rust-compiler] Static base registries for ShapeRegistry and GlobalRegistry
Joe Savona
committed
[rust-compiler] Fix OXC and SWC frontend compilation and wiring
Joe Savona
committed
[rust-compiler] Add --rust option to snap test command
Joe Savona
committed

Commits on Mar 30, 2026

[compiler] Normalize CompileError logger events to plain objects
Joe Savona
committed
[rust-compiler] Fix JSX source locations and BabelPlugin AST replacement
Joe Savona
committed
[rust-compiler] Add identifierName to logger source locations
Joe Savona
committed
[rust-compiler] Fix snap test failures: FBT crashes, error formatting, identifierName
Joe Savona
committed
[rust-compiler] Fix identifierName in validation diagnostics and error formatting
Joe Savona
committed
[rust-compiler] Fix exhaustive-deps hints and error formatting in codegen
Joe Savona
committed
[rust-compiler] Fix 30 snap test failures across validation, codegen, and prefilter
Joe Savona
committed
[compiler] Format TS files with prettier
Joe Savona
committed
[rust-compiler] Fix remaining snap failures — 1717/1718 passing
Joe Savona
committed
[rust-compiler] Add Rust port gap analysis document
Joe Savona
committed
[rust-compiler] Fix critical gaps in transitive freeze and UnsupportedNode codegen
Joe Savona
committed

Commits on Mar 31, 2026

[rust-compiler] Fix error handling in inferMutationAliasingEffects to use Err returns
Joe Savona
committed
[rust-compiler] Fix function discovery to recurse into nested statements
Joe Savona
committed
[rust-compiler] Fix edge cases in nested function discovery
Joe Savona
committed
[rust-compiler] Refactor function discovery to use AstWalker visitor
Joe Savona
committed
[rust-compiler] Add MutVisitor trait and refactor AST mutation to use shared walker
Joe Savona
committed