Source code

Revision control

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
* file, You can obtain one at */
#ifndef vm_PIC_h
#define vm_PIC_h
#include "vm/GlobalObject.h"
#include "vm/NativeObject.h"
namespace js {
class Shape;
template <typename Category>
class PICChain;
* The basic PICStub just has a pointer to the next stub.
template <typename Category>
class PICStub {
friend class PICChain<Category>;
using CatStub = typename Category::Stub;
using CatChain = typename Category::Chain;
CatStub* next_;
PICStub() : next_(nullptr) {}
explicit PICStub(const CatStub* next) : next_(next) { MOZ_ASSERT(next_); }
explicit PICStub(const CatStub& other) : next_(other.next_) {}
CatStub* next() const { return next_; }
void append(CatStub* stub) {
next_ = stub;
* The basic PIC just has a pointer to the list of stubs.
template <typename Category>
class PICChain {
using CatStub = typename Category::Stub;
using CatChain = typename Category::Chain;
CatStub* stubs_;
PICChain() : stubs_(nullptr) {}
// PICs should never be copy constructed.
PICChain(const PICChain<Category>& other) = delete;
CatStub* stubs() const { return stubs_; }
void addStub(JSObject* obj, CatStub* stub);
unsigned numStubs() const {
unsigned count = 0;
for (CatStub* stub = stubs_; stub; stub = stub->next()) {
return count;
// Class for object that holds ForOfPIC chain.
class ForOfPICObject : public NativeObject {
static const JSClass class_;
* ForOfPIC defines a PIC category for optimizing for-of operations.
struct ForOfPIC {
/* Forward declarations so template-substitution works. */
class Stub;
class Chain;
ForOfPIC() = delete;
ForOfPIC(const ForOfPIC& other) = delete;
using BaseStub = PICStub<ForOfPIC>;
using BaseChain = PICChain<ForOfPIC>;
* A ForOfPIC has only one kind of stub for now: one that holds the shape
* of an array object that does not override its @@iterator property.
class Stub : public BaseStub {
// Shape of matching array object.
Shape* shape_;
explicit Stub(Shape* shape) : BaseStub(), shape_(shape) {
Shape* shape() { return shape_; }
* A ForOfPIC chain holds the following:
* Array.prototype (arrayProto_)
* To ensure that the incoming array has the standard proto.
* Array.prototype's shape (arrayProtoShape_)
* To ensure that Array.prototype has not been modified.
* ArrayIterator.prototype
* ArrayIterator.prototype's shape
* (arrayIteratorProto_, arrayIteratorProtoShape_)
* To ensure that an ArrayIterator.prototype has not been modified.
* Array.prototype's slot number for @@iterator
* Array.prototype's canonical value for @@iterator
* (arrayProtoIteratorSlot_, canonicalIteratorFunc_)
* To quickly retrieve and ensure that the iterator constructor
* stored in the slot has not changed.
* ArrayIterator.prototype's slot number for 'next'
* ArrayIterator.prototype's canonical value for 'next'
* (arrayIteratorProtoNextSlot_, canonicalNextFunc_)
* To quickly retrieve and ensure that the 'next' method for
* ArrayIterator objects has not changed.
class Chain : public BaseChain {
// Pointer to owning JSObject for memory accounting purposes.
const GCPtrObject picObject_;
// Pointer to canonical Array.prototype and ArrayIterator.prototype
GCPtrNativeObject arrayProto_;
GCPtrNativeObject arrayIteratorProto_;
// Shape of matching Array.prototype object, and slot containing
// the @@iterator for it, and the canonical value.
GCPtrShape arrayProtoShape_;
uint32_t arrayProtoIteratorSlot_;
GCPtrValue canonicalIteratorFunc_;
// Shape of matching ArrayIteratorProto, and slot containing
// the 'next' property, and the canonical value.
GCPtrShape arrayIteratorProtoShape_;
uint32_t arrayIteratorProtoNextSlot_;
GCPtrValue canonicalNextFunc_;
// Initialization flag marking lazy initialization of above fields.
bool initialized_;
// Disabled flag is set when we don't want to try optimizing anymore
// because core objects were changed.
bool disabled_;
static const unsigned MAX_STUBS = 10;
explicit Chain(JSObject* picObject)
: BaseChain(),
disabled_(false) {}
// Initialize the canonical iterator function.
bool initialize(JSContext* cx);
// Try to optimize this chain for an object.
bool tryOptimizeArray(JSContext* cx, HandleArrayObject array,
bool* optimized);
// Check if %ArrayIteratorPrototype% still uses the default "next" method.
bool tryOptimizeArrayIteratorNext(JSContext* cx, bool* optimized);
void trace(JSTracer* trc);
void finalize(JSFreeOp* fop, JSObject* obj);
// Check if the global array-related objects have not been messed with
// in a way that would disable this PIC.
bool isArrayStateStillSane();
// Check if is still optimizable.
inline bool isArrayNextStillSane() {
return (arrayIteratorProto_->lastProperty() ==
arrayIteratorProtoShape_) &&
(arrayIteratorProto_->getSlot(arrayIteratorProtoNextSlot_) ==
// Check if a matching optimized stub for the given object exists.
bool hasMatchingStub(ArrayObject* obj);
// Reset the PIC and all info associated with it.
void reset(JSContext* cx);
// Erase the stub chain.
void eraseChain(JSContext* cx);
void freeAllStubs(JSFreeOp* fop);
static NativeObject* createForOfPICObject(JSContext* cx,
Handle<GlobalObject*> global);
static inline Chain* fromJSObject(NativeObject* obj) {
return (ForOfPIC::Chain*)obj->getPrivate();
static inline Chain* getOrCreate(JSContext* cx) {
NativeObject* obj = cx->global()->getForOfPICObject();
if (obj) {
return fromJSObject(obj);
return create(cx);
static Chain* create(JSContext* cx);
} // namespace js
#endif /* vm_PIC_h */