Mercurial > pygar

annotate core/sim/bdir_dut/ProcTypes.bi @ 39:5a30f173bbac pygar svn.40

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[svn r40] no longer cpu terminating dependent
author punk
date Tue, 04 May 2010 19:32:25 -0400
parents 91a1f76ddd62
children
rev   line source
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 }