basedir = dirname(dirname(dirname(filedir)))
tabledir = join(basedir, 'openpower')
isatables = join(tabledir, 'isatables')
- print ("find_wiki_dir", isatables)
+ #print ("find_wiki_dir", isatables)
return isatables
MMU = 1 << 11
SV = 1 << 12 # Simple-V https://libre-soc.org/openpower/sv
VL = 1 << 13 # setvl
+ FPU = 1 << 14 # FPU
@unique
Z22 = 27
Z23 = 28
SVL = 29 # Simple-V for setvl instruction
+ SVD = 30 # Simple-V for LD/ST bit-reverse, variant of D-Form
+ SVDS = 31 # Simple-V for LD/ST bit-reverse, variant of DS-Form
+ SVM = 32 # Simple-V SHAPE mode - TEMPORARY TEMPORARY TEMPORARY
+ SVRM = 33 # Simple-V REMAP mode - TEMPORARY TEMPORARY TEMPORARY
# Simple-V svp64 fields https://libre-soc.org/openpower/sv/svp64/
FFIRST = 2
SATURATE = 3
PREDRES = 4
+ BRANCH = 5
+
+
+@unique
+class SVP64BCPredMode(Enum):
+ NONE = 0
+ MASKZERO = 1
+ MASKONE = 2
+
+@unique
+class SVP64BCVLSETMode(Enum):
+ NONE = 0
+ VL_INCL = 1
+ VL_EXCL = 2
+
+
+# note that these are chosen to be exactly the same as
+# SVP64 RM bit 4. ALL=1 => bit4=1
+@unique
+class SVP64BCGate(Enum):
+ ANY = 0
+ ALL = 1
+
+
+@unique
+class SVP64BCStep(Enum):
+ NONE = 0
+ STEP = 1
+ STEP_RC = 2
@unique
SIGNED = 1
UNSIGNED = 2
+@unique
+class SVP64LDSTmode(Enum):
+ NONE = 0
+ INDEXED = 1
+ ELSTRIDE = 2
+ UNITSTRIDE = 3
+ SHIFT = 4
+
# supported instructions: make sure to keep up-to-date with CSV files
# just like everything else
_insns = [
- "NONE", "add", "addc", "addco", "adde", "addeo", "addi", "addic", "addic.",
- "addis", "addme", "addmeo", "addo", "addze", "addzeo", "and", "andc",
- "andi.", "andis.", "attn", "b", "bc", "bcctr", "bclr", "bctar",
- "bpermd", "cmp", "cmpb", "cmpeqb", "cmpi", "cmpl", "cmpli", "cmprb",
- "cntlzd", "cntlzw", "cnttzd", "cnttzw", "crand", "crandc", "creqv",
- "crnand", "crnor", "cror", "crorc", "crxor", "darn", "dcbf", "dcbst",
- "dcbt", "dcbtst", "dcbz", "divd", "divde", "divdeo", "divdeu",
+ "NONE", "add", "addc", "addco", "adde", "addeo",
+ "addi", "addic", "addic.", "addis",
+ "addme", "addmeo", "addo", "addze", "addzeo",
+ "addg6s",
+ "and", "andc", "andi.", "andis.",
+ "attn",
+ "b", "bc", "bcctr", "bclr", "bctar",
+ "bpermd",
+ "cbcdtd",
+ "cdtbcd",
+ "cmp", "cmpb", "cmpeqb", "cmpi", "cmpl", "cmpli", "cmprb",
+ "cntlzd", "cntlzw", "cnttzd", "cnttzw",
+ "crand", "crandc", "creqv",
+ "crnand", "crnor", "cror", "crorc", "crxor",
+ "darn",
+ "dcbf", "dcbst", "dcbt", "dcbtst", "dcbz",
+ "divd", "divde", "divdeo", "divdeu",
"divdeuo", "divdo", "divdu", "divduo", "divw", "divwe", "divweo",
- "divweu", "divweuo", "divwo", "divwu", "divwuo", "eqv", "extsb",
- "extsh", "extsw", "extswsli", "hrfid", "icbi", "icbt", "isel", "isync",
- "lbarx", "lbz", "lbzu", "lbzux", "lbzx", "ld", "ldarx", "ldbrx",
- "ldu", "ldux", "ldx", "lha", "lharx", "lhau", "lhaux", "lhax",
- "lhbrx", "lhz", "lhzu", "lhzux", "lhzx", "lwa", "lwarx", "lwaux",
- "lwax", "lwbrx", "lwz", "lwzcix", "lwzu", "lwzux", "lwzx", "mcrf", "mcrxr",
- "mcrxrx", "mfcr/mfocrf", "mfmsr", "mfspr", "modsd", "modsw", "modud",
- "moduw", "mtcrf/mtocrf", "mtmsr", "mtmsrd", "mtspr", "mulhd", "mulhdu",
- "mulhw", "mulhwu", "mulld", "mulldo", "mulli", "mullw", "mullwo",
- "nand", "neg", "nego", "nop", "nor", "or", "orc", "ori", "oris",
- "popcntb", "popcntd", "popcntw", "prtyd", "prtyw", "rfid", "rldcl",
- "rldcr", "rldic", "rldicl", "rldicr", "rldimi", "rlwimi", "rlwinm",
- "rlwnm", "setb",
+ "divweu", "divweuo", "divwo", "divwu", "divwuo",
+ "eqv",
+ "extsb", "extsh", "extsw", "extswsli",
+ "fadd", "fadds", "fsub", "fsubs", # FP add / sub
+ "fcfids", "fcfidus", "fsqrts", "fres", "frsqrtes", # FP stuff
+ "fdmadds", # DCT FP 3-arg
+ "fmsubs", "fmadds", "fnmsubs", "fnmadds", # FP 3-arg
+ "ffadds", "ffsubs", "ffmuls", "ffdivs", # FFT FP 2-arg
+ "ffmsubs", "ffmadds", "ffnmsubs", "ffnmadds", # FFT FP 3-arg
+ "fmul", "fmuls", "fdiv", "fdivs", # FP mul / div
+ "fmr", "fabs", "fnabs", "fneg", "fcpsgn", # FP move/abs/neg
+ "fsins", "fcoss", # FP SIN/COS
+ "hrfid", "icbi", "icbt", "isel", "isync",
+ "lbarx", "lbz", "lbzu", "lbzux", "lbzx", # load byte
+ "ld", "ldarx", "ldbrx", "ldu", "ldux", "ldx", # load double
+ #"lbzbr", "lbzubr", # load byte SVP64 bit-reversed
+ #"ldbr", "ldubr", # load double SVP64 bit-reversed
+ "lfs", "lfsx", "lfsu", "lfsux", # FP load single
+ "lfd", "lfdx", "lfdu", "lfdux", "lfiwzx", "lfiwax", # FP load double
+ "lha", "lharx", "lhau", "lhaux", "lhax", # load half
+ "lhbrx", "lhz", "lhzu", "lhzux", "lhzx", # more load half
+ #"lhabr", "lhaubr", # load half SVP64 bit-reversed
+ #"lhzbr", "lhzubr", # more load half SVP64 bit-reversed
+ "lwa", "lwarx", "lwaux", "lwax", "lwbrx", # load word
+ "lwz", "lwzcix", "lwzu", "lwzux", "lwzx", # more load word
+ #"lwabr", # load word SVP64 bit-reversed
+ #"lwzbr", "lwzubr", # more load word SVP64 bit-reversed
+ "maddhd", "maddhdu", "maddld", # INT multiply-and-add
+ "mcrf", "mcrxr", "mcrxrx", "mfcr/mfocrf", # CR mvs
+ "mfmsr", "mfspr",
+ "modsd", "modsw", "modud", "moduw",
+ "mtcrf/mtocrf", "mtmsr", "mtmsrd", "mtspr",
+ "mulhd", "mulhdu", "mulhw", "mulhwu", "mulld", "mulldo",
+ "mulli", "mullw", "mullwo",
+ "nand", "neg", "nego",
+ "nop",
+ "nor", "or", "orc", "ori", "oris",
+ "popcntb", "popcntd", "popcntw",
+ "prtyd", "prtyw",
+ "rfid",
+ "rldcl", "rldcr", "rldic", "rldicl", "rldicr", "rldimi",
+ "rlwimi", "rlwinm", "rlwnm",
+ "setb",
"setvl", # https://libre-soc.org/openpower/sv/setvl
- "sim_cfg", "slbia", "sld", "slw", "srad", "sradi", "sraw",
- "srawi", "srd", "srw", "stb", "stbcix", "stbcx", "stbu", "stbux", "stbx",
- "std", "stdbrx", "stdcx", "stdu", "stdux", "stdx", "sth", "sthbrx", "sthcx",
- "sthu", "sthux", "sthx", "stw", "stwbrx", "stwcx", "stwu", "stwux",
- "stwx", "subf", "subfc", "subfco", "subfe", "subfeo", "subfic",
- "subfme", "subfmeo", "subfo", "subfze", "subfzeo", "sync", "td",
- "tdi", "tlbie", "tlbiel", "tw", "twi", "xor", "xori", "xoris",
+ "svremap", # https://libre-soc.org/openpower/sv/remap - TEMPORARY
+ "svshape", # https://libre-soc.org/openpower/sv/remap
+ "svstep", # https://libre-soc.org/openpower/sv/setvl
+ "sim_cfg",
+ "slbia", "sld", "slw", "srad", "sradi",
+ "sraw", "srawi", "srd", "srw",
+ "stb", "stbcix", "stbcx", "stbu", "stbux", "stbx",
+ "std", "stdbrx", "stdcx", "stdu", "stdux", "stdx",
+ "stfs", "stfsx", "stfsu", "stfux", # FP store single
+ "stfd", "stfdx", "stfdu", "stfdux", "stfiwx", # FP store double
+ "sth", "sthbrx", "sthcx", "sthu", "sthux", "sthx",
+ "stw", "stwbrx", "stwcx", "stwu", "stwux", "stwx",
+ "subf", "subfc", "subfco", "subfe", "subfeo", "subfic",
+ "subfme", "subfmeo", "subfo", "subfze", "subfzeo",
+ "sync",
+ "td", "tdi",
+ "tlbie", "tlbiel",
+ "tw", "twi",
+ "xor", "xori", "xoris",
]
# two-way lookup of instruction-to-index and vice-versa
insns[i] = insn
asmidx[insn] = i
+# must be long enough to cover all instructions
+asmlen = len(_insns).bit_length()
+
# Internal Operation numbering. Add new opcodes here (FPADD, FPMUL etc.)
OP_MTMSR = 74
OP_TLBIE = 75
OP_SETVL = 76
+ OP_FPOP = 77 # temporary: replace with actual ops
+ OP_FPOP_I = 78 # temporary: replace with actual ops
+ OP_FP_MADD = 79
+ OP_SVREMAP = 80
+ OP_SVSHAPE = 81
+ OP_SVSTEP = 82
+ OP_ADDG6S = 83
+ OP_CDTBCD = 84
+ OP_CBCDTD = 85
@unique
RA_OR_ZERO = 2
SPR = 3
RS = 4 # for some ALU/Logical operations
+ FRA = 5
+ FRS = 6
@unique
CONST_SH32 = 11
SPR = 12
RS = 13 # for shiftrot (M-Form)
+ FRB = 14
+ CONST_SVD = 15 # for SVD-Form
+ CONST_SVDS = 16 # for SVDS-Form
@unique
NONE = 0
RS = 1
RB = 2 # for shiftrot (M-Form)
+ FRS = 3
+ FRC = 4
+ RC = 5 # for SVP64 bit-reverse LD/ST
@unique
RA = 2
SPR = 3
RT_OR_ZERO = 4
+ FRT = 5
+ FRS = 6
@unique
this saves drastically on the size of the regfile
"""
short_list = {'PIDR', 'DAR', 'PRTBL', 'DSISR', 'SVSRR0', 'SVSTATE',
+ 'SVSTATE0', 'SVSTATE1', 'SVSTATE2', 'SVSTATE3',
'SPRG0_priv', 'SPRG1_priv', 'SPRG2_priv', 'SPRG3_priv',
'SPRG3'
}
print(dir(Enum))
print(SPRfull.__members__['TAR'])
for x in SPRfull:
- print(x, x.value, str(x), x.name)
+ print("full", x, x.value, str(x), x.name)
+ for x in SPRreduced:
+ print("reduced", x, x.value, str(x), x.name)
print("function", Function.ALU.name)