path: root/js/src/jit/LIROps.yaml

# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.

# [SMDOC] LIR Opcodes
# =======================
# This file defines all LIR opcodes as well as LIR opcode class
# definitions. It is parsed by GenerateLIRFiles.py at build time to
# create LIROpsGenerated.h. Each opcode consists of a
# name and a set of attributes that are described below. Unless
# marked as required, attributes are optional.
#
# name [required]
# ====
# Opcode name.
# Possible values:
#   - opcode string: used as the name for LIR opcode.
#
# gen_boilerplate
# ===============
# Used to decide to generate LIR boilerplate.
#   - true (default): auto generate boilerplate for this LIR opcode
#   - false: do not generate boilerplate for this LIR opcode
#
# result_type
# ===========
# Specifies the result type that is produced by this LIR instruction.
# The result type can be any of the following: WordSized, BoxedValue,
# or Int64.
#   - attribute not specified (default): there is no result produced
#     by this LIR instruction
#   - result type: sets result type for this LIR instruction
#
# operands
# ========
# A list of operands to the LIR node. Each operand will be
# passed into and set in the instruction's constructor. A simple getter
# will also be auto generated for the operand. Each operand in the
# following list is defined by its name and an type.
# The type can be WordSized, BoxedValue, or Int64.
#
#   For example:
#     operands:
#       lhs: BoxedValue
#       rhs: WordSized
#
#   Will result in:
#     explicit LInstanceOfV(const LBoxAllocation& lhs, const LAllocation& rhs)
#         : LInstructionHelper(classOpcode) {
#       setBoxOperand(lhsIndex, lhs);
#       setOperand(rhsIndex, rhs);
#     }
#     const LAllocation* rhs() { return getOperand(0); }
#
#     static const size_t lhsIndex = 0;
#     static const size_t rhsIndex = BOX_PIECES;
#
#   - attribute not specified (default): no code generated
#   - list of operand names with their types: operand getters and setters
#     are generated and passed into the constructor
#
# arguments
# =========
# A list of non-LIR node arguments to the LIR op class constructor
# that are passed along with the operands. The arguments require
# both a name and a full type signature for each item in the list.
#
# For example:
#   offset: size_t
#   type: MIRType
#
# For each argument a private variable declaration will be autogenerated
# in the LIR op class, as well as simple accessor for that variable. The
# above arguments list will result in the following declarations and
# accessors:
#
#   size_t offset_;
#   MIRType type_;
#
#   size_t offset() const { return offset_; }
#   MIRType type() const { return type_; }
#
#   - attribute not specified (default): no code generated
#   - argument list: argument names and their full type signature
#
# num_temps
# ========
# Specifies the number of temporary virtual registers, LDefinitions, used by
# this LIR op.
#   - attribute not specified (default): number of temps is set to 0
#   - number of LDefinition temps: sets number of temps max 15
#
# call_instruction
# ================
# Used to define call instructions.
#   - attribute not specified (default): no code generated
#   - true: generates a call to setIsCall in the op's constructor
#
# mir_op
# ======
# If a LIR instruction corresponds one-to-one with a particular MIR
# instruction, this will generate a method that returns that MIR
# instruction.
#   - attribute not specified (default): no code generated
#   - true: generates a method to return MIR instruction
#   - mir string: returns this specified MIR instruction
#

- name: Phi
  gen_boilerplate: false

- name: Box
  gen_boilerplate: false

- name: OsiPoint
  gen_boilerplate: false

- name: MoveGroup
  gen_boilerplate: false

# Constant 32-bit integer.
- name: Integer
  result_type: WordSized
  arguments:
    i32: int32_t

# Constant 64-bit integer.
- name: Integer64
  result_type: Int64
  arguments:
    i64: int64_t

# Constant pointer.
- name: Pointer
  result_type: WordSized
  arguments:
    gcptr: gc::Cell*

# Constant double.
- name: Double
  result_type: WordSized
  arguments:
    value: double

# Constant float32.
- name: Float32
  result_type: WordSized
  arguments:
    value: float

- name: Value
  gen_boilerplate: false

- name: NurseryObject
  result_type: WordSized
  mir_op: true

# Formal argument for a function, returning a box. Formal arguments are
# initially read from the stack.
- name: Parameter
  result_type: BoxedValue

# Stack offset for a word-sized immutable input value to a frame.
- name: Callee
  result_type: WordSized

- name: IsConstructing
  result_type: WordSized

- name: Goto
  gen_boilerplate: false

- name: NewArray
  gen_boilerplate: false

- name: NewArrayDynamicLength
  result_type: WordSized
  operands:
    length: WordSized
  num_temps: 1
  mir_op: true

- name: NewIterator
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: NewTypedArray
  result_type: WordSized
  num_temps: 2
  mir_op: true

- name: NewTypedArrayDynamicLength
  result_type: WordSized
  operands:
    length: WordSized
  num_temps: 1
  mir_op: true

- name: NewTypedArrayFromArray
  result_type: WordSized
  operands:
    array: WordSized
  call_instruction: true
  mir_op: true

- name: NewTypedArrayFromArrayBuffer
  result_type: WordSized
  operands:
    arrayBuffer: WordSized
    byteOffset: BoxedValue
    length: BoxedValue
  call_instruction: true
  mir_op: true

- name: BindFunction
  result_type: WordSized
  operands:
    target: WordSized
  call_instruction: true
  num_temps: 2
  mir_op: true

- name: NewBoundFunction
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: NewObject
  gen_boilerplate: false

- name: NewPlainObject
  result_type: WordSized
  num_temps: 3
  mir_op: true

- name: NewArrayObject
  result_type: WordSized
  num_temps: 2
  mir_op: true

# Allocates a new NamedLambdaObject.
#
# This instruction generates two possible instruction sets:
#   (1) An inline allocation of the call object is attempted.
#   (2) Otherwise, a callVM create a new object.
#
- name: NewNamedLambdaObject
  result_type: WordSized
  num_temps: 1
  mir_op: true

# Allocates a new CallObject.
#
# This instruction generates two possible instruction sets:
#   (1) If the call object is extensible, this is a callVM to create the
#       call object.
#   (2) Otherwise, an inline allocation of the call object is attempted.
#
- name: NewCallObject
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: NewStringObject
  result_type: WordSized
  operands:
    input: WordSized
  num_temps: 1
  mir_op: true

- name: InitElemGetterSetter
  operands:
    object: WordSized
    id: BoxedValue
    value: WordSized
  call_instruction: true
  mir_op: true

# Takes in an Object and a Value.
- name: MutateProto
  operands:
    object: WordSized
    value: BoxedValue
  call_instruction: true

- name: InitPropGetterSetter
  operands:
    object: WordSized
    value: WordSized
  call_instruction: true
  mir_op: true

- name: CheckOverRecursed
  mir_op: true

- name: WasmTrap
  mir_op: true

- name: WasmTrapIfNull
  operands:
    ref: WordSized
  mir_op: true

- name: WasmRefIsSubtypeOfConcrete
  mir_op: true
  operands:
    ref: WordSized
    superSTV: WordSized
  result_type: WordSized
  num_temps: 2

- name: WasmRefIsSubtypeOfAbstract
  mir_op: true
  operands:
    ref: WordSized
  result_type: WordSized
  num_temps: 1

- name: WasmRefIsSubtypeOfConcreteAndBranch
  gen_boilerplate: false

- name: WasmRefIsSubtypeOfAbstractAndBranch
  gen_boilerplate: false

- name: WasmNewStructObject
  mir_op: true
  operands:
    instance: WordSized
    typeDefData: WordSized
  result_type: WordSized
  num_temps: 2

- name: WasmNewArrayObject
  mir_op: true
  operands:
    instance: WordSized
    numElements: WordSized
    typeDefData: WordSized
  result_type: WordSized
  num_temps: 2

- name: WasmReinterpret
  gen_boilerplate: false

- name: WasmReinterpretFromI64
  gen_boilerplate: false

- name: WasmReinterpretToI64
  gen_boilerplate: false

- name: Rotate
  gen_boilerplate: false

- name: RotateI64
  gen_boilerplate: false

- name: InterruptCheck
  mir_op: true

- name: WasmStackSwitchToMain
  operands:
    suspender: WordSized
    fn: WordSized
    data: WordSized
  call_instruction: true

- name: WasmStackSwitchToSuspendable
  operands:
    suspender: WordSized
    fn: WordSized
    data: WordSized
  call_instruction: true

- name: WasmStackContinueOnSuspendable
  operands:
    suspender: WordSized
  call_instruction: true

- name: WasmInterruptCheck
  operands:
    instance: WordSized
  mir_op: true

- name: TypeOfV
  result_type: WordSized
  operands:
    input: BoxedValue
  num_temps: 1
  mir_op: TypeOf

- name: TypeOfO
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: TypeOf

- name: TypeOfName
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: true

- name: TypeOfIsNonPrimitiveV
  result_type: WordSized
  operands:
    input: BoxedValue
  num_temps: 1
  mir_op: TypeOfIs

- name: TypeOfIsNonPrimitiveO
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: TypeOfIs

- name: TypeOfIsPrimitive
  result_type: WordSized
  operands:
    input: BoxedValue
  mir_op: TypeOfIs

- name: ToAsyncIter
  result_type: WordSized
  operands:
    iterator: WordSized
    nextMethod: BoxedValue
  call_instruction: true

- name: ToPropertyKeyCache
  result_type: BoxedValue
  operands:
    input: BoxedValue
  mir_op: true

# Allocate an object for |new| on the caller-side,
# when there is no templateObject or prototype known
- name: CreateThis
  result_type: BoxedValue
  operands:
    callee: WordSized
    newTarget: WordSized
  call_instruction: true
  mir_op: true

# Allocate a new arguments object for the frame.
- name: CreateArgumentsObject
  result_type: WordSized
  operands:
    callObject: WordSized
  num_temps: 3
  call_instruction: true
  mir_op: true

- name: CreateInlinedArgumentsObject
  gen_boilerplate: false

- name: GetInlinedArgument
  gen_boilerplate: false

- name: GetInlinedArgumentHole
  gen_boilerplate: false

# Get argument from arguments object.
- name: GetArgumentsObjectArg
  result_type: BoxedValue
  operands:
    argsObject: WordSized
  num_temps: 1
  mir_op: true

# Set argument on arguments object.
- name: SetArgumentsObjectArg
  operands:
    argsObject: WordSized
    value: BoxedValue
  num_temps: 1
  mir_op: true

# Load an element from an arguments object.
- name: LoadArgumentsObjectArg
  result_type: BoxedValue
  operands:
    argsObject: WordSized
    index: WordSized
  num_temps: 1

# Load an element from an arguments object. Handles out-of-bounds accesses.
- name: LoadArgumentsObjectArgHole
  result_type: BoxedValue
  operands:
    argsObject: WordSized
    index: WordSized
  num_temps: 1

# Return true if the element exists in the arguments object.
- name: InArgumentsObjectArg
  result_type: WordSized
  operands:
    argsObject: WordSized
    index: WordSized
  num_temps: 1

