utility.cc revision 14171
1/*
2 * Copyright (c) 2009-2014, 2016-2019 ARM Limited
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 * Authors: Ali Saidi
38 */
39
40#include "arch/arm/utility.hh"
41
42#include <memory>
43
44#include "arch/arm/faults.hh"
45#include "arch/arm/isa_traits.hh"
46#include "arch/arm/system.hh"
47#include "arch/arm/tlb.hh"
48#include "arch/arm/vtophys.hh"
49#include "cpu/base.hh"
50#include "cpu/checker/cpu.hh"
51#include "cpu/thread_context.hh"
52#include "mem/fs_translating_port_proxy.hh"
53#include "sim/full_system.hh"
54
55namespace ArmISA {
56
57void
58initCPU(ThreadContext *tc, int cpuId)
59{
60    // Reset CP15?? What does that mean -- ali
61
62    // FPEXC.EN = 0
63
64    static Fault reset = std::make_shared<Reset>();
65    reset->invoke(tc);
66}
67
68uint64_t
69getArgument(ThreadContext *tc, int &number, uint16_t size, bool fp)
70{
71    if (!FullSystem) {
72        panic("getArgument() only implemented for full system mode.\n");
73        M5_DUMMY_RETURN
74    }
75
76    if (fp)
77        panic("getArgument(): Floating point arguments not implemented\n");
78
79    if (inAArch64(tc)) {
80        if (size == (uint16_t)(-1))
81            size = sizeof(uint64_t);
82
83        if (number < 8 /*NumArgumentRegs64*/) {
84               return tc->readIntReg(number);
85        } else {
86            panic("getArgument(): No support reading stack args for AArch64\n");
87        }
88    } else {
89        if (size == (uint16_t)(-1))
90            // todo: should this not be sizeof(uint32_t) rather?
91            size = ArmISA::MachineBytes;
92
93        if (number < NumArgumentRegs) {
94            // If the argument is 64 bits, it must be in an even regiser
95            // number. Increment the number here if it isn't even.
96            if (size == sizeof(uint64_t)) {
97                if ((number % 2) != 0)
98                    number++;
99                // Read the two halves of the data. Number is inc here to
100                // get the second half of the 64 bit reg.
101                uint64_t tmp;
102                tmp = tc->readIntReg(number++);
103                tmp |= tc->readIntReg(number) << 32;
104                return tmp;
105            } else {
106               return tc->readIntReg(number);
107            }
108        } else {
109            Addr sp = tc->readIntReg(StackPointerReg);
110            PortProxy &vp = tc->getVirtProxy();
111            uint64_t arg;
112            if (size == sizeof(uint64_t)) {
113                // If the argument is even it must be aligned
114                if ((number % 2) != 0)
115                    number++;
116                arg = vp.read<uint64_t>(sp +
117                        (number-NumArgumentRegs) * sizeof(uint32_t));
118                // since two 32 bit args == 1 64 bit arg, increment number
119                number++;
120            } else {
121                arg = vp.read<uint32_t>(sp +
122                               (number-NumArgumentRegs) * sizeof(uint32_t));
123            }
124            return arg;
125        }
126    }
127    panic("getArgument() should always return\n");
128}
129
130void
131skipFunction(ThreadContext *tc)
132{
133    PCState newPC = tc->pcState();
134    if (inAArch64(tc)) {
135        newPC.set(tc->readIntReg(INTREG_X30));
136    } else {
137        newPC.set(tc->readIntReg(ReturnAddressReg) & ~ULL(1));
138    }
139
140    CheckerCPU *checker = tc->getCheckerCpuPtr();
141    if (checker) {
142        tc->pcStateNoRecord(newPC);
143    } else {
144        tc->pcState(newPC);
145    }
146}
147
148static void
149copyVecRegs(ThreadContext *src, ThreadContext *dest)
150{
151    auto src_mode = RenameMode<ArmISA::ISA>::mode(src->pcState());
152
153    // The way vector registers are copied (VecReg vs VecElem) is relevant
154    // in the O3 model only.
155    if (src_mode == Enums::Full) {
156        for (auto idx = 0; idx < NumVecRegs; idx++)
157            dest->setVecRegFlat(idx, src->readVecRegFlat(idx));
158    } else {
159        for (auto idx = 0; idx < NumVecRegs; idx++)
160            for (auto elem_idx = 0; elem_idx < NumVecElemPerVecReg; elem_idx++)
161                dest->setVecElemFlat(
162                    idx, elem_idx, src->readVecElemFlat(idx, elem_idx));
163    }
164}
165
166void
167copyRegs(ThreadContext *src, ThreadContext *dest)
168{
169    for (int i = 0; i < NumIntRegs; i++)
170        dest->setIntRegFlat(i, src->readIntRegFlat(i));
171
172    for (int i = 0; i < NumFloatRegs; i++)
173        dest->setFloatRegFlat(i, src->readFloatRegFlat(i));
174
175    for (int i = 0; i < NumCCRegs; i++)
176        dest->setCCReg(i, src->readCCReg(i));
177
178    for (int i = 0; i < NumMiscRegs; i++)
179        dest->setMiscRegNoEffect(i, src->readMiscRegNoEffect(i));
180
181    copyVecRegs(src, dest);
182
183    // setMiscReg "with effect" will set the misc register mapping correctly.
184    // e.g. updateRegMap(val)
185    dest->setMiscReg(MISCREG_CPSR, src->readMiscRegNoEffect(MISCREG_CPSR));
186
187    // Copy over the PC State
188    dest->pcState(src->pcState());
189
190    // Invalidate the tlb misc register cache
191    dynamic_cast<TLB *>(dest->getITBPtr())->invalidateMiscReg();
192    dynamic_cast<TLB *>(dest->getDTBPtr())->invalidateMiscReg();
193}
194
195bool
196inSecureState(ThreadContext *tc)
197{
198    SCR scr = inAArch64(tc) ? tc->readMiscReg(MISCREG_SCR_EL3) :
199        tc->readMiscReg(MISCREG_SCR);
200    return ArmSystem::haveSecurity(tc) && inSecureState(
201        scr, tc->readMiscReg(MISCREG_CPSR));
202}
203
204inline bool
205isSecureBelowEL3(ThreadContext *tc)
206{
207    SCR scr = tc->readMiscReg(MISCREG_SCR_EL3);
208    return ArmSystem::haveEL(tc, EL3) && scr.ns == 0;
209}
210
211bool
212inAArch64(ThreadContext *tc)
213{
214    CPSR cpsr = tc->readMiscReg(MISCREG_CPSR);
215    return opModeIs64((OperatingMode) (uint8_t) cpsr.mode);
216}
217
218bool
219longDescFormatInUse(ThreadContext *tc)
220{
221    TTBCR ttbcr = tc->readMiscReg(MISCREG_TTBCR);
222    return ArmSystem::haveLPAE(tc) && ttbcr.eae;
223}
224
225RegVal
226readMPIDR(ArmSystem *arm_sys, ThreadContext *tc)
227{
228    CPSR cpsr = tc->readMiscReg(MISCREG_CPSR);
229    const ExceptionLevel current_el =
230        opModeToEL((OperatingMode) (uint8_t) cpsr.mode);
231
232    const bool is_secure = isSecureBelowEL3(tc);
233
234    switch (current_el) {
235      case EL0:
236        // Note: in MsrMrs instruction we read the register value before
237        // checking access permissions. This means that EL0 entry must
238        // be part of the table even if MPIDR is not accessible in user
239        // mode.
240        warn_once("Trying to read MPIDR at EL0\n");
241        M5_FALLTHROUGH;
242      case EL1:
243        if (ArmSystem::haveEL(tc, EL2) && !is_secure)
244            return tc->readMiscReg(MISCREG_VMPIDR_EL2);
245        else
246            return getMPIDR(arm_sys, tc);
247      case EL2:
248      case EL3:
249        return getMPIDR(arm_sys, tc);
250      default:
251        panic("Invalid EL for reading MPIDR register\n");
252    }
253}
254
255RegVal
256getMPIDR(ArmSystem *arm_sys, ThreadContext *tc)
257{
258    // Multiprocessor Affinity Register MPIDR from Cortex(tm)-A15 Technical
259    // Reference Manual
260    //
261    // bit   31 - Multi-processor extensions available
262    // bit   30 - Uni-processor system
263    // bit   24 - Multi-threaded cores
264    // bit 11-8 - Cluster ID
265    // bit  1-0 - CPU ID
266    //
267    // We deliberately extend both the Cluster ID and CPU ID fields to allow
268    // for simulation of larger systems
269    assert((0 <= tc->cpuId()) && (tc->cpuId() < 256));
270    assert(tc->socketId() < 65536);
271    if (arm_sys->multiThread) {
272       return 0x80000000 | // multiprocessor extensions available
273              0x01000000 | // multi-threaded cores
274              tc->contextId();
275    } else if (arm_sys->multiProc) {
276       return 0x80000000 | // multiprocessor extensions available
277              tc->cpuId() | tc->socketId() << 8;
278    } else {
279       return 0x80000000 |  // multiprocessor extensions available
280              0x40000000 |  // in up system
281              tc->cpuId() | tc->socketId() << 8;
282    }
283}
284
285bool
286ELIs64(ThreadContext *tc, ExceptionLevel el)
287{
288    return !ELIs32(tc, el);
289}
290
291bool
292ELIs32(ThreadContext *tc, ExceptionLevel el)
293{
294    bool known, aarch32;
295    std::tie(known, aarch32) = ELUsingAArch32K(tc, el);
296    panic_if(!known, "EL state is UNKNOWN");
297    return aarch32;
298}
299
300bool
301ELIsInHost(ThreadContext *tc, ExceptionLevel el)
302{
303    if (!ArmSystem::haveVirtualization(tc)) {
304        return false;
305    }
306    HCR hcr = tc->readMiscReg(MISCREG_HCR_EL2);
307    return (!isSecureBelowEL3(tc) && !ELIs32(tc, EL2) && hcr.e2h == 1 &&
308            (el == EL2 || (el == EL0 && hcr.tge == 1)));
309}
310
311std::pair<bool, bool>
312ELUsingAArch32K(ThreadContext *tc, ExceptionLevel el)
313{
314    // Return true if the specified EL is in aarch32 state.
315    const bool have_el3 = ArmSystem::haveSecurity(tc);
316    const bool have_el2 = ArmSystem::haveVirtualization(tc);
317
318    panic_if(el == EL2 && !have_el2, "Asking for EL2 when it doesn't exist");
319    panic_if(el == EL3 && !have_el3, "Asking for EL3 when it doesn't exist");
320
321    bool known, aarch32;
322    known = aarch32 = false;
323    if (ArmSystem::highestELIs64(tc) && ArmSystem::highestEL(tc) == el) {
324        // Target EL is the highest one in a system where
325        // the highest is using AArch64.
326        known = true; aarch32 = false;
327    } else if (!ArmSystem::highestELIs64(tc)) {
328        // All ELs are using AArch32:
329        known = true; aarch32 = true;
330    } else {
331        SCR scr = tc->readMiscReg(MISCREG_SCR_EL3);
332        bool aarch32_below_el3 = (have_el3 && scr.rw == 0);
333
334        HCR hcr = tc->readMiscReg(MISCREG_HCR_EL2);
335        bool aarch32_at_el1 = (aarch32_below_el3
336                               || (have_el2
337                               && !isSecureBelowEL3(tc) && hcr.rw == 0));
338
339        // Only know if EL0 using AArch32 from PSTATE
340        if (el == EL0 && !aarch32_at_el1) {
341            // EL0 controlled by PSTATE
342            CPSR cpsr = tc->readMiscReg(MISCREG_CPSR);
343
344            known = (currEL(tc) == EL0);
345            aarch32 = (cpsr.width == 1);
346        } else {
347            known = true;
348            aarch32 = (aarch32_below_el3 && el != EL3)
349                      || (aarch32_at_el1 && (el == EL0 || el == EL1) );
350        }
351    }
352
353    return std::make_pair(known, aarch32);
354}
355
356bool
357isBigEndian64(ThreadContext *tc)
358{
359    switch (opModeToEL(currOpMode(tc))) {
360      case EL3:
361        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL3)).ee;
362      case EL2:
363        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL2)).ee;
364      case EL1:
365        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL1)).ee;
366      case EL0:
367        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL1)).e0e;
368      default:
369        panic("Invalid exception level");
370        break;
371    }
372}
373
374bool
375badMode32(ThreadContext *tc, OperatingMode mode)
376{
377    return unknownMode32(mode) || !ArmSystem::haveEL(tc, opModeToEL(mode));
378}
379
380bool
381badMode(ThreadContext *tc, OperatingMode mode)
382{
383    return unknownMode(mode) || !ArmSystem::haveEL(tc, opModeToEL(mode));
384}
385
386Addr
387purifyTaggedAddr(Addr addr, ThreadContext *tc, ExceptionLevel el,
388                 TTBCR tcr)
389{
390    switch (el) {
391      case EL0:
392      case EL1:
393        if (bits(addr, 55, 48) == 0xFF && tcr.tbi1)
394            return addr | mask(63, 55);
395        else if (!bits(addr, 55, 48) && tcr.tbi0)
396            return bits(addr,55, 0);
397        break;
398      case EL2:
399        assert(ArmSystem::haveVirtualization(tc));
400        tcr = tc->readMiscReg(MISCREG_TCR_EL2);
401        if (tcr.tbi)
402            return addr & mask(56);
403        break;
404      case EL3:
405        assert(ArmSystem::haveSecurity(tc));
406        if (tcr.tbi)
407            return addr & mask(56);
408        break;
409      default:
410        panic("Invalid exception level");
411        break;
412    }
413
414    return addr;  // Nothing to do if this is not a tagged address
415}
416
417Addr
418purifyTaggedAddr(Addr addr, ThreadContext *tc, ExceptionLevel el)
419{
420    TTBCR tcr;
421
422    switch (el) {
423      case EL0:
424      case EL1:
425        tcr = tc->readMiscReg(MISCREG_TCR_EL1);
426        if (bits(addr, 55, 48) == 0xFF && tcr.tbi1)
427            return addr | mask(63, 55);
428        else if (!bits(addr, 55, 48) && tcr.tbi0)
429            return bits(addr,55, 0);
430        break;
431      case EL2:
432        assert(ArmSystem::haveVirtualization(tc));
433        tcr = tc->readMiscReg(MISCREG_TCR_EL2);
434        if (tcr.tbi)
435            return addr & mask(56);
436        break;
437      case EL3:
438        assert(ArmSystem::haveSecurity(tc));
439        tcr = tc->readMiscReg(MISCREG_TCR_EL3);
440        if (tcr.tbi)
441            return addr & mask(56);
442        break;
443      default:
444        panic("Invalid exception level");
445        break;
446    }
447
448    return addr;  // Nothing to do if this is not a tagged address
449}
450
451Addr
452truncPage(Addr addr)
453{
454    return addr & ~(PageBytes - 1);
455}
456
457Addr
458roundPage(Addr addr)
459{
460    return (addr + PageBytes - 1) & ~(PageBytes - 1);
461}
462
463bool
464mcrMrc15TrapToHyp(const MiscRegIndex miscReg, ThreadContext *tc, uint32_t iss)
465{
466    bool        isRead;
467    uint32_t    crm;
468    IntRegIndex rt;
469    uint32_t    crn;
470    uint32_t    opc1;
471    uint32_t    opc2;
472    bool        trapToHype = false;
473
474    const CPSR cpsr = tc->readMiscReg(MISCREG_CPSR);
475    const HCR hcr = tc->readMiscReg(MISCREG_HCR);
476    const SCR scr = tc->readMiscReg(MISCREG_SCR);
477    const HDCR hdcr = tc->readMiscReg(MISCREG_HDCR);
478    const HSTR hstr = tc->readMiscReg(MISCREG_HSTR);
479    const HCPTR hcptr = tc->readMiscReg(MISCREG_HCPTR);
480
481    if (!inSecureState(scr, cpsr) && (cpsr.mode != MODE_HYP)) {
482        mcrMrcIssExtract(iss, isRead, crm, rt, crn, opc1, opc2);
483        trapToHype  = ((uint32_t) hstr) & (1 << crn);
484        trapToHype |= hdcr.tpm  && (crn == 9) && (crm >= 12);
485        trapToHype |= hcr.tidcp && (
486            ((crn ==  9) && ((crm <= 2) || ((crm >= 5) && (crm <= 8)))) ||
487            ((crn == 10) && ((crm <= 1) ||  (crm == 4) || (crm == 8)))  ||
488            ((crn == 11) && ((crm <= 8) ||  (crm == 15)))               );
489
490        if (!trapToHype) {
491            switch (unflattenMiscReg(miscReg)) {
492              case MISCREG_CPACR:
493                trapToHype = hcptr.tcpac;
494                break;
495              case MISCREG_REVIDR:
496              case MISCREG_TCMTR:
497              case MISCREG_TLBTR:
498              case MISCREG_AIDR:
499                trapToHype = hcr.tid1;
500                break;
501              case MISCREG_CTR:
502              case MISCREG_CCSIDR:
503              case MISCREG_CLIDR:
504              case MISCREG_CSSELR:
505                trapToHype = hcr.tid2;
506                break;
507              case MISCREG_ID_PFR0:
508              case MISCREG_ID_PFR1:
509              case MISCREG_ID_DFR0:
510              case MISCREG_ID_AFR0:
511              case MISCREG_ID_MMFR0:
512              case MISCREG_ID_MMFR1:
513              case MISCREG_ID_MMFR2:
514              case MISCREG_ID_MMFR3:
515              case MISCREG_ID_ISAR0:
516              case MISCREG_ID_ISAR1:
517              case MISCREG_ID_ISAR2:
518              case MISCREG_ID_ISAR3:
519              case MISCREG_ID_ISAR4:
520              case MISCREG_ID_ISAR5:
521                trapToHype = hcr.tid3;
522                break;
523              case MISCREG_DCISW:
524              case MISCREG_DCCSW:
525              case MISCREG_DCCISW:
526                trapToHype = hcr.tsw;
527                break;
528              case MISCREG_DCIMVAC:
529              case MISCREG_DCCIMVAC:
530              case MISCREG_DCCMVAC:
531                trapToHype = hcr.tpc;
532                break;
533              case MISCREG_ICIMVAU:
534              case MISCREG_ICIALLU:
535              case MISCREG_ICIALLUIS:
536              case MISCREG_DCCMVAU:
537                trapToHype = hcr.tpu;
538                break;
539              case MISCREG_TLBIALLIS:
540              case MISCREG_TLBIMVAIS:
541              case MISCREG_TLBIASIDIS:
542              case MISCREG_TLBIMVAAIS:
543              case MISCREG_TLBIMVALIS:
544              case MISCREG_TLBIMVAALIS:
545              case MISCREG_DTLBIALL:
546              case MISCREG_ITLBIALL:
547              case MISCREG_DTLBIMVA:
548              case MISCREG_ITLBIMVA:
549              case MISCREG_DTLBIASID:
550              case MISCREG_ITLBIASID:
551              case MISCREG_TLBIMVAA:
552              case MISCREG_TLBIALL:
553              case MISCREG_TLBIMVA:
554              case MISCREG_TLBIMVAL:
555              case MISCREG_TLBIMVAAL:
556              case MISCREG_TLBIASID:
557                trapToHype = hcr.ttlb;
558                break;
559              case MISCREG_ACTLR:
560                trapToHype = hcr.tac;
561                break;
562              case MISCREG_SCTLR:
563              case MISCREG_TTBR0:
564              case MISCREG_TTBR1:
565              case MISCREG_TTBCR:
566              case MISCREG_DACR:
567              case MISCREG_DFSR:
568              case MISCREG_IFSR:
569              case MISCREG_DFAR:
570              case MISCREG_IFAR:
571              case MISCREG_ADFSR:
572              case MISCREG_AIFSR:
573              case MISCREG_PRRR:
574              case MISCREG_NMRR:
575              case MISCREG_MAIR0:
576              case MISCREG_MAIR1:
577              case MISCREG_CONTEXTIDR:
578                trapToHype = hcr.tvm & !isRead;
579                break;
580              case MISCREG_PMCR:
581                trapToHype = hdcr.tpmcr;
582                break;
583              // GICv3 regs
584              case MISCREG_ICC_SGI0R:
585                if (tc->getIsaPtr()->haveGICv3CpuIfc())
586                    trapToHype = hcr.fmo;
587                break;
588              case MISCREG_ICC_SGI1R:
589              case MISCREG_ICC_ASGI1R:
590                if (tc->getIsaPtr()->haveGICv3CpuIfc())
591                    trapToHype = hcr.imo;
592                break;
593              // No default action needed
594              default:
595                break;
596            }
597        }
598    }
599    return trapToHype;
600}
601
602
603bool
604mcrMrc14TrapToHyp(const MiscRegIndex miscReg, HCR hcr, CPSR cpsr, SCR scr,
605                  HDCR hdcr, HSTR hstr, HCPTR hcptr, uint32_t iss)
606{
607    bool        isRead;
608    uint32_t    crm;
609    IntRegIndex rt;
610    uint32_t    crn;
611    uint32_t    opc1;
612    uint32_t    opc2;
613    bool        trapToHype = false;
614
615    if (!inSecureState(scr, cpsr) && (cpsr.mode != MODE_HYP)) {
616        mcrMrcIssExtract(iss, isRead, crm, rt, crn, opc1, opc2);
617        inform("trap check M:%x N:%x 1:%x 2:%x hdcr %x, hcptr %x, hstr %x\n",
618                crm, crn, opc1, opc2, hdcr, hcptr, hstr);
619        trapToHype  = hdcr.tda  && (opc1 == 0);
620        trapToHype |= hcptr.tta && (opc1 == 1);
621        if (!trapToHype) {
622            switch (unflattenMiscReg(miscReg)) {
623              case MISCREG_DBGOSLSR:
624              case MISCREG_DBGOSLAR:
625              case MISCREG_DBGOSDLR:
626              case MISCREG_DBGPRCR:
627                trapToHype = hdcr.tdosa;
628                break;
629              case MISCREG_DBGDRAR:
630              case MISCREG_DBGDSAR:
631                trapToHype = hdcr.tdra;
632                break;
633              case MISCREG_JIDR:
634                trapToHype = hcr.tid0;
635                break;
636              case MISCREG_JOSCR:
637              case MISCREG_JMCR:
638                trapToHype = hstr.tjdbx;
639                break;
640              case MISCREG_TEECR:
641              case MISCREG_TEEHBR:
642                trapToHype = hstr.ttee;
643                break;
644              // No default action needed
645              default:
646                break;
647            }
648        }
649    }
650    return trapToHype;
651}
652
653bool
654mcrrMrrc15TrapToHyp(const MiscRegIndex miscReg, CPSR cpsr, SCR scr, HSTR hstr,
655                    HCR hcr, uint32_t iss)
656{
657    uint32_t    crm;
658    IntRegIndex rt;
659    uint32_t    crn;
660    uint32_t    opc1;
661    uint32_t    opc2;
662    bool        isRead;
663    bool        trapToHype = false;
664
665    if (!inSecureState(scr, cpsr) && (cpsr.mode != MODE_HYP)) {
666        // This is technically the wrong function, but we can re-use it for
667        // the moment because we only need one field, which overlaps with the
668        // mcrmrc layout
669        mcrMrcIssExtract(iss, isRead, crm, rt, crn, opc1, opc2);
670        trapToHype = ((uint32_t) hstr) & (1 << crm);
671
672        if (!trapToHype) {
673            switch (unflattenMiscReg(miscReg)) {
674              case MISCREG_SCTLR:
675              case MISCREG_TTBR0:
676              case MISCREG_TTBR1:
677              case MISCREG_TTBCR:
678              case MISCREG_DACR:
679              case MISCREG_DFSR:
680              case MISCREG_IFSR:
681              case MISCREG_DFAR:
682              case MISCREG_IFAR:
683              case MISCREG_ADFSR:
684              case MISCREG_AIFSR:
685              case MISCREG_PRRR:
686              case MISCREG_NMRR:
687              case MISCREG_MAIR0:
688              case MISCREG_MAIR1:
689              case MISCREG_CONTEXTIDR:
690                trapToHype = hcr.tvm & !isRead;
691                break;
692              // No default action needed
693              default:
694                break;
695            }
696        }
697    }
698    return trapToHype;
699}
700
701bool
702decodeMrsMsrBankedReg(uint8_t sysM, bool r, bool &isIntReg, int &regIdx,
703                      CPSR cpsr, SCR scr, NSACR nsacr, bool checkSecurity)
704{
705    OperatingMode mode = MODE_UNDEFINED;
706    bool          ok = true;
707
708    // R mostly indicates if its a int register or a misc reg, we override
709    // below if the few corner cases
710    isIntReg = !r;
711    // Loosely based on ARM ARM issue C section B9.3.10
712    if (r) {
713        switch (sysM)
714        {
715          case 0xE:
716            regIdx = MISCREG_SPSR_FIQ;
717            mode   = MODE_FIQ;
718            break;
719          case 0x10:
720            regIdx = MISCREG_SPSR_IRQ;
721            mode   = MODE_IRQ;
722            break;
723          case 0x12:
724            regIdx = MISCREG_SPSR_SVC;
725            mode   = MODE_SVC;
726            break;
727          case 0x14:
728            regIdx = MISCREG_SPSR_ABT;
729            mode   = MODE_ABORT;
730            break;
731          case 0x16:
732            regIdx = MISCREG_SPSR_UND;
733            mode   = MODE_UNDEFINED;
734            break;
735          case 0x1C:
736            regIdx = MISCREG_SPSR_MON;
737            mode   = MODE_MON;
738            break;
739          case 0x1E:
740            regIdx = MISCREG_SPSR_HYP;
741            mode   = MODE_HYP;
742            break;
743          default:
744            ok = false;
745            break;
746        }
747    } else {
748        int sysM4To3 = bits(sysM, 4, 3);
749
750        if (sysM4To3 == 0) {
751            mode = MODE_USER;
752            regIdx = intRegInMode(mode, bits(sysM, 2, 0) + 8);
753        } else if (sysM4To3 == 1) {
754            mode = MODE_FIQ;
755            regIdx = intRegInMode(mode, bits(sysM, 2, 0) + 8);
756        } else if (sysM4To3 == 3) {
757            if (bits(sysM, 1) == 0) {
758                mode = MODE_MON;
759                regIdx = intRegInMode(mode, 14 - bits(sysM, 0));
760            } else {
761                mode = MODE_HYP;
762                if (bits(sysM, 0) == 1) {
763                    regIdx = intRegInMode(mode, 13); // R13 in HYP
764                } else {
765                    isIntReg = false;
766                    regIdx   = MISCREG_ELR_HYP;
767                }
768            }
769        } else { // Other Banked registers
770            int sysM2 = bits(sysM, 2);
771            int sysM1 = bits(sysM, 1);
772
773            mode  = (OperatingMode) ( ((sysM2 ||  sysM1) << 0) |
774                                      (1                 << 1) |
775                                      ((sysM2 && !sysM1) << 2) |
776                                      ((sysM2 &&  sysM1) << 3) |
777                                      (1                 << 4) );
778            regIdx = intRegInMode(mode, 14 - bits(sysM, 0));
779            // Don't flatten the register here. This is going to go through
780            // setIntReg() which will do the flattening
781            ok &= mode != cpsr.mode;
782        }
783    }
784
785    // Check that the requested register is accessable from the current mode
786    if (ok && checkSecurity && mode != cpsr.mode) {
787        switch (cpsr.mode)
788        {
789          case MODE_USER:
790            ok = false;
791            break;
792          case MODE_FIQ:
793            ok &=  mode != MODE_HYP;
794            ok &= (mode != MODE_MON) || !scr.ns;
795            break;
796          case MODE_HYP:
797            ok &=  mode != MODE_MON;
798            ok &= (mode != MODE_FIQ) || !nsacr.rfr;
799            break;
800          case MODE_IRQ:
801          case MODE_SVC:
802          case MODE_ABORT:
803          case MODE_UNDEFINED:
804          case MODE_SYSTEM:
805            ok &=  mode != MODE_HYP;
806            ok &= (mode != MODE_MON) || !scr.ns;
807            ok &= (mode != MODE_FIQ) || !nsacr.rfr;
808            break;
809          // can access everything, no further checks required
810          case MODE_MON:
811            break;
812          default:
813            panic("unknown Mode 0x%x\n", cpsr.mode);
814            break;
815        }
816    }
817    return (ok);
818}
819
820bool
821SPAlignmentCheckEnabled(ThreadContext* tc)
822{
823    switch (opModeToEL(currOpMode(tc))) {
824      case EL3:
825        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL3)).sa;
826      case EL2:
827        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL2)).sa;
828      case EL1:
829        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL1)).sa;
830      case EL0:
831        return ((SCTLR) tc->readMiscReg(MISCREG_SCTLR_EL1)).sa0;
832      default:
833        panic("Invalid exception level");
834        break;
835    }
836}
837
838int
839decodePhysAddrRange64(uint8_t pa_enc)
840{
841    switch (pa_enc) {
842      case 0x0:
843        return 32;
844      case 0x1:
845        return 36;
846      case 0x2:
847        return 40;
848      case 0x3:
849        return 42;
850      case 0x4:
851        return 44;
852      case 0x5:
853      case 0x6:
854      case 0x7:
855        return 48;
856      default:
857        panic("Invalid phys. address range encoding");
858    }
859}
860
861uint8_t
862encodePhysAddrRange64(int pa_size)
863{
864    switch (pa_size) {
865      case 32:
866        return 0x0;
867      case 36:
868        return 0x1;
869      case 40:
870        return 0x2;
871      case 42:
872        return 0x3;
873      case 44:
874        return 0x4;
875      case 48:
876        return 0x5;
877      default:
878        panic("Invalid phys. address range");
879    }
880}
881
882} // namespace ArmISA
883