8a3c9d9851
The parser doesn't always track lexical scopes correctly, so let's not rely on that for direct argument loading. This reverts the LoadArguments bytecode instruction as well. We can bring these things back when the parser can reliably tell us that a given Identifier is indeed a function argument.
107 lines
3.4 KiB
C++
107 lines
3.4 KiB
C++
/*
|
|
* Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <AK/Forward.h>
|
|
#include <LibJS/Forward.h>
|
|
|
|
#define ENUMERATE_BYTECODE_OPS(O) \
|
|
O(Load) \
|
|
O(LoadImmediate) \
|
|
O(Store) \
|
|
O(Add) \
|
|
O(Sub) \
|
|
O(Mul) \
|
|
O(Div) \
|
|
O(Mod) \
|
|
O(Exp) \
|
|
O(GreaterThan) \
|
|
O(GreaterThanEquals) \
|
|
O(LessThan) \
|
|
O(LessThanEquals) \
|
|
O(AbstractInequals) \
|
|
O(AbstractEquals) \
|
|
O(TypedInequals) \
|
|
O(TypedEquals) \
|
|
O(NewBigInt) \
|
|
O(NewArray) \
|
|
O(IteratorToArray) \
|
|
O(NewString) \
|
|
O(NewObject) \
|
|
O(NewRegExp) \
|
|
O(CopyObjectExcludingProperties) \
|
|
O(GetVariable) \
|
|
O(SetVariable) \
|
|
O(PutById) \
|
|
O(GetById) \
|
|
O(PutByValue) \
|
|
O(GetByValue) \
|
|
O(Jump) \
|
|
O(JumpConditional) \
|
|
O(JumpNullish) \
|
|
O(JumpUndefined) \
|
|
O(Call) \
|
|
O(NewFunction) \
|
|
O(Return) \
|
|
O(BitwiseAnd) \
|
|
O(BitwiseOr) \
|
|
O(BitwiseXor) \
|
|
O(BitwiseNot) \
|
|
O(Not) \
|
|
O(UnaryPlus) \
|
|
O(UnaryMinus) \
|
|
O(Typeof) \
|
|
O(LeftShift) \
|
|
O(RightShift) \
|
|
O(UnsignedRightShift) \
|
|
O(In) \
|
|
O(InstanceOf) \
|
|
O(ConcatString) \
|
|
O(Increment) \
|
|
O(Decrement) \
|
|
O(Throw) \
|
|
O(PushDeclarativeEnvironmentRecord) \
|
|
O(EnterUnwindContext) \
|
|
O(LeaveUnwindContext) \
|
|
O(ContinuePendingUnwind) \
|
|
O(Yield) \
|
|
O(GetIterator) \
|
|
O(IteratorNext) \
|
|
O(IteratorResultDone) \
|
|
O(IteratorResultValue)
|
|
|
|
namespace JS::Bytecode {
|
|
|
|
class Instruction {
|
|
public:
|
|
constexpr static bool IsTerminator = false;
|
|
|
|
enum class Type {
|
|
#define __BYTECODE_OP(op) \
|
|
op,
|
|
ENUMERATE_BYTECODE_OPS(__BYTECODE_OP)
|
|
#undef __BYTECODE_OP
|
|
};
|
|
|
|
bool is_terminator() const;
|
|
Type type() const { return m_type; }
|
|
size_t length() const;
|
|
String to_string(Bytecode::Executable const&) const;
|
|
void execute(Bytecode::Interpreter&) const;
|
|
void replace_references(BasicBlock const&, BasicBlock const&);
|
|
static void destroy(Instruction&);
|
|
|
|
protected:
|
|
explicit Instruction(Type type)
|
|
: m_type(type)
|
|
{
|
|
}
|
|
|
|
private:
|
|
Type m_type {};
|
|
};
|
|
}
|