aboutsummaryrefslogtreecommitdiff
path: root/tests/generate_alu_tests.c
blob: ebd2223ae9855343483cc08d954b227ed81347b8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <stdbool.h>

typedef enum {
    ADD = 0b0000,
    SUB = 0b0001,
    SLT = 0b0011,
    
    AND = 0b0100,
    OR  = 0b0101,
    XOR = 0b0110,
    
    SLL = 0b1000,
    SRL = 0b1001,
    SRA = 0b1011,
} OP;


void test_op(OP op, uint32_t a, uint32_t b) {
    uint32_t result;
    bool overflow = false;
    bool zero;
    
    switch (op) {
        case ADD: result = a + b; overflow = result < b; break;
        case SUB: result = a - b; overflow = a < b; break;
        case SLT: result = a < b; break;
            
        case AND: result = a & b; break;
        case OR:  result = a | b; break;
        case XOR: result = a ^ b; break;
            
        case SLL: result = a << b; break;
        case SRL: result = a >> b; break;
        case SRA: result = ((int32_t) a) >> b; break;
    }
    
    zero = result == 0;
    
    printf("%01X__%08X_%08X__%08X_%01X\n", op & 0x0f, a, b, result, (overflow << 1) | zero);
}

void test_op_random(OP op, int num) {
    for (int i = 0; i < num; ++i) {
        uint32_t a = (rand() << 16) | rand();
        uint32_t b = (rand() << 16) | rand();
        test_op(op, a, b);
    }
}

int main(int argc, const char * argv[]) {
    srand(time(NULL));
    
    test_op_random(ADD, 1000);
    test_op(ADD, 0x00000000, 0x00000000);
    test_op(ADD, 0xffffffff, 0xffffffff);
    test_op(ADD, 0xffffffff, 0x00000001);
    test_op_random(SUB, 1000);
    test_op(SUB, 0xffffffff, 0xffffffff);
    test_op_random(SLT, 1000);
    test_op(SLT, 0x8fffffff, 0xffffffff);
    test_op(SLT, 0xffffffff, 0x00000001);
    test_op(SLT, 0x00000001, 0xffffffff);
    
    test_op_random(OR,  1000);
    test_op(OR,  0x00000000, 0x00000000);
    test_op(OR,  0xffffffff, 0x00000000);
    test_op(OR,  0x00000000, 0xffffffff);
    test_op(OR,  0xffffffff, 0xffffffff);
    test_op_random(AND, 1000);
    test_op(AND, 0x00000000, 0x00000000);
    test_op(AND, 0xffffffff, 0x00000000);
    test_op(AND, 0x00000000, 0xffffffff);
    test_op(AND, 0xffffffff, 0xffffffff);
    test_op_random(XOR, 1000);
    test_op(XOR, 0x00000000, 0x00000000);
    test_op(XOR, 0xffffffff, 0x00000000);
    test_op(XOR, 0x00000000, 0xffffffff);
    test_op(XOR, 0xffffffff, 0xffffffff);
    
    test_op_random(SLL, 1000);
    test_op(SLL, 0x0000000f, 0x00000004);
    test_op(SLL, 0xffffffff, 0x0000001c);
    test_op(SLL, 0xf0000000, 0x00000002);
    test_op(SLL, 0x01234567, 0x00000001);
    test_op_random(SRL, 1000);
    test_op(SRL, 0xf0000000, 0x0000001c);
    test_op(SRL, 0x0000000f, 0x0000004);
    test_op_random(SRA, 1000);
    test_op(SRA, 0xf0000000, 0x0000001c);
    test_op(SRA, 0x0000000f, 0x0000004);
    
    return 0;
}