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
|
#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include <time.h>
uint32_t registers[32];
uint32_t read_reg(uint32_t addr) { return addr == 0 ? 0 : registers[addr]; }
void write_reg(uint32_t addr, uint32_t data, bool we) {
if (addr != 0 && we)
registers[addr] = data;
}
void test(uint32_t addr_rs0, uint32_t addr_rs1, uint32_t addr_rd2,
uint32_t data_rd2, bool we) {
write_reg(addr_rd2, data_rd2, we);
uint32_t data_rs0 = read_reg(addr_rs0);
uint32_t data_rs1 = read_reg(addr_rs1);
printf("%08X_%08X__%08X_%08X__%08X_%08X_%01X\n", addr_rs0, data_rs0, addr_rs1,
data_rs1, addr_rd2, data_rd2, we);
}
void tests(int num) {
for (int i = 0; i < num; ++i) {
uint32_t addr_rs0 = ((uint32_t)((rand() << 16) | rand())) % 32;
uint32_t addr_rs1 = ((uint32_t)((rand() << 16) | rand())) % 32;
uint32_t addr_rd2 = ((uint32_t)((rand() << 16) | rand())) % 32;
uint32_t data_rd2 = ((uint32_t)((rand() << 16) | rand()));
bool we = ((uint32_t)rand()) % 2;
test(addr_rs0, addr_rs1, addr_rd2, data_rd2, we);
}
}
int main(int argc, const char *argv[]) {
srand(time(NULL));
for (int i = 0; i < 32; ++i)
registers[0] = 0;
for (int i = 0; i < 32; ++i)
test(i, i, 0, 0, false);
for (int i = 0; i < 32; ++i)
test(i, i, i, 0xffffffff, true);
tests(10000);
return 0;
}
|
