Mercurial > pygar

comparison core/sim/bdir_dut/ProcTypes.bi @ 1:91a1f76ddd62 pygar svn.2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[svn r2] Adding initial lab 5 source
author punk
date Tue, 13 Apr 2010 17:34:33 -0400
parents
children
comparison
equal deleted inserted replaced
0:6d1ff93e3afa 1:91a1f76ddd62
1 signature ProcTypes where {
2 import ¶Counter®¶;
3
4 import ¶FIFOF_®¶;
5
6 import ¶FIFOF®¶;
7
8 import ¶FIFO®¶;
9
10 import ¶Inout®¶;
11
12 import ¶List®¶;
13
14 import ¶Clocks®¶;
15
16 import ¶ListN®¶;
17
18 import ¶PrimArray®¶;
19
20 import ¶Vector®¶;
21
22 import ¶Connectable®¶;
23
24 import ¶GetPut®¶;
25
26 import ¶ClientServer®¶;
27
28 import Trace;
29
30 type (ProcTypes.Addr :: *) = ¶Prelude®¶.¶Bit®¶ 32;
31
32 type (ProcTypes.Stat :: *) = ¶Prelude®¶.¶Int®¶ 18;
33
34 type (ProcTypes.Rindx :: *) = ¶Prelude®¶.¶Bit®¶ 5;
35
36 type (ProcTypes.Simm :: *) = ¶Prelude®¶.¶Bit®¶ 16;
37
38 type (ProcTypes.Zimm :: *) = ¶Prelude®¶.¶Bit®¶ 16;
39
40 type (ProcTypes.Epoch :: *) = ¶Prelude®¶.¶Bit®¶ 8;
41
42 type (ProcTypes.Shamt :: *) = ¶Prelude®¶.¶Bit®¶ 5;
43
44 type (ProcTypes.Target :: *) = ¶Prelude®¶.¶Bit®¶ 26;
45
46 type (ProcTypes.CP0indx :: *) = ¶Prelude®¶.¶Bit®¶ 5;
47
48 type (ProcTypes.Data :: *) = ¶Prelude®¶.¶Bit®¶ 32;
49
50 data (ProcTypes.Direction :: *) = ProcTypes.Taken () | ProcTypes.NotTaken ();
51
52 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.Direction;
53
54 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.Direction;
55
56 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.Direction;
57
58 instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.Direction 1;
59
60 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.Direction;
61
62 data (ProcTypes.WritebackType :: *) =
63 ProcTypes.ALUWB (¶Prelude®¶.¶Tuple2®¶ ProcTypes.Rindx ProcTypes.Data) |
64 ProcTypes.MemWB ProcTypes.Rindx |
65 ProcTypes.CoWB (¶Prelude®¶.¶Tuple2®¶ ProcTypes.Rindx ProcTypes.Data);
66
67 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.WritebackType;
68
69 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.WritebackType;
70
71 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.WritebackType;
72
73 instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.WritebackType 39;
74
75 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.WritebackType;
76
77 data (ProcTypes.WBResult :: *) =
78 ProcTypes.WB_ALU ProcTypes.¶WBResult_$WB_ALU¶ |
79 ProcTypes.WB_Host (¶Prelude®¶.¶Bit®¶ 32) |
80 ProcTypes.WB_Load ProcTypes.Rindx |
81 ProcTypes.WB_Store ();
82
83 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.WBResult;
84
85 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.WBResult;
86
87 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.WBResult;
88
89 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.WBResult;
90
91 instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.WBResult 39;
92
93 struct (ProcTypes.¶WBResult_$WB_ALU¶ :: *) = {
94 ProcTypes.¡data¡ :: ¶Prelude®¶.¶Bit®¶ 32;
95 ProcTypes.dest :: ProcTypes.Rindx
96 };
97
98 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶WBResult_$WB_ALU¶;
99
100 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶WBResult_$WB_ALU¶;
101
102 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶WBResult_$WB_ALU¶;
103
104 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶WBResult_$WB_ALU¶;
105
106 instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.¶WBResult_$WB_ALU¶ 37;
107
108 struct (ProcTypes.PCStat :: *) = {
109 ProcTypes.qpc :: ProcTypes.Addr;
110 ProcTypes.qnxtpc :: ProcTypes.Addr;
111 ProcTypes.qepoch :: ProcTypes.Epoch
112 };
113
114 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.PCStat;
115
116 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.PCStat;
117
118 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.PCStat;
119
120 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.PCStat;
121
122 instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.PCStat 72;
123
124 data (ProcTypes.Instr :: *) =
125 ProcTypes.LW ProcTypes.¶Instr_$LW¶ |
126 ProcTypes.SW ProcTypes.¶Instr_$SW¶ |
127 ProcTypes.ADDIU ProcTypes.¶Instr_$ADDIU¶ |
128 ProcTypes.SLTI ProcTypes.¶Instr_$SLTI¶ |
129 ProcTypes.SLTIU ProcTypes.¶Instr_$SLTIU¶ |
130 ProcTypes.ANDI ProcTypes.¶Instr_$ANDI¶ |
131 ProcTypes.ORI ProcTypes.¶Instr_$ORI¶ |
132 ProcTypes.XORI ProcTypes.¶Instr_$XORI¶ |
133 ProcTypes.LUI ProcTypes.¶Instr_$LUI¶ |
134 ProcTypes.SLL ProcTypes.¶Instr_$SLL¶ |
135 ProcTypes.SRL ProcTypes.¶Instr_$SRL¶ |
136 ProcTypes.SRA ProcTypes.¶Instr_$SRA¶ |
137 ProcTypes.SLLV ProcTypes.¶Instr_$SLLV¶ |
138 ProcTypes.SRLV ProcTypes.¶Instr_$SRLV¶ |
139 ProcTypes.SRAV ProcTypes.¶Instr_$SRAV¶ |
140 ProcTypes.ADDU ProcTypes.¶Instr_$ADDU¶ |
141 ProcTypes.SUBU ProcTypes.¶Instr_$SUBU¶ |
142 ProcTypes.AND ProcTypes.¶Instr_$AND¶ |
143 ProcTypes.OR ProcTypes.¶Instr_$OR¶ |
144 ProcTypes.XOR ProcTypes.¶Instr_$XOR¶ |
145 ProcTypes.NOR ProcTypes.¶Instr_$NOR¶ |
146 ProcTypes.SLT ProcTypes.¶Instr_$SLT¶ |
147 ProcTypes.SLTU ProcTypes.¶Instr_$SLTU¶ |
148 ProcTypes.J ProcTypes.¶Instr_$J¶ |
149 ProcTypes.JAL ProcTypes.¶Instr_$JAL¶ |
150 ProcTypes.JR ProcTypes.¶Instr_$JR¶ |
151 ProcTypes.JALR ProcTypes.¶Instr_$JALR¶ |
152 ProcTypes.BEQ ProcTypes.¶Instr_$BEQ¶ |
153 ProcTypes.BNE ProcTypes.¶Instr_$BNE¶ |
154 ProcTypes.BLEZ ProcTypes.¶Instr_$BLEZ¶ |
155 ProcTypes.BGTZ ProcTypes.¶Instr_$BGTZ¶ |
156 ProcTypes.BLTZ ProcTypes.¶Instr_$BLTZ¶ |
157 ProcTypes.BGEZ ProcTypes.¶Instr_$BGEZ¶ |
158 ProcTypes.MFC0 ProcTypes.¶Instr_$MFC0¶ |
159 ProcTypes.MTC0 ProcTypes.¶Instr_$MTC0¶ |
160 ProcTypes.ILLEGAL ();
161
162 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.Instr;
163
164 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.Instr;
165
166 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.Instr;
167
168 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.Instr;
169
170 struct (ProcTypes.¶Instr_$LW¶ :: *) = {
171 ProcTypes.rbase :: ProcTypes.Rindx;
172 ProcTypes.rdst :: ProcTypes.Rindx;
173 ProcTypes.offset :: ProcTypes.Simm
174 };
175
176 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$LW¶;
177
178 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$LW¶;
179
180 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$LW¶;
181
182 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$LW¶;
183
184 struct (ProcTypes.¶Instr_$SW¶ :: *) = {
185 ProcTypes.rbase :: ProcTypes.Rindx;
186 ProcTypes.rsrc :: ProcTypes.Rindx;
187 ProcTypes.offset :: ProcTypes.Simm
188 };
189
190 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SW¶;
191
192 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SW¶;
193
194 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SW¶;
195
196 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SW¶;
197
198 struct (ProcTypes.¶Instr_$ADDIU¶ :: *) = {
199 ProcTypes.rsrc :: ProcTypes.Rindx;
200 ProcTypes.rdst :: ProcTypes.Rindx;
201 ProcTypes.imm :: ProcTypes.Simm
202 };
203
204 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ADDIU¶;
205
206 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ADDIU¶;
207
208 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ADDIU¶;
209
210 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ADDIU¶;
211
212 struct (ProcTypes.¶Instr_$SLTI¶ :: *) = {
213 ProcTypes.rsrc :: ProcTypes.Rindx;
214 ProcTypes.rdst :: ProcTypes.Rindx;
215 ProcTypes.imm :: ProcTypes.Simm
216 };
217
218 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLTI¶;
219
220 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLTI¶;
221
222 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLTI¶;
223
224 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLTI¶;
225
226 struct (ProcTypes.¶Instr_$SLTIU¶ :: *) = {
227 ProcTypes.rsrc :: ProcTypes.Rindx;
228 ProcTypes.rdst :: ProcTypes.Rindx;
229 ProcTypes.imm :: ProcTypes.Simm
230 };
231
232 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLTIU¶;
233
234 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLTIU¶;
235
236 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLTIU¶;
237
238 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLTIU¶;
239
240 struct (ProcTypes.¶Instr_$ANDI¶ :: *) = {
241 ProcTypes.rsrc :: ProcTypes.Rindx;
242 ProcTypes.rdst :: ProcTypes.Rindx;
243 ProcTypes.imm :: ProcTypes.Zimm
244 };
245
246 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ANDI¶;
247
248 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ANDI¶;
249
250 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ANDI¶;
251
252 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ANDI¶;
253
254 struct (ProcTypes.¶Instr_$ORI¶ :: *) = {
255 ProcTypes.rsrc :: ProcTypes.Rindx;
256 ProcTypes.rdst :: ProcTypes.Rindx;
257 ProcTypes.imm :: ProcTypes.Zimm
258 };
259
260 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ORI¶;
261
262 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ORI¶;
263
264 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ORI¶;
265
266 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ORI¶;
267
268 struct (ProcTypes.¶Instr_$XORI¶ :: *) = {
269 ProcTypes.rsrc :: ProcTypes.Rindx;
270 ProcTypes.rdst :: ProcTypes.Rindx;
271 ProcTypes.imm :: ProcTypes.Zimm
272 };
273
274 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$XORI¶;
275
276 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$XORI¶;
277
278 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$XORI¶;
279
280 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$XORI¶;
281
282 struct (ProcTypes.¶Instr_$LUI¶ :: *) = {
283 ProcTypes.rdst :: ProcTypes.Rindx;
284 ProcTypes.imm :: ProcTypes.Zimm
285 };
286
287 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$LUI¶;
288
289 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$LUI¶;
290
291 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$LUI¶;
292
293 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$LUI¶;
294
295 struct (ProcTypes.¶Instr_$SLL¶ :: *) = {
296 ProcTypes.rsrc :: ProcTypes.Rindx;
297 ProcTypes.rdst :: ProcTypes.Rindx;
298 ProcTypes.shamt :: ProcTypes.Shamt
299 };
300
301 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLL¶;
302
303 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLL¶;
304
305 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLL¶;
306
307 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLL¶;
308
309 struct (ProcTypes.¶Instr_$SRL¶ :: *) = {
310 ProcTypes.rsrc :: ProcTypes.Rindx;
311 ProcTypes.rdst :: ProcTypes.Rindx;
312 ProcTypes.shamt :: ProcTypes.Shamt
313 };
314
315 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRL¶;
316
317 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRL¶;
318
319 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRL¶;
320
321 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRL¶;
322
323 struct (ProcTypes.¶Instr_$SRA¶ :: *) = {
324 ProcTypes.rsrc :: ProcTypes.Rindx;
325 ProcTypes.rdst :: ProcTypes.Rindx;
326 ProcTypes.shamt :: ProcTypes.Shamt
327 };
328
329 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRA¶;
330
331 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRA¶;
332
333 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRA¶;
334
335 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRA¶;
336
337 struct (ProcTypes.¶Instr_$SLLV¶ :: *) = {
338 ProcTypes.rsrc :: ProcTypes.Rindx;
339 ProcTypes.rdst :: ProcTypes.Rindx;
340 ProcTypes.rshamt :: ProcTypes.Rindx
341 };
342
343 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLLV¶;
344
345 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLLV¶;
346
347 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLLV¶;
348
349 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLLV¶;
350
351 struct (ProcTypes.¶Instr_$SRLV¶ :: *) = {
352 ProcTypes.rsrc :: ProcTypes.Rindx;
353 ProcTypes.rdst :: ProcTypes.Rindx;
354 ProcTypes.rshamt :: ProcTypes.Rindx
355 };
356
357 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRLV¶;
358
359 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRLV¶;
360
361 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRLV¶;
362
363 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRLV¶;
364
365 struct (ProcTypes.¶Instr_$SRAV¶ :: *) = {
366 ProcTypes.rsrc :: ProcTypes.Rindx;
367 ProcTypes.rdst :: ProcTypes.Rindx;
368 ProcTypes.rshamt :: ProcTypes.Rindx
369 };
370
371 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRAV¶;
372
373 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRAV¶;
374
375 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRAV¶;
376
377 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRAV¶;
378
379 struct (ProcTypes.¶Instr_$ADDU¶ :: *) = {
380 ProcTypes.rsrc1 :: ProcTypes.Rindx;
381 ProcTypes.rsrc2 :: ProcTypes.Rindx;
382 ProcTypes.rdst :: ProcTypes.Rindx
383 };
384
385 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ADDU¶;
386
387 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ADDU¶;
388
389 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ADDU¶;
390
391 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ADDU¶;
392
393 struct (ProcTypes.¶Instr_$SUBU¶ :: *) = {
394 ProcTypes.rsrc1 :: ProcTypes.Rindx;
395 ProcTypes.rsrc2 :: ProcTypes.Rindx;
396 ProcTypes.rdst :: ProcTypes.Rindx
397 };
398
399 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SUBU¶;
400
401 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SUBU¶;
402
403 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SUBU¶;
404
405 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SUBU¶;
406
407 struct (ProcTypes.¶Instr_$AND¶ :: *) = {
408 ProcTypes.rsrc1 :: ProcTypes.Rindx;
409 ProcTypes.rsrc2 :: ProcTypes.Rindx;
410 ProcTypes.rdst :: ProcTypes.Rindx
411 };
412
413 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$AND¶;
414
415 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$AND¶;
416
417 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$AND¶;
418
419 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$AND¶;
420
421 struct (ProcTypes.¶Instr_$OR¶ :: *) = {
422 ProcTypes.rsrc1 :: ProcTypes.Rindx;
423 ProcTypes.rsrc2 :: ProcTypes.Rindx;
424 ProcTypes.rdst :: ProcTypes.Rindx
425 };
426
427 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$OR¶;
428
429 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$OR¶;
430
431 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$OR¶;
432
433 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$OR¶;
434
435 struct (ProcTypes.¶Instr_$XOR¶ :: *) = {
436 ProcTypes.rsrc1 :: ProcTypes.Rindx;
437 ProcTypes.rsrc2 :: ProcTypes.Rindx;
438 ProcTypes.rdst :: ProcTypes.Rindx
439 };
440
441 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$XOR¶;
442
443 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$XOR¶;
444
445 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$XOR¶;
446
447 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$XOR¶;
448
449 struct (ProcTypes.¶Instr_$NOR¶ :: *) = {
450 ProcTypes.rsrc1 :: ProcTypes.Rindx;
451 ProcTypes.rsrc2 :: ProcTypes.Rindx;
452 ProcTypes.rdst :: ProcTypes.Rindx
453 };
454
455 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$NOR¶;
456
457 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$NOR¶;
458
459 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$NOR¶;
460
461 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$NOR¶;
462
463 struct (ProcTypes.¶Instr_$SLT¶ :: *) = {
464 ProcTypes.rsrc1 :: ProcTypes.Rindx;
465 ProcTypes.rsrc2 :: ProcTypes.Rindx;
466 ProcTypes.rdst :: ProcTypes.Rindx
467 };
468
469 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLT¶;
470
471 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLT¶;
472
473 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLT¶;
474
475 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLT¶;
476
477 struct (ProcTypes.¶Instr_$SLTU¶ :: *) = {
478 ProcTypes.rsrc1 :: ProcTypes.Rindx;
479 ProcTypes.rsrc2 :: ProcTypes.Rindx;
480 ProcTypes.rdst :: ProcTypes.Rindx
481 };
482
483 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLTU¶;
484
485 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLTU¶;
486
487 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLTU¶;
488
489 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLTU¶;
490
491 struct (ProcTypes.¶Instr_$J¶ :: *) = {
492 ProcTypes.target :: ProcTypes.Target
493 };
494
495 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$J¶;
496
497 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$J¶;
498
499 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$J¶;
500
501 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$J¶;
502
503 struct (ProcTypes.¶Instr_$JAL¶ :: *) = {
504 ProcTypes.target :: ProcTypes.Target
505 };
506
507 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$JAL¶;
508
509 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$JAL¶;
510
511 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$JAL¶;
512
513 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$JAL¶;
514
515 struct (ProcTypes.¶Instr_$JR¶ :: *) = {
516 ProcTypes.rsrc :: ProcTypes.Rindx
517 };
518
519 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$JR¶;
520
521 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$JR¶;
522
523 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$JR¶;
524
525 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$JR¶;
526
527 struct (ProcTypes.¶Instr_$JALR¶ :: *) = {
528 ProcTypes.rsrc :: ProcTypes.Rindx;
529 ProcTypes.rdst :: ProcTypes.Rindx
530 };
531
532 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$JALR¶;
533
534 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$JALR¶;
535
536 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$JALR¶;
537
538 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$JALR¶;
539
540 struct (ProcTypes.¶Instr_$BEQ¶ :: *) = {
541 ProcTypes.rsrc1 :: ProcTypes.Rindx;
542 ProcTypes.rsrc2 :: ProcTypes.Rindx;
543 ProcTypes.offset :: ProcTypes.Simm
544 };
545
546 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BEQ¶;
547
548 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BEQ¶;
549
550 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BEQ¶;
551
552 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BEQ¶;
553
554 struct (ProcTypes.¶Instr_$BNE¶ :: *) = {
555 ProcTypes.rsrc1 :: ProcTypes.Rindx;
556 ProcTypes.rsrc2 :: ProcTypes.Rindx;
557 ProcTypes.offset :: ProcTypes.Simm
558 };
559
560 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BNE¶;
561
562 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BNE¶;
563
564 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BNE¶;
565
566 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BNE¶;
567
568 struct (ProcTypes.¶Instr_$BLEZ¶ :: *) = {
569 ProcTypes.rsrc :: ProcTypes.Rindx;
570 ProcTypes.offset :: ProcTypes.Simm
571 };
572
573 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BLEZ¶;
574
575 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BLEZ¶;
576
577 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BLEZ¶;
578
579 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BLEZ¶;
580
581 struct (ProcTypes.¶Instr_$BGTZ¶ :: *) = {
582 ProcTypes.rsrc :: ProcTypes.Rindx;
583 ProcTypes.offset :: ProcTypes.Simm
584 };
585
586 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BGTZ¶;
587
588 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BGTZ¶;
589
590 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BGTZ¶;
591
592 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BGTZ¶;
593
594 struct (ProcTypes.¶Instr_$BLTZ¶ :: *) = {
595 ProcTypes.rsrc :: ProcTypes.Rindx;
596 ProcTypes.offset :: ProcTypes.Simm
597 };
598
599 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BLTZ¶;
600
601 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BLTZ¶;
602
603 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BLTZ¶;
604
605 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BLTZ¶;
606
607 struct (ProcTypes.¶Instr_$BGEZ¶ :: *) = {
608 ProcTypes.rsrc :: ProcTypes.Rindx;
609 ProcTypes.offset :: ProcTypes.Simm
610 };
611
612 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BGEZ¶;
613
614 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BGEZ¶;
615
616 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BGEZ¶;
617
618 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BGEZ¶;
619
620 struct (ProcTypes.¶Instr_$MFC0¶ :: *) = {
621 ProcTypes.rdst :: ProcTypes.Rindx;
622 ProcTypes.cop0src :: ProcTypes.CP0indx
623 };
624
625 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$MFC0¶;
626
627 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$MFC0¶;
628
629 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$MFC0¶;
630
631 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$MFC0¶;
632
633 struct (ProcTypes.¶Instr_$MTC0¶ :: *) = {
634 ProcTypes.rsrc :: ProcTypes.Rindx;
635 ProcTypes.cop0dst :: ProcTypes.CP0indx
636 };
637
638 instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$MTC0¶;
639
640 instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$MTC0¶;
641
642 instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$MTC0¶;
643
644 instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$MTC0¶;
645
646 ProcTypes.opFUNC :: ¶Prelude®¶.¶Bit®¶ 6;
647
648 ProcTypes.fcSLL :: ¶Prelude®¶.¶Bit®¶ 6;
649
650 ProcTypes.opRT :: ¶Prelude®¶.¶Bit®¶ 6;
651
652 ProcTypes.fcSRL :: ¶Prelude®¶.¶Bit®¶ 6;
653
654 ProcTypes.opRS :: ¶Prelude®¶.¶Bit®¶ 6;
655
656 ProcTypes.fcSRA :: ¶Prelude®¶.¶Bit®¶ 6;
657
658 ProcTypes.fcSLLV :: ¶Prelude®¶.¶Bit®¶ 6;
659
660 ProcTypes.opLW :: ¶Prelude®¶.¶Bit®¶ 6;
661
662 ProcTypes.fcSRLV :: ¶Prelude®¶.¶Bit®¶ 6;
663
664 ProcTypes.opSW :: ¶Prelude®¶.¶Bit®¶ 6;
665
666 ProcTypes.fcSRAV :: ¶Prelude®¶.¶Bit®¶ 6;
667
668 ProcTypes.fcADDU :: ¶Prelude®¶.¶Bit®¶ 6;
669
670 ProcTypes.opADDIU :: ¶Prelude®¶.¶Bit®¶ 6;
671
672 ProcTypes.fcSUBU :: ¶Prelude®¶.¶Bit®¶ 6;
673
674 ProcTypes.opSLTI :: ¶Prelude®¶.¶Bit®¶ 6;
675
676 ProcTypes.fcAND :: ¶Prelude®¶.¶Bit®¶ 6;
677
678 ProcTypes.opSLTIU :: ¶Prelude®¶.¶Bit®¶ 6;
679
680 ProcTypes.fcOR :: ¶Prelude®¶.¶Bit®¶ 6;
681
682 ProcTypes.opANDI :: ¶Prelude®¶.¶Bit®¶ 6;
683
684 ProcTypes.fcXOR :: ¶Prelude®¶.¶Bit®¶ 6;
685
686 ProcTypes.opORI :: ¶Prelude®¶.¶Bit®¶ 6;
687
688 ProcTypes.fcNOR :: ¶Prelude®¶.¶Bit®¶ 6;
689
690 ProcTypes.opXORI :: ¶Prelude®¶.¶Bit®¶ 6;
691
692 ProcTypes.fcSLT :: ¶Prelude®¶.¶Bit®¶ 6;
693
694 ProcTypes.opLUI :: ¶Prelude®¶.¶Bit®¶ 6;
695
696 ProcTypes.fcSLTU :: ¶Prelude®¶.¶Bit®¶ 6;
697
698 ProcTypes.opJ :: ¶Prelude®¶.¶Bit®¶ 6;
699
700 ProcTypes.opJAL :: ¶Prelude®¶.¶Bit®¶ 6;
701
702 ProcTypes.fcJR :: ¶Prelude®¶.¶Bit®¶ 6;
703
704 ProcTypes.fcJALR :: ¶Prelude®¶.¶Bit®¶ 6;
705
706 ProcTypes.opBEQ :: ¶Prelude®¶.¶Bit®¶ 6;
707
708 ProcTypes.opBNE :: ¶Prelude®¶.¶Bit®¶ 6;
709
710 ProcTypes.opBLEZ :: ¶Prelude®¶.¶Bit®¶ 6;
711
712 ProcTypes.opBGTZ :: ¶Prelude®¶.¶Bit®¶ 6;
713
714 ProcTypes.rtBLTZ :: ¶Prelude®¶.¶Bit®¶ 5;
715
716 ProcTypes.rtBGEZ :: ¶Prelude®¶.¶Bit®¶ 5;
717
718 ProcTypes.rsMFC0 :: ¶Prelude®¶.¶Bit®¶ 5;
719
720 ProcTypes.rsMTC0 :: ¶Prelude®¶.¶Bit®¶ 5;
721
722 instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.Instr 32;
723
724 instance ProcTypes Trace.Traceable ProcTypes.Instr
725 }