Source code
Revision control
Copy as Markdown
Other Tools
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*-
* vim: set ts=8 sts=2 et sw=2 tw=80:
* 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
#include "frontend/TDZCheckCache.h"
#include "frontend/BytecodeEmitter.h"
using namespace js;
using namespace js::frontend;
using mozilla::Maybe;
using mozilla::Nothing;
using mozilla::Some;
TDZCheckCache::TDZCheckCache(BytecodeEmitter* bce)
: Nestable<TDZCheckCache>(&bce->innermostTDZCheckCache),
cache_(bce->fc->nameCollectionPool()) {}
bool TDZCheckCache::ensureCache(BytecodeEmitter* bce) {
return cache_ || cache_.acquire(bce->fc);
}
Maybe<MaybeCheckTDZ> TDZCheckCache::needsTDZCheck(BytecodeEmitter* bce,
TaggedParserAtomIndex name) {
if (!ensureCache(bce)) {
return Nothing();
}
CheckTDZMap::AddPtr p = cache_->lookupForAdd(name);
if (p) {
return Some(p->value().wrapped);
}
MaybeCheckTDZ rv = CheckTDZ;
for (TDZCheckCache* it = enclosing(); it; it = it->enclosing()) {
if (it->cache_) {
if (CheckTDZMap::Ptr p2 = it->cache_->lookup(name)) {
rv = p2->value();
break;
}
}
}
if (!cache_->add(p, name, rv)) {
ReportOutOfMemory(bce->fc);
return Nothing();
}
return Some(rv);
}
bool TDZCheckCache::noteTDZCheck(BytecodeEmitter* bce,
TaggedParserAtomIndex name,
MaybeCheckTDZ check) {
if (!ensureCache(bce)) {
return false;
}
CheckTDZMap::AddPtr p = cache_->lookupForAdd(name);
if (p) {
MOZ_ASSERT(
!check,
"TDZ only needs to be checked once per binding per basic block.");
p->value() = check;
} else {
if (!cache_->add(p, name, check)) {
ReportOutOfMemory(bce->fc);
return false;
}
}
return true;
}