from openpower.simulator.program import Program
-from openpower.sv.trans.pysvp64dis import load, dump
-from openpower.sv.trans.svp64 import SVP64Asm
-from openpower.decoder.power_insn import Database, Verbosity
+from openpower.insndb.dis import load, dump
+from openpower.insndb.asm import SVP64Asm
+from openpower.insndb.core import Database, Style
from openpower.decoder.power_enums import find_wiki_dir
from openpower.sv import sv_binutils_fptrans
import unittest
+from io import BytesIO
+import itertools
import sys
class SVSTATETestCase(unittest.TestCase):
lst = list(isa)
with Program(lst, bigendian=False) as program:
print ("ops", program._instructions)
+ binfile = BytesIO()
program.binfile.seek(0)
- insns = load(program.binfile)
+ binfile.write(program.binfile.read())
+ program.binfile.seek(0)
+ binfile.seek(0)
+ insns = load(binfile)
#for insn in insns:
#print ("insn", insn)
insns = list(insns)
print ("insns", insns)
- for i, line in enumerate(dump(insns, verbosity=Verbosity.SHORT)):
+ for i, line in enumerate(dump(insns, style=Style.SHORT)):
name = expected[i].split(" ")[0]
with self.subTest("%d:%s" % (i, name)):
print("instruction", repr(line), repr(expected[i]))
expected = [
'sv.crand *16,*2,*33',
'sv.crand 12,2,33',
+ 'sv.crand/ff=RC1/m=r10 12,2,33',
+ 'sv.crand/m=r10 12,2,33',
+ 'sv.crand/m=r10/sz 12,2,33',
+ 'sv.crand/m=r10/zz 12,2,33', # SHOULD PASS
]
self._do_tst(expected)
db = Database(find_wiki_dir())
entries = sorted(sv_binutils_fptrans.collect(db))
dis = lambda entry: sv_binutils_fptrans.dis(entry, binutils=False)
- self._do_tst(list(map(dis, entries)))
+ lst = []
+ for generator in map(dis, entries):
+ for line in generator:
+ lst.append(line)
+ self._do_tst(lst)
+
+ def test_10_vec(self):
+ expected = [
+ "sv.add./vec2 *3,*7,*11",
+ "sv.add./vec3 *3,*7,*11",
+ "sv.add./vec4 *3,*7,*11",
+ ]
+ self._do_tst(expected)
+
+ def test_11_elwidth(self):
+ expected = [
+ "sv.add./dw=8 *3,*7,*11",
+ "sv.add./dw=16 *3,*7,*11",
+ "sv.add./dw=32 *3,*7,*11",
+ "sv.add./sw=8 *3,*7,*11",
+ "sv.add./sw=16 *3,*7,*11",
+ "sv.add./sw=32 *3,*7,*11",
+ "sv.add./dw=8/sw=16 *3,*7,*11",
+ "sv.add./dw=16/sw=32 *3,*7,*11",
+ "sv.add./dw=32/sw=8 *3,*7,*11",
+ "sv.add./w=32 *3,*7,*11",
+ "sv.add./w=8 *3,*7,*11",
+ "sv.add./w=16 *3,*7,*11",
+ ]
+ self._do_tst(expected)
+
+ def test_12_sat(self):
+ expected = [
+ "sv.add./satu *3,*7,*11",
+ "sv.add./sats *3,*7,*11",
+ ]
+ self._do_tst(expected)
+
+ def test_12_mr_r(self):
+ expected = [
+ "sv.add./mrr/vec2 *3,*7,*11",
+ "sv.add./mr/vec2 *3,*7,*11",
+ "sv.add./mrr *3,*7,*11",
+ "sv.add./mr *3,*7,*11",
+ ]
+ self._do_tst(expected)
+
+ def test_13_RC1(self):
+ expected = [
+ "sv.add/ff=RC1 *3,*7,*11",
+ "sv.add/ff=~RC1 *3,*7,*11",
+ ]
+ self._do_tst(expected)
+
+ def test_14_rc1_ff_pr(self):
+ expected = [
+ "sv.add./ff=eq *3,*7,*11",
+ "sv.add./ff=ns *3,*7,*11",
+ "sv.add./ff=lt *3,*7,*11",
+ "sv.add./ff=ge *3,*7,*11",
+ "sv.add./ff=le *3,*7,*11",
+ "sv.add./ff=gt *3,*7,*11",
+ "sv.add./ff=ne *3,*7,*11",
+ ]
+ self._do_tst(expected)
+
+ def test_15_predicates(self):
+ expected = [
+ "sv.add./m=r3 *3,*7,*11",
+ "sv.add./m=1<<r3 *3,*7,*11",
+ "sv.add./m=~r10 *3,*7,*11",
+ "sv.add./m=so *3,*7,*11",
+ "sv.add./m=ne *3,*7,*11",
+ "sv.add./m=lt *3,*7,*11",
+ "sv.add. *3,*7,*11",
+ "sv.extsw/m=r30 3,7",
+ "sv.extsw/dm=~r30/sm=r30 3,7",
+ "sv.extsw/dm=eq/sm=gt 3,7",
+ "sv.extsw/sm=~r3 3,7",
+ "sv.extsw/dm=r30 3,7",
+ ]
+ self._do_tst(expected)
+
+ def test_15_els(self):
+ expected = [
+ "sv.stw/els *4,16(2)",
+ "sv.lfs/els *1,256(4)",
+ ]
+ self._do_tst(expected)
+
+ def test_16_bc(self):
+ """bigger list in test_pysvp64dis_branch.py, this one's "quick"
+ """
+ expected = [
+ "sv.bc/all 12,*1,0xc",
+ "sv.bc/snz 12,*1,0xc",
+ "sv.bc/m=r3/snz 12,*1,0xc",
+ "sv.bc/m=r3/sz 12,*1,0xc",
+ "sv.bc/all/sl/slu 12,*1,0xc",
+ "sv.bc/all/lru/sl/slu/snz 12,*1,0xc",
+ "sv.bc/all/lru/sl/slu/snz/vs 12,*1,0xc",
+ "sv.bc/all/lru/sl/slu/snz/vsi 12,*1,0xc",
+ "sv.bc/all/lru/sl/slu/snz/vsb 12,*1,0xc",
+ "sv.bc/all/lru/sl/slu/snz/vsbi 12,*1,0xc",
+ "sv.bc/all/ctr/lru/sl/slu/snz 12,*1,0xc",
+ "sv.bc/all/cti/lru/sl/slu/snz 12,*1,0xc",
+ "sv.bc/all/ctr/lru/sl/slu/snz/vsb 12,*1,0xc",
+ ]
+ self._do_tst(expected)
+
+ def test_17_vli(self):
+ expected = [
+ "sv.add/ff=RC1/vli 3,7,11",
+ "sv.add/ff=~RC1/vli 3,7,11",
+ ]
+ self._do_tst(expected)
+
+ def test_18_sea(self):
+ expected = [
+ "sv.ldux/sea 5,6,7",
+ "sv.ldux/pi/sea 5,6,7",
+ ]
+ self._do_tst(expected)
+
+ def test_19_ldst_idx_els(self):
+ expected = [
+ "sv.stdx/els *4,16,2",
+ "sv.stdx/els/sea *4,16,2",
+ "sv.ldx/els *4,16,2",
+ "sv.ldx/els/sea *4,16,2",
+ ]
+ self._do_tst(expected)
+
+ def test_20_cmp(self):
+ expected = [
+ "sv.cmp *4,1,*0,1",
+ "sv.cmp/ff=eq *4,1,*0,1",
+ "sv.cmp/ff=eq/vli *4,1,*0,1",
+ "sv.cmp/ff=ne *4,1,*0,1",
+ "sv.cmp/ff=eq/m=r3/zz *4,1,*0,1",
+ "sv.cmp/ff=lt/m=r3/zz *4,1,*0,1",
+ "sv.cmp/ff=gt/m=r3/zz *4,1,*0,1",
+ "sv.cmp/zz/ff=gt/m=r3 *4,1,*0,1", # WRONG
+ ]
+ self._do_tst(expected)
+
+ def test_21_addex(self):
+ expected = [
+ "addex 5,3,2,0",
+ "sv.addex 5,3,2,0",
+ "sv.addex *5,3,2,0",
+ ]
+ self._do_tst(expected)
+
+ def test_22_ld(self):
+ expected = [
+ "ld 4,0(5)",
+ "ld 4,16(5)", # sigh, needs magic-shift (D||0b00)
+ "sv.ld 4,16(5)", # ditto
+ ]
+ self._do_tst(expected)
+
+ def test_23_lq(self):
+ expected = [
+ "lq 4,0(5)",
+ "lq 4,16(5)", # ditto, magic-shift (DQ||0b0000)
+ "lq 4,32(5)", # ditto
+ "sv.lq 4,16(5)", # ditto
+ ]
+ self._do_tst(expected)
+
+ def test_24_bc(self):
+ expected = [
+ "b 0x28",
+ "bc 16,0,-0xb4",
+ ]
+ self._do_tst(expected)
+
+ def test_25_stq(self):
+ expected = [
+ "stq 4,0(5)",
+ "stq 4,8(5)",
+ "stq 4,16(5)",
+ "sv.stq 4,16(*5)",
+ ]
+ self._do_tst(expected)
+
+ def test_26_sv_stq_vector_name(self):
+ expected = [
+ "sv.stq *4,16(*5)", # RSp not recognised as "vector" name
+ ]
+ self._do_tst(expected)
+
+ def test_27_sc(self):
+ expected = [
+ "sc 0",
+ "sc 1",
+ "scv 1",
+ "scv 2",
+ ]
+ self._do_tst(expected)
+
+ def test_28_rfid(self):
+ expected = [
+ "rfid",
+ "rfscv",
+ ]
+ self._do_tst(expected)
+
+ def test_29_postinc(self):
+ expected = [
+ "sv.ldu/pi 5,8(2)",
+ "sv.lwzu/pi *6,8(2)",
+ "sv.lwzu/pi *6,24(2)",
+ "sv.stwu/pi *6,24(2)",
+ ]
+ self._do_tst(expected)
+
+ def test_29_dsld_dsrd(self):
+ expected = [
+ "dsld 5,4,5,3",
+ "dsrd 5,4,5,3",
+ "dsld. 5,4,5,3",
+ "dsrd. 5,4,5,3",
+ "sv.dsld *6,4,5,3",
+ "sv.dsrd *6,4,5,3",
+ "sv.dsld. *6,4,5,3",
+ "sv.dsrd. *6,4,5,3",
+ ]
+ self._do_tst(expected)
+
+ def test_30_divmod2du(self):
+ expected = [
+ "divmod2du 5,4,5,3",
+ "maddedu 5,4,5,3",
+ "sv.divmod2du 5,4,5,3",
+ "sv.divmod2du *6,4,*0,3",
+ "sv.maddedu 5,4,5,3",
+ "sv.maddedu *6,4,5,3",
+ ]
+ self._do_tst(expected)
+
+ def test_31_sadd_saddw_sadduw(self):
+ expected = [
+ "sadd 31,0,0,0",
+ "sadd 0,31,0,0",
+ "sadd 0,0,31,0",
+ "sadd 0,0,0,3",
+ "sadd. 31,0,0,0",
+ "sadd. 0,31,0,0",
+ "sadd. 0,0,31,0",
+ "sadd. 0,0,0,3",
+ "saddw 31,0,0,0",
+ "saddw 0,31,0,0",
+ "saddw 0,0,31,0",
+ "saddw 0,0,0,3",
+ "saddw. 31,0,0,0",
+ "saddw. 0,31,0,0",
+ "saddw. 0,0,31,0",
+ "saddw. 0,0,0,3",
+ "sadduw 31,0,0,0",
+ "sadduw 0,31,0,0",
+ "sadduw 0,0,31,0",
+ "sadduw 0,0,0,3",
+ "sadduw. 31,0,0,0",
+ "sadduw. 0,31,0,0",
+ "sadduw. 0,0,31,0",
+ "sadduw. 0,0,0,3",
+ ]
+ self._do_tst(expected)
+
+ def test_32_ldst_idx_ffirst(self):
+ expected = [
+ "sv.stdx/ff=RC1 *4,16,2",
+ "sv.stdx/ff=~RC1 *4,16,2",
+ "sv.ldx/ff=RC1 *4,16,2",
+ "sv.ldx/ff=~RC1 *4,16,2",
+ ]
+ self._do_tst(expected)
+
+ def test_33_ldst_imm_ffirst(self):
+ expected = [
+ "sv.std/ff=RC1 *4,16(2)",
+ "sv.std/ff=~RC1 *4,16(2)",
+ "sv.ld/ff=RC1 *4,16(2)",
+ "sv.ld/ff=~RC1 *4,16(2)",
+ ]
+ self._do_tst(expected)
+
+ def test_34_ldst_update_imm_ffirst(self):
+ expected = [
+ "sv.ldu/ff=~RC1/vli *16,0(*17)",
+ ]
+ self._do_tst(expected)
+
+ def test_35_ffmadds(self):
+ expected = [
+ "sv.ffmadds *0,*0,*0",
+ ]
+ self._do_tst(expected)
+
+ def test_36_extras_rlwimi(self):
+ self._do_tst(["sv.rlwimi 3, 1, 5, 20, 6"])
+
+ def test_36_extras_rlwimi_(self):
+ self._do_tst(["sv.rlwimi. 3, 1, 5, 20, 6"])
+
+ def test_36_extras_rldimi(self):
+ self._do_tst(["sv.rldimi 3, 4, 56, 4"])
+
+ def test_36_extras_rldimi_(self):
+ self._do_tst(["sv.rldimi. 3, 4, 56, 4"])
+
+ def test_36_extras_fishmv(self):
+ self._do_tst(["sv.fishmv 3, 0x0FD0"])
if __name__ == "__main__":
unittest.main()
-
projects / openpower-isa.git / blobdiff