diff options
author | Gabe Black <gabeblack@google.com> | 2017-11-05 17:58:56 -0800 |
---|---|---|
committer | Gabe Black <gabeblack@google.com> | 2017-11-22 00:18:28 +0000 |
commit | 7723adff2671cda828f1b482765b2a5d7d2039ed (patch) | |
tree | a55ac606201fd2a0fa2f923a74bc1829a7b84745 /src/arch/sparc/isa | |
parent | 4bb053c3d2a4f7563eca8761f859458f8cc47a05 (diff) | |
download | gem5-7723adff2671cda828f1b482765b2a5d7d2039ed.tar.xz |
sparc: Pull flat static instruction classes out of the ISA.
These classes are just used as base classes for other instructions
and don't need to be part of the ISA definition. Pull them into
standard C++ files.
Change-Id: If3e0bd82b1e676f20459bc0293fbda49de66b554
Reviewed-on: https://gem5-review.googlesource.com/5422
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>
Diffstat (limited to 'src/arch/sparc/isa')
-rw-r--r-- | src/arch/sparc/isa/decoder.isa | 26 | ||||
-rw-r--r-- | src/arch/sparc/isa/formats/priv.isa | 292 | ||||
-rw-r--r-- | src/arch/sparc/isa/includes.isa | 1 |
3 files changed, 79 insertions, 240 deletions
diff --git a/src/arch/sparc/isa/decoder.isa b/src/arch/sparc/isa/decoder.isa index 492e1a00a..799fff253 100644 --- a/src/arch/sparc/isa/decoder.isa +++ b/src/arch/sparc/isa/decoder.isa @@ -367,7 +367,7 @@ decode OP default Unknown::unknown() } 0x29: decode RS1 { 0x00: HPriv::rdhprhpstate({{Rd = Hpstate;}}); - 0x01: HPriv::rdhprhtstate({{Rd = Htstate;}}, checkTl=true); + 0x01: HPriv::rdhprhtstate({{Rd = Htstate;}}, check_tl=true); // 0x02 should cause an illegal instruction exception 0x03: HPriv::rdhprhintp({{Rd = Hintp;}}); // 0x04 should cause an illegal instruction exception @@ -377,10 +377,10 @@ decode OP default Unknown::unknown() 0x1F: HPriv::rdhprhstick_cmpr({{Rd = HstickCmpr;}}); } 0x2A: decode RS1 { - 0x00: Priv::rdprtpc({{Rd = Tpc;}}, checkTl=true); - 0x01: Priv::rdprtnpc({{Rd = Tnpc;}}, checkTl=true); - 0x02: Priv::rdprtstate({{Rd = Tstate;}}, checkTl=true); - 0x03: Priv::rdprtt({{Rd = Tt;}}, checkTl=true); + 0x00: Priv::rdprtpc({{Rd = Tpc;}}, check_tl=true); + 0x01: Priv::rdprtnpc({{Rd = Tnpc;}}, check_tl=true); + 0x02: Priv::rdprtstate({{Rd = Tstate;}}, check_tl=true); + 0x03: Priv::rdprtt({{Rd = Tt;}}, check_tl=true); 0x04: Priv::rdprtick({{Rd = Tick;}}); 0x05: Priv::rdprtba({{Rd = Tba;}}); 0x06: Priv::rdprpstate({{Rd = Pstate;}}); @@ -469,7 +469,7 @@ decode OP default Unknown::unknown() 0x00: NoPriv::wry({{Y = (Rs1 ^ Rs2_or_imm13)<31:0>;}}); // 0x01 should cause an illegal instruction exception 0x02: NoPriv::wrccr({{Ccr = Rs1 ^ Rs2_or_imm13;}}); - 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}}, false, + 0x03: NoPriv::wrasi({{Asi = Rs1 ^ Rs2_or_imm13;}}, IsSquashAfter); // 0x04-0x05 should cause an illegal instruction exception 0x06: NoPriv::wrfprs({{Fprs = Rs1 ^ Rs2_or_imm13;}}); @@ -525,13 +525,13 @@ decode OP default Unknown::unknown() } 0x32: decode RD { 0x00: Priv::wrprtpc( - {{Tpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true); + {{Tpc = Rs1 ^ Rs2_or_imm13;}}, check_tl=true); 0x01: Priv::wrprtnpc( - {{Tnpc = Rs1 ^ Rs2_or_imm13;}}, checkTl=true); + {{Tnpc = Rs1 ^ Rs2_or_imm13;}}, check_tl=true); 0x02: Priv::wrprtstate( - {{Tstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true); + {{Tstate = Rs1 ^ Rs2_or_imm13;}}, check_tl=true); 0x03: Priv::wrprtt( - {{Tt = Rs1 ^ Rs2_or_imm13;}}, checkTl=true); + {{Tt = Rs1 ^ Rs2_or_imm13;}}, check_tl=true); 0x04: HPriv::wrprtick({{Tick = Rs1 ^ Rs2_or_imm13;}}); 0x05: Priv::wrprtba({{Tba = Rs1 ^ Rs2_or_imm13;}}); 0x06: Priv::wrprpstate({{Pstate = Rs1 ^ Rs2_or_imm13;}}); @@ -560,7 +560,7 @@ decode OP default Unknown::unknown() 0x33: decode RD { 0x00: HPriv::wrhprhpstate({{Hpstate = Rs1 ^ Rs2_or_imm13;}}); 0x01: HPriv::wrhprhtstate( - {{Htstate = Rs1 ^ Rs2_or_imm13;}}, checkTl=true); + {{Htstate = Rs1 ^ Rs2_or_imm13;}}, check_tl=true); // 0x02 should cause an illegal instruction exception 0x03: HPriv::wrhprhintp({{Hintp = Rs1 ^ Rs2_or_imm13;}}); // 0x04 should cause an illegal instruction exception @@ -1082,7 +1082,7 @@ decode OP default Unknown::unknown() NPC = Tnpc; NNPC = Tnpc + 4; Tl = Tl - 1; - }}, checkTl=true); + }}, check_tl=true); 0x1: Priv::retry({{ Cwp = Tstate<4:0>; Pstate = Tstate<20:8>; @@ -1093,7 +1093,7 @@ decode OP default Unknown::unknown() NPC = Tpc; NNPC = Tnpc; Tl = Tl - 1; - }}, checkTl=true); + }}, check_tl=true); } } } diff --git a/src/arch/sparc/isa/formats/priv.isa b/src/arch/sparc/isa/formats/priv.isa index c581f0fef..eabc331c9 100644 --- a/src/arch/sparc/isa/formats/priv.isa +++ b/src/arch/sparc/isa/formats/priv.isa @@ -33,226 +33,77 @@ // Privilege mode instructions // -output header {{ - /** - * Base class for privelege mode operations. - */ - class Priv : public SparcStaticInst - { - protected: - // Constructor - Priv(const char *mnem, ExtMachInst _machInst, OpClass __opClass) : - SparcStaticInst(mnem, _machInst, __opClass) - { - } - - std::string generateDisassembly(Addr pc, - const SymbolTable *symtab) const; - }; - - // This class is for instructions that explicitly read control - // registers. It provides a special generateDisassembly function. - class RdPriv : public Priv - { - protected: - // Constructor - RdPriv(const char *mnem, ExtMachInst _machInst, - OpClass __opClass, char const * _regName) : - Priv(mnem, _machInst, __opClass), regName(_regName) - { - } - - std::string generateDisassembly(Addr pc, - const SymbolTable *symtab) const; - - char const * regName; - }; - - // This class is for instructions that explicitly write control - // registers. It provides a special generateDisassembly function. - class WrPriv : public Priv - { - protected: - // Constructor - WrPriv(const char *mnem, ExtMachInst _machInst, - OpClass __opClass, char const * _regName) : - Priv(mnem, _machInst, __opClass), regName(_regName) - { - } - - std::string generateDisassembly(Addr pc, - const SymbolTable *symtab) const; - - char const * regName; - }; - - /** - * Base class for privelege mode operations with immediates. - */ - class PrivImm : public Priv - { - protected: - // Constructor - PrivImm(const char *mnem, ExtMachInst _machInst, - OpClass __opClass) : - Priv(mnem, _machInst, __opClass), imm(SIMM13) - { - } - - int32_t imm; - }; - - // This class is for instructions that explicitly write control - // registers. It provides a special generateDisassembly function. - class WrPrivImm : public PrivImm - { - protected: - // Constructor - WrPrivImm(const char *mnem, ExtMachInst _machInst, - OpClass __opClass, char const * _regName) : - PrivImm(mnem, _machInst, __opClass), regName(_regName) - { - } - - std::string generateDisassembly(Addr pc, - const SymbolTable *symtab) const; - - char const * regName; - }; -}}; - -output decoder {{ - std::string - Priv::generateDisassembly(Addr pc, const SymbolTable *symtab) const - { - std::stringstream response; - - printMnemonic(response, mnemonic); - - return response.str(); - } - - std::string - RdPriv::generateDisassembly(Addr pc, const SymbolTable *symtab) const - { - std::stringstream response; - - printMnemonic(response, mnemonic); - - ccprintf(response, " %%%s, ", regName); - printDestReg(response, 0); - - return response.str(); - } - - std::string - WrPriv::generateDisassembly(Addr pc, const SymbolTable *symtab) const - { - std::stringstream response; - - printMnemonic(response, mnemonic); - - ccprintf(response, " "); - // If the first reg is %g0, don't print it. - // This improves readability - if (_srcRegIdx[0].index() != 0) { - printSrcReg(response, 0); - ccprintf(response, ", "); - } - printSrcReg(response, 1); - ccprintf(response, ", %%%s", regName); - - return response.str(); - } - - std::string WrPrivImm::generateDisassembly(Addr pc, - const SymbolTable *symtab) const - { - std::stringstream response; - - printMnemonic(response, mnemonic); - - ccprintf(response, " "); - // If the first reg is %g0, don't print it. - // This improves readability - if (_srcRegIdx[0].index() != 0) { - printSrcReg(response, 0); - ccprintf(response, ", "); - } - ccprintf(response, "0x%x, %%%s", imm, regName); - - return response.str(); - } -}}; - def template ControlRegConstructor {{ - %(class_name)s::%(class_name)s(ExtMachInst machInst) - : %(base_class)s("%(mnemonic)s", machInst, - %(op_class)s, "%(reg_name)s") - { - %(constructor)s; - } +%(class_name)s::%(class_name)s(ExtMachInst machInst) : + %(base_class)s("%(mnemonic)s", machInst, %(op_class)s, "%(reg_name)s") +{ + %(constructor)s; +} }}; def template PrivExecute {{ - Fault %(class_name)s::execute(ExecContext *xc, - Trace::InstRecord *traceData) const - { - %(op_decl)s; - %(op_rd)s; - - // If the processor isn't in privileged mode, fault out right away - if (%(check)s) - return std::make_shared<PrivilegedAction>(); - - if (%(tlCheck)s) - return std::make_shared<IllegalInstruction>(); - - Fault fault = NoFault; - %(code)s; - %(op_wb)s; - return fault; - } +Fault +%(class_name)s::execute(ExecContext *xc, Trace::InstRecord *traceData) const +{ + %(op_decl)s; + %(op_rd)s; + + // If the processor isn't in privileged mode, fault out right away + if (%(check)s) + return std::make_shared<PrivilegedAction>(); + + %(tl_check)s + + Fault fault = NoFault; + %(code)s; + %(op_wb)s; + return fault; +} }}; let {{ - def doPrivFormat(code, checkCode, name, Name, tlCheck, opt_flags): - (usesImm, code, immCode, - rString, iString) = splitOutImm(code) - #If these are rd, rdpr, rdhpr, wr, wrpr, or wrhpr instructions, - #cut any other info out of the mnemonic. Also pick a different - #base class. - regBase = 'Priv' - regName = '' + tl_check_code = ''' + if (Tl == 0) + return std::make_shared<IllegalInstruction>(); +''' + + def doPrivFormat(code, check_code, name, Name, opt_flags, check_tl=False): + (uses_imm, code, imm_code, r_string, i_string) = splitOutImm(code) + tl_check = tl_check_code if check_tl else '' + # If these are rd, rdpr, rdhpr, wr, wrpr, or wrhpr instructions, + # cut any other info out of the mnemonic. Also pick a different + # base class. + reg_base = 'Priv' + reg_name = '' for mnem in ["rdhpr", "rdpr", "rd"]: if name.startswith(mnem): - regName = name[len(mnem):] + reg_name = name[len(mnem):] name = mnem - regBase = 'RdPriv' + reg_base = 'RdPriv' break for mnem in ["wrhpr", "wrpr", "wr"]: if name.startswith(mnem): - regName = name[len(mnem):] + reg_name = name[len(mnem):] name = mnem - regBase = 'WrPriv' + reg_base = 'WrPriv' break - iop = InstObjParams(name, Name, regBase, - {"code": code, "check": checkCode, - "tlCheck": tlCheck, "reg_name": regName}, + iop = InstObjParams(name, Name, reg_base, + {"code": code, "check": check_code, + "tl_check": tl_check, "reg_name": reg_name}, opt_flags) header_output = BasicDeclare.subst(iop) - if regName == '': + if reg_name == '': decoder_output = BasicConstructor.subst(iop) else: decoder_output = ControlRegConstructor.subst(iop) exec_output = PrivExecute.subst(iop) - if usesImm: - imm_iop = InstObjParams(name, Name + 'Imm', regBase + 'Imm', - {"code": immCode, "check": checkCode, - "tlCheck": tlCheck, "reg_name": regName}, + if uses_imm: + imm_iop = InstObjParams(name, Name + 'Imm', reg_base + 'Imm', + {"code": imm_code, "check": check_code, + "tl_check": tl_check, "reg_name": reg_name}, opt_flags) header_output += BasicDeclare.subst(imm_iop) - if regName == '': + if reg_name == '': decoder_output += BasicConstructor.subst(imm_iop) else: decoder_output += ControlRegConstructor.subst(imm_iop) @@ -263,39 +114,26 @@ let {{ return (header_output, decoder_output, exec_output, decode_block) }}; -def format Priv(code, extraCond=true, checkTl=false, *opt_flags) {{ - checkCode = "(%s) && !(Pstate.priv || Hpstate.hpriv)" % extraCond - if checkTl != "false": - tlCheck = "Tl == 0" - else: - tlCheck = "false" - (header_output, decoder_output, - exec_output, decode_block) = doPrivFormat(code, - checkCode, name, Name, tlCheck, opt_flags) +def format Priv(code, extraCond=true, check_tl=false, *opt_flags) {{ + check_code = "(%s) && !(Pstate.priv || Hpstate.hpriv)" % extraCond + (header_output, decoder_output, exec_output, decode_block) = \ + doPrivFormat(code, check_code, name, Name, opt_flags, + check_tl=(check_tl != 'false')) }}; -def format NoPriv(code, checkTl=false, *opt_flags) {{ - #Instructions which use this format don't really check for - #any particular mode, but the disassembly is performed - #using the control registers actual name - checkCode = "false" - if checkTl != "false": - tlCheck = "Tl == 0" - else: - tlCheck = "false" - (header_output, decoder_output, - exec_output, decode_block) = doPrivFormat(code, - checkCode, name, Name, tlCheck, opt_flags) +def format NoPriv(code, *opt_flags) {{ + # Instructions which use this format don't really check for any + # particular mode, but the disassembly is performed using the control + # register's actual name + check_code = "false" + (header_output, decoder_output, exec_output, decode_block) = \ + doPrivFormat(code, check_code, name, Name, opt_flags) }}; -def format HPriv(code, checkTl=false, *opt_flags) {{ - checkCode = "!Hpstate.hpriv" - if checkTl != "false": - tlCheck = "Tl == 0" - else: - tlCheck = "false" - (header_output, decoder_output, - exec_output, decode_block) = doPrivFormat(code, - checkCode, name, Name, tlCheck, opt_flags) +def format HPriv(code, check_tl=false, *opt_flags) {{ + check_code = "!Hpstate.hpriv" + (header_output, decoder_output, exec_output, decode_block) = \ + doPrivFormat(code, check_code, name, Name, opt_flags, + check_tl=(check_tl != 'false')) }}; diff --git a/src/arch/sparc/isa/includes.isa b/src/arch/sparc/isa/includes.isa index 4b745f4c0..eba30976d 100644 --- a/src/arch/sparc/isa/includes.isa +++ b/src/arch/sparc/isa/includes.isa @@ -39,6 +39,7 @@ output header {{ #include <sstream> #include "arch/sparc/faults.hh" +#include "arch/sparc/insts/priv.hh" #include "arch/sparc/insts/static_inst.hh" #include "arch/sparc/isa_traits.hh" #include "arch/sparc/registers.hh" |