| /* |
| * Copyright (C) 2011 Apple Inc. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in the |
| * documentation and/or other materials provided with the distribution. |
| * 3. Neither the name of Apple Computer, Inc. ("Apple") nor the names of |
| * its contributors may be used to endorse or promote products derived |
| * from this software without specific prior written permission. |
| * |
| * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY |
| * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
| * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
| * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY |
| * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
| * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
| * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND |
| * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #ifndef ValueProfile_h |
| #define ValueProfile_h |
| |
| #include "JSArray.h" |
| #include "Structure.h" |
| #include "WriteBarrier.h" |
| |
| namespace JSC { |
| |
| #if ENABLE(VALUE_PROFILER) |
| struct ValueProfile { |
| static const unsigned logNumberOfBuckets = 3; // 8 buckets |
| static const unsigned numberOfBuckets = 1 << logNumberOfBuckets; |
| static const unsigned bucketIndexMask = numberOfBuckets - 1; |
| static const unsigned certainty = numberOfBuckets * numberOfBuckets; |
| static const unsigned majority = certainty / 2; |
| |
| ValueProfile(int bytecodeOffset) |
| : bytecodeOffset(bytecodeOffset) |
| { |
| for (unsigned i = 0; i < numberOfBuckets; ++i) |
| buckets[i] = JSValue::encode(JSValue()); |
| } |
| |
| const ClassInfo* classInfo(unsigned bucket) const |
| { |
| if (!!buckets[bucket]) { |
| JSValue value = JSValue::decode(buckets[bucket]); |
| if (!value.isCell()) |
| return 0; |
| return value.asCell()->structure()->classInfo(); |
| } |
| return weakBuckets[bucket].getClassInfo(); |
| } |
| |
| unsigned numberOfSamples() const |
| { |
| unsigned result = 0; |
| for (unsigned i = 0; i < numberOfBuckets; ++i) { |
| if (!!buckets[i] || !!weakBuckets[i]) |
| result++; |
| } |
| return result; |
| } |
| |
| static unsigned computeProbability(unsigned counts, unsigned numberOfSamples) |
| { |
| if (!numberOfSamples) |
| return 0; |
| return counts * certainty / numberOfSamples; |
| } |
| |
| unsigned numberOfInt32s() const |
| { |
| unsigned result = 0; |
| for (unsigned i = 0; i < numberOfBuckets; ++i) { |
| if (!!buckets[i] && JSValue::decode(buckets[i]).isInt32()) |
| result++; |
| } |
| return result; |
| } |
| |
| unsigned numberOfDoubles() const |
| { |
| unsigned result = 0; |
| for (unsigned i = 0; i < numberOfBuckets; ++i) { |
| if (!!buckets[i] && JSValue::decode(buckets[i]).isDouble()) |
| result++; |
| } |
| return result; |
| } |
| |
| unsigned numberOfCells() const |
| { |
| unsigned result = 0; |
| for (unsigned i = 0; i < numberOfBuckets; ++i) { |
| if (!!classInfo(i)) |
| result++; |
| } |
| return result; |
| } |
| |
| unsigned numberOfArrays() const |
| { |
| unsigned result = 0; |
| for (unsigned i = 0; i < numberOfBuckets; ++i) { |
| if (classInfo(i) == &JSArray::s_info) |
| result++; |
| } |
| return result; |
| } |
| |
| // These methods are not particularly optimized, in that they will each |
| // perform two passes over the buckets array. However, they are |
| // probably the best bet unless you are sure that you will be making |
| // these calls with high frequency. |
| |
| unsigned probabilityOfInt32() const |
| { |
| return computeProbability(numberOfInt32s(), numberOfSamples()); |
| } |
| |
| unsigned probabilityOfDouble() const |
| { |
| return computeProbability(numberOfDoubles(), numberOfSamples()); |
| } |
| |
| unsigned probabilityOfCell() const |
| { |
| return computeProbability(numberOfCells(), numberOfSamples()); |
| } |
| |
| unsigned probabilityOfArray() const |
| { |
| return computeProbability(numberOfArrays(), numberOfSamples()); |
| } |
| |
| int bytecodeOffset; // -1 for prologue |
| EncodedJSValue buckets[numberOfBuckets]; |
| |
| class WeakBucket { |
| public: |
| WeakBucket() |
| : m_value(0) |
| { |
| } |
| |
| WeakBucket(Structure* structure) |
| : m_value(reinterpret_cast<uintptr_t>(structure)) |
| { |
| } |
| |
| WeakBucket(const ClassInfo* classInfo) |
| : m_value(reinterpret_cast<uintptr_t>(classInfo) | 1) |
| { |
| } |
| |
| bool operator!() const |
| { |
| return !m_value; |
| } |
| |
| bool isEmpty() const |
| { |
| return !m_value; |
| } |
| |
| bool isClassInfo() const |
| { |
| return !!(m_value & 1); |
| } |
| |
| bool isStructure() const |
| { |
| return !isEmpty() && !isClassInfo(); |
| } |
| |
| Structure* asStructure() const |
| { |
| ASSERT(isStructure()); |
| return reinterpret_cast<Structure*>(m_value); |
| } |
| |
| const ClassInfo* asClassInfo() const |
| { |
| ASSERT(isClassInfo()); |
| return reinterpret_cast<ClassInfo*>(m_value & ~static_cast<uintptr_t>(1)); |
| } |
| |
| const ClassInfo* getClassInfo() const |
| { |
| if (isEmpty()) |
| return 0; |
| if (isClassInfo()) |
| return asClassInfo(); |
| return asStructure()->classInfo(); |
| } |
| |
| private: |
| uintptr_t m_value; |
| }; |
| |
| WeakBucket weakBuckets[numberOfBuckets]; // this is not covered by a write barrier because it is only set from GC |
| }; |
| |
| inline int getValueProfileBytecodeOffset(ValueProfile* valueProfile) |
| { |
| return valueProfile->bytecodeOffset; |
| } |
| #endif |
| |
| } |
| |
| #endif |
| |