# Return |arguments.length| unless it has been overridden.
- name: ArgumentsObjectLength
  result_type: WordSized
  operands:
    argsObject: WordSized

# Create an array from an arguments object.
- name: ArrayFromArgumentsObject
  result_type: WordSized
  operands:
    argsObject: WordSized
  call_instruction: true
  mir_op: true

# Guard that the given flags are not set on the arguments object.
- name: GuardArgumentsObjectFlags
  operands:
    argsObject: WordSized
  num_temps: 1
  mir_op: true

- name: BoundFunctionNumArgs
  result_type: WordSized
  operands:
    object: WordSized

- name: GuardBoundFunctionIsConstructor
  operands:
    object: WordSized

# If the Value is an Object, return unbox(Value).
# Otherwise, return the other Object.
- name: ReturnFromCtor
  result_type: WordSized
  operands:
    value: BoxedValue
    object: WordSized

- name: BoxNonStrictThis
  result_type: WordSized
  operands:
    value: BoxedValue
  mir_op: true

- name: ImplicitThis
  result_type: BoxedValue
  operands:
    env: WordSized
  call_instruction: true
  mir_op: true

# Writes a typed argument for a function call to the frame's argument vector.
- name: StackArgT
  operands:
    arg: WordSized
  arguments:
    # Index into frame-scope argument vector.
    argslot: uint32_t
    type: MIRType

# Writes a typed argument for a function call to the frame's argument vector.
- name: StackArgV
  operands:
    value: BoxedValue
  arguments:
    # Index into frame-scope argument vector.
    argslot: uint32_t

- name: CallGeneric
  gen_boilerplate: false

- name: CallKnown
  gen_boilerplate: false

- name: CallNative
  gen_boilerplate: false

- name: CallDOMNative
  gen_boilerplate: false

- name: CallClassHook
  gen_boilerplate: false

- name: Bail

- name: Unreachable
  gen_boilerplate: false

- name: EncodeSnapshot

- name: UnreachableResultV
  gen_boilerplate: false

- name: UnreachableResultT
  result_type: WordSized

- name: GetDOMProperty
  gen_boilerplate: false

- name: GetDOMMemberV
  gen_boilerplate: false

- name: GetDOMMemberT
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: GetDOMMember

- name: SetDOMProperty
  gen_boilerplate: false

- name: LoadDOMExpandoValue
  result_type: BoxedValue
  operands:
    proxy: WordSized
  mir_op: true

- name: LoadDOMExpandoValueGuardGeneration
  result_type: BoxedValue
  operands:
    proxy: WordSized
  mir_op: true

- name: LoadDOMExpandoValueIgnoreGeneration
  result_type: BoxedValue
  operands:
    proxy: WordSized
  mir_op: true

- name: GuardDOMExpandoMissingOrGuardShape
  operands:
    input: BoxedValue
  num_temps: 1
  mir_op: true

- name: ApplyArgsGeneric
  gen_boilerplate: false

- name: ApplyArgsObj
  gen_boilerplate: false

- name: ApplyArrayGeneric
  gen_boilerplate: false

- name: ConstructArgsGeneric
  gen_boilerplate: false

- name: ConstructArrayGeneric
  gen_boilerplate: false

- name: ApplyArgsNative
  gen_boilerplate: false

- name: ApplyArgsObjNative
  gen_boilerplate: false

- name: ApplyArrayNative
  gen_boilerplate: false

- name: ConstructArgsNative
  gen_boilerplate: false

- name: ConstructArrayNative
  gen_boilerplate: false

- name: TestIAndBranch
  gen_boilerplate: false

- name: TestI64AndBranch
  gen_boilerplate: false

- name: TestDAndBranch
  gen_boilerplate: false

- name: TestFAndBranch
  gen_boilerplate: false

- name: TestBIAndBranch
  gen_boilerplate: false

- name: TestOAndBranch
  gen_boilerplate: false

- name: TestVAndBranch
  gen_boilerplate: false

- name: Compare
  gen_boilerplate: false

- name: CompareI64
  gen_boilerplate: false

- name: CompareI64AndBranch
  gen_boilerplate: false

- name: CompareAndBranch
  gen_boilerplate: false

- name: CompareD
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  mir_op: Compare

- name: CompareF
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  mir_op: Compare

- name: CompareDAndBranch
  gen_boilerplate: false

- name: CompareFAndBranch
  gen_boilerplate: false

- name: CompareS
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  mir_op: Compare

- name: CompareSInline
  result_type: WordSized
  operands:
    input: WordSized
  arguments:
    constant: JSLinearString*
  mir_op: Compare

- name: CompareSSingle
  result_type: WordSized
  operands:
    input: WordSized
  arguments:
    jsop: JSOp
    constant: JSLinearString*
  num_temps: 1
  mir_op: Compare

- name: CompareBigInt
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  num_temps: 3
  mir_op: Compare

- name: CompareBigIntInt32
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  num_temps: 2
  mir_op: Compare

- name: CompareBigIntDouble
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  call_instruction: true
  mir_op: Compare

- name: CompareBigIntString
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  call_instruction: true
  mir_op: Compare

- name: BitAndAndBranch
  gen_boilerplate: false

# Takes a value and tests whether it is null, undefined, or is an object that
# emulates |undefined|, as determined by the JSCLASS_EMULATES_UNDEFINED class
# flag on unwrapped objects.  See also js::EmulatesUndefined.
- name: IsNullOrLikeUndefinedV
  result_type: WordSized
  operands:
    value: BoxedValue
  num_temps: 1
  mir_op: Compare

# Takes an object pointer and tests whether it is an object that emulates
# |undefined|, as above.
- name: IsNullOrLikeUndefinedT
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: Compare

# Takes a value and tests whether it is null.
- name: IsNull
  result_type: WordSized
  operands:
    value: BoxedValue
  mir_op: Compare

# Takes a value and tests whether it is undefined.
- name: IsUndefined
  result_type: WordSized
  operands:
    value: BoxedValue
  mir_op: Compare

- name: IsNullOrLikeUndefinedAndBranchV
  gen_boilerplate: false

- name: IsNullOrLikeUndefinedAndBranchT
  gen_boilerplate: false

- name: IsNullAndBranch
  gen_boilerplate: false

- name: IsUndefinedAndBranch
  gen_boilerplate: false

- name: SameValueDouble
  result_type: WordSized
  operands:
    left: WordSized
    right: WordSized
  num_temps: 1

- name: SameValue
  result_type: WordSized
  operands:
    lhs: BoxedValue
    rhs: BoxedValue

# Not operation on an integer.
- name: NotI
  result_type: WordSized
  operands:
    input: WordSized

# Not operation on an int64.
- name: NotI64
  result_type: WordSized
  operands:
    inputI64: Int64

# Not operation on a double.
- name: NotD
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: Not

# Not operation on a float32.
- name: NotF
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: Not

# Not operation on a BigInt.
- name: NotBI
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: Not

# Boolean complement operation on an object.
- name: NotO
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: Not

# Boolean complement operation on a value.
- name: NotV
  result_type: WordSized
  operands:
    input: BoxedValue
  num_temps: 2
  mir_op: Not

- name: BitNotI
  gen_boilerplate: false

- name: BitNotI64
  gen_boilerplate: false

- name: BitOpI
  gen_boilerplate: false

- name: BitOpI64
  gen_boilerplate: false

- name: ShiftI
  gen_boilerplate: false

- name: ShiftI64
  gen_boilerplate: false

- name: SignExtendInt32
  result_type: WordSized
  operands:
    num: WordSized
  arguments:
    mode: MSignExtendInt32::Mode

- name: SignExtendInt64
  gen_boilerplate: false

- name: UrshD
  gen_boilerplate: false

- name: Return
  gen_boilerplate: false

- name: Throw
  operands:
    value: BoxedValue
  call_instruction: true

- name: ThrowWithStack
  operands:
    value: BoxedValue
    stack: BoxedValue
  call_instruction: true

- name: MinMaxI
  gen_boilerplate: false

- name: MinMaxD
  gen_boilerplate: false

- name: MinMaxF
  gen_boilerplate: false

- name: MinMaxArrayI
  gen_boilerplate: false

- name: MinMaxArrayD
  gen_boilerplate: false

# Negative of integer
- name: NegI
  result_type: WordSized
  operands:
    num: WordSized

# Negative of an int64
- name: NegI64
  result_type: Int64
  operands:
    num: Int64

# Negative of double
- name: NegD
  result_type: WordSized
  operands:
    num: WordSized

# Negative of float32
- name: NegF
  result_type: WordSized
  operands:
    num: WordSized

# Absolute value of an integer.
- name: AbsI
  result_type: WordSized
  operands:
    num: WordSized
  mir_op: Abs

# Absolute value of a double.
- name: AbsD
  result_type: WordSized
  operands:
    num: WordSized

# Absolute value of a float32.
- name: AbsF
  result_type: WordSized
  operands:
    num: WordSized

- name: CopySignD
  gen_boilerplate: false

- name: CopySignF
  gen_boilerplate: false

# Count leading zeroes on an int32.
- name: ClzI
  result_type: WordSized
  operands:
    num: WordSized
  mir_op: Clz

# Count leading zeroes on an int64.
- name: ClzI64
  result_type: Int64
  operands:
    num: Int64
  mir_op: Clz

# Count trailing zeroes on an int32.
- name: CtzI
  result_type: WordSized
  operands:
    num: WordSized
  mir_op: Ctz

# Count trailing zeroes on an int64.
- name: CtzI64
  result_type: Int64
  operands:
    num: Int64
  mir_op: Ctz

# Count population on an int32.
- name: PopcntI
  result_type: WordSized
  operands:
    num: WordSized
  num_temps: 1
  mir_op: Popcnt

# Count population on an int64.
- name: PopcntI64
  result_type: Int64
  operands:
    num: Int64
  num_temps: 1
  mir_op: Popcnt

- name: SqrtD
  result_type: WordSized
  operands:
    num: WordSized

- name: SqrtF
  result_type: WordSized
  operands:
    num: WordSized

- name: Atan2D
  gen_boilerplate: false

- name: Hypot
  gen_boilerplate: false

# Double raised to an integer power.
- name: PowI
  result_type: WordSized
  operands:
    value: WordSized
    power: WordSized
  call_instruction: true

# Integer raised to an integer power.
- name: PowII
  result_type: WordSized
  operands:
    value: WordSized
    power: WordSized
  num_temps: 2
  mir_op: Pow

# Double raised to a double power.
- name: PowD
  result_type: WordSized
  operands:
    value: WordSized
    power: WordSized
  call_instruction: true

# Constant of a power of two raised to an integer power.
- name: PowOfTwoI
  result_type: WordSized
  operands:
    power: WordSized
  arguments:
    base: uint32_t

# Sign value of an integer.
- name: SignI
  result_type: WordSized
  operands:
    num: WordSized

# Sign value of an integer.
- name: SignD
  result_type: WordSized
  operands:
    num: WordSized

# Sign value of a double with expected int32 result.
- name: SignDI
  result_type: WordSized
  operands:
    input: WordSized
  num_temps: 1

- name: MathFunctionD
  gen_boilerplate: false

- name: MathFunctionF
  gen_boilerplate: false

