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