Skip to content

Commit

Permalink
Add 16-bit all-variant generators
Browse files Browse the repository at this point in the history
  • Loading branch information
@vbmacher
vbmacher committed May 2, 2022
1 parent 733e006 commit a950ab0
Showing 1 changed file with 93 additions and 35 deletions.
128 changes: 93 additions & 35 deletions src/main/java/net/emustudio/cpu/testsuite/Generator.java
View file
Expand Up @@ -24,8 +24,7 @@

@SuppressWarnings("unused")
public class Generator {
// Contract: Memory size is 16-bit at max
private static final int MAX_OPERAND_SIZE = 0xFFFF;
private static final int MAX_16BIT_VALUE = 0xFFFF;
private static int randomTests = 25;

public static void setRandomTestsCount(int randomTests) {
Expand Down Expand Up @@ -57,7 +56,7 @@ public static void forSome8bitBinary(BiConsumer<Byte, Byte>... runners) {
public static void forAll8bitBinaryWhichEqual(BiConsumer<Byte, Byte>... runners) {
for (int i = 0; i < 256; i++) {
for (BiConsumer<Byte, Byte> runner : runners) {
runner.accept((byte)i, (byte)i);
runner.accept((byte) i, (byte) i);
}
}
}
Expand All @@ -68,28 +67,46 @@ public static void forSome8bitBinaryWhichEqual(BiConsumer<Byte, Byte>... runners
for (int i = 0; i < randomTests; i++) {
for (BiConsumer<Byte, Byte> runner : runners) {
int k = random.nextInt(256);
runner.accept((byte)k, (byte)k);
runner.accept((byte) k, (byte) k);
}
}
}

@SafeVarargs
public static void forAll16bitBinary(int firstStartFrom, int secondStartFrom, BiConsumer<Integer, Integer>... runners) {
if (firstStartFrom > MAX_16BIT_VALUE) {
throw new IllegalArgumentException("First start from must be <= " + MAX_16BIT_VALUE);
}
if (secondStartFrom > MAX_16BIT_VALUE) {
throw new IllegalArgumentException("Second start from must be <= " + MAX_16BIT_VALUE);
}

for (int i = firstStartFrom; i < 65536; i++) {
for (int j = secondStartFrom; j < 65536; j++) {
for (BiConsumer<Integer, Integer> runner : runners) {
runner.accept(i, j);
}
}
}
}

@SafeVarargs
public static void forSome16bitBinary(int firstStartFrom, int secondStartFrom, BiConsumer<Integer, Integer>... runners) {
if (firstStartFrom > MAX_OPERAND_SIZE) {
throw new IllegalArgumentException("First start from must be <= " + MAX_OPERAND_SIZE);
if (firstStartFrom > MAX_16BIT_VALUE) {
throw new IllegalArgumentException("First start from must be <= " + MAX_16BIT_VALUE);
}
if (secondStartFrom > MAX_OPERAND_SIZE) {
throw new IllegalArgumentException("Second start from must be <= " + MAX_OPERAND_SIZE);
if (secondStartFrom > MAX_16BIT_VALUE) {
throw new IllegalArgumentException("Second start from must be <= " + MAX_16BIT_VALUE);
}

Random random = new Random();
for (int i = 0; i < randomTests; i++) {
for (BiConsumer<Integer, Integer> runner : runners) {
int first = random.nextInt(MAX_OPERAND_SIZE);
int first = random.nextInt(MAX_16BIT_VALUE);
if (first < firstStartFrom) {
first = firstStartFrom;
}
int second = random.nextInt(MAX_OPERAND_SIZE);
int second = random.nextInt(MAX_16BIT_VALUE);
if (second < secondStartFrom) {
second = secondStartFrom;
}
Expand All @@ -98,22 +115,51 @@ public static void forSome16bitBinary(int firstStartFrom, int secondStartFrom, B
}
}

@SafeVarargs
public static void forAll16bitBinary(int firstStartFrom, BiConsumer<Integer, Integer>... runners) {
forAll16bitBinary(firstStartFrom, 0, runners);
}

@SafeVarargs
public static void forSome16bitBinary(int firstStartFrom, BiConsumer<Integer, Integer>... runners) {
forSome16bitBinary(firstStartFrom, 0, runners);
}

@SafeVarargs
public static void forAll16bitBinary(BiConsumer<Integer, Integer>... runners) {
forAll16bitBinary(0, 0, runners);
}

@SafeVarargs
public static void forSome16bitBinary(BiConsumer<Integer, Integer>... runners) {
forSome16bitBinary(0, 0, runners);
}

@SafeVarargs
public static void forAll16bitBinaryFirstSatisfying(Predicate<Integer> predicate,
BiConsumer<Integer, Integer>... runners) {
for (int i = 0; i < 65536; i++) {
if (predicate.test(i)) {
for (int j = 0; j < 65536; j++) {
for (BiConsumer<Integer, Integer> runner : runners) {
runner.accept(i, j);
}
}
}
}
}

@SafeVarargs
public static void forSome16bitBinaryFirstSatisfying(Predicate<Integer> predicate,
BiConsumer<Integer, Integer>... runners) {
Random random = new Random();
for (int i = 0; i < randomTests; i++) {
for (BiConsumer<Integer, Integer> runner : runners) {
int first = random.nextInt(MAX_OPERAND_SIZE);
while(!predicate.test(first)) {
first = random.nextInt(MAX_OPERAND_SIZE);
int first = random.nextInt(MAX_16BIT_VALUE);
while (!predicate.test(first)) {
first = random.nextInt(MAX_16BIT_VALUE);
}
runner.accept(first, random.nextInt(MAX_OPERAND_SIZE));
runner.accept(first, random.nextInt(MAX_16BIT_VALUE));
}
}
}
Expand All @@ -124,25 +170,40 @@ public static void forSome16bitBinaryBothSatisfying(Predicate<Integer> firstP, P
Random random = new Random();
for (int i = 0; i < randomTests; i++) {
for (BiConsumer<Integer, Integer> runner : runners) {
int first = random.nextInt(MAX_OPERAND_SIZE);
while(!firstP.test(first)) {
first = random.nextInt(MAX_OPERAND_SIZE);
int first = random.nextInt(MAX_16BIT_VALUE);
while (!firstP.test(first)) {
first = random.nextInt(MAX_16BIT_VALUE);
}
int second = random.nextInt(MAX_OPERAND_SIZE);
int second = random.nextInt(MAX_16BIT_VALUE);
while (!secondP.test(second)) {
second = random.nextInt(MAX_OPERAND_SIZE);
second = random.nextInt(MAX_16BIT_VALUE);
}
runner.accept(first, second);
}
}
}

@SafeVarargs
public static void forSome16bitBinary(BiConsumer<Integer, Integer>... runners) {
Random random = new Random();
for (int i = 0; i < randomTests; i++) {
public static void forAll16bitBinaryBothSatisfying(Predicate<Integer> firstP, Predicate<Integer> secondP,
BiConsumer<Integer, Integer>... runners) {
for (int i = 0; i < 65536; i++) {
if (firstP.test(i)) {
for (int j = 0; j < 65536; j++) {
if (secondP.test(j)) {
for (BiConsumer<Integer, Integer> runner : runners) {
runner.accept(i, j);
}
}
}
}
}
}

@SafeVarargs
public static void forAll16bitBinaryWhichEqual(BiConsumer<Integer, Integer>... runners) {
for (int i = 0; i < 65536; i++) {
for (BiConsumer<Integer, Integer> runner : runners) {
runner.accept(random.nextInt(MAX_OPERAND_SIZE), random.nextInt(MAX_OPERAND_SIZE));
runner.accept(i, i);
}
}
}
Expand All @@ -152,7 +213,7 @@ public static void forSome16bitBinaryWhichEqual(BiConsumer<Integer, Integer>...
Random random = new Random();
for (int i = 0; i < randomTests; i++) {
for (BiConsumer<Integer, Integer> runner : runners) {
int k = random.nextInt(MAX_OPERAND_SIZE);
int k = random.nextInt(MAX_16BIT_VALUE);
runner.accept(k, k);
}
}
Expand All @@ -162,7 +223,7 @@ public static void forSome16bitBinaryWhichEqual(BiConsumer<Integer, Integer>...
public static void forAll8bitUnary(BiConsumer<Byte, Byte>... runners) {
for (int i = 0; i < 256; i++) {
for (BiConsumer<Byte, Byte> runner : runners) {
runner.accept((byte)i, (byte)0);
runner.accept((byte) i, (byte) 0);
}
}
}
Expand All @@ -173,7 +234,7 @@ public static void forSome8bitUnary(BiConsumer<Byte, Byte>... runners) {
for (int i = 0; i < randomTests; i++) {
for (BiConsumer<Byte, Byte> runner : runners) {
int k = random.nextInt(256);
runner.accept((byte)k, (byte)0);
runner.accept((byte) k, (byte) 0);
}
}
}
Expand All @@ -188,25 +249,22 @@ public static void forSome16bitUnary(int firstStartFrom, BiConsumer<Integer, Int
Random random = new Random();
for (int i = 0; i < randomTests; i++) {
for (BiConsumer<Integer, Integer> runner : runners) {
int first = random.nextInt(0xFFFF);
int first = random.nextInt(MAX_16BIT_VALUE + 1);
if (first < firstStartFrom) {
first += firstStartFrom;
}
if (first > 0xFFFF) {
first = 0xFFFF;
}
runner.accept(first, 0);
}
}
}

@SafeVarargs
public static void forAll16bitUnary(int firstStartFrom, BiConsumer<Integer, Integer>... runners) {
if (firstStartFrom > MAX_OPERAND_SIZE) {
throw new IllegalArgumentException("First start from must be <=" + MAX_OPERAND_SIZE);
if (firstStartFrom > MAX_16BIT_VALUE) {
throw new IllegalArgumentException("First start from must be <=" + MAX_16BIT_VALUE);
}

for (int i = firstStartFrom; i < 0xffff; i++) {
for (int i = firstStartFrom; i <= MAX_16BIT_VALUE; i++) {
for (BiConsumer<Integer, Integer> runner : runners) {
runner.accept(i, 0);
}
Expand All @@ -215,14 +273,14 @@ public static void forAll16bitUnary(int firstStartFrom, BiConsumer<Integer, Inte

@SafeVarargs
public static <T extends Number> void forGivenOperandsAndSingleRun(T operand, BiConsumer<T, T>... runners) {
for (BiConsumer<T,T> runner : runners) {
for (BiConsumer<T, T> runner : runners) {
runner.accept(operand, operand);
}
}

@SafeVarargs
public static <T extends Number> void forGivenOperandsAndSingleRun(T first, T second, BiConsumer<T, T>... runners) {
for (BiConsumer<T,T> runner : runners) {
for (BiConsumer<T, T> runner : runners) {
runner.accept(first, second);
}
}
Expand Down

0 comments on commit a950ab0

Please sign in to comment.