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
3411723Sar4jc@virginia.edu#ifndef __ARCH_RISCV_FAULTS_HH__
3511723Sar4jc@virginia.edu#define __ARCH_RISCV_FAULTS_HH__
3611723Sar4jc@virginia.edu
3711723Sar4jc@virginia.edu#include <string>
3811723Sar4jc@virginia.edu
3912850Salec.roelke@gmail.com#include "arch/riscv/isa.hh"
4012848Sar4jc@virginia.edu#include "arch/riscv/registers.hh"
4111723Sar4jc@virginia.edu#include "cpu/thread_context.hh"
4211723Sar4jc@virginia.edu#include "sim/faults.hh"
4311723Sar4jc@virginia.edu
4411723Sar4jc@virginia.edunamespace RiscvISA
4511723Sar4jc@virginia.edu{
4611723Sar4jc@virginia.edu
4713612Sgabeblack@google.comenum FloatException : uint64_t {
4812848Sar4jc@virginia.edu    FloatInexact = 0x1,
4912848Sar4jc@virginia.edu    FloatUnderflow = 0x2,
5012848Sar4jc@virginia.edu    FloatOverflow = 0x4,
5112848Sar4jc@virginia.edu    FloatDivZero = 0x8,
5212848Sar4jc@virginia.edu    FloatInvalid = 0x10
5312848Sar4jc@virginia.edu};
5411725Sar4jc@virginia.edu
5513548Salec.roelke@gmail.com/*
5613548Salec.roelke@gmail.com * In RISC-V, exception and interrupt codes share some values. They can be
5713548Salec.roelke@gmail.com * differentiated by an 'Interrupt' flag that is enabled for interrupt faults
5813548Salec.roelke@gmail.com * but not exceptions. The full fault cause can be computed by placing the
5913548Salec.roelke@gmail.com * exception (or interrupt) code in the least significant bits of the CAUSE
6013548Salec.roelke@gmail.com * CSR and then setting the highest bit of CAUSE with the 'Interrupt' flag.
6113548Salec.roelke@gmail.com * For more details on exception causes, see Chapter 3.1.20 of the RISC-V
6213548Salec.roelke@gmail.com * privileged specification v 1.10. Codes are enumerated in Table 3.6.
6313548Salec.roelke@gmail.com */
6413612Sgabeblack@google.comenum ExceptionCode : uint64_t {
6511723Sar4jc@virginia.edu    INST_ADDR_MISALIGNED = 0,
6611723Sar4jc@virginia.edu    INST_ACCESS = 1,
6711723Sar4jc@virginia.edu    INST_ILLEGAL = 2,
6811723Sar4jc@virginia.edu    BREAKPOINT = 3,
6911723Sar4jc@virginia.edu    LOAD_ADDR_MISALIGNED = 4,
7011723Sar4jc@virginia.edu    LOAD_ACCESS = 5,
7111723Sar4jc@virginia.edu    STORE_ADDR_MISALIGNED = 6,
7211723Sar4jc@virginia.edu    AMO_ADDR_MISALIGNED = 6,
7311723Sar4jc@virginia.edu    STORE_ACCESS = 7,
7411723Sar4jc@virginia.edu    AMO_ACCESS = 7,
7511723Sar4jc@virginia.edu    ECALL_USER = 8,
7611723Sar4jc@virginia.edu    ECALL_SUPER = 9,
7712848Sar4jc@virginia.edu    ECALL_MACHINE = 11,
7812848Sar4jc@virginia.edu    INST_PAGE = 12,
7912848Sar4jc@virginia.edu    LOAD_PAGE = 13,
8012848Sar4jc@virginia.edu    STORE_PAGE = 15,
8113548Salec.roelke@gmail.com    AMO_PAGE = 15,
8213548Salec.roelke@gmail.com
8313548Salec.roelke@gmail.com    INT_SOFTWARE_USER = 0,
8413548Salec.roelke@gmail.com    INT_SOFTWARE_SUPER = 1,
8513548Salec.roelke@gmail.com    INT_SOFTWARE_MACHINE = 3,
8613548Salec.roelke@gmail.com    INT_TIMER_USER = 4,
8713548Salec.roelke@gmail.com    INT_TIMER_SUPER = 5,
8813548Salec.roelke@gmail.com    INT_TIMER_MACHINE = 7,
8913548Salec.roelke@gmail.com    INT_EXT_USER = 8,
9013548Salec.roelke@gmail.com    INT_EXT_SUPER = 9,
9113548Salec.roelke@gmail.com    INT_EXT_MACHINE = 11,
9213548Salec.roelke@gmail.com    NumInterruptTypes
9311723Sar4jc@virginia.edu};
9411723Sar4jc@virginia.edu
9511723Sar4jc@virginia.educlass RiscvFault : public FaultBase
9611723Sar4jc@virginia.edu{
9711723Sar4jc@virginia.edu  protected:
9811723Sar4jc@virginia.edu    const FaultName _name;
9912850Salec.roelke@gmail.com    const bool _interrupt;
10012850Salec.roelke@gmail.com    ExceptionCode _code;
10111723Sar4jc@virginia.edu
10212848Sar4jc@virginia.edu    RiscvFault(FaultName n, bool i, ExceptionCode c)
10312848Sar4jc@virginia.edu        : _name(n), _interrupt(i), _code(c)
10411723Sar4jc@virginia.edu    {}
10511723Sar4jc@virginia.edu
10612849Sar4jc@virginia.edu    FaultName name() const override { return _name; }
10712848Sar4jc@virginia.edu    bool isInterrupt() const { return _interrupt; }
10812848Sar4jc@virginia.edu    ExceptionCode exception() const { return _code; }
10913612Sgabeblack@google.com    virtual RegVal trap_value() const { return 0; }
11011723Sar4jc@virginia.edu
11112848Sar4jc@virginia.edu    virtual void invokeSE(ThreadContext *tc, const StaticInstPtr &inst);
11212848Sar4jc@virginia.edu    void invoke(ThreadContext *tc, const StaticInstPtr &inst) override;
11311723Sar4jc@virginia.edu};
11411723Sar4jc@virginia.edu
11512808Srobert.scheffel1@tu-dresden.declass Reset : public FaultBase
11612808Srobert.scheffel1@tu-dresden.de{
11713547Sar4jc@virginia.edu  private:
11813547Sar4jc@virginia.edu    const FaultName _name;
11912808Srobert.scheffel1@tu-dresden.de
12013547Sar4jc@virginia.edu  public:
12113547Sar4jc@virginia.edu    Reset() : _name("reset") {}
12213547Sar4jc@virginia.edu    FaultName name() const override { return _name; }
12312808Srobert.scheffel1@tu-dresden.de
12413547Sar4jc@virginia.edu    void invoke(ThreadContext *tc, const StaticInstPtr &inst =
12513547Sar4jc@virginia.edu        StaticInst::nullStaticInstPtr) override;
12612808Srobert.scheffel1@tu-dresden.de};
12711723Sar4jc@virginia.edu
12813548Salec.roelke@gmail.comclass InterruptFault : public RiscvFault
12913548Salec.roelke@gmail.com{
13013548Salec.roelke@gmail.com  public:
13113548Salec.roelke@gmail.com    InterruptFault(ExceptionCode c) : RiscvFault("interrupt", true, c) {}
13213548Salec.roelke@gmail.com    InterruptFault(int c) : InterruptFault(static_cast<ExceptionCode>(c)) {}
13313548Salec.roelke@gmail.com};
13413548Salec.roelke@gmail.com
13512849Sar4jc@virginia.educlass InstFault : public RiscvFault
13612849Sar4jc@virginia.edu{
13712849Sar4jc@virginia.edu  protected:
13812849Sar4jc@virginia.edu    const ExtMachInst _inst;
13912849Sar4jc@virginia.edu
14012849Sar4jc@virginia.edu  public:
14112849Sar4jc@virginia.edu    InstFault(FaultName n, const ExtMachInst inst)
14212849Sar4jc@virginia.edu        : RiscvFault(n, false, INST_ILLEGAL), _inst(inst)
14312849Sar4jc@virginia.edu    {}
14412849Sar4jc@virginia.edu
14513612Sgabeblack@google.com    RegVal trap_value() const override { return _inst; }
14612849Sar4jc@virginia.edu};
14712849Sar4jc@virginia.edu
14812849Sar4jc@virginia.educlass UnknownInstFault : public InstFault
14911723Sar4jc@virginia.edu{
15011723Sar4jc@virginia.edu  public:
15112849Sar4jc@virginia.edu    UnknownInstFault(const ExtMachInst inst)
15212849Sar4jc@virginia.edu        : InstFault("Unknown instruction", inst)
15311723Sar4jc@virginia.edu    {}
15411723Sar4jc@virginia.edu
15512848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
15611723Sar4jc@virginia.edu};
15711723Sar4jc@virginia.edu
15812849Sar4jc@virginia.educlass IllegalInstFault : public InstFault
15912136Sar4jc@virginia.edu{
16012136Sar4jc@virginia.edu  private:
16112136Sar4jc@virginia.edu    const std::string reason;
16212848Sar4jc@virginia.edu
16312136Sar4jc@virginia.edu  public:
16412849Sar4jc@virginia.edu    IllegalInstFault(std::string r, const ExtMachInst inst)
16512849Sar4jc@virginia.edu        : InstFault("Illegal instruction", inst)
16612136Sar4jc@virginia.edu    {}
16712136Sar4jc@virginia.edu
16812848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
16912136Sar4jc@virginia.edu};
17012136Sar4jc@virginia.edu
17112849Sar4jc@virginia.educlass UnimplementedFault : public InstFault
17211723Sar4jc@virginia.edu{
17311723Sar4jc@virginia.edu  private:
17411723Sar4jc@virginia.edu    const std::string instName;
17512848Sar4jc@virginia.edu
17611723Sar4jc@virginia.edu  public:
17712849Sar4jc@virginia.edu    UnimplementedFault(std::string name, const ExtMachInst inst)
17812849Sar4jc@virginia.edu        : InstFault("Unimplemented instruction", inst),
17912848Sar4jc@virginia.edu          instName(name)
18011723Sar4jc@virginia.edu    {}
18111723Sar4jc@virginia.edu
18212848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
18311723Sar4jc@virginia.edu};
18411723Sar4jc@virginia.edu
18512849Sar4jc@virginia.educlass IllegalFrmFault: public InstFault
18611725Sar4jc@virginia.edu{
18711725Sar4jc@virginia.edu  private:
18811725Sar4jc@virginia.edu    const uint8_t frm;
18912848Sar4jc@virginia.edu
19011725Sar4jc@virginia.edu  public:
19112849Sar4jc@virginia.edu    IllegalFrmFault(uint8_t r, const ExtMachInst inst)
19212849Sar4jc@virginia.edu        : InstFault("Illegal floating-point rounding mode", inst),
19312848Sar4jc@virginia.edu          frm(r)
19411725Sar4jc@virginia.edu    {}
19511725Sar4jc@virginia.edu
19612848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
19711725Sar4jc@virginia.edu};
19811725Sar4jc@virginia.edu
19912849Sar4jc@virginia.educlass AddressFault : public RiscvFault
20012849Sar4jc@virginia.edu{
20112849Sar4jc@virginia.edu  private:
20212849Sar4jc@virginia.edu    const Addr _addr;
20312849Sar4jc@virginia.edu
20412849Sar4jc@virginia.edu  public:
20512849Sar4jc@virginia.edu    AddressFault(const Addr addr, ExceptionCode code)
20612849Sar4jc@virginia.edu        : RiscvFault("Address", false, code), _addr(addr)
20712849Sar4jc@virginia.edu    {}
20812849Sar4jc@virginia.edu
20913612Sgabeblack@google.com    RegVal trap_value() const override { return _addr; }
21012849Sar4jc@virginia.edu};
21112849Sar4jc@virginia.edu
21211723Sar4jc@virginia.educlass BreakpointFault : public RiscvFault
21311723Sar4jc@virginia.edu{
21412849Sar4jc@virginia.edu  private:
21512849Sar4jc@virginia.edu    const PCState pcState;
21612849Sar4jc@virginia.edu
21711723Sar4jc@virginia.edu  public:
21812849Sar4jc@virginia.edu    BreakpointFault(const PCState &pc)
21912849Sar4jc@virginia.edu        : RiscvFault("Breakpoint", false, BREAKPOINT), pcState(pc)
22012849Sar4jc@virginia.edu    {}
22112849Sar4jc@virginia.edu
22213612Sgabeblack@google.com    RegVal trap_value() const override { return pcState.pc(); }
22312848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
22411723Sar4jc@virginia.edu};
22511723Sar4jc@virginia.edu
22611723Sar4jc@virginia.educlass SyscallFault : public RiscvFault
22711723Sar4jc@virginia.edu{
22811723Sar4jc@virginia.edu  public:
22912850Salec.roelke@gmail.com    SyscallFault(PrivilegeMode prv)
23012850Salec.roelke@gmail.com        : RiscvFault("System call", false, ECALL_USER)
23112850Salec.roelke@gmail.com    {
23212850Salec.roelke@gmail.com        switch (prv) {
23312850Salec.roelke@gmail.com          case PRV_U:
23412850Salec.roelke@gmail.com            _code = ECALL_USER;
23512850Salec.roelke@gmail.com            break;
23612850Salec.roelke@gmail.com          case PRV_S:
23712850Salec.roelke@gmail.com            _code = ECALL_SUPER;
23812850Salec.roelke@gmail.com            break;
23912850Salec.roelke@gmail.com          case PRV_M:
24012850Salec.roelke@gmail.com            _code = ECALL_MACHINE;
24112850Salec.roelke@gmail.com            break;
24212850Salec.roelke@gmail.com          default:
24312850Salec.roelke@gmail.com            panic("Unknown privilege mode %d.", prv);
24412850Salec.roelke@gmail.com            break;
24512850Salec.roelke@gmail.com        }
24612850Salec.roelke@gmail.com    }
24712850Salec.roelke@gmail.com
24812848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
24911723Sar4jc@virginia.edu};
25011723Sar4jc@virginia.edu
25111723Sar4jc@virginia.edu} // namespace RiscvISA
25211723Sar4jc@virginia.edu
25312850Salec.roelke@gmail.com#endif // __ARCH_RISCV_FAULTS_HH__
254