Mercurial > pygar
diff core/sim/bdir_dut/ProcTypes.bi @ 1:91a1f76ddd62 pygar svn.2
[svn r2] Adding initial lab 5 source
author | punk |
---|---|
date | Tue, 13 Apr 2010 17:34:33 -0400 |
parents | |
children |
line wrap: on
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/core/sim/bdir_dut/ProcTypes.bi Tue Apr 13 17:34:33 2010 -0400 1.3 @@ -0,0 +1,725 @@ 1.4 +signature ProcTypes where { 1.5 +import ¶Counter®¶; 1.6 + 1.7 +import ¶FIFOF_®¶; 1.8 + 1.9 +import ¶FIFOF®¶; 1.10 + 1.11 +import ¶FIFO®¶; 1.12 + 1.13 +import ¶Inout®¶; 1.14 + 1.15 +import ¶List®¶; 1.16 + 1.17 +import ¶Clocks®¶; 1.18 + 1.19 +import ¶ListN®¶; 1.20 + 1.21 +import ¶PrimArray®¶; 1.22 + 1.23 +import ¶Vector®¶; 1.24 + 1.25 +import ¶Connectable®¶; 1.26 + 1.27 +import ¶GetPut®¶; 1.28 + 1.29 +import ¶ClientServer®¶; 1.30 + 1.31 +import Trace; 1.32 + 1.33 +type (ProcTypes.Addr :: *) = ¶Prelude®¶.¶Bit®¶ 32; 1.34 + 1.35 +type (ProcTypes.Stat :: *) = ¶Prelude®¶.¶Int®¶ 18; 1.36 + 1.37 +type (ProcTypes.Rindx :: *) = ¶Prelude®¶.¶Bit®¶ 5; 1.38 + 1.39 +type (ProcTypes.Simm :: *) = ¶Prelude®¶.¶Bit®¶ 16; 1.40 + 1.41 +type (ProcTypes.Zimm :: *) = ¶Prelude®¶.¶Bit®¶ 16; 1.42 + 1.43 +type (ProcTypes.Epoch :: *) = ¶Prelude®¶.¶Bit®¶ 8; 1.44 + 1.45 +type (ProcTypes.Shamt :: *) = ¶Prelude®¶.¶Bit®¶ 5; 1.46 + 1.47 +type (ProcTypes.Target :: *) = ¶Prelude®¶.¶Bit®¶ 26; 1.48 + 1.49 +type (ProcTypes.CP0indx :: *) = ¶Prelude®¶.¶Bit®¶ 5; 1.50 + 1.51 +type (ProcTypes.Data :: *) = ¶Prelude®¶.¶Bit®¶ 32; 1.52 + 1.53 +data (ProcTypes.Direction :: *) = ProcTypes.Taken () | ProcTypes.NotTaken (); 1.54 + 1.55 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.Direction; 1.56 + 1.57 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.Direction; 1.58 + 1.59 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.Direction; 1.60 + 1.61 +instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.Direction 1; 1.62 + 1.63 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.Direction; 1.64 + 1.65 +data (ProcTypes.WritebackType :: *) = 1.66 + ProcTypes.ALUWB (¶Prelude®¶.¶Tuple2®¶ ProcTypes.Rindx ProcTypes.Data) | 1.67 + ProcTypes.MemWB ProcTypes.Rindx | 1.68 + ProcTypes.CoWB (¶Prelude®¶.¶Tuple2®¶ ProcTypes.Rindx ProcTypes.Data); 1.69 + 1.70 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.WritebackType; 1.71 + 1.72 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.WritebackType; 1.73 + 1.74 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.WritebackType; 1.75 + 1.76 +instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.WritebackType 39; 1.77 + 1.78 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.WritebackType; 1.79 + 1.80 +data (ProcTypes.WBResult :: *) = 1.81 + ProcTypes.WB_ALU ProcTypes.¶WBResult_$WB_ALU¶ | 1.82 + ProcTypes.WB_Host (¶Prelude®¶.¶Bit®¶ 32) | 1.83 + ProcTypes.WB_Load ProcTypes.Rindx | 1.84 + ProcTypes.WB_Store (); 1.85 + 1.86 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.WBResult; 1.87 + 1.88 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.WBResult; 1.89 + 1.90 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.WBResult; 1.91 + 1.92 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.WBResult; 1.93 + 1.94 +instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.WBResult 39; 1.95 + 1.96 +struct (ProcTypes.¶WBResult_$WB_ALU¶ :: *) = { 1.97 + ProcTypes.¡data¡ :: ¶Prelude®¶.¶Bit®¶ 32; 1.98 + ProcTypes.dest :: ProcTypes.Rindx 1.99 +}; 1.100 + 1.101 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶WBResult_$WB_ALU¶; 1.102 + 1.103 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶WBResult_$WB_ALU¶; 1.104 + 1.105 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶WBResult_$WB_ALU¶; 1.106 + 1.107 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶WBResult_$WB_ALU¶; 1.108 + 1.109 +instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.¶WBResult_$WB_ALU¶ 37; 1.110 + 1.111 +struct (ProcTypes.PCStat :: *) = { 1.112 + ProcTypes.qpc :: ProcTypes.Addr; 1.113 + ProcTypes.qnxtpc :: ProcTypes.Addr; 1.114 + ProcTypes.qepoch :: ProcTypes.Epoch 1.115 +}; 1.116 + 1.117 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.PCStat; 1.118 + 1.119 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.PCStat; 1.120 + 1.121 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.PCStat; 1.122 + 1.123 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.PCStat; 1.124 + 1.125 +instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.PCStat 72; 1.126 + 1.127 +data (ProcTypes.Instr :: *) = 1.128 + ProcTypes.LW ProcTypes.¶Instr_$LW¶ | 1.129 + ProcTypes.SW ProcTypes.¶Instr_$SW¶ | 1.130 + ProcTypes.ADDIU ProcTypes.¶Instr_$ADDIU¶ | 1.131 + ProcTypes.SLTI ProcTypes.¶Instr_$SLTI¶ | 1.132 + ProcTypes.SLTIU ProcTypes.¶Instr_$SLTIU¶ | 1.133 + ProcTypes.ANDI ProcTypes.¶Instr_$ANDI¶ | 1.134 + ProcTypes.ORI ProcTypes.¶Instr_$ORI¶ | 1.135 + ProcTypes.XORI ProcTypes.¶Instr_$XORI¶ | 1.136 + ProcTypes.LUI ProcTypes.¶Instr_$LUI¶ | 1.137 + ProcTypes.SLL ProcTypes.¶Instr_$SLL¶ | 1.138 + ProcTypes.SRL ProcTypes.¶Instr_$SRL¶ | 1.139 + ProcTypes.SRA ProcTypes.¶Instr_$SRA¶ | 1.140 + ProcTypes.SLLV ProcTypes.¶Instr_$SLLV¶ | 1.141 + ProcTypes.SRLV ProcTypes.¶Instr_$SRLV¶ | 1.142 + ProcTypes.SRAV ProcTypes.¶Instr_$SRAV¶ | 1.143 + ProcTypes.ADDU ProcTypes.¶Instr_$ADDU¶ | 1.144 + ProcTypes.SUBU ProcTypes.¶Instr_$SUBU¶ | 1.145 + ProcTypes.AND ProcTypes.¶Instr_$AND¶ | 1.146 + ProcTypes.OR ProcTypes.¶Instr_$OR¶ | 1.147 + ProcTypes.XOR ProcTypes.¶Instr_$XOR¶ | 1.148 + ProcTypes.NOR ProcTypes.¶Instr_$NOR¶ | 1.149 + ProcTypes.SLT ProcTypes.¶Instr_$SLT¶ | 1.150 + ProcTypes.SLTU ProcTypes.¶Instr_$SLTU¶ | 1.151 + ProcTypes.J ProcTypes.¶Instr_$J¶ | 1.152 + ProcTypes.JAL ProcTypes.¶Instr_$JAL¶ | 1.153 + ProcTypes.JR ProcTypes.¶Instr_$JR¶ | 1.154 + ProcTypes.JALR ProcTypes.¶Instr_$JALR¶ | 1.155 + ProcTypes.BEQ ProcTypes.¶Instr_$BEQ¶ | 1.156 + ProcTypes.BNE ProcTypes.¶Instr_$BNE¶ | 1.157 + ProcTypes.BLEZ ProcTypes.¶Instr_$BLEZ¶ | 1.158 + ProcTypes.BGTZ ProcTypes.¶Instr_$BGTZ¶ | 1.159 + ProcTypes.BLTZ ProcTypes.¶Instr_$BLTZ¶ | 1.160 + ProcTypes.BGEZ ProcTypes.¶Instr_$BGEZ¶ | 1.161 + ProcTypes.MFC0 ProcTypes.¶Instr_$MFC0¶ | 1.162 + ProcTypes.MTC0 ProcTypes.¶Instr_$MTC0¶ | 1.163 + ProcTypes.ILLEGAL (); 1.164 + 1.165 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.Instr; 1.166 + 1.167 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.Instr; 1.168 + 1.169 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.Instr; 1.170 + 1.171 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.Instr; 1.172 + 1.173 +struct (ProcTypes.¶Instr_$LW¶ :: *) = { 1.174 + ProcTypes.rbase :: ProcTypes.Rindx; 1.175 + ProcTypes.rdst :: ProcTypes.Rindx; 1.176 + ProcTypes.offset :: ProcTypes.Simm 1.177 +}; 1.178 + 1.179 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$LW¶; 1.180 + 1.181 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$LW¶; 1.182 + 1.183 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$LW¶; 1.184 + 1.185 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$LW¶; 1.186 + 1.187 +struct (ProcTypes.¶Instr_$SW¶ :: *) = { 1.188 + ProcTypes.rbase :: ProcTypes.Rindx; 1.189 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.190 + ProcTypes.offset :: ProcTypes.Simm 1.191 +}; 1.192 + 1.193 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SW¶; 1.194 + 1.195 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SW¶; 1.196 + 1.197 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SW¶; 1.198 + 1.199 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SW¶; 1.200 + 1.201 +struct (ProcTypes.¶Instr_$ADDIU¶ :: *) = { 1.202 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.203 + ProcTypes.rdst :: ProcTypes.Rindx; 1.204 + ProcTypes.imm :: ProcTypes.Simm 1.205 +}; 1.206 + 1.207 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ADDIU¶; 1.208 + 1.209 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ADDIU¶; 1.210 + 1.211 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ADDIU¶; 1.212 + 1.213 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ADDIU¶; 1.214 + 1.215 +struct (ProcTypes.¶Instr_$SLTI¶ :: *) = { 1.216 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.217 + ProcTypes.rdst :: ProcTypes.Rindx; 1.218 + ProcTypes.imm :: ProcTypes.Simm 1.219 +}; 1.220 + 1.221 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLTI¶; 1.222 + 1.223 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLTI¶; 1.224 + 1.225 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLTI¶; 1.226 + 1.227 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLTI¶; 1.228 + 1.229 +struct (ProcTypes.¶Instr_$SLTIU¶ :: *) = { 1.230 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.231 + ProcTypes.rdst :: ProcTypes.Rindx; 1.232 + ProcTypes.imm :: ProcTypes.Simm 1.233 +}; 1.234 + 1.235 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLTIU¶; 1.236 + 1.237 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLTIU¶; 1.238 + 1.239 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLTIU¶; 1.240 + 1.241 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLTIU¶; 1.242 + 1.243 +struct (ProcTypes.¶Instr_$ANDI¶ :: *) = { 1.244 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.245 + ProcTypes.rdst :: ProcTypes.Rindx; 1.246 + ProcTypes.imm :: ProcTypes.Zimm 1.247 +}; 1.248 + 1.249 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ANDI¶; 1.250 + 1.251 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ANDI¶; 1.252 + 1.253 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ANDI¶; 1.254 + 1.255 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ANDI¶; 1.256 + 1.257 +struct (ProcTypes.¶Instr_$ORI¶ :: *) = { 1.258 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.259 + ProcTypes.rdst :: ProcTypes.Rindx; 1.260 + ProcTypes.imm :: ProcTypes.Zimm 1.261 +}; 1.262 + 1.263 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ORI¶; 1.264 + 1.265 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ORI¶; 1.266 + 1.267 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ORI¶; 1.268 + 1.269 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ORI¶; 1.270 + 1.271 +struct (ProcTypes.¶Instr_$XORI¶ :: *) = { 1.272 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.273 + ProcTypes.rdst :: ProcTypes.Rindx; 1.274 + ProcTypes.imm :: ProcTypes.Zimm 1.275 +}; 1.276 + 1.277 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$XORI¶; 1.278 + 1.279 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$XORI¶; 1.280 + 1.281 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$XORI¶; 1.282 + 1.283 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$XORI¶; 1.284 + 1.285 +struct (ProcTypes.¶Instr_$LUI¶ :: *) = { 1.286 + ProcTypes.rdst :: ProcTypes.Rindx; 1.287 + ProcTypes.imm :: ProcTypes.Zimm 1.288 +}; 1.289 + 1.290 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$LUI¶; 1.291 + 1.292 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$LUI¶; 1.293 + 1.294 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$LUI¶; 1.295 + 1.296 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$LUI¶; 1.297 + 1.298 +struct (ProcTypes.¶Instr_$SLL¶ :: *) = { 1.299 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.300 + ProcTypes.rdst :: ProcTypes.Rindx; 1.301 + ProcTypes.shamt :: ProcTypes.Shamt 1.302 +}; 1.303 + 1.304 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLL¶; 1.305 + 1.306 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLL¶; 1.307 + 1.308 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLL¶; 1.309 + 1.310 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLL¶; 1.311 + 1.312 +struct (ProcTypes.¶Instr_$SRL¶ :: *) = { 1.313 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.314 + ProcTypes.rdst :: ProcTypes.Rindx; 1.315 + ProcTypes.shamt :: ProcTypes.Shamt 1.316 +}; 1.317 + 1.318 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRL¶; 1.319 + 1.320 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRL¶; 1.321 + 1.322 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRL¶; 1.323 + 1.324 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRL¶; 1.325 + 1.326 +struct (ProcTypes.¶Instr_$SRA¶ :: *) = { 1.327 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.328 + ProcTypes.rdst :: ProcTypes.Rindx; 1.329 + ProcTypes.shamt :: ProcTypes.Shamt 1.330 +}; 1.331 + 1.332 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRA¶; 1.333 + 1.334 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRA¶; 1.335 + 1.336 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRA¶; 1.337 + 1.338 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRA¶; 1.339 + 1.340 +struct (ProcTypes.¶Instr_$SLLV¶ :: *) = { 1.341 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.342 + ProcTypes.rdst :: ProcTypes.Rindx; 1.343 + ProcTypes.rshamt :: ProcTypes.Rindx 1.344 +}; 1.345 + 1.346 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLLV¶; 1.347 + 1.348 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLLV¶; 1.349 + 1.350 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLLV¶; 1.351 + 1.352 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLLV¶; 1.353 + 1.354 +struct (ProcTypes.¶Instr_$SRLV¶ :: *) = { 1.355 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.356 + ProcTypes.rdst :: ProcTypes.Rindx; 1.357 + ProcTypes.rshamt :: ProcTypes.Rindx 1.358 +}; 1.359 + 1.360 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRLV¶; 1.361 + 1.362 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRLV¶; 1.363 + 1.364 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRLV¶; 1.365 + 1.366 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRLV¶; 1.367 + 1.368 +struct (ProcTypes.¶Instr_$SRAV¶ :: *) = { 1.369 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.370 + ProcTypes.rdst :: ProcTypes.Rindx; 1.371 + ProcTypes.rshamt :: ProcTypes.Rindx 1.372 +}; 1.373 + 1.374 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SRAV¶; 1.375 + 1.376 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SRAV¶; 1.377 + 1.378 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SRAV¶; 1.379 + 1.380 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SRAV¶; 1.381 + 1.382 +struct (ProcTypes.¶Instr_$ADDU¶ :: *) = { 1.383 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.384 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.385 + ProcTypes.rdst :: ProcTypes.Rindx 1.386 +}; 1.387 + 1.388 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$ADDU¶; 1.389 + 1.390 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$ADDU¶; 1.391 + 1.392 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$ADDU¶; 1.393 + 1.394 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$ADDU¶; 1.395 + 1.396 +struct (ProcTypes.¶Instr_$SUBU¶ :: *) = { 1.397 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.398 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.399 + ProcTypes.rdst :: ProcTypes.Rindx 1.400 +}; 1.401 + 1.402 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SUBU¶; 1.403 + 1.404 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SUBU¶; 1.405 + 1.406 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SUBU¶; 1.407 + 1.408 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SUBU¶; 1.409 + 1.410 +struct (ProcTypes.¶Instr_$AND¶ :: *) = { 1.411 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.412 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.413 + ProcTypes.rdst :: ProcTypes.Rindx 1.414 +}; 1.415 + 1.416 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$AND¶; 1.417 + 1.418 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$AND¶; 1.419 + 1.420 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$AND¶; 1.421 + 1.422 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$AND¶; 1.423 + 1.424 +struct (ProcTypes.¶Instr_$OR¶ :: *) = { 1.425 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.426 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.427 + ProcTypes.rdst :: ProcTypes.Rindx 1.428 +}; 1.429 + 1.430 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$OR¶; 1.431 + 1.432 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$OR¶; 1.433 + 1.434 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$OR¶; 1.435 + 1.436 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$OR¶; 1.437 + 1.438 +struct (ProcTypes.¶Instr_$XOR¶ :: *) = { 1.439 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.440 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.441 + ProcTypes.rdst :: ProcTypes.Rindx 1.442 +}; 1.443 + 1.444 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$XOR¶; 1.445 + 1.446 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$XOR¶; 1.447 + 1.448 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$XOR¶; 1.449 + 1.450 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$XOR¶; 1.451 + 1.452 +struct (ProcTypes.¶Instr_$NOR¶ :: *) = { 1.453 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.454 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.455 + ProcTypes.rdst :: ProcTypes.Rindx 1.456 +}; 1.457 + 1.458 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$NOR¶; 1.459 + 1.460 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$NOR¶; 1.461 + 1.462 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$NOR¶; 1.463 + 1.464 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$NOR¶; 1.465 + 1.466 +struct (ProcTypes.¶Instr_$SLT¶ :: *) = { 1.467 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.468 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.469 + ProcTypes.rdst :: ProcTypes.Rindx 1.470 +}; 1.471 + 1.472 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLT¶; 1.473 + 1.474 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLT¶; 1.475 + 1.476 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLT¶; 1.477 + 1.478 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLT¶; 1.479 + 1.480 +struct (ProcTypes.¶Instr_$SLTU¶ :: *) = { 1.481 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.482 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.483 + ProcTypes.rdst :: ProcTypes.Rindx 1.484 +}; 1.485 + 1.486 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$SLTU¶; 1.487 + 1.488 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$SLTU¶; 1.489 + 1.490 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$SLTU¶; 1.491 + 1.492 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$SLTU¶; 1.493 + 1.494 +struct (ProcTypes.¶Instr_$J¶ :: *) = { 1.495 + ProcTypes.target :: ProcTypes.Target 1.496 +}; 1.497 + 1.498 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$J¶; 1.499 + 1.500 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$J¶; 1.501 + 1.502 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$J¶; 1.503 + 1.504 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$J¶; 1.505 + 1.506 +struct (ProcTypes.¶Instr_$JAL¶ :: *) = { 1.507 + ProcTypes.target :: ProcTypes.Target 1.508 +}; 1.509 + 1.510 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$JAL¶; 1.511 + 1.512 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$JAL¶; 1.513 + 1.514 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$JAL¶; 1.515 + 1.516 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$JAL¶; 1.517 + 1.518 +struct (ProcTypes.¶Instr_$JR¶ :: *) = { 1.519 + ProcTypes.rsrc :: ProcTypes.Rindx 1.520 +}; 1.521 + 1.522 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$JR¶; 1.523 + 1.524 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$JR¶; 1.525 + 1.526 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$JR¶; 1.527 + 1.528 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$JR¶; 1.529 + 1.530 +struct (ProcTypes.¶Instr_$JALR¶ :: *) = { 1.531 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.532 + ProcTypes.rdst :: ProcTypes.Rindx 1.533 +}; 1.534 + 1.535 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$JALR¶; 1.536 + 1.537 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$JALR¶; 1.538 + 1.539 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$JALR¶; 1.540 + 1.541 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$JALR¶; 1.542 + 1.543 +struct (ProcTypes.¶Instr_$BEQ¶ :: *) = { 1.544 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.545 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.546 + ProcTypes.offset :: ProcTypes.Simm 1.547 +}; 1.548 + 1.549 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BEQ¶; 1.550 + 1.551 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BEQ¶; 1.552 + 1.553 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BEQ¶; 1.554 + 1.555 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BEQ¶; 1.556 + 1.557 +struct (ProcTypes.¶Instr_$BNE¶ :: *) = { 1.558 + ProcTypes.rsrc1 :: ProcTypes.Rindx; 1.559 + ProcTypes.rsrc2 :: ProcTypes.Rindx; 1.560 + ProcTypes.offset :: ProcTypes.Simm 1.561 +}; 1.562 + 1.563 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BNE¶; 1.564 + 1.565 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BNE¶; 1.566 + 1.567 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BNE¶; 1.568 + 1.569 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BNE¶; 1.570 + 1.571 +struct (ProcTypes.¶Instr_$BLEZ¶ :: *) = { 1.572 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.573 + ProcTypes.offset :: ProcTypes.Simm 1.574 +}; 1.575 + 1.576 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BLEZ¶; 1.577 + 1.578 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BLEZ¶; 1.579 + 1.580 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BLEZ¶; 1.581 + 1.582 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BLEZ¶; 1.583 + 1.584 +struct (ProcTypes.¶Instr_$BGTZ¶ :: *) = { 1.585 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.586 + ProcTypes.offset :: ProcTypes.Simm 1.587 +}; 1.588 + 1.589 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BGTZ¶; 1.590 + 1.591 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BGTZ¶; 1.592 + 1.593 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BGTZ¶; 1.594 + 1.595 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BGTZ¶; 1.596 + 1.597 +struct (ProcTypes.¶Instr_$BLTZ¶ :: *) = { 1.598 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.599 + ProcTypes.offset :: ProcTypes.Simm 1.600 +}; 1.601 + 1.602 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BLTZ¶; 1.603 + 1.604 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BLTZ¶; 1.605 + 1.606 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BLTZ¶; 1.607 + 1.608 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BLTZ¶; 1.609 + 1.610 +struct (ProcTypes.¶Instr_$BGEZ¶ :: *) = { 1.611 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.612 + ProcTypes.offset :: ProcTypes.Simm 1.613 +}; 1.614 + 1.615 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$BGEZ¶; 1.616 + 1.617 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$BGEZ¶; 1.618 + 1.619 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$BGEZ¶; 1.620 + 1.621 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$BGEZ¶; 1.622 + 1.623 +struct (ProcTypes.¶Instr_$MFC0¶ :: *) = { 1.624 + ProcTypes.rdst :: ProcTypes.Rindx; 1.625 + ProcTypes.cop0src :: ProcTypes.CP0indx 1.626 +}; 1.627 + 1.628 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$MFC0¶; 1.629 + 1.630 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$MFC0¶; 1.631 + 1.632 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$MFC0¶; 1.633 + 1.634 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$MFC0¶; 1.635 + 1.636 +struct (ProcTypes.¶Instr_$MTC0¶ :: *) = { 1.637 + ProcTypes.rsrc :: ProcTypes.Rindx; 1.638 + ProcTypes.cop0dst :: ProcTypes.CP0indx 1.639 +}; 1.640 + 1.641 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUndefined®¶ ProcTypes.¶Instr_$MTC0¶; 1.642 + 1.643 +instance ProcTypes ¶Prelude®¶.¶PrimDeepSeqCond®¶ ProcTypes.¶Instr_$MTC0¶; 1.644 + 1.645 +instance ProcTypes ¶Prelude®¶.¶PrimMakeUninitialized®¶ ProcTypes.¶Instr_$MTC0¶; 1.646 + 1.647 +instance ProcTypes ¶Prelude®¶.¶Eq®¶ ProcTypes.¶Instr_$MTC0¶; 1.648 + 1.649 +ProcTypes.opFUNC :: ¶Prelude®¶.¶Bit®¶ 6; 1.650 + 1.651 +ProcTypes.fcSLL :: ¶Prelude®¶.¶Bit®¶ 6; 1.652 + 1.653 +ProcTypes.opRT :: ¶Prelude®¶.¶Bit®¶ 6; 1.654 + 1.655 +ProcTypes.fcSRL :: ¶Prelude®¶.¶Bit®¶ 6; 1.656 + 1.657 +ProcTypes.opRS :: ¶Prelude®¶.¶Bit®¶ 6; 1.658 + 1.659 +ProcTypes.fcSRA :: ¶Prelude®¶.¶Bit®¶ 6; 1.660 + 1.661 +ProcTypes.fcSLLV :: ¶Prelude®¶.¶Bit®¶ 6; 1.662 + 1.663 +ProcTypes.opLW :: ¶Prelude®¶.¶Bit®¶ 6; 1.664 + 1.665 +ProcTypes.fcSRLV :: ¶Prelude®¶.¶Bit®¶ 6; 1.666 + 1.667 +ProcTypes.opSW :: ¶Prelude®¶.¶Bit®¶ 6; 1.668 + 1.669 +ProcTypes.fcSRAV :: ¶Prelude®¶.¶Bit®¶ 6; 1.670 + 1.671 +ProcTypes.fcADDU :: ¶Prelude®¶.¶Bit®¶ 6; 1.672 + 1.673 +ProcTypes.opADDIU :: ¶Prelude®¶.¶Bit®¶ 6; 1.674 + 1.675 +ProcTypes.fcSUBU :: ¶Prelude®¶.¶Bit®¶ 6; 1.676 + 1.677 +ProcTypes.opSLTI :: ¶Prelude®¶.¶Bit®¶ 6; 1.678 + 1.679 +ProcTypes.fcAND :: ¶Prelude®¶.¶Bit®¶ 6; 1.680 + 1.681 +ProcTypes.opSLTIU :: ¶Prelude®¶.¶Bit®¶ 6; 1.682 + 1.683 +ProcTypes.fcOR :: ¶Prelude®¶.¶Bit®¶ 6; 1.684 + 1.685 +ProcTypes.opANDI :: ¶Prelude®¶.¶Bit®¶ 6; 1.686 + 1.687 +ProcTypes.fcXOR :: ¶Prelude®¶.¶Bit®¶ 6; 1.688 + 1.689 +ProcTypes.opORI :: ¶Prelude®¶.¶Bit®¶ 6; 1.690 + 1.691 +ProcTypes.fcNOR :: ¶Prelude®¶.¶Bit®¶ 6; 1.692 + 1.693 +ProcTypes.opXORI :: ¶Prelude®¶.¶Bit®¶ 6; 1.694 + 1.695 +ProcTypes.fcSLT :: ¶Prelude®¶.¶Bit®¶ 6; 1.696 + 1.697 +ProcTypes.opLUI :: ¶Prelude®¶.¶Bit®¶ 6; 1.698 + 1.699 +ProcTypes.fcSLTU :: ¶Prelude®¶.¶Bit®¶ 6; 1.700 + 1.701 +ProcTypes.opJ :: ¶Prelude®¶.¶Bit®¶ 6; 1.702 + 1.703 +ProcTypes.opJAL :: ¶Prelude®¶.¶Bit®¶ 6; 1.704 + 1.705 +ProcTypes.fcJR :: ¶Prelude®¶.¶Bit®¶ 6; 1.706 + 1.707 +ProcTypes.fcJALR :: ¶Prelude®¶.¶Bit®¶ 6; 1.708 + 1.709 +ProcTypes.opBEQ :: ¶Prelude®¶.¶Bit®¶ 6; 1.710 + 1.711 +ProcTypes.opBNE :: ¶Prelude®¶.¶Bit®¶ 6; 1.712 + 1.713 +ProcTypes.opBLEZ :: ¶Prelude®¶.¶Bit®¶ 6; 1.714 + 1.715 +ProcTypes.opBGTZ :: ¶Prelude®¶.¶Bit®¶ 6; 1.716 + 1.717 +ProcTypes.rtBLTZ :: ¶Prelude®¶.¶Bit®¶ 5; 1.718 + 1.719 +ProcTypes.rtBGEZ :: ¶Prelude®¶.¶Bit®¶ 5; 1.720 + 1.721 +ProcTypes.rsMFC0 :: ¶Prelude®¶.¶Bit®¶ 5; 1.722 + 1.723 +ProcTypes.rsMTC0 :: ¶Prelude®¶.¶Bit®¶ 5; 1.724 + 1.725 +instance ProcTypes ¶Prelude®¶.¶Bits®¶ ProcTypes.Instr 32; 1.726 + 1.727 +instance ProcTypes Trace.Traceable ProcTypes.Instr 1.728 +}