- name: AddI
  gen_boilerplate: false

- name: AddI64
  gen_boilerplate: false

- name: SubI
  gen_boilerplate: false

- name: SubI64
  gen_boilerplate: false

- name: MulI64
  gen_boilerplate: false

- name: MathD
  gen_boilerplate: false

- name: MathF
  gen_boilerplate: false

- name: ModD
  gen_boilerplate: false

- name: ModPowTwoD
  gen_boilerplate: false

- name: WasmBuiltinModD
  result_type: WordSized
  operands:
    lhs: WordSized
    rhs: WordSized
    instance: WordSized
  call_instruction: true
  mir_op: true

- name: BigIntAdd
  gen_boilerplate: false

- name: BigIntSub
  gen_boilerplate: false

- name: BigIntMul
  gen_boilerplate: false

- name: BigIntDiv
  gen_boilerplate: false

- name: BigIntMod
  gen_boilerplate: false

- name: BigIntPow
  gen_boilerplate: false

- name: BigIntBitAnd
  gen_boilerplate: false

- name: BigIntBitOr
  gen_boilerplate: false

- name: BigIntBitXor
  gen_boilerplate: false

- name: BigIntLsh
  gen_boilerplate: false

- name: BigIntRsh
  gen_boilerplate: false

- name: BigIntIncrement
  gen_boilerplate: false

- name: BigIntDecrement
  gen_boilerplate: false

- name: BigIntNegate
  gen_boilerplate: false

- name: BigIntBitNot
  gen_boilerplate: false

- name: Int32ToStringWithBase
  result_type: WordSized
  operands:
    input: WordSized
    base: WordSized
  num_temps: 2
  mir_op: true

- name: NumberParseInt
  result_type: BoxedValue
  operands:
    string: WordSized
    radix: WordSized
  num_temps: 1
  call_instruction: true
  mir_op: true

- name: DoubleParseInt
  result_type: WordSized
  operands:
    number: WordSized
  num_temps: 1
  mir_op: true

# Adds two string, returning a string.
- name: Concat
  result_type: WordSized
  operands:
    lhs: WordSized
    rhs: WordSized
  num_temps: 5

# Linearize a string.
- name: LinearizeString
  result_type: WordSized
  operands:
    str: WordSized
  mir_op: true

# Linearize a string before a character access.
- name: LinearizeForCharAccess
  result_type: WordSized
  operands:
    str: WordSized
    index: WordSized
  mir_op: true

# Linearize a string before a code point access.
- name: LinearizeForCodePointAccess
  result_type: WordSized
  operands:
    str: WordSized
    index: WordSized
  num_temps: 1
  mir_op: true

# Compute the relative string index.
- name: ToRelativeStringIndex
  result_type: WordSized
  operands:
    index: WordSized
    length: WordSized
  mir_op: true

# Get uint16 character code from a string.
- name: CharCodeAt
  result_type: WordSized
  operands:
    str: WordSized
    index: WordSized
  num_temps: 2

# Get uint16 character code from a string. Return -1 on out-of-bounds.
- name: CharCodeAtOrNegative
  result_type: WordSized
  operands:
    str: WordSized
    index: WordSized
  num_temps: 2

# Get uint32 code point from a string.
- name: CodePointAt
  result_type: WordSized
  operands:
    str: WordSized
    index: WordSized
  num_temps: 2

# Get uint32 code point from a string. Return -1 on out-of-bounds.
- name: CodePointAtOrNegative
  result_type: WordSized
  operands:
    str: WordSized
    index: WordSized
  num_temps: 2

# Box the input if non-negative. Otherwise return NaN.
- name: NegativeToNaN
  result_type: BoxedValue
  operands:
    input: WordSized

# Box the input if non-negative. Otherwise return undefined.
- name: NegativeToUndefined
  result_type: BoxedValue
  operands:
    input: WordSized

# Convert uint16 character code to a string.
- name: FromCharCode
  result_type: WordSized
  operands:
    code: WordSized

# Convert non-negative input as a uint16 character code to a string. If the
# input is negative, return the empty string.
- name: FromCharCodeEmptyIfNegative
  result_type: WordSized
  operands:
    code: WordSized

# Convert non-negative input as a uint16 character code to a string. If the
# input is negative, return the undefined value.
- name: FromCharCodeUndefinedIfNegative
  result_type: BoxedValue
  operands:
    code: WordSized

# Convert uint32 code point to a string.
- name: FromCodePoint
  result_type: WordSized
  operands:
    codePoint: WordSized
  num_temps: 2

# Test if a string includes the search string.
- name: StringIncludes
  result_type: WordSized
  operands:
    string: WordSized
    searchString: WordSized
  call_instruction: true

# Test if a string includes the constant search string.
- name: StringIncludesSIMD
  result_type: WordSized
  operands:
    string: WordSized
  arguments:
    searchString: JSLinearString*
  num_temps: 3

# Search for the first index of the search string.
- name: StringIndexOf
  result_type: WordSized
  operands:
    string: WordSized
    searchString: WordSized
  call_instruction: true

# Search for the first index of the constant search string.
- name: StringIndexOfSIMD
  result_type: WordSized
  operands:
    string: WordSized
  arguments:
    searchString: JSLinearString*
  num_temps: 3

# Search for the last index of the search string.
- name: StringLastIndexOf
  result_type: WordSized
  operands:
    string: WordSized
    searchString: WordSized
  call_instruction: true

# Test if a string starts with the search string
- name: StringStartsWith
  result_type: WordSized
  operands:
    string: WordSized
    searchString: WordSized
  call_instruction: true

# Test if a string starts with the constant search string
- name: StringStartsWithInline
  result_type: WordSized
  operands:
    string: WordSized
  arguments:
    searchString: JSLinearString*
  num_temps: 1

# Test if a string ends with the search string
- name: StringEndsWith
  result_type: WordSized
  operands:
    string: WordSized
    searchString: WordSized
  call_instruction: true

# Test if a string ends with the constant search string
- name: StringEndsWithInline
  result_type: WordSized
  operands:
    string: WordSized
  arguments:
    searchString: JSLinearString*
  num_temps: 1

# Calls the ToLowerCase case conversion function. Inlines the case conversion
# when possible.
- name: StringToLowerCase
  result_type: WordSized
  operands:
    string: WordSized
  num_temps: 5
  mir_op: StringConvertCase

# Calls the ToLowerCase case conversion function. Inlines the case conversion
# when possible.
- name: CharCodeToLowerCase
  result_type: WordSized
  operands:
    code: WordSized
  num_temps: 1
  mir_op: CharCodeConvertCase

# Calls the ToUpperCase case conversion function.
- name: StringToUpperCase
  result_type: WordSized
  operands:
    string: WordSized
  call_instruction: true
  mir_op: StringConvertCase

# Calls the ToUpperCase case conversion function. Inlines the case conversion
# when possible.
- name: CharCodeToUpperCase
  result_type: WordSized
  operands:
    code: WordSized
  num_temps: 1
  mir_op: CharCodeConvertCase

# Index of first non-whitespace character.
- name: StringTrimStartIndex
  result_type: WordSized
  operands:
    string: WordSized

# Index of last non-whitespace character.
- name: StringTrimEndIndex
  result_type: WordSized
  operands:
    string: WordSized
    start: WordSized

- name: StringSplit
  result_type: WordSized
  operands:
    string: WordSized
    separator: WordSized
  call_instruction: true
  mir_op: true

- name: Substr
  result_type: WordSized
  operands:
    string: WordSized
    begin: WordSized
    length: WordSized
  num_temps: 3
  mir_op: true

- name: Int32ToDouble
  result_type: WordSized
  operands:
    input: WordSized

- name: Float32ToDouble
  result_type: WordSized
  operands:
    input: WordSized

- name: DoubleToFloat32
  result_type: WordSized
  operands:
    input: WordSized

- name: Int32ToFloat32
  result_type: WordSized
  operands:
    input: WordSized

# Convert a value to a double.
- name: ValueToDouble
  result_type: WordSized
  operands:
    input: BoxedValue
  mir_op: ToDouble

# Convert a value to a float32.
- name: ValueToFloat32
  result_type: WordSized
  operands:
    input: BoxedValue
  mir_op: ToFloat32

- name: ValueToInt32
  gen_boilerplate: false

# Convert a value to a BigInt.
- name: ValueToBigInt
  result_type: WordSized
  operands:
    input: BoxedValue
  mir_op: ToBigInt

# Convert a double to an int32.
#   Input: floating-point Register
#   Output: 32-bit integer
#   Bailout: if the double cannot be converted to an integer.
- name: DoubleToInt32
  result_type: WordSized
  operands:
    in: WordSized
  mir_op: ToNumberInt32

# Convert a float32 to an int32.
#   Input: floating-point Register
#   Output: 32-bit integer
#   Bailout: if the float32 cannot be converted to an integer.
- name: Float32ToInt32
  result_type: WordSized
  operands:
    in: WordSized
  mir_op: ToNumberInt32

# Convert a double to a truncated int32.
#   Input: floating-point Register
#   Output: 32-bit integer
- name: TruncateDToInt32
  result_type: WordSized
  operands:
    in: WordSized
  num_temps: 1
  mir_op: TruncateToInt32

# Convert a double to a truncated int32 with instance offset because we need it
# for the slow ool path.
- name: WasmBuiltinTruncateDToInt32
  result_type: WordSized
  operands:
    in: WordSized
    instance: WordSized
  num_temps: 1
  mir_op: WasmBuiltinTruncateToInt32

# Convert a float32 to a truncated int32.
#   Input: floating-point Register
#   Output: 32-bit integer
- name: TruncateFToInt32
  result_type: WordSized
  operands:
    in: WordSized
  num_temps: 1
  mir_op: TruncateToInt32

# Convert a float32 to a truncated int32 with instance offset because we need
# it for the slow ool path.
- name: WasmBuiltinTruncateFToInt32
  result_type: WordSized
  operands:
    in: WordSized
    instance: WordSized
  num_temps: 1
  mir_op: WasmBuiltinTruncateToInt32

- name: WasmTruncateToInt32
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: true

- name: WrapInt64ToInt32
  result_type: WordSized
  operands:
    input: Int64
  mir_op: true

- name: ExtendInt32ToInt64
  result_type: Int64
  operands:
    input: WordSized
  mir_op: true

# Convert a boolean value to a string.
- name: BooleanToString
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: ToString

# Convert an integer hosted on one definition to a string with a function call.
- name: IntToString
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: ToString

# Convert a double hosted on one definition to a string with a function call.
- name: DoubleToString
  result_type: WordSized
  operands:
    input: WordSized
  num_temps: 1
  mir_op: ToString

# Convert a primitive to a string with a function call.
- name: ValueToString
  result_type: WordSized
  operands:
    input: BoxedValue
  num_temps: 1
  mir_op: ToString

- name: PowHalfD
  gen_boilerplate: false

- name: NaNToZero
  result_type: WordSized
  operands:
    input: WordSized
  num_temps: 1
  mir_op: true

- name: OsrEntry
  gen_boilerplate: false

