import unittest
from soc.config.test.test_loadstore import TestMemPspec
from soc.config.loadstore import ConfigMemoryPortInterface
+from openpower.exceptions import LDSTExceptionTuple
-def wait_busy(port, no=False,debug=None):
+def wait_busy(port, no=False, debug=None):
cnt = 0
while True:
busy = yield port.busy_o
cnt = 0
while True:
addr_ok = yield port.addr_ok_o
- print("addrok", addr_ok,cnt,debug)
- if addr_ok:
+ exc_happened = yield port.exc_o.happened
+ print("addrok", addr_ok,cnt,debug,exc_happened)
+ if addr_ok or exc_happened:
break
yield
cnt += 1
yield
-def pi_st(port1, addr, data, datalen, msr_pr=0, is_dcbz=0):
+def pi_st(port1, addr, data, datalen, msr, is_dcbz=0):
# have to wait until not busy
- yield from wait_busy(port1, no=False) # wait until not busy
+ yield from wait_busy(port1,debug="pi_st_A") # wait while busy
# set up a ST on the port. address first:
yield port1.is_dcbz_i.eq(is_dcbz) # reset dcbz too
yield port1.is_st_i.eq(1) # indicate ST
yield port1.data_len.eq(datalen) # ST length (1/2/4/8)
- yield port1.msr_pr.eq(msr_pr) # MSR PR bit (1==>virt, 0==>real)
+ yield port1.priv_mode.eq(~msr.pr)
+ yield port1.virt_mode.eq(msr.dr)
+ yield port1.mode_32bit.eq(~msr.sf)
yield port1.addr.data.eq(addr) # set address
yield port1.addr.ok.eq(1) # set ok
yield Settle()
+
+ # must check exception even before waiting for address.
+ # XXX TODO: wait_addr should check for exception
+ exc_info = yield from get_exception_info(port1.exc_o)
+ exc_happened = exc_info.happened
+ if exc_happened:
+ print("print fast ST exception happened")
+ yield # MUST wait for one clock cycle before de-asserting these
+ yield port1.is_st_i.eq(0) # end
+ yield port1.addr.ok.eq(0) # set !ok
+ yield port1.is_dcbz_i.eq(0) # reset dcbz too
+ return "fast", exc_info
+
yield from wait_addr(port1) # wait until addr ok
+
+ exc_info = yield from get_exception_info(port1.exc_o)
+ exc_happened = exc_info.happened
+ if exc_happened:
+ print("print fast ST exception happened")
+ yield # MUST wait for one clock cycle before de-asserting these
+ yield port1.is_st_i.eq(0) # end
+ yield port1.addr.ok.eq(0) # set !ok
+ yield port1.is_dcbz_i.eq(0) # reset dcbz too
+ return "fast", exc_info
+
+
# yield # not needed, just for checking
# yield # not needed, just for checking
# assert "ST" for one cycle (required by the API)
yield port1.st.ok.eq(1)
yield
yield port1.st.ok.eq(0)
- yield from wait_busy(port1, True) # wait while busy
+ exc_info = yield from get_exception_info(port1.exc_o)
+ exc_happened = exc_info.happened
+ if exc_happened:
+ print("print fast ST exception happened")
+ yield # MUST wait for one clock cycle before de-asserting these
+ yield port1.is_st_i.eq(0) # end
+ yield port1.addr.ok.eq(0) # set !ok
+ yield port1.is_dcbz_i.eq(0) # reset dcbz too
+ return "fast", exc_info
+
+ yield from wait_busy(port1,debug="pi_st_E") # wait while busy
+ exc_info = yield from get_exception_info(port1.exc_o)
+ exc_happened = exc_info.happened
+ if exc_happened:
+ yield # needed if mmu/dache is used
+ yield port1.is_st_i.eq(0) # end
+ yield port1.addr.ok.eq(0) # set !ok
+ yield port1.is_dcbz_i.eq(0) # reset dcbz too
+ yield # needed if mmu/dache is used
+ return "slow", exc_info
# can go straight to reset.
yield port1.is_st_i.eq(0) # end
yield port1.addr.ok.eq(0) # set !ok
yield port1.is_dcbz_i.eq(0) # reset dcbz too
+ yield # needed if mmu/dache is used
+
+ return None, None
+
+def get_exception_info(exc_o):
+ attrs = []
+ for fname in LDSTExceptionTuple._fields:
+ attr = getattr(exc_o, fname)
+ val = yield attr
+ attrs.append(val)
+ return LDSTExceptionTuple(*attrs)
# copy of pi_st removed
-def pi_ld(port1, addr, datalen, msr_pr=0):
+def pi_ld(port1, addr, datalen, msr):
# have to wait until not busy
- yield from wait_busy(port1, no=False) # wait until not busy
+ yield from wait_busy(port1,debug="pi_ld_A") # wait while busy
# set up a LD on the port. address first:
yield port1.is_ld_i.eq(1) # indicate LD
yield port1.data_len.eq(datalen) # LD length (1/2/4/8)
- yield port1.msr_pr.eq(msr_pr) # MSR PR bit (1==>virt, 0==>real)
+ yield port1.priv_mode.eq(~msr.pr)
+ yield port1.virt_mode.eq(msr.dr)
+ yield port1.mode_32bit.eq(~msr.sf)
yield port1.addr.data.eq(addr) # set address
yield port1.addr.ok.eq(1) # set ok
yield Settle()
yield from wait_addr(port1) # wait until addr ok
+ exc_info = yield from get_exception_info(port1.exc_o)
+ exc_happened = exc_info.happened
+ if exc_happened:
+ print("print fast LD exception happened")
+ yield # MUST wait for one clock cycle before de-asserting these
+ yield port1.is_ld_i.eq(0) # end
+ yield port1.addr.ok.eq(0) # set !ok
+ return None, "fast", exc_info
+
yield
yield from wait_ldok(port1) # wait until ld ok
data = yield port1.ld.data
+ exc_info = yield from get_exception_info(port1.exc_o)
exc_happened = yield port1.exc_o.happened
+ exc_happened = exc_info.happened
# cleanup
yield port1.is_ld_i.eq(0) # end
yield port1.addr.ok.eq(0) # set !ok
if exc_happened:
- return 0
+ return None, "slow", exc_info
- yield from wait_busy(port1, no=False) # wait while not busy
+ yield from wait_busy(port1, debug="pi_ld_E") # wait while busy
+
+ exc_info = yield from get_exception_info(port1.exc_o)
+ exc_happened = exc_info.happened
+ if exc_happened:
+ return None, "slow", exc_info
- return data
+ return data, None, None
-def pi_ldst(arg, dut, msr_pr=0):
+def pi_ldst(arg, dut, msr):
# do two half-word stores at consecutive addresses, then two loads
addr1 = 0x04
data = 0xbeef
data2 = 0xf00f
#data = 0x4
- yield from pi_st(dut, addr1, data, 2, msr_pr)
- yield from pi_st(dut, addr2, data2, 2, msr_pr)
- result = yield from pi_ld(dut, addr1, 2, msr_pr)
- result2 = yield from pi_ld(dut, addr2, 2, msr_pr)
+ assert(yield from pi_st(dut, addr1, data, 2, msr) is None)
+ assert(yield from pi_st(dut, addr2, data2, 2, msr) is None)
+ result, exc = yield from pi_ld(dut, addr1, 2, msr)
+ result2, exc2 = yield from pi_ld(dut, addr2, 2, msr)
+ assert(exc is None)
+ assert(exc2 is None)
arg.assertEqual(data, result, "data %x != %x" % (result, data))
arg.assertEqual(data2, result2, "data2 %x != %x" % (result2, data2))
# now load both in a 32-bit load to make sure they're really consecutive
data3 = data | (data2 << 16)
- result3 = yield from pi_ld(dut, addr1, 4, msr_pr)
+ result3, exc3 = yield from pi_ld(dut, addr1, 4, msr)
+ assert(exc3 is None)
arg.assertEqual(data3, result3, "data3 %x != %x" % (result3, data3))
dut = Module()
pspec = TestMemPspec(ldst_ifacetype=ifacetype,
imem_ifacetype='',
- addr_wid=48,
+ addr_wid=64,
mask_wid=8,
reg_wid=64)
cmpi = ConfigMemoryPortInterface(pspec)