Mercurial > pygar

     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 }
author	punk
date	Tue, 13 Apr 2010 17:34:33 -0400
parents
children