remove unneeded code and inputs. convert to "naming" in CompUnit inputs
[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
37
38 def get_cu_output(cu, idx, code):
39 wrmask = yield cu.wrmask
40 wrop = cu.get_out_name(idx)
41 wrok = cu.get_out(idx)
42 fname = find_ok(wrok.fields)
43 wrok = yield getattr(wrok, fname)
44 print ("wr_rel mask", repr(code), idx, wrop, bin(wrmask), fname, wrok)
45 assert wrmask & (1<<idx), \
46 "get_cu_output '%s': mask bit %d not set\n" \
47 "write-operand '%s' Data.ok likely not set (%s)" \
48 % (code, idx, wrop, hex(wrok))
49 while True:
50 wr_relall_o = yield cu.wr.rel
51 wr_rel_o = yield cu.wr.rel[idx]
52 print ("wr_rel %d wait" % idx, hex(wr_relall_o), wr_rel_o)
53 if wr_rel_o:
54 break
55 yield
56 yield cu.wr.go[idx].eq(1)
57 yield Settle()
58 result = yield cu.dest[idx]
59 yield
60 yield cu.wr.go[idx].eq(0)
61 print ("result", repr(code), idx, wrop, wrok, hex(result))
62 return result
63
64
65 def set_cu_inputs(cu, inp):
66 for idx, data in inp.items():
67 yield from set_cu_input(cu, idx, data)
68
69
70 def set_operand(cu, dec2, sim):
71 yield from cu.oper_i.eq_from_execute1(dec2.e)
72 yield cu.issue_i.eq(1)
73 yield
74 yield cu.issue_i.eq(0)
75 yield
76
77
78 def get_cu_outputs(cu, code):
79 res = {}
80 for i in range(cu.n_dst):
81 wr_rel_o = yield cu.wr.rel[i]
82 if wr_rel_o:
83 result = yield from get_cu_output(cu, i, code)
84 wrop = cu.get_out_name(i)
85 print ("output", i, wrop, hex(result))
86 res[wrop] = result
87 return res
88
89
90 def get_inp_indexed(cu, inp):
91 res = {}
92 for i in range(cu.n_src):
93 wrop = cu.get_in_name(i)
94 if wrop in inp:
95 res[i] = inp[wrop]
96 return res
97
98 def get_cu_rd_mask(n_src, inp):
99 mask = 0
100 for i in range(n_src):
101 if i in inp:
102 mask |= (1<<i)
103 return mask
104
105
106 class TestRunner(FHDLTestCase):
107 def __init__(self, test_data, fukls, iodef):
108 super().__init__("run_all")
109 self.test_data = test_data
110 self.fukls = fukls
111 self.iodef = iodef
112
113 def run_all(self):
114 m = Module()
115 comb = m.d.comb
116 instruction = Signal(32)
117
118 pdecode = create_pdecode()
119
120 m.submodules.pdecode2 = pdecode2 = PowerDecode2(pdecode)
121 m.submodules.cu = cu = self.fukls()
122
123 comb += pdecode2.dec.raw_opcode_in.eq(instruction)
124 sim = Simulator(m)
125
126 sim.add_clock(1e-6)
127
128 def process():
129 yield cu.issue_i.eq(0)
130 yield
131
132 for test in self.test_data:
133 print(test.name)
134 program = test.program
135 self.subTest(test.name)
136 sim = ISA(pdecode2, test.regs, test.sprs, 0)
137 gen = program.generate_instructions()
138 instructions = list(zip(gen, program.assembly.splitlines()))
139
140 index = sim.pc.CIA.value//4
141 while index < len(instructions):
142 ins, code = instructions[index]
143
144 print("0x{:X}".format(ins & 0xffffffff))
145 print(code)
146
147 # ask the decoder to decode this binary data (endian'd)
148 yield pdecode2.dec.bigendian.eq(0) # little / big?
149 yield instruction.eq(ins) # raw binary instr.
150 yield Settle()
151 fn_unit = yield pdecode2.e.fn_unit
152 self.assertEqual(fn_unit, Function.ALU.value)
153
154 # set operand and get inputs
155 yield from set_operand(cu, pdecode2, sim)
156 iname = yield from self.iodef.get_cu_inputs(pdecode2, sim)
157 inp = get_inp_indexed(cu, iname)
158
159 # reset read-operand mask
160 rdmask = get_cu_rd_mask(cu.n_src, inp)
161 yield cu.rdmaskn.eq(~rdmask)
162
163 # reset write-operand mask
164 for idx in range(cu.n_dst):
165 wrok = cu.get_out(idx)
166 fname = find_ok(wrok.fields)
167 yield getattr(wrok, fname).eq(0)
168
169 # set inputs into CU
170 rd_rel_o = yield cu.rd.rel
171 wr_rel_o = yield cu.wr.rel
172 print ("before inputs, rd_rel, wr_rel: ",
173 bin(rd_rel_o), bin(wr_rel_o))
174 yield from set_cu_inputs(cu, inp)
175 yield
176 rd_rel_o = yield cu.rd.rel
177 wr_rel_o = yield cu.wr.rel
178 wrmask = yield cu.wrmask
179 print ("after inputs, rd_rel, wr_rel, wrmask: ",
180 bin(rd_rel_o), bin(wr_rel_o), bin(wrmask))
181
182 # call simulated operation
183 opname = code.split(' ')[0]
184 yield from sim.call(opname)
185 index = sim.pc.CIA.value//4
186
187 # get all outputs (one by one, just "because")
188 res = yield from get_cu_outputs(cu, code)
189
190 yield from self.iodef.check_cu_outputs(res, pdecode2,
191 sim, code)
192
193 sim.add_sync_process(process)
194 with sim.write_vcd("simulator.vcd", "simulator.gtkw",
195 traces=[]):
196 sim.run()
197
198