# Materialize a Value stored in an interpreter frame for OSR.
- name: OsrValue
  result_type: BoxedValue
  operands:
    entry: WordSized
  mir_op: true

# Materialize a JSObject env chain stored in an interpreter frame for OSR.
- name: OsrEnvironmentChain
  result_type: WordSized
  operands:
    entry: WordSized
  mir_op: true

# Materialize a JSObject env chain stored in an interpreter frame for OSR.
- name: OsrReturnValue
  result_type: BoxedValue
  operands:
    entry: WordSized
  mir_op: true

- name: OsrArgumentsObject
  result_type: WordSized
  operands:
    entry: WordSized
  mir_op: true

- name: RegExp
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: RegExpMatcher
  result_type: BoxedValue
  operands:
    regexp: WordSized
    string: WordSized
    lastIndex: WordSized
  call_instruction: true
  mir_op: true

- name: RegExpSearcher
  result_type: WordSized
  operands:
    regexp: WordSized
    string: WordSized
    lastIndex: WordSized
  call_instruction: true
  mir_op: true

- name: RegExpSearcherLastLimit
  result_type: WordSized
  operands:
  num_temps: 1

- name: RegExpExecMatch
  result_type: BoxedValue
  operands:
    regexp: WordSized
    string: WordSized
  call_instruction: true
  num_temps: 0
  mir_op: true

- name: RegExpExecTest
  result_type: WordSized
  operands:
    regexp: WordSized
    string: WordSized
  call_instruction: true
  num_temps: 0
  mir_op: true

- name: RegExpHasCaptureGroups
  result_type: WordSized
  operands:
    regexp: WordSized
    input: WordSized
  mir_op: true

- name: RegExpPrototypeOptimizable
  result_type: WordSized
  operands:
    object: WordSized
  num_temps: 1
  mir_op: true

- name: RegExpInstanceOptimizable
  result_type: WordSized
  operands:
    object: WordSized
    proto: WordSized
  num_temps: 1
  mir_op: true

- name: GetFirstDollarIndex
  result_type: WordSized
  operands:
    str: WordSized
  num_temps: 3

- name: StringReplace
  result_type: WordSized
  operands:
    string: WordSized
    pattern: WordSized
    replacement: WordSized
  call_instruction: true
  mir_op: true

- name: BinaryValueCache
  result_type: BoxedValue
  operands:
    lhs: BoxedValue
    rhs: BoxedValue
  # Takes two temps: these are intended to be FloatReg0 and FloatReg1
  # to allow the actual cache code to safely clobber those values without
  # save and restore.
  num_temps: 2
  mir_op: BinaryCache

- name: BinaryBoolCache
  result_type: WordSized
  operands:
    lhs: BoxedValue
    rhs: BoxedValue
  # Takes two temps: these are intendend to be FloatReg0 and FloatReg1
  # To allow the actual cache code to safely clobber those values without
  # save and restore.
  num_temps: 2
  mir_op: BinaryCache

- name: UnaryCache
  result_type: BoxedValue
  operands:
    input: BoxedValue
  mir_op_cast: true

- name: ModuleMetadata
  result_type: WordSized
  call_instruction: true
  mir_op: true

- name: DynamicImport
  result_type: WordSized
  operands:
    specifier: BoxedValue
    options: BoxedValue
  call_instruction: true
  mir_op: true

- name: Lambda
  result_type: WordSized
  operands:
    environmentChain: WordSized
  num_temps: 1
  mir_op: true

- name: FunctionWithProto
  result_type: WordSized
  operands:
    envChain: WordSized
    prototype: WordSized
  call_instruction: true
  mir_op: true

- name: SetFunName
  result_type: WordSized
  operands:
    fun: WordSized
    name: BoxedValue
  call_instruction: true
  mir_op: true

- name: KeepAliveObject
  operands:
    object: WordSized

- name: DebugEnterGCUnsafeRegion
  num_temps: 1

- name: DebugLeaveGCUnsafeRegion
  num_temps: 1

# Load the "slots" member out of a JSObject.
#   Input: JSObject pointer
#   Output: slots pointer
- name: Slots
  result_type: WordSized
  operands:
    object: WordSized

# Load the "elements" member out of a JSObject.
#   Input: JSObject pointer
#   Output: elements pointer
- name: Elements
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

# Load the initialized length from an elements header.
- name: InitializedLength
  result_type: WordSized
  operands:
    elements: WordSized

# Store to the initialized length in an elements header. Note the input is an
# *index*, one less than the desired initialized length.
- name: SetInitializedLength
  operands:
    elements: WordSized
    index: WordSized

# Load the length from an elements header.
- name: ArrayLength
  result_type: WordSized
  operands:
    elements: WordSized

# Store to the length in an elements header. Note the input is an *index*,
# one less than the desired length.
- name: SetArrayLength
  operands:
    elements: WordSized
    index: WordSized

# Load the "length" property of a function.
- name: FunctionLength
  result_type: WordSized
  operands:
    function: WordSized

# Load the "name" property of a function.
- name: FunctionName
  result_type: WordSized
  operands:
    function: WordSized

- name: GetNextEntryForIterator
  result_type: WordSized
  operands:
    iter: WordSized
    result: WordSized
  num_temps: 3
  mir_op: true

- name: ArrayBufferByteLength
  result_type: WordSized
  operands:
    object: WordSized

- name: ArrayBufferViewLength
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

# Read the byteOffset of an array buffer view.
- name: ArrayBufferViewByteOffset
  result_type: WordSized
  operands:
    object: WordSized

# Load an array buffer view's elements vector.
- name: ArrayBufferViewElements
  result_type: WordSized
  operands:
    object: WordSized

# Return the element size of a typed array.
- name: TypedArrayElementSize
  result_type: WordSized
  operands:
    object: WordSized

# Read the length of a resizable typed array.
- name: ResizableTypedArrayLength
  result_type: WordSized
  operands:
    object: WordSized
  arguments:
    synchronization: js::jit::Synchronization
  num_temps: 1

# Read the possibly out-of-bounds byteOffset of a resizable typed array.
- name: ResizableTypedArrayByteOffsetMaybeOutOfBounds
  result_type: WordSized
  operands:
    object: WordSized
  num_temps: 1

# Read the byte length of a resizable data view.
- name: ResizableDataViewByteLength
  result_type: WordSized
  operands:
    object: WordSized
  arguments:
    synchronization: js::jit::Synchronization
  num_temps: 1

# Read the byte length of a growable shared array buffer.
- name: GrowableSharedArrayBufferByteLength
  result_type: WordSized
  operands:
    object: WordSized

# Guard a resizable array buffer view is in-bounds.
- name: GuardResizableArrayBufferViewInBounds
  operands:
    object: WordSized
  num_temps: 1

# Guard a resizable array buffer view is in-bounds.
- name: GuardResizableArrayBufferViewInBoundsOrDetached
  operands:
    object: WordSized
  num_temps: 1

- name: GuardHasAttachedArrayBuffer
  operands:
    object: WordSized
  num_temps: 1

# Double to IntPtr, eligible for accessing into a TypedArray or DataView. If
# the index isn't exactly representable as an IntPtr, depending on the
# supportOOB flag on the MIR instruction, either bail out or produce an IntPtr
# which is equivalent to an OOB access.
- name: GuardNumberToIntPtrIndex
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

# Bailout if index >= length.
- name: BoundsCheck
  operands:
    index: WordSized
    length: WordSized
  mir_op: true

- name: BoundsCheckRange
  gen_boilerplate: false

# Bailout if index < minimum.
- name: BoundsCheckLower
  operands:
    index: WordSized
  mir_op: true

- name: SpectreMaskIndex
  result_type: WordSized
  operands:
    index: WordSized
    length: WordSized
  mir_op: true

- name: LoadElementV
  gen_boilerplate: false

- name: InArray
  result_type: WordSized
  operands:
    elements: WordSized
    index: WordSized
    initLength: WordSized
  mir_op: true

- name: GuardElementNotHole
  operands:
    elements: WordSized
    index: WordSized

- name: LoadElementHole
  gen_boilerplate: false

- name: StoreElementV
  gen_boilerplate: false

- name: StoreElementT
  gen_boilerplate: false

- name: StoreHoleValueElement
  operands:
    elements: WordSized
    index: WordSized

# Like LStoreElementV, but supports indexes >= initialized length.
- name: StoreElementHoleV
  operands:
    object: WordSized
    elements: WordSized
    index: WordSized
    value: BoxedValue
  num_temps: 1
  mir_op: StoreElementHole

# Like LStoreElementT, but supports indexes >= initialized length.
- name: StoreElementHoleT
  operands:
    object: WordSized
    elements: WordSized
    index: WordSized
    value: WordSized
  num_temps: 1
  mir_op: StoreElementHole

- name: ArrayPopShift
  gen_boilerplate: false

- name: ArrayPush
  result_type: WordSized
  operands:
    object: WordSized
    value: BoxedValue
  num_temps: 2
  mir_op: true

- name: ArraySlice
  result_type: WordSized
  operands:
    object: WordSized
    begin: WordSized
    end: WordSized
  num_temps: 2
  call_instruction: true
  mir_op: true

- name: ArgumentsSlice
  result_type: WordSized
  operands:
    object: WordSized
    begin: WordSized
    end: WordSized
  num_temps: 2
  call_instruction: true
  mir_op: true

- name: FrameArgumentsSlice
  result_type: WordSized
  operands:
    begin: WordSized
    count: WordSized
  num_temps: 1
  mir_op: true

- name: InlineArgumentsSlice
  gen_boilerplate: false

- name: NormalizeSliceTerm
  result_type: WordSized
  operands:
    value: WordSized
    length: WordSized
  mir_op: true

- name: ArrayJoin
  result_type: WordSized
  operands:
    array: WordSized
    separator: WordSized
  num_temps: 1
  call_instruction: true
  mir_op: true

- name: ObjectKeys
  result_type: WordSized
  operands:
    object: WordSized
  num_temps: 0
  call_instruction: true

- name: ObjectKeysLength
  result_type: WordSized
  operands:
    object: WordSized
  num_temps: 0
  call_instruction: true

- name: LoadUnboxedScalar
  result_type: WordSized
  operands:
    elements: WordSized
    index: WordSized
  num_temps: 1
  mir_op: true

- name: LoadUnboxedBigInt
  gen_boilerplate: false

- name: LoadDataViewElement
  gen_boilerplate: false

- name: LoadTypedArrayElementHole
  result_type: BoxedValue
  operands:
    elements: WordSized
    index: WordSized
    length: WordSized
  mir_op: true

- name: LoadTypedArrayElementHoleBigInt
  gen_boilerplate: false

- name: StoreUnboxedScalar
  operands:
    elements: WordSized
    index: WordSized
    value: WordSized
  mir_op: true

- name: StoreUnboxedBigInt
  gen_boilerplate: false

- name: StoreDataViewElement
  gen_boilerplate: false

- name: StoreTypedArrayElementHole
  operands:
    elements: WordSized
    length: WordSized
    index: WordSized
    value: WordSized
  num_temps: 1
  mir_op: true

- name: StoreTypedArrayElementHoleBigInt
  gen_boilerplate: false

