08a704dc3165dfe746dc37b543118c93d8a88187
[soc.git] / src / soc / fu / compunits / test / test_compunit.py
1 from nmigen import Module, Signal
2 from nmigen.back.pysim import Simulator, Delay, Settle
3 from nmigen.test.utils import FHDLTestCase
4 from nmigen.cli import rtlil
5 import unittest
6 from soc.decoder.isa.caller import ISACaller, special_sprs
7 from soc.decoder.power_decoder import (create_pdecode)
8 from soc.decoder.power_decoder2 import (PowerDecode2)
9 from soc.decoder.power_enums import (XER_bits, Function, InternalOp)
10 from soc.decoder.selectable_int import SelectableInt
11 from soc.simulator.program import Program
12 from soc.decoder.isa.all import ISA
13
14 from soc.fu.alu.test.test_pipe_caller import TestCase, ALUTestCase, test_data
15 from soc.experiment.compalu_multi import find_ok # hack
16 import random
17
18 def set_cu_input(cu, idx, data):
19 rdop = cu.get_in_name(idx)
20 yield cu.src_i[idx].eq(data)
21 while True:
22 rd_rel_o = yield cu.rd.rel[idx]
23 print ("rd_rel %d wait HI" % idx, rd_rel_o, rdop, hex(data))
24 if rd_rel_o:
25 break
26 yield
27 yield cu.rd.go[idx].eq(1)
28 while True:
29 yield
30 rd_rel_o = yield cu.rd.rel[idx]
31 if rd_rel_o:
32 break
33 print ("rd_rel %d wait HI" % idx, rd_rel_o)
34 yield
35 yield cu.rd.go[idx].eq(0)
36 yield cu.src_i[idx].eq(0)
37
38
39 def get_cu_output(cu, idx, code):
40 wrmask = yield cu.wrmask
41 wrop = cu.get_out_name(idx)
42 wrok = cu.get_out(idx)
43 fname = find_ok(wrok.fields)
44 wrok = yield getattr(wrok, fname)
45 print ("wr_rel mask", repr(code), idx, wrop, bin(wrmask), fname, wrok)
46 assert wrmask & (1<<idx), \
47 "get_cu_output '%s': mask bit %d not set\n" \
48 "write-operand '%s' Data.ok likely not set (%s)" \
49 % (code, idx, wrop, hex(wrok))
50 while True:
51 wr_relall_o = yield cu.wr.rel
52 wr_rel_o = yield cu.wr.rel[idx]
53 print ("wr_rel %d wait" % idx, hex(wr_relall_o), wr_rel_o)
54 if wr_rel_o:
55 break
56 yield
57 yield cu.wr.go[idx].eq(1)
58 yield Settle()
59 result = yield cu.dest[idx]
60 yield
61 yield cu.wr.go[idx].eq(0)
62 print ("result", repr(code), idx, wrop, wrok, hex(result))
63 return result
64
65
66 def set_cu_inputs(cu, inp):
67 for idx, data in inp.items():
68 yield from set_cu_input(cu, idx, data)
69
70
71 def set_operand(cu, dec2, sim):
72 yield from cu.oper_i.eq_from_execute1(dec2.e)
73 yield cu.issue_i.eq(1)
74 yield
75 yield cu.issue_i.eq(0)
76 yield
77
78
79 def get_cu_outputs(cu, code):
80 res = {}
81 for i in range(cu.n_dst):
82 wr_rel_o = yield cu.wr.rel[i]
83 if wr_rel_o:
84 result = yield from get_cu_output(cu, i, code)
85 wrop = cu.get_out_name(i)
86 print ("output", i, wrop, hex(result))
87 res[wrop] = result
88 return res
89
90
91 def get_inp_indexed(cu, inp):
92 res = {}
93 for i in range(cu.n_src):
94 wrop = cu.get_in_name(i)
95 if wrop in inp:
96 res[i] = inp[wrop]
97 return res
98
99 def get_cu_rd_mask(n_src, inp):
100 mask = 0
101 for i in range(n_src):
102 if i in inp:
103 mask |= (1<<i)
104 return mask
105
106
107 class TestRunner(FHDLTestCase):
108 def __init__(self, test_data, fukls, iodef, funit):
109 super().__init__("run_all")
110 self.test_data = test_data
111 self.fukls = fukls
112 self.iodef = iodef
113 self.funit = funit
114
115 def run_all(self):
116 m = Module()
117 comb = m.d.comb
118 instruction = Signal(32)
119
120 pdecode = create_pdecode()
121
122 m.submodules.pdecode2 = pdecode2 = PowerDecode2(pdecode)
123 m.submodules.cu = cu = self.fukls()
124
125 comb += pdecode2.dec.raw_opcode_in.eq(instruction)
126 sim = Simulator(m)
127
128 sim.add_clock(1e-6)
129
130 def process():
131 yield cu.issue_i.eq(0)
132 yield
133
134 for test in self.test_data:
135 print(test.name)
136 program = test.program
137 self.subTest(test.name)
138 sim = ISA(pdecode2, test.regs, test.sprs, 0)
139 gen = program.generate_instructions()
140 instructions = list(zip(gen, program.assembly.splitlines()))
141
142 index = sim.pc.CIA.value//4
143 while index < len(instructions):
144 ins, code = instructions[index]
145
146 print("0x{:X}".format(ins & 0xffffffff))
147 print(code)
148
149 # ask the decoder to decode this binary data (endian'd)
150 yield pdecode2.dec.bigendian.eq(0) # little / big?
151 yield instruction.eq(ins) # raw binary instr.
152 yield Settle()
153 fn_unit = yield pdecode2.e.fn_unit
154 fuval = self.funit.value
155 self.assertEqual(fn_unit & fuval, fuval)
156
157 # set operand and get inputs
158 yield from set_operand(cu, pdecode2, sim)
159 iname = yield from self.iodef.get_cu_inputs(pdecode2, sim)
160 inp = get_inp_indexed(cu, iname)
161
162 # reset read-operand mask
163 rdmask = get_cu_rd_mask(cu.n_src, inp)
164 yield cu.rdmaskn.eq(~rdmask)
165
166 # reset write-operand mask
167 for idx in range(cu.n_dst):
168 wrok = cu.get_out(idx)
169 fname = find_ok(wrok.fields)
170 yield getattr(wrok, fname).eq(0)
171
172 # first set inputs to zero
173 for idx in range(cu.n_src):
174 cu_in = cu.get_in(idx)
175 yield cu_in.eq(0)
176
177 # set inputs into CU
178 rd_rel_o = yield cu.rd.rel
179 wr_rel_o = yield cu.wr.rel
180 print ("before inputs, rd_rel, wr_rel: ",
181 bin(rd_rel_o), bin(wr_rel_o))
182 yield from set_cu_inputs(cu, inp)
183 yield
184 rd_rel_o = yield cu.rd.rel
185 wr_rel_o = yield cu.wr.rel
186 wrmask = yield cu.wrmask
187 print ("after inputs, rd_rel, wr_rel, wrmask: ",
188 bin(rd_rel_o), bin(wr_rel_o), bin(wrmask))
189
190 # call simulated operation
191 opname = code.split(' ')[0]
192 yield from sim.call(opname)
193 index = sim.pc.CIA.value//4
194
195 # get all outputs (one by one, just "because")
196 res = yield from get_cu_outputs(cu, code)
197
198 yield from self.iodef.check_cu_outputs(res, pdecode2,
199 sim, code)
200
201 sim.add_sync_process(process)
202 with sim.write_vcd("simulator.vcd", "simulator.gtkw",
203 traces=[]):
204 sim.run()
205
206