111723Sar4jc@virginia.edu/*
211723Sar4jc@virginia.edu * Copyright (c) 2016 RISC-V Foundation
311723Sar4jc@virginia.edu * Copyright (c) 2016 The University of Virginia
412808Srobert.scheffel1@tu-dresden.de * Copyright (c) 2018 TU Dresden
511723Sar4jc@virginia.edu * All rights reserved.
611723Sar4jc@virginia.edu *
711723Sar4jc@virginia.edu * Redistribution and use in source and binary forms, with or without
811723Sar4jc@virginia.edu * modification, are permitted provided that the following conditions are
911723Sar4jc@virginia.edu * met: redistributions of source code must retain the above copyright
1011723Sar4jc@virginia.edu * notice, this list of conditions and the following disclaimer;
1111723Sar4jc@virginia.edu * redistributions in binary form must reproduce the above copyright
1211723Sar4jc@virginia.edu * notice, this list of conditions and the following disclaimer in the
1311723Sar4jc@virginia.edu * documentation and/or other materials provided with the distribution;
1411723Sar4jc@virginia.edu * neither the name of the copyright holders nor the names of its
1511723Sar4jc@virginia.edu * contributors may be used to endorse or promote products derived from
1611723Sar4jc@virginia.edu * this software without specific prior written permission.
1711723Sar4jc@virginia.edu *
1811723Sar4jc@virginia.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1911723Sar4jc@virginia.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
2011723Sar4jc@virginia.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
2111723Sar4jc@virginia.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2211723Sar4jc@virginia.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
2311723Sar4jc@virginia.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
2411723Sar4jc@virginia.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
2511723Sar4jc@virginia.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
2611723Sar4jc@virginia.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
2711723Sar4jc@virginia.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
2811723Sar4jc@virginia.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
2911723Sar4jc@virginia.edu *
3011723Sar4jc@virginia.edu * Authors: Alec Roelke
3112808Srobert.scheffel1@tu-dresden.de *          Robert Scheffel
3211723Sar4jc@virginia.edu */
3311723Sar4jc@virginia.edu#include "arch/riscv/faults.hh"
3411723Sar4jc@virginia.edu
3512848Sar4jc@virginia.edu#include "arch/riscv/isa.hh"
3612848Sar4jc@virginia.edu#include "arch/riscv/registers.hh"
3712808Srobert.scheffel1@tu-dresden.de#include "arch/riscv/system.hh"
3811723Sar4jc@virginia.edu#include "arch/riscv/utility.hh"
3912808Srobert.scheffel1@tu-dresden.de#include "cpu/base.hh"
4011723Sar4jc@virginia.edu#include "cpu/thread_context.hh"
4111723Sar4jc@virginia.edu#include "sim/debug.hh"
4211723Sar4jc@virginia.edu#include "sim/full_system.hh"
4311723Sar4jc@virginia.edu
4412848Sar4jc@virginia.edunamespace RiscvISA
4512848Sar4jc@virginia.edu{
4611723Sar4jc@virginia.edu
4711723Sar4jc@virginia.eduvoid
4812848Sar4jc@virginia.eduRiscvFault::invokeSE(ThreadContext *tc, const StaticInstPtr &inst)
4911723Sar4jc@virginia.edu{
5011723Sar4jc@virginia.edu    panic("Fault %s encountered at pc 0x%016llx.", name(), tc->pcState().pc());
5111723Sar4jc@virginia.edu}
5211723Sar4jc@virginia.edu
5311723Sar4jc@virginia.eduvoid
5411723Sar4jc@virginia.eduRiscvFault::invoke(ThreadContext *tc, const StaticInstPtr &inst)
5511723Sar4jc@virginia.edu{
5612848Sar4jc@virginia.edu    PCState pcState = tc->pcState();
5712848Sar4jc@virginia.edu
5811723Sar4jc@virginia.edu    if (FullSystem) {
5912848Sar4jc@virginia.edu        PrivilegeMode pp = (PrivilegeMode)tc->readMiscReg(MISCREG_PRV);
6012848Sar4jc@virginia.edu        PrivilegeMode prv = PRV_M;
6112848Sar4jc@virginia.edu        STATUS status = tc->readMiscReg(MISCREG_STATUS);
6212848Sar4jc@virginia.edu
6312848Sar4jc@virginia.edu        // Set fault handler privilege mode
6413548Salec.roelke@gmail.com        if (isInterrupt()) {
6513548Salec.roelke@gmail.com            if (pp != PRV_M &&
6613548Salec.roelke@gmail.com                bits(tc->readMiscReg(MISCREG_MIDELEG), _code) != 0) {
6713548Salec.roelke@gmail.com                prv = PRV_S;
6813548Salec.roelke@gmail.com            }
6913548Salec.roelke@gmail.com            if (pp == PRV_U &&
7013548Salec.roelke@gmail.com                bits(tc->readMiscReg(MISCREG_SIDELEG), _code) != 0) {
7113548Salec.roelke@gmail.com                prv = PRV_U;
7213548Salec.roelke@gmail.com            }
7313548Salec.roelke@gmail.com        } else {
7413548Salec.roelke@gmail.com            if (pp != PRV_M &&
7513548Salec.roelke@gmail.com                bits(tc->readMiscReg(MISCREG_MEDELEG), _code) != 0) {
7613548Salec.roelke@gmail.com                prv = PRV_S;
7713548Salec.roelke@gmail.com            }
7813548Salec.roelke@gmail.com            if (pp == PRV_U &&
7913548Salec.roelke@gmail.com                bits(tc->readMiscReg(MISCREG_SEDELEG), _code) != 0) {
8013548Salec.roelke@gmail.com                prv = PRV_U;
8113548Salec.roelke@gmail.com            }
8212848Sar4jc@virginia.edu        }
8312848Sar4jc@virginia.edu
8412848Sar4jc@virginia.edu        // Set fault registers and status
8512849Sar4jc@virginia.edu        MiscRegIndex cause, epc, tvec, tval;
8612848Sar4jc@virginia.edu        switch (prv) {
8712848Sar4jc@virginia.edu          case PRV_U:
8812848Sar4jc@virginia.edu            cause = MISCREG_UCAUSE;
8912848Sar4jc@virginia.edu            epc = MISCREG_UEPC;
9012848Sar4jc@virginia.edu            tvec = MISCREG_UTVEC;
9112849Sar4jc@virginia.edu            tval = MISCREG_UTVAL;
9212848Sar4jc@virginia.edu
9312848Sar4jc@virginia.edu            status.upie = status.uie;
9412848Sar4jc@virginia.edu            status.uie = 0;
9512848Sar4jc@virginia.edu            break;
9612848Sar4jc@virginia.edu          case PRV_S:
9712848Sar4jc@virginia.edu            cause = MISCREG_SCAUSE;
9812848Sar4jc@virginia.edu            epc = MISCREG_SEPC;
9912848Sar4jc@virginia.edu            tvec = MISCREG_STVEC;
10012849Sar4jc@virginia.edu            tval = MISCREG_STVAL;
10112848Sar4jc@virginia.edu
10212848Sar4jc@virginia.edu            status.spp = pp;
10312848Sar4jc@virginia.edu            status.spie = status.sie;
10412848Sar4jc@virginia.edu            status.sie = 0;
10512848Sar4jc@virginia.edu            break;
10612848Sar4jc@virginia.edu          case PRV_M:
10712848Sar4jc@virginia.edu            cause = MISCREG_MCAUSE;
10812848Sar4jc@virginia.edu            epc = MISCREG_MEPC;
10912848Sar4jc@virginia.edu            tvec = MISCREG_MTVEC;
11012849Sar4jc@virginia.edu            tval = MISCREG_MTVAL;
11112848Sar4jc@virginia.edu
11212848Sar4jc@virginia.edu            status.mpp = pp;
11312848Sar4jc@virginia.edu            status.mpie = status.sie;
11412848Sar4jc@virginia.edu            status.mie = 0;
11512848Sar4jc@virginia.edu            break;
11612848Sar4jc@virginia.edu          default:
11712848Sar4jc@virginia.edu            panic("Unknown privilege mode %d.", prv);
11812848Sar4jc@virginia.edu            break;
11912848Sar4jc@virginia.edu        }
12012848Sar4jc@virginia.edu
12112848Sar4jc@virginia.edu        // Set fault cause, privilege, and return PC
12212848Sar4jc@virginia.edu        tc->setMiscReg(cause,
12313612Sgabeblack@google.com                       (isInterrupt() << (sizeof(uint64_t) * 4 - 1)) | _code);
12412848Sar4jc@virginia.edu        tc->setMiscReg(epc, tc->instAddr());
12512849Sar4jc@virginia.edu        tc->setMiscReg(tval, trap_value());
12612848Sar4jc@virginia.edu        tc->setMiscReg(MISCREG_PRV, prv);
12712848Sar4jc@virginia.edu        tc->setMiscReg(MISCREG_STATUS, status);
12812848Sar4jc@virginia.edu
12912848Sar4jc@virginia.edu        // Set PC to fault handler address
13013548Salec.roelke@gmail.com        Addr addr = tc->readMiscReg(tvec) >> 2;
13113548Salec.roelke@gmail.com        if (isInterrupt() && bits(tc->readMiscReg(tvec), 1, 0) == 1)
13213548Salec.roelke@gmail.com            addr += 4 * _code;
13313548Salec.roelke@gmail.com        pcState.set(addr);
13411723Sar4jc@virginia.edu    } else {
13512848Sar4jc@virginia.edu        invokeSE(tc, inst);
13611723Sar4jc@virginia.edu        advancePC(pcState, inst);
13711723Sar4jc@virginia.edu    }
13812848Sar4jc@virginia.edu    tc->pcState(pcState);
13911723Sar4jc@virginia.edu}
14011723Sar4jc@virginia.edu
14112808Srobert.scheffel1@tu-dresden.devoid Reset::invoke(ThreadContext *tc, const StaticInstPtr &inst)
14212808Srobert.scheffel1@tu-dresden.de{
14313547Sar4jc@virginia.edu    tc->setMiscReg(MISCREG_PRV, PRV_M);
14413547Sar4jc@virginia.edu    STATUS status = tc->readMiscReg(MISCREG_STATUS);
14513547Sar4jc@virginia.edu    status.mie = 0;
14613547Sar4jc@virginia.edu    status.mprv = 0;
14713547Sar4jc@virginia.edu    tc->setMiscReg(MISCREG_STATUS, status);
14813547Sar4jc@virginia.edu    tc->setMiscReg(MISCREG_MCAUSE, 0);
14913547Sar4jc@virginia.edu
15012808Srobert.scheffel1@tu-dresden.de    // Advance the PC to the implementation-defined reset vector
15112808Srobert.scheffel1@tu-dresden.de    PCState pc = static_cast<RiscvSystem *>(tc->getSystemPtr())->resetVect();
15212808Srobert.scheffel1@tu-dresden.de    tc->pcState(pc);
15312808Srobert.scheffel1@tu-dresden.de}
15412808Srobert.scheffel1@tu-dresden.de
15511723Sar4jc@virginia.eduvoid
15612848Sar4jc@virginia.eduUnknownInstFault::invokeSE(ThreadContext *tc, const StaticInstPtr &inst)
15711723Sar4jc@virginia.edu{
15811723Sar4jc@virginia.edu    panic("Unknown instruction 0x%08x at pc 0x%016llx", inst->machInst,
15911723Sar4jc@virginia.edu        tc->pcState().pc());
16011723Sar4jc@virginia.edu}
16111723Sar4jc@virginia.edu
16211723Sar4jc@virginia.eduvoid
16312848Sar4jc@virginia.eduIllegalInstFault::invokeSE(ThreadContext *tc, const StaticInstPtr &inst)
16412136Sar4jc@virginia.edu{
16512136Sar4jc@virginia.edu    panic("Illegal instruction 0x%08x at pc 0x%016llx: %s", inst->machInst,
16612136Sar4jc@virginia.edu        tc->pcState().pc(), reason.c_str());
16712136Sar4jc@virginia.edu}
16812136Sar4jc@virginia.edu
16912136Sar4jc@virginia.eduvoid
17012848Sar4jc@virginia.eduUnimplementedFault::invokeSE(ThreadContext *tc,
17111723Sar4jc@virginia.edu        const StaticInstPtr &inst)
17211723Sar4jc@virginia.edu{
17311723Sar4jc@virginia.edu    panic("Unimplemented instruction %s at pc 0x%016llx", instName,
17411723Sar4jc@virginia.edu        tc->pcState().pc());
17511723Sar4jc@virginia.edu}
17611723Sar4jc@virginia.edu
17711723Sar4jc@virginia.eduvoid
17812848Sar4jc@virginia.eduIllegalFrmFault::invokeSE(ThreadContext *tc, const StaticInstPtr &inst)
17911725Sar4jc@virginia.edu{
18011725Sar4jc@virginia.edu    panic("Illegal floating-point rounding mode 0x%x at pc 0x%016llx.",
18111725Sar4jc@virginia.edu            frm, tc->pcState().pc());
18211725Sar4jc@virginia.edu}
18311725Sar4jc@virginia.edu
18411725Sar4jc@virginia.eduvoid
18512848Sar4jc@virginia.eduBreakpointFault::invokeSE(ThreadContext *tc, const StaticInstPtr &inst)
18611723Sar4jc@virginia.edu{
18711723Sar4jc@virginia.edu    schedRelBreak(0);
18811723Sar4jc@virginia.edu}
18911723Sar4jc@virginia.edu
19011723Sar4jc@virginia.eduvoid
19112848Sar4jc@virginia.eduSyscallFault::invokeSE(ThreadContext *tc, const StaticInstPtr &inst)
19211723Sar4jc@virginia.edu{
19311877Sbrandon.potter@amd.com    Fault *fault = NoFault;
19411877Sbrandon.potter@amd.com    tc->syscall(tc->readIntReg(SyscallNumReg), fault);
19511723Sar4jc@virginia.edu}
19612848Sar4jc@virginia.edu
19713612Sgabeblack@google.com} // namespace RiscvISA
198