1 |
2 |
alfik |
/*
|
2 |
|
|
* This file is subject to the terms and conditions of the BSD License. See
|
3 |
|
|
* the file "LICENSE" in the main directory of this archive for more details.
|
4 |
|
|
*
|
5 |
|
|
* Copyright (C) 2014 Aleksander Osman
|
6 |
|
|
*/
|
7 |
|
|
|
8 |
|
|
#include <cstdio>
|
9 |
|
|
#include <cstdlib>
|
10 |
|
|
|
11 |
|
|
#include "tests.h"
|
12 |
|
|
|
13 |
|
|
//------------------------------------------------------------------------------
|
14 |
|
|
|
15 |
|
|
void exception_till_exc_init(tst_t *tst, shared_mem_t *shared_ptr) {
|
16 |
|
|
|
17 |
|
|
for(int i=1; i<32; i++) shared_ptr->initial.reg[i-1] = rand_uint32();
|
18 |
|
|
|
19 |
|
|
shared_ptr->initial.pc = 0xA0001000;
|
20 |
|
|
|
21 |
|
|
//tlb left zero
|
22 |
|
|
|
23 |
|
|
shared_ptr->initial.index_p = rand() & 0x1;
|
24 |
|
|
shared_ptr->initial.index_index = rand() & 0x3F;
|
25 |
|
|
|
26 |
|
|
shared_ptr->initial.random = rand() & 0x3F;
|
27 |
|
|
|
28 |
|
|
shared_ptr->initial.entrylo_pfn = rand() & 0xFFFFF;
|
29 |
|
|
shared_ptr->initial.entrylo_n = rand() & 0x1;
|
30 |
|
|
shared_ptr->initial.entrylo_d = rand() & 0x1;
|
31 |
|
|
shared_ptr->initial.entrylo_v = rand() & 0x1;
|
32 |
|
|
shared_ptr->initial.entrylo_g = rand() & 0x1;
|
33 |
|
|
|
34 |
|
|
shared_ptr->initial.context_ptebase = rand() & 0x7FF;
|
35 |
|
|
shared_ptr->initial.context_badvpn = rand() & 0x7FFFF;
|
36 |
|
|
|
37 |
|
|
shared_ptr->initial.bad_vaddr = rand_uint32();
|
38 |
|
|
|
39 |
|
|
shared_ptr->initial.entryhi_vpn = rand() & 0xFFFFF;
|
40 |
|
|
shared_ptr->initial.entryhi_asid = rand() & 0x3F;
|
41 |
|
|
|
42 |
|
|
shared_ptr->initial.sr_cp_usable = rand() & 0xF;
|
43 |
|
|
shared_ptr->initial.sr_rev_endian = rand() & 0x1;
|
44 |
|
|
shared_ptr->initial.sr_bootstrap_vec = rand() & 0x1;
|
45 |
|
|
shared_ptr->initial.sr_tlb_shutdown = rand() & 0x1;
|
46 |
|
|
shared_ptr->initial.sr_parity_err = rand() & 0x1;
|
47 |
|
|
shared_ptr->initial.sr_cache_miss = rand() & 0x1;
|
48 |
|
|
shared_ptr->initial.sr_parity_zero = rand() & 0x1;
|
49 |
|
|
shared_ptr->initial.sr_switch_cache = rand() & 0x1;
|
50 |
|
|
shared_ptr->initial.sr_isolate_cache = rand() & 0x1;
|
51 |
|
|
shared_ptr->initial.sr_irq_mask = rand() & 0xFF;
|
52 |
|
|
shared_ptr->initial.sr_ku_ie = rand() & 0x3F;
|
53 |
|
|
|
54 |
|
|
shared_ptr->initial.cause_branch_delay = rand() & 0x1;
|
55 |
|
|
shared_ptr->initial.cause_cp_error = rand() & 0x3;
|
56 |
|
|
shared_ptr->initial.cause_irq_pending = 0;
|
57 |
|
|
shared_ptr->initial.cause_exc_code = rand() & 0x1F;
|
58 |
|
|
|
59 |
|
|
shared_ptr->initial.epc = rand_uint32();
|
60 |
|
|
|
61 |
|
|
//
|
62 |
|
|
shared_ptr->irq2_at_event = 0xFFFFFFFF;
|
63 |
|
|
shared_ptr->irq3_at_event = 0xFFFFFFFF;
|
64 |
|
|
|
65 |
|
|
//
|
66 |
|
|
uint32 *ptr = &shared_ptr->mem.ints[(shared_ptr->initial.pc & 0x1FFFFFFF) / 4];
|
67 |
|
|
|
68 |
|
|
uint32 type = rand() % 14;
|
69 |
|
|
|
70 |
|
|
if(type == 0) { //SYSCALL
|
71 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
72 |
|
|
(*ptr) |= 0b001100;
|
73 |
|
|
}
|
74 |
|
|
else if(type == 1) { //BREAK
|
75 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
76 |
|
|
(*ptr) |= 0b001101;
|
77 |
|
|
}
|
78 |
|
|
else if(type == 2) { //CFCz
|
79 |
|
|
(*ptr) = rand() & 0x0C1FFFFF;
|
80 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00010 << 21);
|
81 |
|
|
}
|
82 |
|
|
else if(type == 3) { //CTCz
|
83 |
|
|
(*ptr) = rand() & 0x0C1FFFFF;
|
84 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00110 << 21);
|
85 |
|
|
}
|
86 |
|
|
else if(type == 4) { //LWCz
|
87 |
|
|
(*ptr) = rand() & 0x0FFFFFFF;
|
88 |
|
|
(*ptr) |= (0b1100 << 28);
|
89 |
|
|
}
|
90 |
|
|
else if(type == 5) { //SWCz
|
91 |
|
|
(*ptr) = rand() & 0x0FFFFFFF;
|
92 |
|
|
(*ptr) |= (0b1110 << 28);
|
93 |
|
|
}
|
94 |
|
|
else if(type == 6) { //CFC1_detect
|
95 |
|
|
(*ptr) = rand() & 0x001F07FF;
|
96 |
|
|
(*ptr) |= (0b0100 << 28) | (0b01 << 26) | (0b00010 << 21) | (0b00000 << 11);
|
97 |
|
|
}
|
98 |
|
|
else if(type == 7) { //MFC0123 random
|
99 |
|
|
(*ptr) = rand() & 0x0C1FFFFF;
|
100 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00000 << 21);
|
101 |
|
|
}
|
102 |
|
|
else if(type == 8) { //MFC0
|
103 |
|
|
(*ptr) = rand() & 0x001FFFFF;
|
104 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b00000 << 21);
|
105 |
|
|
}
|
106 |
|
|
else if(type == 9) { //MTC0123 random
|
107 |
|
|
(*ptr) = rand() & 0x0C1FFFFF;
|
108 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00100 << 21);
|
109 |
|
|
}
|
110 |
|
|
else if(type == 10) { //MTC0
|
111 |
|
|
(*ptr) = rand() & 0x001FFFFF;
|
112 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b00100 << 21);
|
113 |
|
|
}
|
114 |
|
|
else if(type == 11) { //COP0123 random
|
115 |
|
|
(*ptr) = rand() & 0x0DFFFFFF;
|
116 |
|
|
(*ptr) |= (0b0100 << 28) | (0b1 << 25);
|
117 |
|
|
}
|
118 |
|
|
else if(type == 12) { //COP0
|
119 |
|
|
(*ptr) = rand() & 0x01FFFFFF;
|
120 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b1 << 25);
|
121 |
|
|
}
|
122 |
|
|
else if(type == 13) { //RFE
|
123 |
|
|
(*ptr) = rand() & 0x01FFFFC0;
|
124 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b1 << 25) | (0b010000 << 0);
|
125 |
|
|
}
|
126 |
|
|
else if(type == 14) { //bc0f
|
127 |
|
|
(*ptr) = rand() & 0x00000000;
|
128 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b01000 << 21) | (0b00000 << 16) | (rand() % 5);
|
129 |
|
|
}
|
130 |
|
|
else if(type == 15) { //bc0t
|
131 |
|
|
(*ptr) = rand() & 0x00000000;
|
132 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b01000 << 21) | (0b00001 << 16) | (rand() % 5);
|
133 |
|
|
}
|
134 |
|
|
else if(type == 15) { //bc0_ign
|
135 |
|
|
(*ptr) = rand() & 0x0000FFFF;
|
136 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b01000 << 21) | (((rand() % 2)? 0b00010 : 0b00011) << 16);
|
137 |
|
|
}
|
138 |
|
|
else if(type == 15) { //bc0 reserved
|
139 |
|
|
(*ptr) = rand() & 0x0000FFFF;
|
140 |
|
|
(*ptr) |= (0b0100 << 28) | (0b00 << 26) | (0b01000 << 21) | ((4 + (rand() % 28)) << 16);
|
141 |
|
|
}
|
142 |
|
|
|
143 |
|
|
ptr++;
|
144 |
|
|
for(int i=0; i<5; i++) {
|
145 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
146 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
147 |
|
|
ptr++;
|
148 |
|
|
}
|
149 |
|
|
}
|
150 |
|
|
|
151 |
|
|
//------------------------------------------------------------------------------
|