- name: AtomicIsLockFree
  result_type: WordSized
  operands:
    value: WordSized

- name: CompareExchangeTypedArrayElement
  gen_boilerplate: false

- name: AtomicExchangeTypedArrayElement
  gen_boilerplate: false

- name: AtomicTypedArrayElementBinop
  gen_boilerplate: false

- name: AtomicTypedArrayElementBinopForEffect
  gen_boilerplate: false

- name: AtomicLoad64
  gen_boilerplate: false

- name: AtomicStore64
  gen_boilerplate: false

- name: CompareExchangeTypedArrayElement64
  gen_boilerplate: false

- name: AtomicExchangeTypedArrayElement64
  gen_boilerplate: false

- name: AtomicTypedArrayElementBinop64
  gen_boilerplate: false

- name: AtomicTypedArrayElementBinopForEffect64
  gen_boilerplate: false

- name: EffectiveAddress
  result_type: WordSized
  operands:
    base: WordSized
    index: WordSized
  mir_op: true

- name: ClampIToUint8
  result_type: WordSized
  operands:
    input: WordSized

- name: ClampDToUint8
  result_type: WordSized
  operands:
    in: WordSized
  num_temps: 1

- name: ClampVToUint8
  result_type: WordSized
  operands:
    input: BoxedValue
  num_temps: 1
  mir_op: ClampToUint8

- name: LoadScriptedProxyHandler
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

#ifdef JS_PUNBOX64
- name: CheckScriptedProxyGetResult
  operands:
    target: BoxedValue
    id: BoxedValue
    value: BoxedValue
  num_temps: 2
  mir_op: true
#endif

- name: IdToStringOrSymbol
  result_type: BoxedValue
  operands:
    id: BoxedValue
  num_temps: 1
  mir_op: true

# Load a boxed value from an object's fixed slot.
- name: LoadFixedSlotV
  result_type: BoxedValue
  operands:
    object: WordSized
  mir_op: LoadFixedSlot

# Load a boxed value from an object's fixed slot.
# If it is a non-atom string, atomize it and update the slot.
- name: LoadFixedSlotAndAtomize
  result_type: BoxedValue
  operands:
    object: WordSized
  num_temps: 1
  mir_op: LoadFixedSlot

# Load a typed value from an object's fixed slot.
- name: LoadFixedSlotT
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: LoadFixedSlot

- name: LoadFixedSlotAndUnbox
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

- name: LoadDynamicSlotAndUnbox
  result_type: WordSized
  operands:
    slots: WordSized
  mir_op: true

- name: LoadElementAndUnbox
  result_type: WordSized
  operands:
    elements: WordSized
    index: WordSized
  mir_op: true

- name: LoadFixedSlotUnboxAndAtomize
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: LoadFixedSlotAndUnbox

- name: LoadDynamicSlotUnboxAndAtomize
  result_type: WordSized
  operands:
    slots: WordSized
  mir_op: LoadDynamicSlotAndUnbox

- name: AddAndStoreSlot
  operands:
    object: WordSized
    value: BoxedValue
  num_temps: 1
  mir_op: true

- name: AllocateAndStoreSlot
  operands:
    object: WordSized
    value: BoxedValue
  num_temps: 2
  call_instruction: true
  mir_op: true

- name: AddSlotAndCallAddPropHook
  operands:
    object: WordSized
    value: BoxedValue
  call_instruction: true
  mir_op: true

# Store a boxed value to an object's fixed slot.
- name: StoreFixedSlotV
  operands:
    obj: WordSized
    value: BoxedValue
  mir_op: StoreFixedSlot

# Store a typed value to an object's fixed slot.
- name: StoreFixedSlotT
  operands:
    obj: WordSized
    value: WordSized
  mir_op: StoreFixedSlot

# Note, Name ICs always return a Value. There are no V/T variants.
- name: GetNameCache
  result_type: BoxedValue
  operands:
    envObj: WordSized
  num_temps: 1
  mir_op: true

- name: CallGetIntrinsicValue
  result_type: BoxedValue
  call_instruction: true
  mir_op: true

- name: GetPropSuperCache
  result_type: BoxedValue
  operands:
    obj: WordSized
    receiver: BoxedValue
    id: BoxedValue
  mir_op: true

# Patchable jump to stubs generated for a GetProperty cache, which loads a
# boxed value.
- name: GetPropertyCache
  result_type: BoxedValue
  operands:
    value: BoxedValue
    id: BoxedValue
  mir_op: true

- name: BindNameCache
  result_type: WordSized
  operands:
    environmentChain: WordSized
  num_temps: 1
  mir_op: true

- name: CallBindVar
  result_type: WordSized
  operands:
    environmentChain: WordSized
  mir_op: true

# Load a value from an object's dslots or a slots vector.
- name: LoadDynamicSlotV
  result_type: BoxedValue
  operands:
    in: WordSized
  mir_op: LoadDynamicSlot

# Load a value from an object's dslots or a slots vector.
# If it is a non-atom string, atomize it and update the slot.
- name: LoadDynamicSlotAndAtomize
  result_type: BoxedValue
  operands:
    in: WordSized
  num_temps: 1
  mir_op: LoadDynamicSlot

# Store a value to an object's dslots or a slots vector.
- name: StoreDynamicSlotV
  operands:
    slots: WordSized
    value: BoxedValue
  mir_op: StoreDynamicSlot

# Store a typed value to an object's dslots or a slots vector. This has a
# few advantages over LStoreDynamicSlotV:
# 1) We can bypass storing the type tag if the slot has the same type as
#    the value.
# 2) Better Register allocation: we can store constants and FP regs directly
#    without requiring a second Register for the value.
- name: StoreDynamicSlotT
  operands:
    slots: WordSized
    value: WordSized
  mir_op: StoreDynamicSlot

# Read length field of a JSString*.
- name: StringLength
  result_type: WordSized
  operands:
    string: WordSized

# Take the floor of a double precision number and converts it to an int32.
# Implements Math.floor().
- name: Floor
  result_type: WordSized
  operands:
    num: WordSized

# Take the floor of a single precision number and converts it to an int32.
# Implements Math.floor().
- name: FloorF
  result_type: WordSized
  operands:
    num: WordSized

# Take the ceiling of a double precision number and converts it to an int32.
# Implements Math.ceil().
- name: Ceil
  result_type: WordSized
  operands:
    num: WordSized

# Take the ceiling of a single precision number and converts it to an int32.
# Implements Math.ceil().
- name: CeilF
  result_type: WordSized
  operands:
    string: WordSized

# Round a double precision number and converts it to an int32.
# Implements Math.round().
- name: Round
  result_type: WordSized
  operands:
    num: WordSized
  num_temps: 1
  mir_op: true

# Round a single precision number and converts it to an int32.
# Implements Math.round().
- name: RoundF
  result_type: WordSized
  operands:
    num: WordSized
  num_temps: 1
  mir_op: Round

# Truncates a double precision number and converts it to an int32.
# Implements Math.trunc().
- name: Trunc
  result_type: WordSized
  operands:
    num: WordSized

# Truncates a single precision number and converts it to an int32.
# Implements Math.trunc().
- name: TruncF
  result_type: WordSized
  operands:
    num: WordSized

# Rounds a double precision number accordingly to mir()->roundingMode(),
# and keeps a double output.
- name: NearbyInt
  result_type: WordSized
  operands:
    num: WordSized
  mir_op: true

# Rounds a single precision number accordingly to mir()->roundingMode(),
# and keeps a single output.
- name: NearbyIntF
  result_type: WordSized
  operands:
    num: WordSized
  mir_op: NearbyInt

# Load a function's call environment.
- name: FunctionEnvironment
  result_type: WordSized
  operands:
    function: WordSized

- name: HomeObject
  result_type: WordSized
  operands:
    function: WordSized

- name: HomeObjectSuperBase
  result_type: BoxedValue
  operands:
    homeObject: WordSized

- name: NewLexicalEnvironmentObject
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: NewClassBodyEnvironmentObject
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: NewVarEnvironmentObject
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: MegamorphicSetElement
  operands:
    object: WordSized
    index: BoxedValue
    value: BoxedValue
  # On x86 we do not have enough registers to use 3 temps for this *and* take
  # five words worth of operands. Since it's 32-bit, though, we get two
  # registers from pushing `value`, which doesn't get used until the end
  # anyway. This is somewhat klunky, but oh well.
#ifdef JS_CODEGEN_X86
  num_temps: 1
#else
  num_temps: 3
#endif
  call_instruction: true
  mir_op: true

- name: CallDeleteProperty
  result_type: WordSized
  operands:
    value: BoxedValue
  call_instruction: true
  mir_op: DeleteProperty

- name: CallDeleteElement
  result_type: WordSized
  operands:
    value: BoxedValue
    index: BoxedValue
  call_instruction: true
  mir_op: DeleteElement

- name: ObjectToIterator
  result_type: WordSized
  operands:
    object: WordSized
  num_temps: 3
  mir_op: true

- name: ValueToIterator
  result_type: WordSized
  operands:
    value: BoxedValue
  call_instruction: true
  mir_op: ValueToIterator

- name: IteratorHasIndicesAndBranch
  gen_boilerplate: false

- name: LoadSlotByIteratorIndex
  result_type: BoxedValue
  operands:
    object: WordSized
    iterator: WordSized

  num_temps: 2

- name: StoreSlotByIteratorIndex
  operands:
    object: WordSized
    iterator: WordSized
    value: BoxedValue
  num_temps: 2
  mir_op: true

# Patchable jump to stubs generated for a SetProperty cache.
- name: SetPropertyCache
  operands:
    object: WordSized
    id: BoxedValue
    value: BoxedValue
  # Takes an additional temp: this is intendend to be FloatReg0 to allow the
  # actual cache code to safely clobber that value without save and restore.
  num_temps: 2
  mir_op: true

- name: GetIteratorCache
  result_type: WordSized
  operands:
    value: BoxedValue
  num_temps: 2
  mir_op: true

- name: OptimizeSpreadCallCache
  result_type: BoxedValue
  operands:
    value: BoxedValue
  num_temps: 1
  mir_op: true

- name: IteratorMore
  result_type: BoxedValue
  operands:
    iterator: WordSized
  num_temps: 1
  mir_op: true

- name: IsNoIterAndBranch
  gen_boilerplate: false

- name: IteratorEnd
  operands:
    object: WordSized
  num_temps: 3
  mir_op: true

- name: CloseIterCache
  operands:
    iter: WordSized
  num_temps: 1
  mir_op: true

- name: OptimizeGetIteratorCache
  result_type: WordSized
  operands:
    value: BoxedValue
  num_temps: 1
  mir_op: true

# Read the number of actual arguments.
- name: ArgumentsLength
  result_type: WordSized

# Load a value from the actual arguments.
- name: GetFrameArgument
  result_type: BoxedValue
  operands:
    index: WordSized

# Load a value from the actual arguments.
# Returns undefined if |index| is larger-or-equals to |length|. Bails out if
# |index| is negative.
- name: GetFrameArgumentHole
  result_type: BoxedValue
  operands:
    index: WordSized
    length: WordSized
  num_temps: 1

