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