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 branch_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() % 12;
|
69 |
|
|
uint32 after = rand() % 3;
|
70 |
|
|
/*
|
71 |
|
|
|
72 |
|
|
1 - no branch
|
73 |
|
|
2 - branch, exception in delay slot
|
74 |
|
|
*/
|
75 |
|
|
if(type == 0) { //BEQ
|
76 |
|
|
shared_ptr->initial.reg[0] = 1;
|
77 |
|
|
shared_ptr->initial.reg[1] = (after == 0)? 1 : (after == 1)? 2 : 1;
|
78 |
|
|
|
79 |
|
|
(*ptr) = (0b000100 << 26) | (1 << 21) | (2 << 16) | (1 + (rand() % 10));
|
80 |
|
|
ptr++;
|
81 |
|
|
|
82 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
83 |
|
|
ptr++;
|
84 |
|
|
|
85 |
|
|
for(int i=0; i<10; i++) {
|
86 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
87 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
88 |
|
|
ptr++;
|
89 |
|
|
}
|
90 |
|
|
}
|
91 |
|
|
else if(type == 1) { //BGEZ
|
92 |
|
|
shared_ptr->initial.reg[0] = (after == 0)? 1 : (after == 1)? 0x80000000 : 1;
|
93 |
|
|
|
94 |
|
|
(*ptr) = (0b000001 << 26) | (1 << 21) | (0b00001 << 16) | (1 + (rand() % 10));
|
95 |
|
|
ptr++;
|
96 |
|
|
|
97 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
98 |
|
|
ptr++;
|
99 |
|
|
|
100 |
|
|
for(int i=0; i<10; i++) {
|
101 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
102 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
103 |
|
|
ptr++;
|
104 |
|
|
}
|
105 |
|
|
}
|
106 |
|
|
else if(type == 2) { //BGEZAL
|
107 |
|
|
shared_ptr->initial.reg[0] = (after == 0)? 0 : (after == 1)? 0x80000000 : 1;
|
108 |
|
|
|
109 |
|
|
(*ptr) = (0b000001 << 26) | (1 << 21) | (0b10001 << 16) | (1 + (rand() % 10));
|
110 |
|
|
ptr++;
|
111 |
|
|
|
112 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
113 |
|
|
ptr++;
|
114 |
|
|
|
115 |
|
|
for(int i=0; i<10; i++) {
|
116 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
117 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
118 |
|
|
ptr++;
|
119 |
|
|
}
|
120 |
|
|
}
|
121 |
|
|
else if(type == 3) { //BGTZ
|
122 |
|
|
shared_ptr->initial.reg[0] = (after == 0)? 1 : (after == 1)? ((rand() % 2)? 0 : 0x80000000) : 1;
|
123 |
|
|
|
124 |
|
|
(*ptr) = (0b000111 << 26) | (1 << 21) | ((rand() % 3 == 0)? rand() & 0x1F : 0b00000) << 16 | (1 + (rand() % 10));
|
125 |
|
|
ptr++;
|
126 |
|
|
|
127 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
128 |
|
|
ptr++;
|
129 |
|
|
|
130 |
|
|
for(int i=0; i<10; i++) {
|
131 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
132 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
133 |
|
|
ptr++;
|
134 |
|
|
}
|
135 |
|
|
}
|
136 |
|
|
else if(type == 4) { //BLEZ
|
137 |
|
|
shared_ptr->initial.reg[0] = (after == 0)? 0x80000000 : (after == 1)? 1 : 0;
|
138 |
|
|
|
139 |
|
|
(*ptr) = (0b000110 << 26) | (1 << 21) | ((rand() % 3 == 0)? rand() & 0x1F : 0b00000) << 16 | (1 + (rand() % 10));
|
140 |
|
|
ptr++;
|
141 |
|
|
|
142 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
143 |
|
|
ptr++;
|
144 |
|
|
|
145 |
|
|
for(int i=0; i<10; i++) {
|
146 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
147 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
148 |
|
|
ptr++;
|
149 |
|
|
}
|
150 |
|
|
}
|
151 |
|
|
else if(type == 5) { //BLTZ
|
152 |
|
|
shared_ptr->initial.reg[0] = (after == 0)? 0x80000000 : (after == 1)? ((rand() % 2)? 0 : 1) : 0xFFFFFFFF;
|
153 |
|
|
|
154 |
|
|
(*ptr) = (0b000001 << 26) | (1 << 21) | (0b00000 << 16) | (1 + (rand() % 10));
|
155 |
|
|
ptr++;
|
156 |
|
|
|
157 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
158 |
|
|
ptr++;
|
159 |
|
|
|
160 |
|
|
for(int i=0; i<10; i++) {
|
161 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
162 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
163 |
|
|
ptr++;
|
164 |
|
|
}
|
165 |
|
|
}
|
166 |
|
|
else if(type == 6) { //BLTZAL
|
167 |
|
|
shared_ptr->initial.reg[0] = (after == 0)? 0x80000000 : (after == 1)? ((rand() % 2)? 0 : 1) : 0xFFFFFFFF;
|
168 |
|
|
|
169 |
|
|
(*ptr) = (0b000001 << 26) | (1 << 21) | (0b10000 << 16) | (1 + (rand() % 10));
|
170 |
|
|
ptr++;
|
171 |
|
|
|
172 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
173 |
|
|
ptr++;
|
174 |
|
|
|
175 |
|
|
for(int i=0; i<10; i++) {
|
176 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
177 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
178 |
|
|
ptr++;
|
179 |
|
|
}
|
180 |
|
|
}
|
181 |
|
|
else if(type == 7) { //BNE
|
182 |
|
|
shared_ptr->initial.reg[0] = 1;
|
183 |
|
|
shared_ptr->initial.reg[1] = (after == 0)? 2 : (after == 1)? 1 : 3;
|
184 |
|
|
|
185 |
|
|
(*ptr) = (0b000101 << 26) | (1 << 21) | (2 << 16) | (1 + (rand() % 10));
|
186 |
|
|
ptr++;
|
187 |
|
|
|
188 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
189 |
|
|
ptr++;
|
190 |
|
|
|
191 |
|
|
for(int i=0; i<10; i++) {
|
192 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
193 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
194 |
|
|
ptr++;
|
195 |
|
|
}
|
196 |
|
|
}
|
197 |
|
|
else if(type == 8) { //J
|
198 |
|
|
uint32 dest = (((0xA0001000) >> 2) & 0x3FFFFFF) | (1 + (rand() % 10));
|
199 |
|
|
|
200 |
|
|
(*ptr) = (0b000010 << 26) | dest;
|
201 |
|
|
ptr++;
|
202 |
|
|
|
203 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
204 |
|
|
ptr++;
|
205 |
|
|
|
206 |
|
|
for(int i=0; i<10; i++) {
|
207 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
208 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
209 |
|
|
ptr++;
|
210 |
|
|
}
|
211 |
|
|
}
|
212 |
|
|
else if(type == 9) { //JAL
|
213 |
|
|
uint32 dest = (((0xA0001000) >> 2) & 0x3FFFFFF) | (1 + (rand() % 10));
|
214 |
|
|
|
215 |
|
|
(*ptr) = (0b000011 << 26) | dest;
|
216 |
|
|
ptr++;
|
217 |
|
|
|
218 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
219 |
|
|
ptr++;
|
220 |
|
|
|
221 |
|
|
for(int i=0; i<10; i++) {
|
222 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
223 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
224 |
|
|
ptr++;
|
225 |
|
|
}
|
226 |
|
|
}
|
227 |
|
|
else if(type == 10) { //JALR
|
228 |
|
|
uint32 dest = 0xA0001000 | ((1 + (rand() % 10)) << 2) | (((rand() % 2) == 0)? 1 : 0);
|
229 |
|
|
|
230 |
|
|
shared_ptr->initial.reg[0] = dest;
|
231 |
|
|
|
232 |
|
|
(*ptr) = (0b000000 << 26) | (1 << 21) | ((rand() & 0x1F) << 16) | ((rand() & 0x1F) << 11) | ((rand() & 0x1F) << 6) | 0b001001;
|
233 |
|
|
ptr++;
|
234 |
|
|
|
235 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
236 |
|
|
ptr++;
|
237 |
|
|
|
238 |
|
|
for(int i=0; i<10; i++) {
|
239 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
240 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
241 |
|
|
ptr++;
|
242 |
|
|
}
|
243 |
|
|
}
|
244 |
|
|
else if(type == 11) { //JR
|
245 |
|
|
uint32 dest = 0xA0001000 | ((1 + (rand() % 10)) << 2) | (((rand() % 3) == 0)? 1 : 0);
|
246 |
|
|
|
247 |
|
|
shared_ptr->initial.reg[0] = dest;
|
248 |
|
|
shared_ptr->initial.reg[1] = (after == 1)? 1 : 0;
|
249 |
|
|
|
250 |
|
|
(*ptr) = (0b000000 << 26) | (1 << 21) | ((rand() & 0x1F) << 16) | (2 << 11) | ((rand() & 0x1F) << 6) | 0b001000;
|
251 |
|
|
ptr++;
|
252 |
|
|
|
253 |
|
|
(*ptr) = (after == 2)? 0b001100 /*SYSCALL*/: 0; //delay slot
|
254 |
|
|
ptr++;
|
255 |
|
|
|
256 |
|
|
for(int i=0; i<10; i++) {
|
257 |
|
|
(*ptr) = rand() & 0x03FFFFC0;
|
258 |
|
|
(*ptr) |= 0b001100; //SYSCALL
|
259 |
|
|
ptr++;
|
260 |
|
|
}
|
261 |
|
|
}
|
262 |
|
|
}
|
263 |
|
|
|
264 |
|
|
//------------------------------------------------------------------------------
|