# Create the rest parameter.
- name: Rest
  result_type: WordSized
  operands:
    numActuals: WordSized
  num_temps: 4
  call_instruction: true
  mir_op: true

- name: Int32ToIntPtr
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: true

- name: NonNegativeIntPtrToInt32
  result_type: WordSized
  operands:
    input: WordSized

- name: IntPtrToDouble
  result_type: WordSized
  operands:
    input: WordSized

- name: AdjustDataViewLength
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: true

# Convert a Boolean to an Int64, following ToBigInt.
- name: BooleanToInt64
  result_type: Int64
  operands:
    input: WordSized
  mir_op: ToInt64

# Convert a String to an Int64, following ToBigInt.
- name: StringToInt64
  result_type: Int64
  operands:
    input: WordSized
  mir_op: ToInt64

# Simulate ToBigInt on a Value and produce a matching Int64.
- name: ValueToInt64
  result_type: Int64
  operands:
    input: BoxedValue
  num_temps: 1
  mir_op: ToInt64

# Truncate a BigInt to an unboxed int64.
- name: TruncateBigIntToInt64
  result_type: Int64
  operands:
    input: WordSized
  mir_op: true

# Create a new BigInt* from an unboxed int64.
- name: Int64ToBigInt
  result_type: WordSized
  operands:
    input: Int64
  num_temps: 1
  mir_op: true

# Generational write barrier used when writing an object to another object.
- name: PostWriteBarrierO
  operands:
    object: WordSized
    value: WordSized
  num_temps: 1
  mir_op: PostWriteBarrier

# Generational write barrier used when writing a string to an object.
- name: PostWriteBarrierS
  operands:
    object: WordSized
    value: WordSized
  num_temps: 1
  mir_op: PostWriteBarrier

# Generational write barrier used when writing a BigInt to an object.
- name: PostWriteBarrierBI
  operands:
    object: WordSized
    value: WordSized
  num_temps: 1
  mir_op: PostWriteBarrier

# Generational write barrier used when writing a value to another object.
- name: PostWriteBarrierV
  operands:
    object: WordSized
    value: BoxedValue
  num_temps: 1
  mir_op: PostWriteBarrier

# Generational write barrier used when writing an object to another object's
# elements.
- name: PostWriteElementBarrierO
  operands:
    object: WordSized
    value: WordSized
    index: WordSized
  num_temps: 1
  mir_op: PostWriteElementBarrier

# Generational write barrier used when writing a string to an object's
# elements.
- name: PostWriteElementBarrierS
  operands:
    object: WordSized
    value: WordSized
    index: WordSized
  num_temps: 1
  mir_op: PostWriteElementBarrier

# Generational write barrier used when writing a BigInt to an object's
# elements.
- name: PostWriteElementBarrierBI
  operands:
    object: WordSized
    value: WordSized
    index: WordSized
  num_temps: 1
  mir_op: PostWriteElementBarrier

# Generational write barrier used when writing a value to another object's
# elements.
- name: PostWriteElementBarrierV
  operands:
    object: WordSized
    index: WordSized
    value: BoxedValue
  num_temps: 1
  mir_op: PostWriteElementBarrier

# Assert in debug mode that a post write barrier can be elided.
- name: AssertCanElidePostWriteBarrier
  operands:
    object: WordSized
    value: BoxedValue
  num_temps: 1

# Guard against an object's identity.
- name: GuardObjectIdentity
  operands:
    input: WordSized
    expected: WordSized
  mir_op: true

# Guard against an function's identity.
- name: GuardSpecificFunction
  operands:
    input: WordSized
    expected: WordSized

- name: GuardSpecificAtom
  operands:
    str: WordSized
  num_temps: 1
  mir_op: true

- name: GuardSpecificSymbol
  operands:
    symbol: WordSized
  mir_op: true

- name: GuardSpecificInt32
  operands:
    num: WordSized
  mir_op: true

- name: GuardStringToIndex
  result_type: WordSized
  operands:
    string: WordSized

- name: GuardStringToInt32
  result_type: WordSized
  operands:
    string: WordSized
  num_temps: 1

- name: GuardStringToDouble
  result_type: WordSized
  operands:
    string: WordSized
  num_temps: 2

- name: GuardShape
  result_type: WordSized
  operands:
    in: WordSized
  num_temps: 1
  mir_op: true

- name: GuardMultipleShapes
  result_type: WordSized
  operands:
    object: WordSized
    shapeList: WordSized
  num_temps: 4
  mir_op: true

- name: GuardProto
  operands:
    object: WordSized
    expected: WordSized
  num_temps: 1

- name: GuardNullProto
  operands:
    object: WordSized
  num_temps: 1

- name: GuardIsNativeObject
  operands:
    object: WordSized
  num_temps: 1

- name: GuardGlobalGeneration
  mir_op: true
  num_temps: 1

- name: GuardFuse
  mir_op: true
  num_temps: 1

- name: GuardIsProxy
  operands:
    object: WordSized
  num_temps: 1

- name: GuardIsNotProxy
  operands:
    object: WordSized
  num_temps: 1

- name: GuardIsNotDOMProxy
  operands:
    proxy: WordSized
  num_temps: 1

- name: ProxyGet
  result_type: BoxedValue
  operands:
    proxy: WordSized
  num_temps: 1
  call_instruction: true
  mir_op: true

- name: ProxyGetByValue
  result_type: BoxedValue
  operands:
    proxy: WordSized
    id: BoxedValue
  call_instruction: true

- name: ProxyHasProp
  result_type: BoxedValue
  operands:
    proxy: WordSized
    id: BoxedValue
  call_instruction: true
  mir_op: true

- name: ProxySet
  operands:
    proxy: WordSized
    rhs: BoxedValue
  num_temps: 1
  call_instruction: true
  mir_op: true

- name: ProxySetByValue
  operands:
    proxy: WordSized
    id: BoxedValue
    rhs: BoxedValue
  call_instruction: true
  mir_op: true

- name: CallSetArrayLength
  operands:
    obj: WordSized
    rhs: BoxedValue
  call_instruction: true
  mir_op: true

- name: MegamorphicLoadSlot
  result_type: BoxedValue
  operands:
    object: WordSized
  num_temps: 4
  call_instruction: true
  mir_op: true

- name: MegamorphicLoadSlotByValue
  result_type: BoxedValue
  operands:
    object: WordSized
    id: BoxedValue
  num_temps: 3
  call_instruction: true
  mir_op: true

- name: MegamorphicStoreSlot
  operands:
    object: WordSized
    rhs: BoxedValue
#ifdef JS_CODEGEN_X86
  num_temps: 1
#else
  num_temps: 3
#endif
  call_instruction: true
  mir_op: true

- name: MegamorphicHasProp
  result_type: WordSized
  operands:
    object: WordSized
    id: BoxedValue
  num_temps: 3
  call_instruction: true
  mir_op: true

- name: SmallObjectVariableKeyHasProp
  result_type: WordSized
  operands:
    id: WordSized
  num_temps: 0
  mir_op: true

- name: GuardIsNotArrayBufferMaybeShared
  operands:
    object: WordSized
  num_temps: 1

- name: GuardIsTypedArray
  operands:
    object: WordSized
  num_temps: 1

- name: GuardIsFixedLengthTypedArray
  operands:
    object: WordSized
  num_temps: 1

- name: GuardIsResizableTypedArray
  operands:
    object: WordSized
  num_temps: 1

- name: GuardHasProxyHandler
  operands:
    object: WordSized
  mir_op: true

- name: GuardNoDenseElements
  operands:
    in: WordSized
  num_temps: 1

- name: InCache
  result_type: WordSized
  operands:
    lhs: BoxedValue
    rhs: WordSized
  num_temps: 1
  mir_op: true

- name: HasOwnCache
  result_type: WordSized
  operands:
    value: BoxedValue
    id: BoxedValue
  mir_op: true

- name: CheckPrivateFieldCache
  result_type: WordSized
  operands:
    value: BoxedValue
    id: BoxedValue
  mir_op: true

- name: NewPrivateName
  result_type: WordSized
  call_instruction: true
  mir_op: true

- name: InstanceOfO
  result_type: WordSized
  operands:
    lhs: WordSized
    rhs: WordSized
  mir_op: InstanceOf

- name: InstanceOfV
  result_type: WordSized
  operands:
    lhs: BoxedValue
    rhs: WordSized
  mir_op: InstanceOf

- name: InstanceOfCache
  gen_boilerplate: false

- name: IsCallableO
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: IsCallable

- name: IsCallableV
  result_type: WordSized
  operands:
    object: BoxedValue
  num_temps: 1
  mir_op: IsCallable

- name: IsConstructor
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

- name: IsCrossRealmArrayConstructor
  result_type: WordSized
  operands:
    object: WordSized

- name: IsArrayO
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: IsArray

- name: IsArrayV
  result_type: WordSized
  operands:
    value: BoxedValue
  num_temps: 1
  mir_op: IsArray

- name: IsTypedArray
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

- name: IsObject
  result_type: WordSized
  operands:
    object: BoxedValue
  mir_op: true

- name: IsObjectAndBranch
  gen_boilerplate: false

- name: IsNullOrUndefined
  result_type: WordSized
  operands:
    input: BoxedValue
  mir_op: true

- name: IsNullOrUndefinedAndBranch
  gen_boilerplate: false

- name: HasClass
  result_type: WordSized
  operands:
    lhs: WordSized
  mir_op: true

- name: GuardToClass
  result_type: WordSized
  operands:
    lhs: WordSized
  num_temps: 1
  mir_op: true

- name: GuardToEitherClass
  result_type: WordSized
  operands:
    lhs: WordSized
  num_temps: 1
  mir_op: true

- name: GuardToFunction
  result_type: WordSized
  operands:
    lhs: WordSized
  num_temps: 1
  mir_op: true

- name: ObjectClassToString
  result_type: WordSized
  operands:
    lhs: WordSized
  num_temps: 1
  call_instruction: true
  mir_op: true

- name: WasmSelect
  gen_boilerplate: false

- name: WasmSelectI64
  gen_boilerplate: false

- name: WasmCompareAndSelect
  gen_boilerplate: false

- name: WasmAddOffset
  result_type: WordSized
  operands:
    base: WordSized
  mir_op: true

- name: WasmAddOffset64
  result_type: Int64
  operands:
    base: Int64
  mir_op: WasmAddOffset

- name: WasmBoundsCheck
  result_type: WordSized
  operands:
    ptr: WordSized
    boundsCheckLimit: WordSized
  mir_op: true

- name: WasmBoundsCheck64
  gen_boilerplate: false

- name: WasmBoundsCheckRange32
  result_type: WordSized
  operands:
    index: WordSized
    length: WordSized
    limit: WordSized
  mir_op: true
  num_temps: 1

- name: WasmExtendU32Index
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: true

- name: WasmWrapU32Index
  result_type: WordSized
  operands:
    input: WordSized
  mir_op: true

- name: WasmAlignmentCheck
  operands:
    ptr: WordSized
  mir_op: true

- name: WasmAlignmentCheck64
  operands:
    ptr: Int64
  mir_op: WasmAlignmentCheck

