1 package net.mograsim.logic.ui.am2900;
3 import static net.mograsim.logic.ui.am2900.TestUtil.*;
4 import static net.mograsim.logic.ui.am2900.TestableAm2901.Am2901_Dest.*;
5 import static net.mograsim.logic.ui.am2900.TestableAm2901.Am2901_Func.*;
6 import static net.mograsim.logic.ui.am2900.TestableAm2901.Am2901_Src.*;
7 import static net.mograsim.logic.ui.am2900.TestableAm2901.Register.*;
8 import static org.junit.jupiter.api.Assertions.*;
10 import java.awt.Point;
11 import java.util.stream.IntStream;
12 import java.util.stream.Stream;
14 import org.junit.jupiter.api.BeforeEach;
15 import org.junit.jupiter.api.Order;
16 import org.junit.jupiter.api.MethodOrderer.OrderAnnotation;
17 import org.junit.jupiter.api.Test;
18 import org.junit.jupiter.api.TestMethodOrder;
19 import org.junit.jupiter.params.ParameterizedTest;
20 import org.junit.jupiter.params.provider.ArgumentsSource;
21 import net.mograsim.logic.ui.am2900.TestableAm2901.Register;
23 @TestMethodOrder(OrderAnnotation.class)
24 public class Am2901Test
26 private TestableAm2901 am2901;
37 am2901 = new TestableAm2901Impl();
41 void setRegistersToZero()
44 for (Register r : Register.values())
50 void setRegisterToZero(Register r)
57 am2901.assertFullCycleSuccess();
60 void setRegOutput(Register r)
67 am2901.setReg_B(r.toBitString());
72 void setInputsToZero()
74 am2901.setCarryIn("0");
79 am2901.setReg_A("0000");
80 am2901.setReg_B("0000");
85 // am2901.setNotOutEnable("0"); TODO
87 am2901.assertRunSuccess();
92 @ArgumentsSource(TestableAm2901.RegisterProvider.class)
93 void testDirectAccess(Register r)
95 assertEquals("UUUU", am2901.getDirectly(r));
97 am2901.setDirectly(r, "1011");
99 assertEquals("1011", am2901.getDirectly(r));
104 @ArgumentsSource(TestableAm2901.RegisterProvider.class)
105 void testSetToZero(Register r)
107 assertEquals("UUUU", am2901.getDirectly(r));
109 setRegisterToZero(r);
111 assertEquals("0000", am2901.getDirectly(r));
112 assertEquals("0000", am2901.getY());
113 assertEquals("0", am2901.getCarryOut());
114 assertEquals("0", am2901.getOverflow());
115 assertEquals("0", am2901.getSign());
116 assertEquals("1", am2901.getZero());
121 void testSetAllToZero()
123 setRegistersToZero();
125 assertEquals("0000", am2901.getY());
126 assertEquals("0", am2901.getCarryOut());
127 assertEquals("0", am2901.getOverflow());
128 assertEquals("0", am2901.getSign());
129 assertEquals("1", am2901.getZero());
130 assertEquals("0", am2901.getQ_0());
131 assertEquals("0", am2901.getQ_3());
132 assertEquals("0", am2901.getRAM_0());
133 assertEquals("0", am2901.getRAM_3());
135 assertAll("register values", Register.stream().map(r -> () ->
137 assertEquals("0000", am2901.getDirectly(r), r.name());
148 am2901.setReg_A(r0.toBitString());
150 assertAll(getAll4BitPairs().map(xy -> () ->
152 am2901.setDirectly(r0, to4bitBin(xy.x));
153 am2901.setD(to4bitBin(xy.y));
155 am2901.assertFullCycleSuccess();
157 int res32Bit = xy.x + xy.y;
158 int res4Bit = res32Bit & 0b1111;
159 int res32Bit_sgn = signed4ToSigned32(xy.x) + signed4ToSigned32(xy.y);
160 int res4Bit_sgn = signed4ToSigned32(res32Bit_sgn);
162 String desc = xy.x + " + " + xy.y + " = " + res4Bit + ": ";
164 assertEquals(to4bitBin(res4Bit & 0b1111), am2901.getY(), desc + "Y");
165 assertEquals(to1bitBin(res4Bit == 0), am2901.getZero(), desc + "F=0");
166 assertEquals(to1bitBin(res4Bit & 0b1000), am2901.getSign(), desc + "F3");
167 assertEquals(to1bitBin(res32Bit & 0b1_0000), am2901.getCarryOut(), desc + "Cn+4");
168 assertEquals(to1bitBin(res4Bit_sgn != res32Bit_sgn), am2901.getOverflow(), desc + "OVR");
179 am2901.setReg_A(r0.toBitString());
181 assertAll(getAll4BitPairs().map(xy -> () ->
183 am2901.setDirectly(r0, to4bitBin(xy.x));
184 am2901.setD(to4bitBin(xy.y));
186 am2901.assertFullCycleSuccess();
188 int res32Bit = xy.x & xy.y;
190 String desc = xy.x + " & " + xy.y + " = " + res32Bit + ": ";
192 assertEquals(to4bitBin(res32Bit), am2901.getY(), desc + "Y");
193 assertEquals(to1bitBin(res32Bit == 0), am2901.getZero(), desc + "F=0");
194 assertEquals(to1bitBin(res32Bit & 0b1000), am2901.getSign(), desc + "F3");
195 // assertEquals(to1bitBin(res32Bit), am2901.getCarryOut(), desc + "Cn+4"); // TODO
196 // assertEquals(to1bitBin(res32Bit), am2901.getOverflow(), desc + "OVR"); // TODO
207 am2901.setReg_A(r0.toBitString());
209 assertAll(getAll4BitPairs().map(xy -> () ->
211 am2901.setDirectly(r0, to4bitBin(xy.x));
212 am2901.setD(to4bitBin(xy.y));
214 am2901.assertFullCycleSuccess();
216 int res32Bit = xy.x | xy.y;
218 String desc = xy.x + " | " + xy.y + " = " + res32Bit + ": ";
220 assertEquals(to4bitBin(res32Bit), am2901.getY(), desc + "Y");
221 assertEquals(to1bitBin(res32Bit == 0), am2901.getZero(), desc + "F=0");
222 assertEquals(to1bitBin(res32Bit & 0b1000), am2901.getSign(), desc + "F3");
223 // assertEquals(to1bitBin(res32Bit != 0b1111), am2901.getCarryOut(), desc + "Cn+4"); // TODO
224 // assertEquals(to1bitBin(res32Bit != 0b1111), am2901.getOverflow(), desc + "OVR"); // TODO
233 am2901.setFunc(EXOR);
235 am2901.setReg_A(r0.toBitString());
237 assertAll(getAll4BitPairs().map(xy -> () ->
239 am2901.setDirectly(r0, to4bitBin(xy.x));
240 am2901.setD(to4bitBin(xy.y));
242 am2901.assertFullCycleSuccess();
244 int res32Bit = xy.x ^ xy.y;
246 String desc = xy.x + " ^ " + xy.y + " = " + res32Bit + ": ";
248 assertEquals(to4bitBin(res32Bit), am2901.getY(), desc + "Y");
249 assertEquals(to1bitBin(res32Bit == 0), am2901.getZero(), desc + "F=0");
250 assertEquals(to1bitBin(res32Bit & 0b1000), am2901.getSign(), desc + "F3");
251 // assertEquals(to1bitBin(res32Bit != 0b1111), am2901.getCarryOut(), desc + "Cn+4"); // TODO
252 // assertEquals(to1bitBin(res32Bit != 0b1111), am2901.getOverflow(), desc + "OVR"); // TODO
261 am2901.setCarryIn("1");
262 am2901.setFunc(SUBR);
264 am2901.setReg_A(r0.toBitString());
266 assertAll(getAll4BitPairs().map(xy -> () ->
268 am2901.setDirectly(r0, to4bitBin(xy.x));
269 am2901.setD(to4bitBin(xy.y));
271 am2901.assertFullCycleSuccess();
273 int res32Bit = xy.x - xy.y;
274 int res4Bit = res32Bit & 0b1111;
275 int res32Bit_sgn = signed4ToSigned32(xy.x) - signed4ToSigned32(xy.y);
276 int res4Bit_sgn = signed4ToSigned32(res32Bit_sgn);
278 String desc = xy.x + " - " + xy.y + " = " + res4Bit + ": ";
280 assertEquals(to4bitBin(res4Bit & 0b1111), am2901.getY(), desc + "Y");
281 assertEquals(to1bitBin(res4Bit == 0), am2901.getZero(), desc + "F=0");
282 assertEquals(to1bitBin(res4Bit & 0b1000), am2901.getSign(), desc + "F3");
283 assertEquals(to1bitBin(xy.x >= xy.y), am2901.getCarryOut(), desc + "Cn+4");
284 assertEquals(to1bitBin(res4Bit_sgn != res32Bit_sgn), am2901.getOverflow(), desc + "OVR");
288 static Stream<Point> getAll4BitPairs()
290 return IntStream.range(0, 16).boxed().flatMap(x -> IntStream.range(0, 16).mapToObj(y -> new Point(x, y)));