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