Mercurial > pygar

     1 signature Processor where {

     2 import 詛ssert振;

     3 		

     4 import 詆onfigReg振;

     5 		   

     6 import 詆ounter振;

     7 		 

     8 import 訶IFOF_振;

     9 		

    10 import 訶IFOF振;

    11 	       

    12 import 訶IFO振;

    13 	      

    14 import 貂nout振;

    15 	       

    16 import 貳ist振;

    17 	      

    18 import BFIFO;

    19 	    

    20 import 詆locks振;

    21 		

    22 import 貳istN振;

    23 	       

    24 import 貽onad振;

    25 	       

    26 import 賀rimArray振;

    27 		   

    28 import 買Wire振;

    29 	       

    30 import 買egFile振;

    31 		 

    32 import SFIFO;

    33 	    

    34 import 越ector振;

    35 		

    36 import 詆onnectable振;

    37 		     

    38 import 詖etPut振;

    39 		

    40 import 詆lientServer振;

    41 		      

    42 import Trace;

    43 	    

    44 import MemTypes;

    45 	       

    46 import ProcTypes;

    47 		

    48 import BRegFile;

    49 	       

    50 import BranchPred;

    51 		 

    52 interface (Processor.ProcStats :: *) = {

    53     Processor.num_cycles :: 詖etPut振.詖et振 ProcTypes.Stat;

    54     Processor.num_inst :: 詖etPut振.詖et振 ProcTypes.Stat

    55 };

    56  

    57 instance Processor 賀relude振.賀rimMakeUndefined振 Processor.ProcStats;

    58 								      

    59 instance Processor 賀relude振.賀rimDeepSeqCond振 Processor.ProcStats;

    60 								    

    61 instance Processor 賀relude振.賀rimMakeUninitialized振 Processor.ProcStats;

    62 									  

    63 interface (Processor.CPUToHost :: *) = {

    64     Processor.cpuToHost :: 賀relude振.貂nt振 32 -> 賀relude振.詐it振 32 {-# arg_names = [req] #-}

    65 };

    66  

    67 instance Processor 賀relude振.賀rimMakeUndefined振 Processor.CPUToHost;

    68 								      

    69 instance Processor 賀relude振.賀rimDeepSeqCond振 Processor.CPUToHost;

    70 								    

    71 instance Processor 賀relude振.賀rimMakeUninitialized振 Processor.CPUToHost;

    72 									  

    73 interface (Processor.Proc :: *) = {

    74     Processor.dmem_client :: 詆lientServer振.詆lient振 MemTypes.DataReq MemTypes.DataResp;

    75     Processor.imem_client :: 詆lientServer振.詆lient振 MemTypes.InstReq MemTypes.InstResp;

    76     Processor.statsEn_get :: 詖etPut振.詖et振 賀relude振.詐ool振;

    77     Processor.stats :: Processor.ProcStats;

    78     Processor.tohost :: Processor.CPUToHost

    79 };

    80  

    81 instance Processor 賀relude振.賀rimMakeUndefined振 Processor.Proc;

    82 								 

    83 instance Processor 賀relude振.賀rimDeepSeqCond振 Processor.Proc;

    84 							       

    85 instance Processor 賀relude振.賀rimMakeUninitialized振 Processor.Proc;

    86 								     

    87 data (Processor.Stage :: *) = Processor.PCgen () | Processor.Exec () | Processor.Writeback ();

    88 											     

    89 instance Processor 賀relude振.賀rimMakeUndefined振 Processor.Stage;

    90 								  

    91 instance Processor 賀relude振.賀rimDeepSeqCond振 Processor.Stage;

    92 								

    93 instance Processor 賀relude振.賀rimMakeUninitialized振 Processor.Stage;

    94 								      

    95 instance Processor 賀relude振.診q振 Processor.Stage;

    96 						   

    97 instance Processor 賀relude振.詐its振 Processor.Stage 2;

    98 						       

    99 interface (Processor.BRFile :: *) = {

   100     Processor.wr :: ProcTypes.Rindx ->

   101 		    賀relude振.詐it振 32 -> 賀relude振.詛ction振 {-# arg_names = [rindx, ︸ata（ #-};

   102     Processor.rd1 :: ProcTypes.Rindx -> 賀relude振.詐it振 32 {-# arg_names = [rindx] #-};

   103     Processor.rd2 :: ProcTypes.Rindx -> 賀relude振.詐it振 32 {-# arg_names = [rindx] #-}

   104 };

   105  

   106 instance Processor 賀relude振.賀rimMakeUndefined振 Processor.BRFile;

   107 								   

   108 instance Processor 賀relude振.賀rimDeepSeqCond振 Processor.BRFile;

   109 								 

   110 instance Processor 賀relude振.賀rimMakeUninitialized振 Processor.BRFile;

   111 								       

   112 Processor.mkBRFile :: (賀relude振.貂sModule振 _m__ _c__) => _m__ Processor.BRFile;

   113 										 

   114 Processor.slt :: 賀relude振.詐it振 32 -> 賀relude振.詐it振 32 -> 賀relude振.詐it振 32;

   115 										     

   116 Processor.sltu :: 賀relude振.詐it振 32 -> 賀relude振.詐it振 32 -> 賀relude振.詐it振 32;

   117 										      

   118 Processor.rshft :: 賀relude振.詐it振 32 -> 賀relude振.詐it振 32;

   119 							       

   120 Processor.findwbf :: ProcTypes.Rindx -> ProcTypes.WBResult -> 賀relude振.詐ool振;

   121 										

   122 Processor.stall :: ProcTypes.Instr ->

   123 		   SFIFO.SFIFO ProcTypes.WBResult ProcTypes.Rindx -> 賀relude振.詐ool振;

   124 										       

   125 Processor.mkProc :: (賀relude振.貂sModule振 _m__ _c__) => _m__ Processor.Proc

   126 }
author	punk
date	Wed, 28 Apr 2010 12:01:37 -0400
parents	91a1f76ddd62
children