proj-plbook-plSingleIntermedLangs4

Boa VM

Boa is an experimental Javascript lexer, parser and compiler written in Rust.

https://boa-dev.github.io/boa/doc/boa_engine/vm/opcode/enum.Opcode.html

opcodes:

• Pop: Pop the top value from the stack.
• PopIfThrown?: Pop the top value from the stack if the last try block has thrown a value.
• Dup: Push a copy of the top value on the stack.
• Swap: Swap the top two values on the stack.
• PushZero?: Push integer 0 on the stack.
• PushOne?: Push integer 1 on the stack.
• PushInt?8: Push i8 value on the stack.
• PushInt?16: Push i16 value on the stack.
• PushInt?32: Push i32 value on the stack.
• PushRational?: Push f64 value on the stack.
• PushNaN?: Push NaN? integer on the stack.
• PushPositiveInfinity?: Push Infinity value on the stack.
• PushNegativeInfinity?: Push -Infinity value on the stack.
• PushNull?: Push null value on the stack.
• PushTrue?: Push true value on the stack.
• PushFalse?: Push false value on the stack.
• PushUndefined?: Push undefined value on the stack.
• PushLiteral?: Push literal value on the stack.
• PushEmptyObject?: Push empty object {} value on the stack.
• PushClassPrototype?: Get the prototype of a superclass and push it on the stack.
• SetClassPrototype?: Set the prototype of a class object.
• SetHomeObject?: Set home object internal slot of a function object.
• PushNewArray?: Push an empty array value on the stack.
• PushValueToArray?: Push a value to an array.
• PushElisionToArray?: Push an empty element/hole to an array.
• PushIteratorToArray?: Push all iterator values to an array.
• Add: Binary + operator.
• Sub: Binary - operator.
• Div: Binary / operator.
• Mul: Binary * operator.
• Mod: Binary % operator.
• Pow: Binary operator.
• ShiftRight?: Binary >> operator.
• ShiftLeft?: Binary 1> operator.
• BitOr?: Binary bitwise

• BitAnd?: Binary bitwise & operator.
• BitXor?: Binary bitwise ^ operator.
• BitNot?: Unary bitwise ~ operator.
• In: Binary in operator.
• Eq: Binary == operator.
• StrictEq?: Binary === operator.
• NotEq?: Binary != operator.
• StrictNotEq?: Binary !== operator.
• GreaterThan?: Binary > operator.
• GreaterThanOrEq?: Binary >= operator.
• LessThan?: Binary < operator.
• LessThanOrEq?: Binary <= operator.
• InstanceOf?: Binary instanceof operator.
• LogicalAnd?: Binary logical && operator.
• LogicalOr?: Binary logical

