faults.hh revision 12850
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
3712850Salec.roelke@gmail.com#include <map>
3811723Sar4jc@virginia.edu#include <string>
3911723Sar4jc@virginia.edu
4012850Salec.roelke@gmail.com#include "arch/riscv/isa.hh"
4112848Sar4jc@virginia.edu#include "arch/riscv/registers.hh"
4211723Sar4jc@virginia.edu#include "cpu/thread_context.hh"
4311723Sar4jc@virginia.edu#include "sim/faults.hh"
4411723Sar4jc@virginia.edu
4511723Sar4jc@virginia.edunamespace RiscvISA
4611723Sar4jc@virginia.edu{
4711723Sar4jc@virginia.edu
4812848Sar4jc@virginia.eduenum FloatException : MiscReg {
4912848Sar4jc@virginia.edu    FloatInexact = 0x1,
5012848Sar4jc@virginia.edu    FloatUnderflow = 0x2,
5112848Sar4jc@virginia.edu    FloatOverflow = 0x4,
5212848Sar4jc@virginia.edu    FloatDivZero = 0x8,
5312848Sar4jc@virginia.edu    FloatInvalid = 0x10
5412848Sar4jc@virginia.edu};
5511725Sar4jc@virginia.edu
5612848Sar4jc@virginia.eduenum ExceptionCode : MiscReg {
5711723Sar4jc@virginia.edu    INST_ADDR_MISALIGNED = 0,
5811723Sar4jc@virginia.edu    INST_ACCESS = 1,
5911723Sar4jc@virginia.edu    INST_ILLEGAL = 2,
6011723Sar4jc@virginia.edu    BREAKPOINT = 3,
6111723Sar4jc@virginia.edu    LOAD_ADDR_MISALIGNED = 4,
6211723Sar4jc@virginia.edu    LOAD_ACCESS = 5,
6311723Sar4jc@virginia.edu    STORE_ADDR_MISALIGNED = 6,
6411723Sar4jc@virginia.edu    AMO_ADDR_MISALIGNED = 6,
6511723Sar4jc@virginia.edu    STORE_ACCESS = 7,
6611723Sar4jc@virginia.edu    AMO_ACCESS = 7,
6711723Sar4jc@virginia.edu    ECALL_USER = 8,
6811723Sar4jc@virginia.edu    ECALL_SUPER = 9,
6912848Sar4jc@virginia.edu    ECALL_MACHINE = 11,
7012848Sar4jc@virginia.edu    INST_PAGE = 12,
7112848Sar4jc@virginia.edu    LOAD_PAGE = 13,
7212848Sar4jc@virginia.edu    STORE_PAGE = 15,
7312848Sar4jc@virginia.edu    AMO_PAGE = 15
7411723Sar4jc@virginia.edu};
7511723Sar4jc@virginia.edu
7611723Sar4jc@virginia.educlass RiscvFault : public FaultBase
7711723Sar4jc@virginia.edu{
7811723Sar4jc@virginia.edu  protected:
7911723Sar4jc@virginia.edu    const FaultName _name;
8012850Salec.roelke@gmail.com    const bool _interrupt;
8112850Salec.roelke@gmail.com    ExceptionCode _code;
8211723Sar4jc@virginia.edu
8312848Sar4jc@virginia.edu    RiscvFault(FaultName n, bool i, ExceptionCode c)
8412848Sar4jc@virginia.edu        : _name(n), _interrupt(i), _code(c)
8511723Sar4jc@virginia.edu    {}
8611723Sar4jc@virginia.edu
8712849Sar4jc@virginia.edu    FaultName name() const override { return _name; }
8812848Sar4jc@virginia.edu    bool isInterrupt() const { return _interrupt; }
8912848Sar4jc@virginia.edu    ExceptionCode exception() const { return _code; }
9012849Sar4jc@virginia.edu    virtual MiscReg trap_value() const { return 0; }
9111723Sar4jc@virginia.edu
9212848Sar4jc@virginia.edu    virtual void invokeSE(ThreadContext *tc, const StaticInstPtr &inst);
9312848Sar4jc@virginia.edu    void invoke(ThreadContext *tc, const StaticInstPtr &inst) override;
9411723Sar4jc@virginia.edu};
9511723Sar4jc@virginia.edu
9612808Srobert.scheffel1@tu-dresden.declass Reset : public FaultBase
9712808Srobert.scheffel1@tu-dresden.de{
9812808Srobert.scheffel1@tu-dresden.de
9912808Srobert.scheffel1@tu-dresden.de    public:
10012808Srobert.scheffel1@tu-dresden.de        Reset()
10112808Srobert.scheffel1@tu-dresden.de            : _name("reset")
10212808Srobert.scheffel1@tu-dresden.de        {}
10312808Srobert.scheffel1@tu-dresden.de
10412808Srobert.scheffel1@tu-dresden.de        FaultName
10512808Srobert.scheffel1@tu-dresden.de        name() const override
10612808Srobert.scheffel1@tu-dresden.de        {
10712808Srobert.scheffel1@tu-dresden.de            return _name;
10812808Srobert.scheffel1@tu-dresden.de        }
10912808Srobert.scheffel1@tu-dresden.de
11012808Srobert.scheffel1@tu-dresden.de        void
11112808Srobert.scheffel1@tu-dresden.de        invoke(ThreadContext *tc, const StaticInstPtr &inst =
11212808Srobert.scheffel1@tu-dresden.de            StaticInst::nullStaticInstPtr) override;
11312808Srobert.scheffel1@tu-dresden.de
11412808Srobert.scheffel1@tu-dresden.de    private:
11512808Srobert.scheffel1@tu-dresden.de        const FaultName _name;
11612808Srobert.scheffel1@tu-dresden.de};
11711723Sar4jc@virginia.edu
11812849Sar4jc@virginia.educlass InstFault : public RiscvFault
11912849Sar4jc@virginia.edu{
12012849Sar4jc@virginia.edu  protected:
12112849Sar4jc@virginia.edu    const ExtMachInst _inst;
12212849Sar4jc@virginia.edu
12312849Sar4jc@virginia.edu  public:
12412849Sar4jc@virginia.edu    InstFault(FaultName n, const ExtMachInst inst)
12512849Sar4jc@virginia.edu        : RiscvFault(n, false, INST_ILLEGAL), _inst(inst)
12612849Sar4jc@virginia.edu    {}
12712849Sar4jc@virginia.edu
12812849Sar4jc@virginia.edu    MiscReg trap_value() const override { return _inst; }
12912849Sar4jc@virginia.edu};
13012849Sar4jc@virginia.edu
13112849Sar4jc@virginia.educlass UnknownInstFault : public InstFault
13211723Sar4jc@virginia.edu{
13311723Sar4jc@virginia.edu  public:
13412849Sar4jc@virginia.edu    UnknownInstFault(const ExtMachInst inst)
13512849Sar4jc@virginia.edu        : InstFault("Unknown instruction", inst)
13611723Sar4jc@virginia.edu    {}
13711723Sar4jc@virginia.edu
13812848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
13911723Sar4jc@virginia.edu};
14011723Sar4jc@virginia.edu
14112849Sar4jc@virginia.educlass IllegalInstFault : public InstFault
14212136Sar4jc@virginia.edu{
14312136Sar4jc@virginia.edu  private:
14412136Sar4jc@virginia.edu    const std::string reason;
14512848Sar4jc@virginia.edu
14612136Sar4jc@virginia.edu  public:
14712849Sar4jc@virginia.edu    IllegalInstFault(std::string r, const ExtMachInst inst)
14812849Sar4jc@virginia.edu        : InstFault("Illegal instruction", inst)
14912136Sar4jc@virginia.edu    {}
15012136Sar4jc@virginia.edu
15112848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
15212136Sar4jc@virginia.edu};
15312136Sar4jc@virginia.edu
15412849Sar4jc@virginia.educlass UnimplementedFault : public InstFault
15511723Sar4jc@virginia.edu{
15611723Sar4jc@virginia.edu  private:
15711723Sar4jc@virginia.edu    const std::string instName;
15812848Sar4jc@virginia.edu
15911723Sar4jc@virginia.edu  public:
16012849Sar4jc@virginia.edu    UnimplementedFault(std::string name, const ExtMachInst inst)
16112849Sar4jc@virginia.edu        : InstFault("Unimplemented instruction", inst),
16212848Sar4jc@virginia.edu          instName(name)
16311723Sar4jc@virginia.edu    {}
16411723Sar4jc@virginia.edu
16512848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
16611723Sar4jc@virginia.edu};
16711723Sar4jc@virginia.edu
16812849Sar4jc@virginia.educlass IllegalFrmFault: public InstFault
16911725Sar4jc@virginia.edu{
17011725Sar4jc@virginia.edu  private:
17111725Sar4jc@virginia.edu    const uint8_t frm;
17212848Sar4jc@virginia.edu
17311725Sar4jc@virginia.edu  public:
17412849Sar4jc@virginia.edu    IllegalFrmFault(uint8_t r, const ExtMachInst inst)
17512849Sar4jc@virginia.edu        : InstFault("Illegal floating-point rounding mode", inst),
17612848Sar4jc@virginia.edu          frm(r)
17711725Sar4jc@virginia.edu    {}
17811725Sar4jc@virginia.edu
17912848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
18011725Sar4jc@virginia.edu};
18111725Sar4jc@virginia.edu
18212849Sar4jc@virginia.educlass AddressFault : public RiscvFault
18312849Sar4jc@virginia.edu{
18412849Sar4jc@virginia.edu  private:
18512849Sar4jc@virginia.edu    const Addr _addr;
18612849Sar4jc@virginia.edu
18712849Sar4jc@virginia.edu  public:
18812849Sar4jc@virginia.edu    AddressFault(const Addr addr, ExceptionCode code)
18912849Sar4jc@virginia.edu        : RiscvFault("Address", false, code), _addr(addr)
19012849Sar4jc@virginia.edu    {}
19112849Sar4jc@virginia.edu
19212849Sar4jc@virginia.edu    MiscReg trap_value() const override { return _addr; }
19312849Sar4jc@virginia.edu};
19412849Sar4jc@virginia.edu
19511723Sar4jc@virginia.educlass BreakpointFault : public RiscvFault
19611723Sar4jc@virginia.edu{
19712849Sar4jc@virginia.edu  private:
19812849Sar4jc@virginia.edu    const PCState pcState;
19912849Sar4jc@virginia.edu
20011723Sar4jc@virginia.edu  public:
20112849Sar4jc@virginia.edu    BreakpointFault(const PCState &pc)
20212849Sar4jc@virginia.edu        : RiscvFault("Breakpoint", false, BREAKPOINT), pcState(pc)
20312849Sar4jc@virginia.edu    {}
20412849Sar4jc@virginia.edu
20512849Sar4jc@virginia.edu    MiscReg trap_value() const override { return pcState.pc(); }
20612848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
20711723Sar4jc@virginia.edu};
20811723Sar4jc@virginia.edu
20911723Sar4jc@virginia.educlass SyscallFault : public RiscvFault
21011723Sar4jc@virginia.edu{
21111723Sar4jc@virginia.edu  public:
21212850Salec.roelke@gmail.com    SyscallFault(PrivilegeMode prv)
21312850Salec.roelke@gmail.com        : RiscvFault("System call", false, ECALL_USER)
21412850Salec.roelke@gmail.com    {
21512850Salec.roelke@gmail.com        switch (prv) {
21612850Salec.roelke@gmail.com          case PRV_U:
21712850Salec.roelke@gmail.com            _code = ECALL_USER;
21812850Salec.roelke@gmail.com            break;
21912850Salec.roelke@gmail.com          case PRV_S:
22012850Salec.roelke@gmail.com            _code = ECALL_SUPER;
22112850Salec.roelke@gmail.com            break;
22212850Salec.roelke@gmail.com          case PRV_M:
22312850Salec.roelke@gmail.com            _code = ECALL_MACHINE;
22412850Salec.roelke@gmail.com            break;
22512850Salec.roelke@gmail.com          default:
22612850Salec.roelke@gmail.com            panic("Unknown privilege mode %d.", prv);
22712850Salec.roelke@gmail.com            break;
22812850Salec.roelke@gmail.com        }
22912850Salec.roelke@gmail.com    }
23012850Salec.roelke@gmail.com
23112848Sar4jc@virginia.edu    void invokeSE(ThreadContext *tc, const StaticInstPtr &inst) override;
23211723Sar4jc@virginia.edu};
23311723Sar4jc@virginia.edu
23411723Sar4jc@virginia.edu} // namespace RiscvISA
23511723Sar4jc@virginia.edu
23612850Salec.roelke@gmail.com#endif // __ARCH_RISCV_FAULTS_HH__
237