- name: WasmLoadInstance
  result_type: WordSized
  operands:
    instance: WordSized
  mir_op: true

- name: WasmLoadInstance64
  result_type: Int64
  operands:
    instance: WordSized
  mir_op: WasmLoadInstance

- name: WasmHeapReg
  result_type: WordSized
  mir_op: true

- name: WasmLoad
  gen_boilerplate: false

- name: WasmLoadI64
  gen_boilerplate: false

- name: WasmStore
  gen_boilerplate: false

- name: WasmStoreI64
  gen_boilerplate: false

- name: AsmJSLoadHeap
  result_type: WordSized
  operands:
    ptr: WordSized
    boundsCheckLimit: WordSized
    memoryBase: WordSized
  mir_op: true

- name: AsmJSStoreHeap
  result_type: WordSized
  operands:
    ptr: WordSized
    value: WordSized
    boundsCheckLimit: WordSized
    memoryBase: WordSized
  mir_op: true

- name: WasmCompareExchangeHeap
  gen_boilerplate: false

- name: WasmFence

- name: WasmAtomicExchangeHeap
  gen_boilerplate: false

- name: WasmAtomicBinopHeap
  gen_boilerplate: false

- name: WasmAtomicBinopHeapForEffect
  gen_boilerplate: false

- name: WasmLoadSlot
  result_type: WordSized
  operands:
    containerRef: WordSized
  arguments:
    offset: size_t
    type: MIRType
    wideningOp: MWideningOp
    maybeTrap: MaybeTrapSiteInfo

- name: WasmLoadElement
  result_type: WordSized
  operands:
    base: WordSized
    index: WordSized
  arguments:
    type: MIRType
    wideningOp: MWideningOp
    scale: Scale
    maybeTrap: MaybeTrapSiteInfo
  num_temps: 1

- name: WasmLoadSlotI64
  result_type: Int64
  operands:
    containerRef: WordSized
  arguments:
    offset: size_t
    maybeTrap: MaybeTrapSiteInfo

- name: WasmLoadElementI64
  result_type: Int64
  operands:
    base: WordSized
    index: WordSized
  arguments:
    maybeTrap: MaybeTrapSiteInfo

- name: WasmStoreSlot
  operands:
    value: WordSized
    containerRef: WordSized
  arguments:
    offset: size_t
    type: MIRType
    narrowingOp: MNarrowingOp
    maybeTrap: MaybeTrapSiteInfo

- name: WasmStoreSlotI64
  operands:
    value: Int64
    containerRef: WordSized
  arguments:
    offset: size_t
    maybeTrap: MaybeTrapSiteInfo

- name: WasmStoreElement
  operands:
    base: WordSized
    index: WordSized
    value: WordSized
  arguments:
    type: MIRType
    narrowingOp: MNarrowingOp
    scale: Scale
    maybeTrap: MaybeTrapSiteInfo
  num_temps: 1

- name: WasmStoreElementI64
  operands:
    base: WordSized
    index: WordSized
    value: Int64
  arguments:
    maybeTrap: MaybeTrapSiteInfo

- name: WasmStoreElementRef
  operands:
    instance: WordSized
    base: WordSized
    index: WordSized
    value: WordSized
  arguments:
    maybeTrap: MaybeTrapSiteInfo
    preBarrierKind: WasmPreBarrierKind
  num_temps: 2

- name: WasmLoadTableElement
  result_type: WordSized
  operands:
    elements: WordSized
    index: WordSized

- name: WasmDerivedPointer
  gen_boilerplate: false

- name: WasmDerivedIndexPointer
  gen_boilerplate: false

- name: WasmStoreRef
  operands:
    instance: WordSized
    valueBase: WordSized
    value: WordSized
  arguments:
    offset: uint32_t
    maybeTrap: MaybeTrapSiteInfo
    preBarrierKind: WasmPreBarrierKind
  num_temps: 1
  mir_op: true

# Generational write barrier used when writing an object to another object.
- name: WasmPostWriteBarrierImmediate
  operands:
    instance: WordSized
    object: WordSized
    valueBase: WordSized
    value: WordSized
  arguments:
    valueOffset: uint32_t
  num_temps: 1
  mir_op: true

# Ditto, but with a scaled index instead of a constant offset.
- name: WasmPostWriteBarrierIndex
  operands:
    instance: WordSized
    object: WordSized
    valueBase: WordSized
    index: WordSized
    value: WordSized
  arguments:
    elemSize: uint32_t
  num_temps: 1
  mir_op: true

- name: WasmParameter
  result_type: WordSized

- name: WasmParameterI64
  gen_boilerplate: false

- name: WasmReturn
  operands:
    rval: WordSized
    instance: WordSized

- name: WasmReturnI64
  operands:
    rval: Int64
    instance: WordSized

- name: WasmReturnVoid
  operands:
    rval: WordSized

- name: WasmStackArg
  operands:
    arg: WordSized
  mir_op: true

- name: WasmStackArgI64
  operands:
    arg: Int64
  mir_op: WasmStackArg

- name: WasmNullConstant
  result_type: WordSized

- name: WasmCallIndirectAdjunctSafepoint
  gen_boilerplate: false

- name: WasmCall
  gen_boilerplate: false

- name: WasmCallLandingPrePad
  mir_op: true

- name: WasmRegisterResult
  gen_boilerplate: false

- name: WasmRegisterPairResult
  gen_boilerplate: false

- name: WasmStackResultArea
  result_type: WordSized
  num_temps: 1
  mir_op: true

- name: WasmStackResult
  gen_boilerplate: false

- name: WasmStackResult64
  gen_boilerplate: false

- name: AssertRangeI
  gen_boilerplate: false

- name: AssertRangeD
  gen_boilerplate: false

- name: AssertRangeF
  gen_boilerplate: false

- name: AssertRangeV
  gen_boilerplate: false

- name: AssertClass
  operands:
    input: WordSized
  num_temps: 1
  mir_op: true

- name: AssertShape
  operands:
    input: WordSized
  mir_op: true

- name: GuardValue
  operands:
    input: BoxedValue
  mir_op: true

- name: GuardNullOrUndefined
  operands:
    input: BoxedValue
  mir_op: true

- name: GuardIsNotObject
  operands:
    input: BoxedValue
  mir_op: true

- name: GuardFunctionFlags
  operands:
    function: WordSized
  mir_op: true

- name: GuardFunctionIsNonBuiltinCtor
  operands:
    function: WordSized
  num_temps: 1

- name: GuardFunctionKind
  operands:
    function: WordSized
  num_temps: 1
  mir_op: true

- name: GuardFunctionScript
  operands:
    function: WordSized
  mir_op: true

- name: IncrementWarmUpCounter
  num_temps: 1
  mir_op: true

- name: LexicalCheck
  operands:
    input: BoxedValue
  mir_op: true

- name: ThrowRuntimeLexicalError
  call_instruction: true
  mir_op: true

- name: ThrowMsg
  call_instruction: true
  mir_op: true

- name: GlobalDeclInstantiation
  mir_op: true

- name: MemoryBarrier
  gen_boilerplate: false

- name: Debugger
  num_temps: 1
  call_instruction: true

- name: NewTarget
  result_type: BoxedValue

- name: Random
  gen_boilerplate: false

- name: CheckReturn
  result_type: BoxedValue
  operands:
    returnValue: BoxedValue
    thisValue: BoxedValue

- name: CheckIsObj
  result_type: WordSized
  operands:
    value: BoxedValue
  mir_op: true

- name: CheckObjCoercible
  operands:
    value: BoxedValue

- name: CheckClassHeritage
  operands:
    heritage: BoxedValue
  num_temps: 2

- name: CheckThis
  operands:
    value: BoxedValue

- name: CheckThisReinit
  operands:
    thisValue: BoxedValue

- name: Generator
  result_type: WordSized
  operands:
    callee: WordSized
    environmentChain: WordSized
    argsObject: WordSized
  call_instruction: true
  mir_op: true

- name: AsyncResolve
  result_type: WordSized
  operands:
    generator: WordSized
    value: BoxedValue
  call_instruction: true
  mir_op: true

- name: AsyncReject
  result_type: WordSized
  operands:
    generator: WordSized
    reason: BoxedValue
    stack: BoxedValue
  call_instruction: true
  mir_op: true

- name: AsyncAwait
  result_type: WordSized
  operands:
    value: BoxedValue
    generator: WordSized
  call_instruction: true
  mir_op: true

- name: CanSkipAwait
  result_type: WordSized
  operands:
    value: BoxedValue
  call_instruction: true
  mir_op: true

- name: MaybeExtractAwaitValue
  result_type: BoxedValue
  operands:
    value: BoxedValue
    canSkip: WordSized
  call_instruction: true
  mir_op: true

- name: DebugCheckSelfHosted
  operands:
    value: BoxedValue
  call_instruction: true

- name: IsPackedArray
  result_type: WordSized
  operands:
    object: WordSized
  num_temps: 1

- name: GuardArrayIsPacked
  operands:
    array: WordSized
  num_temps: 2
  mir_op: true

- name: GetPrototypeOf
  result_type: BoxedValue
  operands:
    target: WordSized

- name: ObjectWithProto
  result_type: WordSized
  operands:
    prototype: BoxedValue
  call_instruction: true

- name: ObjectStaticProto
  result_type: WordSized
  operands:
    object: WordSized

- name: BuiltinObject
  result_type: WordSized
  call_instruction: true
  mir_op: true

- name: SuperFunction
  result_type: BoxedValue
  operands:
    callee: WordSized
  num_temps: 1

- name: InitHomeObject
  result_type: WordSized
  operands:
    function: WordSized
    homeObject: BoxedValue

- name: IsTypedArrayConstructor
  result_type: WordSized
  operands:
    object: WordSized

- name: LoadValueTag
  result_type: WordSized
  operands:
    value: BoxedValue

- name: GuardTagNotEqual
  operands:
    lhs: WordSized
    rhs: WordSized

- name: LoadWrapperTarget
  result_type: WordSized
  operands:
    object: WordSized
  mir_op: true

- name: GuardHasGetterSetter
  operands:
    object: WordSized
  num_temps: 3
  call_instruction: true
  mir_op: true

- name: GuardIsExtensible
  operands:
    object: WordSized
  num_temps: 1

- name: GuardInt32IsNonNegative
  operands:
    index: WordSized

- name: GuardInt32Range
  operands:
    input: WordSized
  mir_op: true

- name: GuardIndexIsNotDenseElement
  operands:
    object: WordSized
    index: WordSized
  num_temps: 2

- name: GuardIndexIsValidUpdateOrAdd
  operands:
    object: WordSized
    index: WordSized
  num_temps: 2

- name: CallAddOrUpdateSparseElement
  operands:
    object: WordSized
    index: WordSized
    value: BoxedValue
  call_instruction: true
  mir_op: true

- name: CallGetSparseElement
  result_type: BoxedValue
  operands:
    object: WordSized
    index: WordSized
  call_instruction: true

- name: CallNativeGetElement
  result_type: BoxedValue
  operands:
    object: WordSized
    index: WordSized
  call_instruction: true

