1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-27 06:37:44 +00:00

LibJS: Make DeclarativeEnvironment store bindings in a Vector

The previous storage for DeclarativeEnvironment looked like this:

    HashMap<FlyString, Binding> m_bindings;

This patch changes that to:

    HashMap<FlyString, size_t> m_names;
    Vector<Binding> m_bindings;

The main goal here is to give each binding an index that can ultimately
be cached and used for optimized environment accesses.
This commit is contained in:
Andreas Kling 2021-10-06 23:38:46 +02:00
parent 7aa3cfda09
commit 6ef5464015
2 changed files with 52 additions and 44 deletions

View file

@ -30,59 +30,60 @@ DeclarativeEnvironment::~DeclarativeEnvironment()
void DeclarativeEnvironment::visit_edges(Visitor& visitor) void DeclarativeEnvironment::visit_edges(Visitor& visitor)
{ {
Base::visit_edges(visitor); Base::visit_edges(visitor);
for (auto& it : m_bindings) for (auto& binding : m_bindings)
visitor.visit(it.value.value); visitor.visit(binding.value);
} }
// 9.1.1.1.1 HasBinding ( N ), https://tc39.es/ecma262/#sec-declarative-environment-records-hasbinding-n // 9.1.1.1.1 HasBinding ( N ), https://tc39.es/ecma262/#sec-declarative-environment-records-hasbinding-n
bool DeclarativeEnvironment::has_binding(FlyString const& name) const bool DeclarativeEnvironment::has_binding(FlyString const& name) const
{ {
return m_bindings.contains(name); return m_names.contains(name);
} }
// 9.1.1.1.2 CreateMutableBinding ( N, D ), https://tc39.es/ecma262/#sec-declarative-environment-records-createmutablebinding-n-d // 9.1.1.1.2 CreateMutableBinding ( N, D ), https://tc39.es/ecma262/#sec-declarative-environment-records-createmutablebinding-n-d
void DeclarativeEnvironment::create_mutable_binding(GlobalObject&, FlyString const& name, bool can_be_deleted) void DeclarativeEnvironment::create_mutable_binding(GlobalObject&, FlyString const& name, bool can_be_deleted)
{ {
auto result = m_bindings.set(name, m_bindings.append(Binding {
Binding { .value = {},
.value = {}, .strict = false,
.strict = false, .mutable_ = true,
.mutable_ = true, .can_be_deleted = can_be_deleted,
.can_be_deleted = can_be_deleted, .initialized = false,
.initialized = false, });
}); auto result = m_names.set(name, m_bindings.size() - 1);
VERIFY(result == AK::HashSetResult::InsertedNewEntry); VERIFY(result == AK::HashSetResult::InsertedNewEntry);
} }
// 9.1.1.1.3 CreateImmutableBinding ( N, S ), https://tc39.es/ecma262/#sec-declarative-environment-records-createimmutablebinding-n-s // 9.1.1.1.3 CreateImmutableBinding ( N, S ), https://tc39.es/ecma262/#sec-declarative-environment-records-createimmutablebinding-n-s
void DeclarativeEnvironment::create_immutable_binding(GlobalObject&, FlyString const& name, bool strict) void DeclarativeEnvironment::create_immutable_binding(GlobalObject&, FlyString const& name, bool strict)
{ {
auto result = m_bindings.set(name, m_bindings.append(Binding {
Binding { .value = {},
.value = {}, .strict = strict,
.strict = strict, .mutable_ = false,
.mutable_ = false, .can_be_deleted = false,
.can_be_deleted = false, .initialized = false,
.initialized = false, });
}); auto result = m_names.set(name, m_bindings.size() - 1);
VERIFY(result == AK::HashSetResult::InsertedNewEntry); VERIFY(result == AK::HashSetResult::InsertedNewEntry);
} }
// 9.1.1.1.4 InitializeBinding ( N, V ), https://tc39.es/ecma262/#sec-declarative-environment-records-initializebinding-n-v // 9.1.1.1.4 InitializeBinding ( N, V ), https://tc39.es/ecma262/#sec-declarative-environment-records-initializebinding-n-v
void DeclarativeEnvironment::initialize_binding(GlobalObject&, FlyString const& name, Value value) void DeclarativeEnvironment::initialize_binding(GlobalObject&, FlyString const& name, Value value)
{ {
auto it = m_bindings.find(name); auto it = m_names.find(name);
VERIFY(it != m_bindings.end()); VERIFY(it != m_names.end());
VERIFY(it->value.initialized == false); auto& binding = m_bindings[it->value];
it->value.value = value; VERIFY(binding.initialized == false);
it->value.initialized = true; binding.value = value;
binding.initialized = true;
} }
// 9.1.1.1.5 SetMutableBinding ( N, V, S ), https://tc39.es/ecma262/#sec-declarative-environment-records-setmutablebinding-n-v-s // 9.1.1.1.5 SetMutableBinding ( N, V, S ), https://tc39.es/ecma262/#sec-declarative-environment-records-setmutablebinding-n-v-s
void DeclarativeEnvironment::set_mutable_binding(GlobalObject& global_object, FlyString const& name, Value value, bool strict) void DeclarativeEnvironment::set_mutable_binding(GlobalObject& global_object, FlyString const& name, Value value, bool strict)
{ {
auto it = m_bindings.find(name); auto it = m_names.find(name);
if (it == m_bindings.end()) { if (it == m_names.end()) {
if (strict) { if (strict) {
global_object.vm().throw_exception<ReferenceError>(global_object, ErrorType::UnknownIdentifier, name); global_object.vm().throw_exception<ReferenceError>(global_object, ErrorType::UnknownIdentifier, name);
return; return;
@ -92,16 +93,17 @@ void DeclarativeEnvironment::set_mutable_binding(GlobalObject& global_object, Fl
return; return;
} }
if (it->value.strict) auto& binding = m_bindings[it->value];
if (binding.strict)
strict = true; strict = true;
if (!it->value.initialized) { if (!binding.initialized) {
global_object.vm().throw_exception<ReferenceError>(global_object, ErrorType::BindingNotInitialized, name); global_object.vm().throw_exception<ReferenceError>(global_object, ErrorType::BindingNotInitialized, name);
return; return;
} }
if (it->value.mutable_) { if (binding.mutable_) {
it->value.value = value; binding.value = value;
} else { } else {
if (strict) { if (strict) {
global_object.vm().throw_exception<TypeError>(global_object, ErrorType::InvalidAssignToConst); global_object.vm().throw_exception<TypeError>(global_object, ErrorType::InvalidAssignToConst);
@ -112,31 +114,36 @@ void DeclarativeEnvironment::set_mutable_binding(GlobalObject& global_object, Fl
// 9.1.1.1.6 GetBindingValue ( N, S ), https://tc39.es/ecma262/#sec-declarative-environment-records-getbindingvalue-n-s // 9.1.1.1.6 GetBindingValue ( N, S ), https://tc39.es/ecma262/#sec-declarative-environment-records-getbindingvalue-n-s
Value DeclarativeEnvironment::get_binding_value(GlobalObject& global_object, FlyString const& name, bool) Value DeclarativeEnvironment::get_binding_value(GlobalObject& global_object, FlyString const& name, bool)
{ {
auto it = m_bindings.find(name); auto it = m_names.find(name);
VERIFY(it != m_bindings.end()); VERIFY(it != m_names.end());
if (!it->value.initialized) { auto& binding = m_bindings[it->value];
if (!binding.initialized) {
global_object.vm().throw_exception<ReferenceError>(global_object, ErrorType::BindingNotInitialized, name); global_object.vm().throw_exception<ReferenceError>(global_object, ErrorType::BindingNotInitialized, name);
return {}; return {};
} }
return it->value.value; return binding.value;
} }
// 9.1.1.1.7 DeleteBinding ( N ), https://tc39.es/ecma262/#sec-declarative-environment-records-deletebinding-n // 9.1.1.1.7 DeleteBinding ( N ), https://tc39.es/ecma262/#sec-declarative-environment-records-deletebinding-n
bool DeclarativeEnvironment::delete_binding(GlobalObject&, FlyString const& name) bool DeclarativeEnvironment::delete_binding(GlobalObject&, FlyString const& name)
{ {
auto it = m_bindings.find(name); auto it = m_names.find(name);
VERIFY(it != m_bindings.end()); VERIFY(it != m_names.end());
if (!it->value.can_be_deleted) auto& binding = m_bindings[it->value];
if (!binding.can_be_deleted)
return false; return false;
m_bindings.remove(it); // NOTE: We keep the entry in m_bindings to avoid disturbing indices.
binding = {};
m_names.remove(it);
return true; return true;
} }
void DeclarativeEnvironment::initialize_or_set_mutable_binding(Badge<ScopeNode>, GlobalObject& global_object, FlyString const& name, Value value) void DeclarativeEnvironment::initialize_or_set_mutable_binding(Badge<ScopeNode>, GlobalObject& global_object, FlyString const& name, Value value)
{ {
auto it = m_bindings.find(name); auto it = m_names.find(name);
VERIFY(it != m_bindings.end()); VERIFY(it != m_names.end());
if (!it->value.initialized) auto& binding = m_bindings[it->value];
if (!binding.initialized)
initialize_binding(global_object, name, value); initialize_binding(global_object, name, value);
else else
set_mutable_binding(global_object, name, value, false); set_mutable_binding(global_object, name, value, false);
@ -145,8 +152,8 @@ void DeclarativeEnvironment::initialize_or_set_mutable_binding(Badge<ScopeNode>,
Vector<String> DeclarativeEnvironment::bindings() const Vector<String> DeclarativeEnvironment::bindings() const
{ {
Vector<String> names; Vector<String> names;
for (auto& binding : m_bindings) { for (auto& it : m_names) {
names.empend(binding.key); names.append(it.key);
} }
return names; return names;
} }

View file

@ -48,7 +48,8 @@ private:
bool initialized { false }; bool initialized { false };
}; };
HashMap<FlyString, Binding> m_bindings; HashMap<FlyString, size_t> m_names;
Vector<Binding> m_bindings;
}; };
template<> template<>