gem5 v25.0.0.1
Loading...
Searching...
No Matches
pma_checker.cc
Go to the documentation of this file.
1/*
2 * Copyright (c) 2021 Huawei International
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated
11 * unmodified and in its entirety in all distributions of the software,
12 * modified or unmodified, in source code or in binary form.
13 *
14 * Redistribution and use in source and binary forms, with or without
15 * modification, are permitted provided that the following conditions are
16 * met: redistributions of source code must retain the above copyright
17 * notice, this list of conditions and the following disclaimer;
18 * redistributions in binary form must reproduce the above copyright
19 * notice, this list of conditions and the following disclaimer in the
20 * documentation and/or other materials provided with the distribution;
21 * neither the name of the copyright holders nor the names of its
22 * contributors may be used to endorse or promote products derived from
23 * this software without specific prior written permission.
24 *
25 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
26 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
27 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
28 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
29 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
30 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
31 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
32 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
33 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
34 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
35 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 */
37
39
40#include "arch/riscv/faults.hh"
42#include "arch/riscv/mmu.hh"
43#include "base/addr_range.hh"
44#include "base/types.hh"
45#include "mem/packet.hh"
46#include "mem/request.hh"
47#include "params/PMAChecker.hh"
48#include "sim/sim_object.hh"
49
50namespace gem5
51{
52
53namespace RiscvISA
54{
55
59{
60 for (auto& range: params.misaligned) {
61 misaligned.insert(range, true);
62 }
63}
64
67{
68 if (isUncacheable(req->getPaddr(), req->getSize())) {
70 }
71
73}
74
77 const RequestPtr &req, BaseMMU::Mode mode)
78{
79 // We need to translate address before alignment check
80 // if there are some memory ranges support misaligned load/store
81 if (hasMisaligned()) {
82 return NoFault;
83 }
84
85 // Ingore alignment check for instruction fetching
86 if (mode == BaseMMU::Execute) {
87 return NoFault;
88 }
89 assert(req->hasVaddr());
90 Addr alignSize = mask(req->getArchFlags() & MMU::AlignmentMask) + 1;
91 if (addressAlign(req->getVaddr(), alignSize)) {
92 return NoFault;
93 }
95 req->getVaddr(), mode, req->getArchFlags() & XlateFlags::FORCE_VIRT);
96}
97
98bool
100{
101 for (auto const &uncacheable_range: uncacheable) {
102 if (range.isSubset(uncacheable_range)) {
103 return true;
104 }
105 }
106 return false;
107}
108
109bool
110PMAChecker::isUncacheable(const Addr &addr, const unsigned size)
111{
112 AddrRange range(addr, addr + size);
113 return isUncacheable(range);
114}
115
116bool
121
122void
124{
125 PMAChecker* derived_old = dynamic_cast<PMAChecker*>(old);
126 assert(derived_old != nullptr);
127 uncacheable = derived_old->uncacheable;
128 misaligned = derived_old->misaligned;
129}
130
131Fault
134{
135 Addr paddr = 0;
136 // Ingore alignment check for instruction fetching
137 if (mode == BaseMMU::Execute) {
138 return NoFault;
139 }
140 assert(req->hasPaddr());
141 paddr = req->getPaddr();
142 Addr alignSize = mask(req->getArchFlags() & MMU::AlignmentMask) + 1;
143 if (addressAlign(paddr, alignSize)) {
144 return NoFault;
145 }
146 if (misalignedSupport(RangeSize(paddr, req->getSize()))){
147 return NoFault;
148 }
149 return createMisalignFault(
150 (req->hasVaddr() ? req->getVaddr() : vaddr), mode);
151}
152
153Fault
155 Addr vaddr, BaseMMU::Mode mode, bool virtualized)
156{
158 switch (mode) {
159 case BaseMMU::Read:
161 break;
162 case BaseMMU::Write:
164 break;
165 default:
166 panic("Execute mode request should not reach here.");
167 }
168 return std::make_shared<AddressFault>(vaddr, code, virtualized);
169}
170
171bool
173 return (addr & (size - 1)) == 0;
174}
175
176bool
178{
179 return misaligned.contains(range) != misaligned.end();
180}
181
182bool
184{
185 return !misaligned.empty();
186}
187
188} // namespace RiscvISA
189} // namespace gem5
Defines global host-dependent types: Counter, Tick, and (indirectly) {int,uint}{8,...
The AddrRange class encapsulates an address range, and supports a number of tests to check if two ran...
Definition addr_range.hh:82
AddrRange getAddrRange() const
Get address range to which this packet belongs.
Definition packet.cc:243
@ STRICT_ORDER
The request is required to be strictly ordered by CPU models and is non-speculative.
Definition request.hh:135
@ UNCACHEABLE
The request is to an uncacheable address.
Definition request.hh:125
BasePMAChecker(const BasePMACheckerParams &params)
Fault createMisalignFault(Addr vaddr, BaseMMU::Mode mode, bool virtualized=false)
bool isUncacheable(const AddrRange &range)
PMAChecker(const Params &params)
Fault checkPAddrAlignment(const RequestPtr &req, BaseMMU::Mode mode, Addr vaddr)
Fault check(const RequestPtr &req, BaseMMU::Mode mode, Addr vaddr=0) override
void takeOverFrom(BasePMAChecker *old) override
AddrRangeMap< bool, 3 > misaligned
PMACheckerParams Params
Fault checkVAddrAlignment(const RequestPtr &req, BaseMMU::Mode mode) override
bool misalignedSupport(const AddrRange &range)
const Params & params() const
bool addressAlign(const Addr addr, const Addr size)
bool isSubset(const AddrRange &r) const
Determine if this range is a subset of another range, i.e.
AddrRange RangeSize(Addr start, Addr size)
#define panic(...)
This implements a cprintf based panic() function.
Definition logging.hh:220
Bitfield< 3 > addr
Definition types.hh:84
Copyright (c) 2024 Arm Limited All rights reserved.
Definition binary32.hh:36
std::shared_ptr< FaultBase > Fault
Definition types.hh:249
std::shared_ptr< Request > RequestPtr
Definition request.hh:94
uint64_t Addr
Address type This will probably be moved somewhere else in the near future.
Definition types.hh:147
Packet * PacketPtr
constexpr decltype(nullptr) NoFault
Definition types.hh:253
Declaration of the Packet class.
Declaration of a request, the overall memory request consisting of the parts of the request that are ...

Generated on Sat Oct 18 2025 08:06:41 for gem5 by doxygen 1.14.0