- name: CallNativeGetElementSuper
  result_type: BoxedValue
  operands:
    object: WordSized
    index: WordSized
    receiver: BoxedValue
  call_instruction: true

- name: CallObjectHasSparseElement
  result_type: WordSized
  operands:
    object: WordSized
    index: WordSized
  num_temps: 2
  call_instruction: true

- name: BigIntAsIntN
  result_type: WordSized
  operands:
    bits: WordSized
    input: WordSized
  call_instruction: true

- name: BigIntAsIntN64
  gen_boilerplate: false

- name: BigIntAsIntN32
  gen_boilerplate: false

- name: GuardNonGCThing
  operands:
    input: BoxedValue

- name: ToHashableNonGCThing
  result_type: BoxedValue
  operands:
    input: BoxedValue
  num_temps: 1

- name: ToHashableString
  result_type: WordSized
  operands:
    input: WordSized

- name: ToHashableValue
  result_type: BoxedValue
  operands:
    input: BoxedValue
  num_temps: 1

- name: HashNonGCThing
  result_type: WordSized
  operands:
    input: BoxedValue
  num_temps: 1

- name: HashString
  result_type: WordSized
  operands:
    input: WordSized
  num_temps: 1

- name: HashSymbol
  result_type: WordSized
  operands:
    input: WordSized

- name: HashBigInt
  result_type: WordSized
  operands:
    input: WordSized
  num_temps: 3

- name: HashObject
  result_type: WordSized
  operands:
    setObject: WordSized
    input: BoxedValue
  num_temps: 4

- name: HashValue
  result_type: WordSized
  operands:
    setObject: WordSized
    input: BoxedValue
  num_temps: 4

- name: SetObjectHasNonBigInt
  result_type: WordSized
  operands:
    setObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 2

- name: SetObjectHasBigInt
  result_type: WordSized
  operands:
    setObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 4

- name: SetObjectHasValue
  result_type: WordSized
  operands:
    setObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 4

- name: SetObjectHasValueVMCall
  result_type: WordSized
  call_instruction: true
  operands:
    setObject: WordSized
    input: BoxedValue

- name: SetObjectSize
  result_type: WordSized
  operands:
    setObject: WordSized

- name: MapObjectHasNonBigInt
  result_type: WordSized
  operands:
    mapObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 2

- name: MapObjectHasBigInt
  result_type: WordSized
  operands:
    mapObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 4

- name: MapObjectHasValue
  result_type: WordSized
  operands:
    mapObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 4

- name: MapObjectHasValueVMCall
  result_type: WordSized
  call_instruction: true
  operands:
    mapObject: WordSized
    input: BoxedValue

- name: MapObjectGetNonBigInt
  result_type: BoxedValue
  operands:
    mapObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 2

- name: MapObjectGetBigInt
  result_type: BoxedValue
  operands:
    mapObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 4

- name: MapObjectGetValue
  result_type: BoxedValue
  operands:
    mapObject: WordSized
    input: BoxedValue
    hash: WordSized
  num_temps: 4

- name: MapObjectGetValueVMCall
  result_type: BoxedValue
  call_instruction: true
  operands:
    mapObject: WordSized
    input: BoxedValue

- name: MapObjectSize
  result_type: WordSized
  operands:
    mapObject: WordSized

- name: BigIntAsUintN
  result_type: WordSized
  operands:
    bits: WordSized
    input: WordSized
  call_instruction: true

- name: BigIntAsUintN64
  gen_boilerplate: false

- name: BigIntAsUintN32
  gen_boilerplate: false

- name: IonToWasmCall
  gen_boilerplate: false

- name: IonToWasmCallV
  gen_boilerplate: false

- name: IonToWasmCallI64
  gen_boilerplate: false

- name: WasmAnyRefFromJSValue
  result_type: WordSized
  operands:
    input: BoxedValue
  num_temps: 1

- name: WasmAnyRefFromJSObject
  result_type: WordSized
  operands:
    input: WordSized

- name: WasmAnyRefFromJSString
  result_type: WordSized
  operands:
    input: WordSized

- name: WasmNewI31Ref
  mir_op: true
  result_type: WordSized
  operands:
    value: WordSized

- name: WasmI31RefGet
  mir_op: true
  result_type: WordSized
  operands:
    value: WordSized

# Constant Simd128
- name: Simd128
  result_type: WordSized
  arguments:
    simd128: SimdConstant

- name: WasmTernarySimd128
  gen_boilerplate: false

- name: WasmBinarySimd128
  gen_boilerplate: false

- name: WasmBinarySimd128WithConstant
  gen_boilerplate: false

- name: WasmVariableShiftSimd128
  gen_boilerplate: false

- name: WasmConstantShiftSimd128
  gen_boilerplate: false

- name: WasmSignReplicationSimd128
  gen_boilerplate: false

- name: WasmShuffleSimd128
  gen_boilerplate: false

- name: WasmPermuteSimd128
  gen_boilerplate: false

- name: WasmReplaceLaneSimd128
  gen_boilerplate: false

- name: WasmReplaceInt64LaneSimd128
  gen_boilerplate: false

- name: WasmScalarToSimd128
  gen_boilerplate: false

- name: WasmInt64ToSimd128
  gen_boilerplate: false

- name: WasmUnarySimd128
  gen_boilerplate: false

- name: WasmReduceSimd128
  gen_boilerplate: false

- name: WasmReduceAndBranchSimd128
  gen_boilerplate: false

- name: WasmReduceSimd128ToInt64
  gen_boilerplate: false

- name: WasmLoadLaneSimd128
  gen_boilerplate: false

- name: WasmStoreLaneSimd128
  gen_boilerplate: false

- name: Unbox
  gen_boilerplate: false

- name: UnboxFloatingPoint
  gen_boilerplate: false

- name: WasmUint32ToDouble
  gen_boilerplate: false

- name: WasmUint32ToFloat32
  gen_boilerplate: false

- name: DivI
  gen_boilerplate: false

- name: ModI
  gen_boilerplate: false

- name: DivPowTwoI
  gen_boilerplate: false

- name: ModPowTwoI
  gen_boilerplate: false

- name: TableSwitch
  gen_boilerplate: false

- name: TableSwitchV
  gen_boilerplate: false

- name: MulI
  gen_boilerplate: false

#ifdef JS_CODEGEN_X86
- name: BoxFloatingPoint
  gen_boilerplate: false

- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: DivOrModConstantI
  gen_boilerplate: false

- name: UDivOrMod
  gen_boilerplate: false

- name: UDivOrModConstant
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: Int64ToFloatingPoint
  gen_boilerplate: false

- name: WasmAtomicLoadI64
  gen_boilerplate: false

- name: WasmAtomicStoreI64
  gen_boilerplate: false

- name: WasmCompareExchangeI64
  gen_boilerplate: false

- name: WasmAtomicBinopI64
  gen_boilerplate: false

- name: WasmAtomicExchangeI64
  gen_boilerplate: false
#endif

#ifdef JS_CODEGEN_X64
- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: DivOrModConstantI
  gen_boilerplate: false

- name: UDivOrMod
  gen_boilerplate: false

- name: UDivOrModConstant
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: Int64ToFloatingPoint
  gen_boilerplate: false
#endif

#ifdef JS_CODEGEN_ARM
- name: BoxFloatingPoint
  gen_boilerplate: false

- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: SoftDivI
  gen_boilerplate: false

- name: SoftModI
  gen_boilerplate: false

- name: ModMaskI
  gen_boilerplate: false

- name: UDiv
  gen_boilerplate: false

- name: UMod
  gen_boilerplate: false

- name: SoftUDivOrMod
  gen_boilerplate: false

- name: Int64ToFloatingPointCall
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: WasmAtomicLoadI64
  gen_boilerplate: false

- name: WasmAtomicStoreI64
  gen_boilerplate: false

- name: WasmCompareExchangeI64
  gen_boilerplate: false

- name: WasmAtomicBinopI64
  gen_boilerplate: false

- name: WasmAtomicExchangeI64
  gen_boilerplate: false
#endif

#ifdef JS_CODEGEN_ARM64
- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: DivConstantI
  gen_boilerplate: false

- name: UDivConstantI
  gen_boilerplate: false

- name: ModMaskI
  gen_boilerplate: false

- name: UDiv
  gen_boilerplate: false

- name: UMod
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: Int64ToFloatingPoint
  gen_boilerplate: false
#endif

#ifdef JS_CODEGEN_MIPS32
- name: BoxFloatingPoint
  gen_boilerplate: false

- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: UDivOrMod
  gen_boilerplate: false

- name: ModMaskI
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: Int64ToFloatingPoint
  gen_boilerplate: false

- name: WasmUnalignedLoad
  gen_boilerplate: false

- name: WasmUnalignedLoadI64
  gen_boilerplate: false

- name: WasmUnalignedStore
  gen_boilerplate: false

- name: WasmUnalignedStoreI64
  gen_boilerplate: false

- name: WasmAtomicLoadI64
  gen_boilerplate: false

- name: WasmAtomicStoreI64
  gen_boilerplate: false

- name: WasmCompareExchangeI64
  gen_boilerplate: false

- name: WasmAtomicBinopI64
  gen_boilerplate: false

- name: WasmAtomicExchangeI64
  gen_boilerplate: false
#endif

#ifdef JS_CODEGEN_MIPS64
- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrMod
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: ModMaskI
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: Int64ToFloatingPoint
  gen_boilerplate: false

- name: WasmUnalignedLoad
  gen_boilerplate: false

- name: WasmUnalignedLoadI64
  gen_boilerplate: false

- name: WasmUnalignedStore
  gen_boilerplate: false

- name: WasmUnalignedStoreI64
  gen_boilerplate: false

- name: WasmCompareExchangeI64
  gen_boilerplate: false

- name: WasmAtomicBinopI64
  gen_boilerplate: false

- name: WasmAtomicExchangeI64
  gen_boilerplate: false
#endif

#ifdef JS_CODEGEN_LOONG64
- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrMod
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: ModMaskI
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: Int64ToFloatingPoint
  gen_boilerplate: false

- name: WasmCompareExchangeI64
  gen_boilerplate: false

- name: WasmAtomicBinopI64
  gen_boilerplate: false

- name: WasmAtomicExchangeI64
  gen_boilerplate: false
#endif

#ifdef JS_CODEGEN_RISCV64
- name: DivOrModI64
  gen_boilerplate: false

- name: UDivOrMod
  gen_boilerplate: false

- name: UDivOrModI64
  gen_boilerplate: false

- name: ModMaskI
  gen_boilerplate: false

- name: WasmTruncateToInt64
  gen_boilerplate: false

- name: Int64ToFloatingPoint
  gen_boilerplate: false

- name: WasmCompareExchangeI64
  gen_boilerplate: false

- name: WasmAtomicBinopI64
  gen_boilerplate: false

- name: WasmAtomicExchangeI64
  gen_boilerplate: false
#endif

#ifdef FUZZING_JS_FUZZILLI
- name: FuzzilliHashT
  gen_boilerplate: false

- name: FuzzilliHashV
  gen_boilerplate: false

- name: FuzzilliHashStore
  gen_boilerplate: false
#endif