addr_range.hh revision 10481
12SN/A/*
29235Sandreas.hansson@arm.com * Copyright (c) 2012 ARM Limited
39235Sandreas.hansson@arm.com * All rights reserved
49235Sandreas.hansson@arm.com *
59235Sandreas.hansson@arm.com * The license below extends only to copyright in the software and shall
69235Sandreas.hansson@arm.com * not be construed as granting a license to any other intellectual
79235Sandreas.hansson@arm.com * property including but not limited to intellectual property relating
89235Sandreas.hansson@arm.com * to a hardware implementation of the functionality of the software
99235Sandreas.hansson@arm.com * licensed hereunder.  You may use the software subject to the license
109235Sandreas.hansson@arm.com * terms below provided that you ensure that this notice is replicated
119235Sandreas.hansson@arm.com * unmodified and in its entirety in all distributions of the software,
129235Sandreas.hansson@arm.com * modified or unmodified, in source code or in binary form.
139235Sandreas.hansson@arm.com *
141762SN/A * Copyright (c) 2002-2005 The Regents of The University of Michigan
152SN/A * All rights reserved.
162SN/A *
172SN/A * Redistribution and use in source and binary forms, with or without
182SN/A * modification, are permitted provided that the following conditions are
192SN/A * met: redistributions of source code must retain the above copyright
202SN/A * notice, this list of conditions and the following disclaimer;
212SN/A * redistributions in binary form must reproduce the above copyright
222SN/A * notice, this list of conditions and the following disclaimer in the
232SN/A * documentation and/or other materials provided with the distribution;
242SN/A * neither the name of the copyright holders nor the names of its
252SN/A * contributors may be used to endorse or promote products derived from
262SN/A * this software without specific prior written permission.
272SN/A *
282SN/A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
292SN/A * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
302SN/A * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
312SN/A * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
322SN/A * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
332SN/A * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
342SN/A * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
352SN/A * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
362SN/A * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
372SN/A * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
382SN/A * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
392665SN/A *
402665SN/A * Authors: Nathan Binkert
412665SN/A *          Steve Reinhardt
429235Sandreas.hansson@arm.com *          Andreas Hansson
432SN/A */
442SN/A
459235Sandreas.hansson@arm.com#ifndef __BASE_ADDR_RANGE_HH__
469235Sandreas.hansson@arm.com#define __BASE_ADDR_RANGE_HH__
472SN/A
4810481Sandreas.hansson@arm.com#include <list>
499412Sandreas.hansson@arm.com#include <vector>
509412Sandreas.hansson@arm.com
519411Sandreas.hansson@arm.com#include "base/bitfield.hh"
529405Sandreas.hansson@arm.com#include "base/cprintf.hh"
539411Sandreas.hansson@arm.com#include "base/misc.hh"
549235Sandreas.hansson@arm.com#include "base/types.hh"
559235Sandreas.hansson@arm.com
569235Sandreas.hansson@arm.comclass AddrRange
572SN/A{
582SN/A
599405Sandreas.hansson@arm.com  private:
609405Sandreas.hansson@arm.com
619411Sandreas.hansson@arm.com    /// Private fields for the start and end of the range
6210435Snilay@cs.wisc.edu    /// Both _start and _end are part of the range.
639405Sandreas.hansson@arm.com    Addr _start;
649405Sandreas.hansson@arm.com    Addr _end;
659405Sandreas.hansson@arm.com
669411Sandreas.hansson@arm.com    /// The high bit of the slice that is used for interleaving
679411Sandreas.hansson@arm.com    uint8_t intlvHighBit;
689411Sandreas.hansson@arm.com
699411Sandreas.hansson@arm.com    /// The number of bits used for interleaving, set to 0 to disable
709411Sandreas.hansson@arm.com    uint8_t intlvBits;
719411Sandreas.hansson@arm.com
729411Sandreas.hansson@arm.com    /// The value to compare the slice addr[high:(high - bits + 1)]
739411Sandreas.hansson@arm.com    /// with.
749411Sandreas.hansson@arm.com    uint8_t intlvMatch;
759411Sandreas.hansson@arm.com
769235Sandreas.hansson@arm.com  public:
772SN/A
789235Sandreas.hansson@arm.com    AddrRange()
799411Sandreas.hansson@arm.com        : _start(1), _end(0), intlvHighBit(0), intlvBits(0), intlvMatch(0)
809411Sandreas.hansson@arm.com    {}
819411Sandreas.hansson@arm.com
829411Sandreas.hansson@arm.com    AddrRange(Addr _start, Addr _end, uint8_t _intlv_high_bit,
839411Sandreas.hansson@arm.com              uint8_t _intlv_bits, uint8_t _intlv_match)
849411Sandreas.hansson@arm.com        : _start(_start), _end(_end), intlvHighBit(_intlv_high_bit),
859411Sandreas.hansson@arm.com          intlvBits(_intlv_bits), intlvMatch(_intlv_match)
869235Sandreas.hansson@arm.com    {}
879235Sandreas.hansson@arm.com
889235Sandreas.hansson@arm.com    AddrRange(Addr _start, Addr _end)
899411Sandreas.hansson@arm.com        : _start(_start), _end(_end), intlvHighBit(0), intlvBits(0),
909411Sandreas.hansson@arm.com          intlvMatch(0)
919235Sandreas.hansson@arm.com    {}
929235Sandreas.hansson@arm.com
939405Sandreas.hansson@arm.com    /**
949412Sandreas.hansson@arm.com     * Create an address range by merging a collection of interleaved
959412Sandreas.hansson@arm.com     * ranges.
969412Sandreas.hansson@arm.com     *
979412Sandreas.hansson@arm.com     * @param ranges Interleaved ranges to be merged
989412Sandreas.hansson@arm.com     */
999412Sandreas.hansson@arm.com    AddrRange(const std::vector<AddrRange>& ranges)
1009412Sandreas.hansson@arm.com        : _start(1), _end(0), intlvHighBit(0), intlvBits(0), intlvMatch(0)
1019412Sandreas.hansson@arm.com    {
1029412Sandreas.hansson@arm.com        if (!ranges.empty()) {
1039412Sandreas.hansson@arm.com            // get the values from the first one and check the others
1049412Sandreas.hansson@arm.com            _start = ranges.front()._start;
1059412Sandreas.hansson@arm.com            _end = ranges.front()._end;
1069412Sandreas.hansson@arm.com            intlvHighBit = ranges.front().intlvHighBit;
1079412Sandreas.hansson@arm.com            intlvBits = ranges.front().intlvBits;
1089412Sandreas.hansson@arm.com
1099412Sandreas.hansson@arm.com            if (ranges.size() != (ULL(1) << intlvBits))
1109412Sandreas.hansson@arm.com                fatal("Got %d ranges spanning %d interleaving bits\n",
1119412Sandreas.hansson@arm.com                      ranges.size(), intlvBits);
1129412Sandreas.hansson@arm.com
1139412Sandreas.hansson@arm.com            uint8_t match = 0;
1149412Sandreas.hansson@arm.com            for (std::vector<AddrRange>::const_iterator r = ranges.begin();
1159412Sandreas.hansson@arm.com                 r != ranges.end(); ++r) {
1169412Sandreas.hansson@arm.com                if (!mergesWith(*r))
1179412Sandreas.hansson@arm.com                    fatal("Can only merge ranges with the same start, end "
1189412Sandreas.hansson@arm.com                          "and interleaving bits\n");
1199412Sandreas.hansson@arm.com
1209412Sandreas.hansson@arm.com                if (r->intlvMatch != match)
1219412Sandreas.hansson@arm.com                    fatal("Expected interleave match %d but got %d when "
1229412Sandreas.hansson@arm.com                          "merging\n", match, r->intlvMatch);
1239412Sandreas.hansson@arm.com                ++match;
1249412Sandreas.hansson@arm.com            }
1259412Sandreas.hansson@arm.com
1269412Sandreas.hansson@arm.com            // our range is complete and we can turn this into a
1279412Sandreas.hansson@arm.com            // non-interleaved range
1289412Sandreas.hansson@arm.com            intlvHighBit = 0;
1299412Sandreas.hansson@arm.com            intlvBits = 0;
1309412Sandreas.hansson@arm.com        }
1319412Sandreas.hansson@arm.com    }
1329412Sandreas.hansson@arm.com
1339412Sandreas.hansson@arm.com    /**
1349411Sandreas.hansson@arm.com     * Determine if the range is interleaved or not.
1359411Sandreas.hansson@arm.com     *
1369411Sandreas.hansson@arm.com     * @return true if interleaved
1379411Sandreas.hansson@arm.com     */
1389411Sandreas.hansson@arm.com    bool interleaved() const { return intlvBits != 0; }
1399411Sandreas.hansson@arm.com
1409411Sandreas.hansson@arm.com    /**
1419411Sandreas.hansson@arm.com     * Determing the interleaving granularity of the range.
1429411Sandreas.hansson@arm.com     *
1439411Sandreas.hansson@arm.com     * @return The size of the regions created by the interleaving bits
1449411Sandreas.hansson@arm.com     */
1459581Sandreas.hansson@arm.com    uint64_t granularity() const
1469581Sandreas.hansson@arm.com    {
1479780Sandreas.hansson@arm.com        return ULL(1) << (intlvHighBit - intlvBits + 1);
1489581Sandreas.hansson@arm.com    }
1499411Sandreas.hansson@arm.com
1509411Sandreas.hansson@arm.com    /**
1519411Sandreas.hansson@arm.com     * Determine the number of interleaved address stripes this range
1529411Sandreas.hansson@arm.com     * is part of.
1539411Sandreas.hansson@arm.com     *
1549411Sandreas.hansson@arm.com     * @return The number of stripes spanned by the interleaving bits
1559411Sandreas.hansson@arm.com     */
1569411Sandreas.hansson@arm.com    uint32_t stripes() const { return ULL(1) << intlvBits; }
1579411Sandreas.hansson@arm.com
1589411Sandreas.hansson@arm.com    /**
1599405Sandreas.hansson@arm.com     * Get the size of the address range. For a case where
1609411Sandreas.hansson@arm.com     * interleaving is used we make the simplifying assumption that
1619411Sandreas.hansson@arm.com     * the size is a divisible by the size of the interleaving slice.
1629405Sandreas.hansson@arm.com     */
1639411Sandreas.hansson@arm.com    Addr size() const
1649411Sandreas.hansson@arm.com    {
1659411Sandreas.hansson@arm.com        return (_end - _start + 1) >> intlvBits;
1669411Sandreas.hansson@arm.com    }
167532SN/A
1689405Sandreas.hansson@arm.com    /**
1699405Sandreas.hansson@arm.com     * Determine if the range is valid.
1709405Sandreas.hansson@arm.com     */
17110435Snilay@cs.wisc.edu    bool valid() const { return _start <= _end; }
1729405Sandreas.hansson@arm.com
1739405Sandreas.hansson@arm.com    /**
1749405Sandreas.hansson@arm.com     * Get the start address of the range.
1759405Sandreas.hansson@arm.com     */
1769405Sandreas.hansson@arm.com    Addr start() const { return _start; }
1779405Sandreas.hansson@arm.com
1789405Sandreas.hansson@arm.com    /**
1799405Sandreas.hansson@arm.com     * Get a string representation of the range. This could
1809405Sandreas.hansson@arm.com     * alternatively be implemented as a operator<<, but at the moment
1819405Sandreas.hansson@arm.com     * that seems like overkill.
1829405Sandreas.hansson@arm.com     */
1839405Sandreas.hansson@arm.com    std::string to_string() const
1849405Sandreas.hansson@arm.com    {
1859411Sandreas.hansson@arm.com        if (interleaved())
1869411Sandreas.hansson@arm.com            return csprintf("[%#llx : %#llx], [%d : %d] = %d", _start, _end,
1879411Sandreas.hansson@arm.com                            intlvHighBit, intlvHighBit - intlvBits + 1,
1889411Sandreas.hansson@arm.com                            intlvMatch);
1899411Sandreas.hansson@arm.com        else
1909411Sandreas.hansson@arm.com            return csprintf("[%#llx : %#llx]", _start, _end);
1919411Sandreas.hansson@arm.com    }
1929411Sandreas.hansson@arm.com
1939411Sandreas.hansson@arm.com    /**
1949411Sandreas.hansson@arm.com     * Determine if another range merges with the current one, i.e. if
1959411Sandreas.hansson@arm.com     * they are part of the same contigous range and have the same
1969411Sandreas.hansson@arm.com     * interleaving bits.
1979411Sandreas.hansson@arm.com     *
1989411Sandreas.hansson@arm.com     * @param r Range to evaluate merging with
1999411Sandreas.hansson@arm.com     * @return true if the two ranges would merge
2009411Sandreas.hansson@arm.com     */
2019411Sandreas.hansson@arm.com    bool mergesWith(const AddrRange& r) const
2029411Sandreas.hansson@arm.com    {
2039411Sandreas.hansson@arm.com        return r._start == _start && r._end == _end &&
2049411Sandreas.hansson@arm.com            r.intlvHighBit == intlvHighBit &&
2059411Sandreas.hansson@arm.com            r.intlvBits == intlvBits;
2069405Sandreas.hansson@arm.com    }
2079279Sandreas.hansson@arm.com
2089279Sandreas.hansson@arm.com    /**
2099279Sandreas.hansson@arm.com     * Determine if another range intersects this one, i.e. if there
2109279Sandreas.hansson@arm.com     * is an address that is both in this range and the other
2119279Sandreas.hansson@arm.com     * range. No check is made to ensure either range is valid.
2129279Sandreas.hansson@arm.com     *
2139279Sandreas.hansson@arm.com     * @param r Range to intersect with
2149279Sandreas.hansson@arm.com     * @return true if the intersection of the two ranges is not empty
2159279Sandreas.hansson@arm.com     */
2169279Sandreas.hansson@arm.com    bool intersects(const AddrRange& r) const
2179279Sandreas.hansson@arm.com    {
2189411Sandreas.hansson@arm.com        if (!interleaved()) {
2199411Sandreas.hansson@arm.com            return _start <= r._end && _end >= r._start;
2209411Sandreas.hansson@arm.com        }
2219411Sandreas.hansson@arm.com
2229411Sandreas.hansson@arm.com        // the current range is interleaved, split the check up in
2239411Sandreas.hansson@arm.com        // three cases
2249411Sandreas.hansson@arm.com        if (r.size() == 1)
2259411Sandreas.hansson@arm.com            // keep it simple and check if the address is within
2269411Sandreas.hansson@arm.com            // this range
2279411Sandreas.hansson@arm.com            return contains(r.start());
2289411Sandreas.hansson@arm.com        else if (!r.interleaved())
2299411Sandreas.hansson@arm.com            // be conservative and ignore the interleaving
2309411Sandreas.hansson@arm.com            return _start <= r._end && _end >= r._start;
2319411Sandreas.hansson@arm.com        else if (mergesWith(r))
2329411Sandreas.hansson@arm.com            // restrict the check to ranges that belong to the
2339411Sandreas.hansson@arm.com            // same chunk
2349411Sandreas.hansson@arm.com            return intlvMatch == r.intlvMatch;
2359411Sandreas.hansson@arm.com        else
2369411Sandreas.hansson@arm.com            panic("Cannot test intersection of interleaved range %s\n",
2379411Sandreas.hansson@arm.com                  to_string());
2389279Sandreas.hansson@arm.com    }
2399279Sandreas.hansson@arm.com
2409279Sandreas.hansson@arm.com    /**
2419279Sandreas.hansson@arm.com     * Determine if this range is a subset of another range, i.e. if
2429279Sandreas.hansson@arm.com     * every address in this range is also in the other range. No
2439279Sandreas.hansson@arm.com     * check is made to ensure either range is valid.
2449279Sandreas.hansson@arm.com     *
2459279Sandreas.hansson@arm.com     * @param r Range to compare with
2469279Sandreas.hansson@arm.com     * @return true if the this range is a subset of the other one
2479279Sandreas.hansson@arm.com     */
2489279Sandreas.hansson@arm.com    bool isSubset(const AddrRange& r) const
2499279Sandreas.hansson@arm.com    {
2509411Sandreas.hansson@arm.com        if (interleaved())
2519411Sandreas.hansson@arm.com            panic("Cannot test subset of interleaved range %s\n", to_string());
2529405Sandreas.hansson@arm.com        return _start >= r._start && _end <= r._end;
2539279Sandreas.hansson@arm.com    }
2549405Sandreas.hansson@arm.com
2559405Sandreas.hansson@arm.com    /**
2569405Sandreas.hansson@arm.com     * Determine if the range contains an address.
2579405Sandreas.hansson@arm.com     *
2589405Sandreas.hansson@arm.com     * @param a Address to compare with
2599405Sandreas.hansson@arm.com     * @return true if the address is in the range
2609405Sandreas.hansson@arm.com     */
2619405Sandreas.hansson@arm.com    bool contains(const Addr& a) const
2629405Sandreas.hansson@arm.com    {
2639411Sandreas.hansson@arm.com        // check if the address is in the range and if there is either
2649411Sandreas.hansson@arm.com        // no interleaving, or with interleaving also if the selected
2659411Sandreas.hansson@arm.com        // bits from the address match the interleaving value
2669411Sandreas.hansson@arm.com        return a >= _start && a <= _end &&
2679541Sandreas.hansson@arm.com            (!interleaved() ||
2689411Sandreas.hansson@arm.com             (bits(a, intlvHighBit, intlvHighBit - intlvBits + 1) ==
2699411Sandreas.hansson@arm.com              intlvMatch));
2709405Sandreas.hansson@arm.com    }
2712SN/A
272531SN/A/**
2739235Sandreas.hansson@arm.com * Keep the operators away from SWIG.
274531SN/A */
2759235Sandreas.hansson@arm.com#ifndef SWIG
2762SN/A
2779405Sandreas.hansson@arm.com    /**
2789405Sandreas.hansson@arm.com     * Less-than operator used to turn an STL map into a binary search
2799405Sandreas.hansson@arm.com     * tree of non-overlapping address ranges.
2809405Sandreas.hansson@arm.com     *
2819405Sandreas.hansson@arm.com     * @param r Range to compare with
2829405Sandreas.hansson@arm.com     * @return true if the start address is less than that of the other range
2839405Sandreas.hansson@arm.com     */
2849405Sandreas.hansson@arm.com    bool operator<(const AddrRange& r) const
2859405Sandreas.hansson@arm.com    {
2869411Sandreas.hansson@arm.com        if (_start != r._start)
2879411Sandreas.hansson@arm.com            return _start < r._start;
2889411Sandreas.hansson@arm.com        else
2899411Sandreas.hansson@arm.com            // for now assume that the end is also the same, and that
2909411Sandreas.hansson@arm.com            // we are looking at the same interleaving bits
2919411Sandreas.hansson@arm.com            return intlvMatch < r.intlvMatch;
2929405Sandreas.hansson@arm.com    }
293531SN/A
2949405Sandreas.hansson@arm.com#endif // SWIG
2959405Sandreas.hansson@arm.com};
2962SN/A
29710481Sandreas.hansson@arm.com/**
29810481Sandreas.hansson@arm.com * Convenience typedef for a collection of address ranges
29910481Sandreas.hansson@arm.com */
30010481Sandreas.hansson@arm.comtypedef std::list<AddrRange> AddrRangeList;
30110481Sandreas.hansson@arm.com
3029235Sandreas.hansson@arm.cominline AddrRange
3039235Sandreas.hansson@arm.comRangeEx(Addr start, Addr end)
3049405Sandreas.hansson@arm.com{ return AddrRange(start, end - 1); }
3052SN/A
3069235Sandreas.hansson@arm.cominline AddrRange
3079235Sandreas.hansson@arm.comRangeIn(Addr start, Addr end)
3089405Sandreas.hansson@arm.com{ return AddrRange(start, end); }
3092SN/A
3109235Sandreas.hansson@arm.cominline AddrRange
3119235Sandreas.hansson@arm.comRangeSize(Addr start, Addr size)
3129405Sandreas.hansson@arm.com{ return AddrRange(start, start + size - 1); }
3132SN/A
3149235Sandreas.hansson@arm.com#endif // __BASE_ADDR_RANGE_HH__
315