js/src/assembler/wtf/SegmentedVector.h

changeset 0
6474c204b198
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/js/src/assembler/wtf/SegmentedVector.h	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,264 @@
     1.4 +/*
     1.5 + * Copyright (C) 2008 Apple Inc. All rights reserved.
     1.6 + *
     1.7 + * Redistribution and use in source and binary forms, with or without
     1.8 + * modification, are permitted provided that the following conditions
     1.9 + * are met:
    1.10 + *
    1.11 + * 1.  Redistributions of source code must retain the above copyright
    1.12 + *     notice, this list of conditions and the following disclaimer.
    1.13 + * 2.  Redistributions in binary form must reproduce the above copyright
    1.14 + *     notice, this list of conditions and the following disclaimer in the
    1.15 + *     documentation and/or other materials provided with the distribution.
    1.16 + * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
    1.17 + *     its contributors may be used to endorse or promote products derived
    1.18 + *     from this software without specific prior written permission.
    1.19 + *
    1.20 + * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
    1.21 + * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
    1.22 + * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
    1.23 + * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
    1.24 + * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
    1.25 + * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
    1.26 + * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
    1.27 + * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
    1.28 + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
    1.29 + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
    1.30 + */
    1.31 +
    1.32 +#ifndef assembler_wtf_SegmentedVector_h
    1.33 +#define assembler_wtf_SegmentedVector_h
    1.34 +
    1.35 +#include "js/Utility.h"
    1.36 +#include "js/Vector.h"
    1.37 +
    1.38 +namespace WTF {
    1.39 +
    1.40 +    // An iterator for SegmentedVector. It supports only the pre ++ operator
    1.41 +    template <typename T, size_t SegmentSize> class SegmentedVector;
    1.42 +    template <typename T, size_t SegmentSize> class SegmentedVectorIterator {
    1.43 +    private:
    1.44 +        friend class SegmentedVector<T, SegmentSize>;
    1.45 +    public:
    1.46 +        typedef SegmentedVectorIterator<T, SegmentSize> Iterator;
    1.47 +
    1.48 +        ~SegmentedVectorIterator() { }
    1.49 +
    1.50 +        T& operator*() const { return (*m_vector.m_segments[m_segment])[m_index]; }
    1.51 +        T* operator->() const { return &(*m_vector.m_segments[m_segment])[m_index]; }
    1.52 +
    1.53 +        // Only prefix ++ operator supported
    1.54 +        Iterator& operator++()
    1.55 +        {
    1.56 +            ASSERT(m_index != SegmentSize);
    1.57 +            ++m_index;
    1.58 +            //if (m_index >= m_vector.m_segments.at(m_segment)->size())  {
    1.59 +            if (m_index >= m_vector.m_segments[m_segment]->length())  {
    1.60 +                //if (m_segment + 1 < m_vector.m_segments.size()) {
    1.61 +                if (m_segment + 1 < m_vector.m_segments.length()) {
    1.62 +                    //ASSERT(m_vector.m_segments.at(m_segment)->size() > 0);
    1.63 +                    ASSERT(m_vector.m_segments[m_segment]->length() > 0);
    1.64 +                    ++m_segment;
    1.65 +                    m_index = 0;
    1.66 +                } else {
    1.67 +                    // Points to the "end" symbol
    1.68 +                    m_segment = 0;
    1.69 +                    m_index = SegmentSize;
    1.70 +                }
    1.71 +            }
    1.72 +            return *this;
    1.73 +        }
    1.74 +
    1.75 +        bool operator==(const Iterator& other) const
    1.76 +        {
    1.77 +            return (m_index == other.m_index && m_segment = other.m_segment && &m_vector == &other.m_vector);
    1.78 +        }
    1.79 +
    1.80 +        bool operator!=(const Iterator& other) const
    1.81 +        {
    1.82 +            return (m_index != other.m_index || m_segment != other.m_segment || &m_vector != &other.m_vector);
    1.83 +        }
    1.84 +
    1.85 +        SegmentedVectorIterator& operator=(const SegmentedVectorIterator<T, SegmentSize>& other)
    1.86 +        {
    1.87 +            m_vector = other.m_vector;
    1.88 +            m_segment = other.m_segment;
    1.89 +            m_index = other.m_index;
    1.90 +            return *this;
    1.91 +        }
    1.92 +
    1.93 +    private:
    1.94 +        SegmentedVectorIterator(SegmentedVector<T, SegmentSize>& vector, size_t segment, size_t index)
    1.95 +            : m_vector(vector)
    1.96 +            , m_segment(segment)
    1.97 +            , m_index(index)
    1.98 +        {
    1.99 +        }
   1.100 +
   1.101 +        SegmentedVector<T, SegmentSize>& m_vector;
   1.102 +        size_t m_segment;
   1.103 +        size_t m_index;
   1.104 +    };
   1.105 +
   1.106 +    // SegmentedVector is just like Vector, but it doesn't move the values
   1.107 +    // stored in its buffer when it grows. Therefore, it is safe to keep
   1.108 +    // pointers into a SegmentedVector.
   1.109 +    template <typename T, size_t SegmentSize> class SegmentedVector {
   1.110 +        friend class SegmentedVectorIterator<T, SegmentSize>;
   1.111 +    public:
   1.112 +        typedef SegmentedVectorIterator<T, SegmentSize> Iterator;
   1.113 +
   1.114 +        SegmentedVector()
   1.115 +            : m_size(0)
   1.116 +        {
   1.117 +            m_segments.append(&m_inlineSegment);
   1.118 +        }
   1.119 +
   1.120 +        ~SegmentedVector()
   1.121 +        {
   1.122 +            deleteAllSegments();
   1.123 +        }
   1.124 +
   1.125 +        size_t size() const { return m_size; }
   1.126 +        bool isEmpty() const { return !size(); }
   1.127 +
   1.128 +        T& at(size_t index)
   1.129 +        {
   1.130 +            if (index < SegmentSize)
   1.131 +                return m_inlineSegment[index];
   1.132 +            return segmentFor(index)->at(subscriptFor(index));
   1.133 +        }
   1.134 +
   1.135 +        T& operator[](size_t index)
   1.136 +        {
   1.137 +            return at(index);
   1.138 +        }
   1.139 +
   1.140 +        T& last()
   1.141 +        {
   1.142 +            return at(size() - 1);
   1.143 +        }
   1.144 +
   1.145 +        template <typename U> void append(const U& value)
   1.146 +        {
   1.147 +            ++m_size;
   1.148 +
   1.149 +            if (m_size <= SegmentSize) {
   1.150 +                //m_inlineSegment.uncheckedAppend(value);
   1.151 +                m_inlineSegment.append(value);
   1.152 +                return;
   1.153 +            }
   1.154 +
   1.155 +            if (!segmentExistsFor(m_size - 1))
   1.156 +                m_segments.append(js_new<Segment>());
   1.157 +            //segmentFor(m_size - 1)->uncheckedAppend(value);
   1.158 +            segmentFor(m_size - 1)->append(value);
   1.159 +        }
   1.160 +
   1.161 +        T& alloc()
   1.162 +        {
   1.163 +            append<T>(T());
   1.164 +            return last();
   1.165 +        }
   1.166 +
   1.167 +        void removeLast()
   1.168 +        {
   1.169 +            if (m_size <= SegmentSize)
   1.170 +                m_inlineSegment.removeLast();
   1.171 +            else
   1.172 +                segmentFor(m_size - 1)->removeLast();
   1.173 +            --m_size;
   1.174 +        }
   1.175 +
   1.176 +        void grow(size_t size)
   1.177 +        {
   1.178 +            ASSERT(size > m_size);
   1.179 +            ensureSegmentsFor(size);
   1.180 +            m_size = size;
   1.181 +        }
   1.182 +
   1.183 +        void clear()
   1.184 +        {
   1.185 +            deleteAllSegments();
   1.186 +            m_segments.resize(1);
   1.187 +            m_inlineSegment.clear();
   1.188 +            m_size = 0;
   1.189 +        }
   1.190 +
   1.191 +        Iterator begin()
   1.192 +        {
   1.193 +            return Iterator(*this, 0, m_size ? 0 : SegmentSize);
   1.194 +        }
   1.195 +
   1.196 +        Iterator end()
   1.197 +        {
   1.198 +            return Iterator(*this, 0, SegmentSize);
   1.199 +        }
   1.200 +
   1.201 +    private:
   1.202 +        typedef js::Vector<T, SegmentSize ,js::SystemAllocPolicy > Segment;
   1.203 +
   1.204 +        void deleteAllSegments()
   1.205 +        {
   1.206 +            // Skip the first segment, because it's our inline segment, which was
   1.207 +            // not created by new.
   1.208 +            //for (size_t i = 1; i < m_segments.size(); i++)
   1.209 +            for (size_t i = 1; i < m_segments.length(); i++)
   1.210 +                js_delete<Segment>(m_segments[i]);
   1.211 +        }
   1.212 +
   1.213 +        bool segmentExistsFor(size_t index)
   1.214 +        {
   1.215 +            //return index / SegmentSize < m_segments.size();
   1.216 +            return index / SegmentSize < m_segments.length();
   1.217 +        }
   1.218 +
   1.219 +        Segment* segmentFor(size_t index)
   1.220 +        {
   1.221 +            return m_segments[index / SegmentSize];
   1.222 +        }
   1.223 +
   1.224 +        size_t subscriptFor(size_t index)
   1.225 +        {
   1.226 +            return index % SegmentSize;
   1.227 +        }
   1.228 +
   1.229 +        void ensureSegmentsFor(size_t size)
   1.230 +        {
   1.231 +            size_t segmentCount = m_size / SegmentSize;
   1.232 +            if (m_size % SegmentSize)
   1.233 +                ++segmentCount;
   1.234 +            //segmentCount = std::max<size_t>(segmentCount, 1); // We always have at least our inline segment.
   1.235 +            segmentCount = segmentCount > 1 ? segmentCount : 1; // We always have at least our inline segment.
   1.236 +
   1.237 +            size_t neededSegmentCount = size / SegmentSize;
   1.238 +            if (size % SegmentSize)
   1.239 +                ++neededSegmentCount;
   1.240 +
   1.241 +            // Fill up to N - 1 segments.
   1.242 +            size_t end = neededSegmentCount - 1;
   1.243 +            for (size_t i = segmentCount - 1; i < end; ++i)
   1.244 +                ensureSegment(i, SegmentSize);
   1.245 +
   1.246 +            // Grow segment N to accomodate the remainder.
   1.247 +            ensureSegment(end, subscriptFor(size - 1) + 1);
   1.248 +        }
   1.249 +
   1.250 +        void ensureSegment(size_t segmentIndex, size_t size)
   1.251 +        {
   1.252 +            ASSERT(segmentIndex <= m_segments.size());
   1.253 +            if (segmentIndex == m_segments.size())
   1.254 +                m_segments.append(js_new<Segment>());
   1.255 +            m_segments[segmentIndex]->grow(size);
   1.256 +        }
   1.257 +
   1.258 +        size_t m_size;
   1.259 +        Segment m_inlineSegment;
   1.260 +        js::Vector<Segment*, 32 ,js::SystemAllocPolicy > m_segments;
   1.261 +    };
   1.262 +
   1.263 +} // namespace WTF
   1.264 +
   1.265 +using WTF::SegmentedVector;
   1.266 +
   1.267 +#endif /* assembler_wtf_SegmentedVector_h */

mercurial