MemoizeFbtAndMacroOperandsInSameScope.ts — react Source File

Source Code

/**
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 */

import {
  HIRFunction,
  IdentifierId,
  InstructionValue,
  makeInstructionId,
  MutableRange,
  Place,
  ReactiveScope,
} from '../HIR';
import {Macro} from '../HIR/Environment';
import {eachInstructionValueOperand} from '../HIR/visitors';

/**
 * Whether a macro requires its arguments to be transitively inlined (eg fbt)
 * or just avoid having the top-level values be converted to variables (eg fbt.param)
 */
enum InlineLevel {
  Transitive = 'Transitive',
  Shallow = 'Shallow',
}
type MacroDefinition = {
  level: InlineLevel;
  properties: Map<string, MacroDefinition> | null;
};

const SHALLOW_MACRO: MacroDefinition = {
  level: InlineLevel.Shallow,
  properties: null,
};
const TRANSITIVE_MACRO: MacroDefinition = {
  level: InlineLevel.Transitive,
  properties: null,
};
const FBT_MACRO: MacroDefinition = {
  level: InlineLevel.Transitive,
  properties: new Map([['*', SHALLOW_MACRO]]),
};
FBT_MACRO.properties!.set('enum', FBT_MACRO);

/**
 * This pass supports the `fbt` translation system (https://facebook.github.io/fbt/)
 * as well as similar user-configurable macro-like APIs where it's important that
 * the name of the function not be changed, and it's literal arguments not be turned
 * into temporaries.
 *
 * ## FBT
 *
 * FBT provides the `<fbt>` JSX element and `fbt()` calls (which take params in the
 * form of `<fbt:param>` children or `fbt.param()` arguments, respectively). These
 * tags/functions have restrictions on what types of syntax may appear as props/children/
 * arguments, notably that variable references may not appear directly — variables
 * must always be wrapped in a `<fbt:param>` or `fbt.param()`.
 *
// ... (245 more lines)