addr_range.hh revision 9411
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
489411Sandreas.hansson@arm.com#include "base/bitfield.hh"
499405Sandreas.hansson@arm.com#include "base/cprintf.hh"
509411Sandreas.hansson@arm.com#include "base/misc.hh"
519235Sandreas.hansson@arm.com#include "base/types.hh"
529235Sandreas.hansson@arm.com
539235Sandreas.hansson@arm.comclass AddrRange
542SN/A{
552SN/A
569405Sandreas.hansson@arm.com  private:
579405Sandreas.hansson@arm.com
589411Sandreas.hansson@arm.com    /// Private fields for the start and end of the range
599405Sandreas.hansson@arm.com    Addr _start;
609405Sandreas.hansson@arm.com    Addr _end;
619405Sandreas.hansson@arm.com
629411Sandreas.hansson@arm.com    /// The high bit of the slice that is used for interleaving
639411Sandreas.hansson@arm.com    uint8_t intlvHighBit;
649411Sandreas.hansson@arm.com
659411Sandreas.hansson@arm.com    /// The number of bits used for interleaving, set to 0 to disable
669411Sandreas.hansson@arm.com    uint8_t intlvBits;
679411Sandreas.hansson@arm.com
689411Sandreas.hansson@arm.com    /// The value to compare the slice addr[high:(high - bits + 1)]
699411Sandreas.hansson@arm.com    /// with.
709411Sandreas.hansson@arm.com    uint8_t intlvMatch;
719411Sandreas.hansson@arm.com
729235Sandreas.hansson@arm.com  public:
732SN/A
749235Sandreas.hansson@arm.com    AddrRange()
759411Sandreas.hansson@arm.com        : _start(1), _end(0), intlvHighBit(0), intlvBits(0), intlvMatch(0)
769411Sandreas.hansson@arm.com    {}
779411Sandreas.hansson@arm.com
789411Sandreas.hansson@arm.com    AddrRange(Addr _start, Addr _end, uint8_t _intlv_high_bit,
799411Sandreas.hansson@arm.com              uint8_t _intlv_bits, uint8_t _intlv_match)
809411Sandreas.hansson@arm.com        : _start(_start), _end(_end), intlvHighBit(_intlv_high_bit),
819411Sandreas.hansson@arm.com          intlvBits(_intlv_bits), intlvMatch(_intlv_match)
829235Sandreas.hansson@arm.com    {}
839235Sandreas.hansson@arm.com
849235Sandreas.hansson@arm.com    AddrRange(Addr _start, Addr _end)
859411Sandreas.hansson@arm.com        : _start(_start), _end(_end), intlvHighBit(0), intlvBits(0),
869411Sandreas.hansson@arm.com          intlvMatch(0)
879235Sandreas.hansson@arm.com    {}
889235Sandreas.hansson@arm.com
899405Sandreas.hansson@arm.com    /**
909411Sandreas.hansson@arm.com     * Determine if the range is interleaved or not.
919411Sandreas.hansson@arm.com     *
929411Sandreas.hansson@arm.com     * @return true if interleaved
939411Sandreas.hansson@arm.com     */
949411Sandreas.hansson@arm.com    bool interleaved() const { return intlvBits != 0; }
959411Sandreas.hansson@arm.com
969411Sandreas.hansson@arm.com    /**
979411Sandreas.hansson@arm.com     * Determing the interleaving granularity of the range.
989411Sandreas.hansson@arm.com     *
999411Sandreas.hansson@arm.com     * @return The size of the regions created by the interleaving bits
1009411Sandreas.hansson@arm.com     */
1019411Sandreas.hansson@arm.com    uint64_t granularity() const { return ULL(1) << intlvHighBit; }
1029411Sandreas.hansson@arm.com
1039411Sandreas.hansson@arm.com    /**
1049411Sandreas.hansson@arm.com     * Determine the number of interleaved address stripes this range
1059411Sandreas.hansson@arm.com     * is part of.
1069411Sandreas.hansson@arm.com     *
1079411Sandreas.hansson@arm.com     * @return The number of stripes spanned by the interleaving bits
1089411Sandreas.hansson@arm.com     */
1099411Sandreas.hansson@arm.com    uint32_t stripes() const { return ULL(1) << intlvBits; }
1109411Sandreas.hansson@arm.com
1119411Sandreas.hansson@arm.com    /**
1129405Sandreas.hansson@arm.com     * Get the size of the address range. For a case where
1139411Sandreas.hansson@arm.com     * interleaving is used we make the simplifying assumption that
1149411Sandreas.hansson@arm.com     * the size is a divisible by the size of the interleaving slice.
1159405Sandreas.hansson@arm.com     */
1169411Sandreas.hansson@arm.com    Addr size() const
1179411Sandreas.hansson@arm.com    {
1189411Sandreas.hansson@arm.com        return (_end - _start + 1) >> intlvBits;
1199411Sandreas.hansson@arm.com    }
120532SN/A
1219405Sandreas.hansson@arm.com    /**
1229405Sandreas.hansson@arm.com     * Determine if the range is valid.
1239405Sandreas.hansson@arm.com     */
1249405Sandreas.hansson@arm.com    bool valid() const { return _start < _end; }
1259405Sandreas.hansson@arm.com
1269405Sandreas.hansson@arm.com    /**
1279405Sandreas.hansson@arm.com     * Get the start address of the range.
1289405Sandreas.hansson@arm.com     */
1299405Sandreas.hansson@arm.com    Addr start() const { return _start; }
1309405Sandreas.hansson@arm.com
1319405Sandreas.hansson@arm.com    /**
1329405Sandreas.hansson@arm.com     * Get a string representation of the range. This could
1339405Sandreas.hansson@arm.com     * alternatively be implemented as a operator<<, but at the moment
1349405Sandreas.hansson@arm.com     * that seems like overkill.
1359405Sandreas.hansson@arm.com     */
1369405Sandreas.hansson@arm.com    std::string to_string() const
1379405Sandreas.hansson@arm.com    {
1389411Sandreas.hansson@arm.com        if (interleaved())
1399411Sandreas.hansson@arm.com            return csprintf("[%#llx : %#llx], [%d : %d] = %d", _start, _end,
1409411Sandreas.hansson@arm.com                            intlvHighBit, intlvHighBit - intlvBits + 1,
1419411Sandreas.hansson@arm.com                            intlvMatch);
1429411Sandreas.hansson@arm.com        else
1439411Sandreas.hansson@arm.com            return csprintf("[%#llx : %#llx]", _start, _end);
1449411Sandreas.hansson@arm.com    }
1459411Sandreas.hansson@arm.com
1469411Sandreas.hansson@arm.com    /**
1479411Sandreas.hansson@arm.com     * Determine if another range merges with the current one, i.e. if
1489411Sandreas.hansson@arm.com     * they are part of the same contigous range and have the same
1499411Sandreas.hansson@arm.com     * interleaving bits.
1509411Sandreas.hansson@arm.com     *
1519411Sandreas.hansson@arm.com     * @param r Range to evaluate merging with
1529411Sandreas.hansson@arm.com     * @return true if the two ranges would merge
1539411Sandreas.hansson@arm.com     */
1549411Sandreas.hansson@arm.com    bool mergesWith(const AddrRange& r) const
1559411Sandreas.hansson@arm.com    {
1569411Sandreas.hansson@arm.com        return r._start == _start && r._end == _end &&
1579411Sandreas.hansson@arm.com            r.intlvHighBit == intlvHighBit &&
1589411Sandreas.hansson@arm.com            r.intlvBits == intlvBits;
1599405Sandreas.hansson@arm.com    }
1609279Sandreas.hansson@arm.com
1619279Sandreas.hansson@arm.com    /**
1629279Sandreas.hansson@arm.com     * Determine if another range intersects this one, i.e. if there
1639279Sandreas.hansson@arm.com     * is an address that is both in this range and the other
1649279Sandreas.hansson@arm.com     * range. No check is made to ensure either range is valid.
1659279Sandreas.hansson@arm.com     *
1669279Sandreas.hansson@arm.com     * @param r Range to intersect with
1679279Sandreas.hansson@arm.com     * @return true if the intersection of the two ranges is not empty
1689279Sandreas.hansson@arm.com     */
1699279Sandreas.hansson@arm.com    bool intersects(const AddrRange& r) const
1709279Sandreas.hansson@arm.com    {
1719411Sandreas.hansson@arm.com        if (!interleaved()) {
1729411Sandreas.hansson@arm.com            return _start <= r._end && _end >= r._start;
1739411Sandreas.hansson@arm.com        }
1749411Sandreas.hansson@arm.com
1759411Sandreas.hansson@arm.com        // the current range is interleaved, split the check up in
1769411Sandreas.hansson@arm.com        // three cases
1779411Sandreas.hansson@arm.com        if (r.size() == 1)
1789411Sandreas.hansson@arm.com            // keep it simple and check if the address is within
1799411Sandreas.hansson@arm.com            // this range
1809411Sandreas.hansson@arm.com            return contains(r.start());
1819411Sandreas.hansson@arm.com        else if (!r.interleaved())
1829411Sandreas.hansson@arm.com            // be conservative and ignore the interleaving
1839411Sandreas.hansson@arm.com            return _start <= r._end && _end >= r._start;
1849411Sandreas.hansson@arm.com        else if (mergesWith(r))
1859411Sandreas.hansson@arm.com            // restrict the check to ranges that belong to the
1869411Sandreas.hansson@arm.com            // same chunk
1879411Sandreas.hansson@arm.com            return intlvMatch == r.intlvMatch;
1889411Sandreas.hansson@arm.com        else
1899411Sandreas.hansson@arm.com            panic("Cannot test intersection of interleaved range %s\n",
1909411Sandreas.hansson@arm.com                  to_string());
1919279Sandreas.hansson@arm.com    }
1929279Sandreas.hansson@arm.com
1939279Sandreas.hansson@arm.com    /**
1949279Sandreas.hansson@arm.com     * Determine if this range is a subset of another range, i.e. if
1959279Sandreas.hansson@arm.com     * every address in this range is also in the other range. No
1969279Sandreas.hansson@arm.com     * check is made to ensure either range is valid.
1979279Sandreas.hansson@arm.com     *
1989279Sandreas.hansson@arm.com     * @param r Range to compare with
1999279Sandreas.hansson@arm.com     * @return true if the this range is a subset of the other one
2009279Sandreas.hansson@arm.com     */
2019279Sandreas.hansson@arm.com    bool isSubset(const AddrRange& r) const
2029279Sandreas.hansson@arm.com    {
2039411Sandreas.hansson@arm.com        if (interleaved())
2049411Sandreas.hansson@arm.com            panic("Cannot test subset of interleaved range %s\n", to_string());
2059405Sandreas.hansson@arm.com        return _start >= r._start && _end <= r._end;
2069279Sandreas.hansson@arm.com    }
2079405Sandreas.hansson@arm.com
2089405Sandreas.hansson@arm.com    /**
2099405Sandreas.hansson@arm.com     * Determine if the range contains an address.
2109405Sandreas.hansson@arm.com     *
2119405Sandreas.hansson@arm.com     * @param a Address to compare with
2129405Sandreas.hansson@arm.com     * @return true if the address is in the range
2139405Sandreas.hansson@arm.com     */
2149405Sandreas.hansson@arm.com    bool contains(const Addr& a) const
2159405Sandreas.hansson@arm.com    {
2169411Sandreas.hansson@arm.com        // check if the address is in the range and if there is either
2179411Sandreas.hansson@arm.com        // no interleaving, or with interleaving also if the selected
2189411Sandreas.hansson@arm.com        // bits from the address match the interleaving value
2199411Sandreas.hansson@arm.com        return a >= _start && a <= _end &&
2209411Sandreas.hansson@arm.com            (interleaved() ||
2219411Sandreas.hansson@arm.com             (bits(a, intlvHighBit, intlvHighBit - intlvBits + 1) ==
2229411Sandreas.hansson@arm.com              intlvMatch));
2239405Sandreas.hansson@arm.com    }
2242SN/A
225531SN/A/**
2269235Sandreas.hansson@arm.com * Keep the operators away from SWIG.
227531SN/A */
2289235Sandreas.hansson@arm.com#ifndef SWIG
2292SN/A
2309405Sandreas.hansson@arm.com    /**
2319405Sandreas.hansson@arm.com     * Less-than operator used to turn an STL map into a binary search
2329405Sandreas.hansson@arm.com     * tree of non-overlapping address ranges.
2339405Sandreas.hansson@arm.com     *
2349405Sandreas.hansson@arm.com     * @param r Range to compare with
2359405Sandreas.hansson@arm.com     * @return true if the start address is less than that of the other range
2369405Sandreas.hansson@arm.com     */
2379405Sandreas.hansson@arm.com    bool operator<(const AddrRange& r) const
2389405Sandreas.hansson@arm.com    {
2399411Sandreas.hansson@arm.com        if (_start != r._start)
2409411Sandreas.hansson@arm.com            return _start < r._start;
2419411Sandreas.hansson@arm.com        else
2429411Sandreas.hansson@arm.com            // for now assume that the end is also the same, and that
2439411Sandreas.hansson@arm.com            // we are looking at the same interleaving bits
2449411Sandreas.hansson@arm.com            return intlvMatch < r.intlvMatch;
2459405Sandreas.hansson@arm.com    }
246531SN/A
2479405Sandreas.hansson@arm.com#endif // SWIG
2489405Sandreas.hansson@arm.com};
2492SN/A
2509235Sandreas.hansson@arm.cominline AddrRange
2519235Sandreas.hansson@arm.comRangeEx(Addr start, Addr end)
2529405Sandreas.hansson@arm.com{ return AddrRange(start, end - 1); }
2532SN/A
2549235Sandreas.hansson@arm.cominline AddrRange
2559235Sandreas.hansson@arm.comRangeIn(Addr start, Addr end)
2569405Sandreas.hansson@arm.com{ return AddrRange(start, end); }
2572SN/A
2589235Sandreas.hansson@arm.cominline AddrRange
2599235Sandreas.hansson@arm.comRangeSize(Addr start, Addr size)
2609405Sandreas.hansson@arm.com{ return AddrRange(start, start + size - 1); }
2612SN/A
2629235Sandreas.hansson@arm.com#endif // __BASE_ADDR_RANGE_HH__
263