• Coalesce: Binary ?? operator.
• TypeOf?: Unary typeof operator.
• Void: Unary void operator.
• LogicalNot?: Unary logical ! operator.
• Pos: Unary + operator.
• Neg: Unary - operator.
• Inc: Unary ++ operator.
• IncPost?: Unary postfix ++ operator.
• Dec: Unary -- operator.
• DecPost?: Unary postfix -- operator.
• DefInitArg?: Declare and initialize a function argument.
• DefVar?: Declare var type variable.
• DefInitVar?: Declare and initialize var type variable.
• DefLet?: Declare let type variable.
• DefInitLet?: Declare and initialize let type variable.
• DefInitConst?: Declare and initialize const type variable.
• GetName?: Find a binding on the environment chain and push its value.
• GetNameOrUndefined?: Find a binding on the environment chain and push its value. If the binding does not exist push undefined.
• SetName?: Find a binding on the environment chain and assign its value.
• GetPropertyByName?: Get a property by name from an object an push it on the stack.
• GetPropertyByValue?: Get a property by value from an object an push it on the stack.
• GetPropertyByValuePush?: Get a property by value from an object an push the key and value on the stack.
• SetPropertyByName?: Sets a property by name of an object.
• DefineOwnPropertyByName?: Defines a own property of an object by name.
• DefineClassMethodByName?: Defines a class method by name.
• SetPropertyByValue?: Sets a property by value of an object.
• DefineOwnPropertyByValue?: Defines a own property of an object by value.
• DefineClassMethodByValue?: Defines a class method by value.
• SetPropertyGetterByName?: Sets a getter property by name of an object.
• DefineClassGetterByName?: Defines a getter class method by name.
• SetPropertyGetterByValue?: Sets a getter property by value of an object.
• DefineClassGetterByValue?: Defines a getter class method by value.
• SetPropertySetterByName?: Sets a setter property by name of an object.
• DefineClassSetterByName?: Defines a setter class method by name.
• SetPropertySetterByValue?: Sets a setter property by value of an object.
• DefineClassSetterByValue?: Defines a setter class method by value.
• AssignPrivateField?: Assign the value of a private property of an object by it’s name.
• SetPrivateField?: Set a private property of a class constructor by it’s name.
• SetPrivateMethod?: Set a private method of a class constructor by it’s name.
• SetPrivateSetter?: Set a private setter property of a class constructor by it’s name.
• SetPrivateGetter?: Set a private getter property of a class constructor by it’s name.
• GetPrivateField?: Get a private property by name from an object an push it on the stack.
• PushClassField?: Push a field to a class.
• PushClassFieldPrivate?: Push a private field to the class.
• PushClassPrivateGetter?: Push a private getter to the class.
• PushClassPrivateSetter?: Push a private setter to the class.
• PushClassPrivateMethod?: Push a private method to the class.
• DeletePropertyByName?: Deletes a property by name of an object.
• DeletePropertyByValue?: Deletes a property by value of an object.
• CopyDataProperties?: Copy all properties of one object to another object.
• ToPropertyKey?: Call ToPropertyKey? on the value on the stack.
• Jump: Unconditional jump to address.
• JumpIfFalse?: Conditional jump to address.
• JumpIfNotUndefined?: Conditional jump to address.
• Throw: Throw exception
• TryStart?: Start of a try block.
• TryEnd?: End of a try block.
• CatchStart?: Start of a catch block.
• CatchEnd?: End of a catch block.
• CatchEnd?2: End of a catch block.
• FinallyStart?: Start of a finally block.
• FinallyEnd?: End of a finally block.
• FinallySetJump?: Set the address for a finally jump.
• ToBoolean?: Pops value converts it to boolean and pushes it back.
• This: Pushes this value
• Super: Pushes the current super value to the stack.
• SuperCall?: Execute the super() method.
• SuperCallSpread?: Execute the super() method where the arguments contain spreads.
• SuperCallDerived?: Execute the super() method when no constructor of the class is defined.
• Case: Pop the two values of the stack, strict equal compares the two values, if true jumps to address, otherwise push the second pop’ed value.
• Default: Pops the top of stack and jump to address.
• GetFunction?: Get function from the pre-compiled inner functions.
• GetFunctionAsync?: Get async function from the pre-compiled inner functions.
• GetGenerator?: Get generator function from the pre-compiled inner functions.
• GetGeneratorAsync?: Get async generator function from the pre-compiled inner functions.
• CallEval?: Call a function named “eval”.
• CallEvalSpread?: Call a function named “eval” where the arguments contain spreads.
• Call: Call a function.
• CallSpread?: Call a function where the arguments contain spreads.
• New: Call construct on a function.
• NewSpread?: Call construct on a function where the arguments contain spreads.
• Return: Return from a function.
• PushDeclarativeEnvironment?: Push a declarative environment.
• PushFunctionEnvironment?: Push a function environment.
• PopEnvironment?: Pop the current environment.
• LoopStart?: Push loop start marker.
• LoopContinue?: Clean up environments when a loop continues.
• LoopEnd?: Clean up environments at the end of a loop.
• ForInLoopInitIterator?: Initialize the iterator for a for..in loop or jump to after the loop if object is null or undefined.
• InitIterator?: Initialize an iterator.
• InitIteratorAsync?: Initialize an async iterator.
• IteratorNext?: Advance the iterator by one and put the value on the stack.
• IteratorClose?: Close an iterator.
• IteratorToArray?: Consume the iterator and construct and array with all the values.
• ForInLoopNext?: Move to the next value in a for..in loop or jump to exit of the loop if done.
• ForAwaitOfLoopIterate?: Move to the next value in a for await..of loop.
• ForAwaitOfLoopNext?: Get the value from a for await..of loop next result.
• ConcatToString?: Concat multiple stack objects into a string.
• RequireObjectCoercible?: Call RequireObjectCoercible? on the stack value.
• ValueNotNullOrUndefined?: Require the stack value to be neither null nor undefined.
• RestParameterInit?: Initialize the rest parameter value of a function from the remaining arguments.
• RestParameterPop?: Pop the remaining arguments of a function.
• PopOnReturnAdd?: Add one to the pop on return count.
• PopOnReturnSub?: Subtract one from the pop on return count.
• Yield: Yield from the current execution.
• GeneratorNext?: Resumes the current generator function.
• AsyncGeneratorNext?: Resumes the current generator function.
• GeneratorNextDelegate?: Delegates the current generator function another generator.
• Await: Stops the current async function and schedules it to resume later.
• PushNewTarget?: Push the current new target to the stack.
• Nop: No-operation instruction, does nothing.

MIR-based CRuby JIT compiler

• https://developers.redhat.com/articles/2022/11/22/how-i-developed-faster-ruby-interpreter
• https://developers.redhat.com/articles/2023/10/09/mir-based-jit-prototype-ruby

See MIR and SIR. SIR is discussed in section "2. RTL code instructions" and "3. Hybrid stack/RTL instructions" and "4. Type-specialized instructions" of https://developers.redhat.com/articles/2022/11/22/how-i-developed-faster-ruby-interpreter .