Mercurial > pygar

     1 /// The MIT License

     2 

     3 // Copyright (c) 2009 Massachusetts Institute of Technology

     4 

     5 // Permission is hereby granted, free of charge, to any person obtaining a copy

     6 // of this software and associated documentation files (the "Software"), to deal

     7 // in the Software without restriction, including without limitation the rights

     8 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell

     9 // copies of the Software, and to permit persons to whom the Software is

    10 // furnished to do so, subject to the following conditions:

    11 

    12 // The above copyright notice and this permission notice shall be included in

    13 // all copies or substantial portions of the Software.

    14 

    15 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR

    16 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,

    17 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE

    18 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER

    19 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,

    20 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN

    21 // THE SOFTWARE.

    22 

    23 

    24 import Connectable::*;

    25 import GetPut::*;

    26 import ClientServer::*;

    27 import RegFile::*;

    28 

    29 import FIFO::*;

    30 import FIFOF::*;

    31 import SFIFO::*;

    32 import RWire::*;

    33 

    34 import Trace::*;

    35 import BFIFO::*;

    36 import MemTypes::*;

    37 import ProcTypes::*;

    38 import BRegFile::*;

    39 import BranchPred::*;

    40 //import PathTypes::*;  This is only there to force the debugging

    41 

    42 //AWB includes

    43 `include "asim/provides/low_level_platform_interface.bsh"

    44 `include "asim/provides/soft_connections.bsh"

    45 `include "asim/provides/common_services.bsh"

    46 

    47 // Local includes

    48 //`include "asim/provides/processor_library.bsh" (included above directly)

    49 `include "asim/rrr/remote_server_stub_AUDIOCORERRR.bsh"

    50 `include "asim/provides/common_services.bsh"

    51 `include "asim/dict/STATS_PROCESSOR.bsh"

    52 

    53 // Local includes. Look for the correspondingly named .awb files

    54 // workspace/labs/src/mit-6.375/modules/bluespec/mit-6.375/common/

    55 // to find the actual Bluespec files which are used to generate

    56 // these includes.  These files are specific to this audio processing

    57 // pipeline

    58 

    59 `include "asim/provides/audio_pipe_types.bsh"

    60 

    61 //interface CPUToHost;

    62 //  method Bit#(32) cpuToHost(int req);

    63 //endinterface

    64 

    65 interface Proc;

    66 

    67   // Interface from processor to caches

    68   interface Client#(DataReq,DataResp) dmem_client;

    69   interface Client#(InstReq,InstResp) imem_client;

    70 

    71   // Interface for enabling/disabling statistics on the rest of the core

    72   interface Get#(Bool) statsEn_get;

    73 

    74 //  // Interface to host

    75 //  interface CPUToHost tohost;

    76 

    77   // Interface to Audio Pipeline

    78   interface Get#(AudioProcessorUnit) sampleOutput;

    79 	

    80 endinterface

    81 

    82 //The full interface for this is as below in the common file for audioProcessorTypes.bsv

    83 //interface AudioOut;

    84 //  interface Get#(AudioProcessorUnit) audioSampleOutput;

    85 //endinterface

    86 

    87 //interface AudioIn;

    88 //  interface Put#(AudioProcessorUnit) audioSampleInput;

    89 //endinterface	

    90 

    91 typedef enum { PCgen, Exec, Writeback } Stage deriving(Eq,Bits);

    92 

    93 //-----------------------------------------------------------

    94 // Register file module

    95 //-----------------------------------------------------------

    96 

    97 interface BRFile;

    98    method Action   wr( Rindx rindx, Bit#(32) data );

    99    method Bit#(32) rd1( Rindx rindx );

   100    method Bit#(32) rd2( Rindx rindx );

   101 endinterface

   102 

   103 module mkBRFile( BRFile );

   104    

   105    RegFile#(Rindx,Bit#(32)) rfile <- mkBRegFile();

   106    

   107    method Action wr( Rindx rindx, Bit#(32) data );

   108       rfile.upd( rindx, data );

   109    endmethod

   110    

   111    method Bit#(32) rd1( Rindx rindx );

   112       return ( rindx == 0 ) ? 0 : rfile.sub(rindx);

   113    endmethod

   114    

   115    method Bit#(32) rd2( Rindx rindx );

   116       return ( rindx == 0 ) ? 0 : rfile.sub(rindx);

   117    endmethod

   118 

   119 endmodule

   120 

   121 //-----------------------------------------------------------

   122 // Helper functions

   123 //-----------------------------------------------------------

   124 

   125 function Bit#(32) slt( Bit#(32) val1, Bit#(32) val2 );

   126    return zeroExtend( pack( signedLT(val1,val2) ) );

   127 endfunction

   128 

   129 function Bit#(32) sltu( Bit#(32) val1, Bit#(32) val2 );

   130    return zeroExtend( pack( val1 < val2 ) );

   131 endfunction

   132 

   133 function Bit#(32) rshft( Bit#(32) val );

   134    return zeroExtend(val[4:0]);

   135 endfunction

   136 

   137 

   138 //-----------------------------------------------------------

   139 // Find funct for wbQ

   140 //-----------------------------------------------------------

   141 function Bool findwbf(Rindx fVal, WBResult cmpVal);

   142   case (cmpVal) matches   

   143      tagged WB_ALU  {data:.res, dest:.rd} :

   144 	return (fVal == rd);

   145      tagged WB_Load .rd  :

   146 	return (fVal == rd);

   147      tagged WB_Store .st :

   148 	return False;

   149      tagged WB_Host .x   :

   150 	return False;

   151   endcase

   152 endfunction

   153 

   154      

   155 //-----------------------------------------------------------

   156 // Stall funct for wbQ

   157 //-----------------------------------------------------------

   158 function Bool stall(Instr inst, SFIFO#(WBResult, Rindx) f);

   159    case (inst) matches

   160       	 // -- Memory Ops ------------------------------------------------      

   161       tagged LW .it :

   162 	 return f.find(it.rbase);

   163       tagged SW {rsrc:.dreg, rbase:.addr, offset:.o} :

   164 	 return (f.find(addr) ||  f.find2(dreg));

   165 

   166 	 // -- Simple Ops ------------------------------------------------      

   167       tagged ADDIU .it : return f.find(it.rsrc);

   168       tagged SLTI  .it : return f.find(it.rsrc);

   169       tagged SLTIU .it : return f.find(it.rsrc);

   170       tagged ANDI  .it : return f.find(it.rsrc);

   171       tagged ORI   .it : return f.find(it.rsrc);

   172       tagged XORI  .it : return f.find(it.rsrc);

   173       

   174       tagged LUI   .it : return f.find(it.rdst);  //this rds/wrs itself

   175       tagged SLL   .it : return f.find(it.rsrc);

   176       tagged SRL   .it : return f.find(it.rsrc);

   177       tagged SRA   .it : return f.find(it.rsrc);

   178       tagged SLLV  .it : return (f.find(it.rsrc) || f.find(it.rshamt));

   179       tagged SRLV  .it : return (f.find(it.rsrc) || f.find(it.rshamt));

   180       tagged SRAV  .it : return (f.find(it.rsrc) || f.find(it.rshamt));

   181       tagged ADDU  .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   182       tagged SUBU  .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   183       tagged AND   .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   184       tagged OR    .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   185       tagged XOR   .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   186       tagged NOR   .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   187       tagged SLT   .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   188       tagged SLTU  .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   189    

   190 

   191       // -- Branches --------------------------------------------------

   192     

   193       tagged BLEZ  .it : return (f.find(it.rsrc));

   194       tagged BGTZ  .it : return (f.find(it.rsrc));

   195       tagged BLTZ  .it : return (f.find(it.rsrc));

   196       tagged BGEZ  .it : return (f.find(it.rsrc));

   197       tagged BEQ   .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   198       tagged BNE   .it : return (f.find(it.rsrc1) || f.find2(it.rsrc2));

   199       

   200       // -- Jumps -----------------------------------------------------

   201       

   202       tagged J     .it : return False;

   203       tagged JR    .it : return f.find(it.rsrc);

   204       tagged JALR  .it : return f.find(it.rsrc);

   205       tagged JAL   .it : return False;

   206       

   207       // -- Cop0 ------------------------------------------------------

   208       

   209       tagged MTC0  .it : return f.find(it.rsrc);      

   210       tagged MFC0  .it : return False; 

   211 

   212       // -- Illegal ---------------------------------------------------

   213 

   214       default : return False;

   215 

   216     endcase

   217 endfunction

   218 //-----------------------------------------------------------

   219 // Reference processor

   220 //-----------------------------------------------------------

   221 

   222 

   223 //(* doc = "synthesis attribute ram_style mkProc distributed;" *)

   224 //(* synthesize *)

   225 

   226 module  [CONNECTED_MODULE] mkProc( Proc );

   227 

   228    //-----------------------------------------------------------

   229    // Debug port

   230    

   231    ServerStub_AUDIOCORERRR server_stub <- mkServerStub_AUDIOCORERRR();   

   232 

   233    

   234    //-----------------------------------------------------------

   235    // State

   236 

   237    // Standard processor state

   238    

   239    Reg#(Addr)  pc    <- mkReg(32'h00001000);

   240    Reg#(Epoch) epoch <- mkReg(0);

   241    Reg#(Stage) stage <- mkReg(PCgen);

   242    BRFile      rf    <- mkBRFile;

   243 

   244    // Branch Prediction

   245    BranchPred               bp <- mkBranchPred();

   246    FIFO#(PCStat)        execpc <- mkLFIFO();

   247    

   248    // Pipelines

   249    FIFO#(PCStat)           pcQ <-mkSizedFIFO(3);

   250    SFIFO#(WBResult, Rindx) wbQ <-mkSFIFO(findwbf);

   251 

   252    Reg#(Bit#(32)) cp0_tohost   <- mkReg(0);

   253    Reg#(Bit#(32)) cp0_fromhost <- mkReg(0);

   254    Reg#(Bool)     cp0_statsEn  <- mkReg(False);

   255 

   256    // Memory request/response state

   257    

   258    FIFO#(InstReq)  instReqQ    <- mkBFIFO1();

   259    FIFO#(InstResp) instRespQ   <- mkFIFO();

   260 

   261    FIFO#(DataReq)  dataReqQ    <- mkBFIFO1();

   262    FIFO#(DataResp) dataRespQ   <- mkFIFO();

   263 

   264    // Audio I/O

   265    FIFO#(AudioProcessorUnit) inAudioFifo <- mkFIFO;

   266    FIFO#(AudioProcessorUnit) outAudioFifo <- mkFIFO;

   267 

   268 

   269    // Statistics state (2010)

   270 //   Reg#(Stat) num_cycles <- mkReg(0);

   271 //   Reg#(Stat) num_inst <- mkReg(0);

   272 

   273    //Or:

   274    // Statistics state

   275    STAT num_cycles <- mkStatCounter(`STATS_PROCESSOR_CYCLE_COUNT);

   276    STAT num_inst <- mkStatCounter(`STATS_PROCESSOR_INST_COUNT);

   277 

   278    //-----------------------------------------------------------

   279    // Rules

   280 

   281    (* descending_urgency = "exec, pcgen" *)

   282    rule pcgen; //( stage == PCgen );

   283       let pc_plus4 = pc + 4;

   284 

   285       traceTiny("mkProc", "pc",pc);

   286       traceTiny("mkProc", "pcgen","P");

   287       instReqQ.enq( LoadReq{ addr:pc, tag:epoch} );

   288       

   289       let next_pc = bp.get(pc);

   290       if (next_pc matches tagged Valid .npc) 

   291 	begin

   292 	   pcQ.enq(PCStat {qpc:pc, qnxtpc:npc, qepoch:epoch});

   293 	   pc <= npc;

   294 	end

   295      else

   296 	 begin

   297 	   pcQ.enq(PCStat {qpc:pc, qnxtpc:pc_plus4, qepoch:epoch});

   298 	   pc <= pc_plus4;

   299 	 end

   300       

   301    endrule

   302 

   303    rule discard (instRespQ.first() matches tagged LoadResp .ld

   304 					      &&& ld.tag != epoch);

   305       traceTiny("mkProc", "stage", "D");

   306       instRespQ.deq();

   307    endrule

   308 

   309    (* conflict_free = "exec, writeback" *)		      

   310    rule exec (instRespQ.first() matches tagged LoadResp.ld

   311 	      &&& (ld.tag == epoch)

   312 	      &&& unpack(ld.data) matches .inst

   313               &&& !stall(inst, wbQ));

   314 

   315       // Some abbreviations

   316       let sext = signExtend;

   317       let zext = zeroExtend;

   318       let sra  = signedShiftRight;

   319       

   320       // Get the instruction

   321       

   322       instRespQ.deq();

   323       Instr inst 

   324       = case ( instRespQ.first() ) matches

   325 	   tagged LoadResp  .ld : return unpack(ld.data);

   326 	   tagged StoreResp .st : return ?;

   327 	endcase;

   328 

   329       // Get the PC info

   330       let instrpc = pcQ.first().qpc;

   331       let pc_plus4 = instrpc + 4;

   332       

   333       Bool branchTaken = False;

   334       Addr newPC = pc_plus4;

   335 

   336       // Tracing

   337       traceTiny("mkProc", "exec","X");

   338       traceTiny("mkProc", "exInstTiny",inst);

   339       traceFull("mkProc", "exInstFull",inst);

   340 

   341       case ( inst ) matches

   342 

   343 	 // -- Memory Ops ------------------------------------------------      

   344 

   345 	 tagged LW .it : 

   346 	    begin

   347                Addr addr = rf.rd1(it.rbase) + sext(it.offset);

   348                dataReqQ.enq( LoadReq{ addr:addr, tag:zeroExtend(it.rdst) } );

   349                wbQ.enq(tagged WB_Load it.rdst);

   350 	    end

   351 

   352 	 tagged SW .it : 

   353 	    begin

   354                Addr addr = rf.rd1(it.rbase) + sext(it.offset);

   355                dataReqQ.enq( StoreReq{ tag:0, addr:addr, data:rf.rd2(it.rsrc) } );

   356                wbQ.enq(tagged WB_Store);

   357 	    end

   358 

   359 	 // -- Simple Ops ------------------------------------------------      

   360 

   361 	 tagged ADDIU .it : 

   362 	    begin

   363 	       Bit#(32) result = rf.rd1(it.rsrc) + sext(it.imm);

   364 	       wbQ.enq(tagged WB_ALU {data:result, dest:it.rdst});

   365 	    end

   366 	 tagged SLTI  .it : wbQ.enq(tagged WB_ALU {dest:it.rdst, data:slt( rf.rd1(it.rsrc), sext(it.imm) )});

   367 	 tagged SLTIU .it : wbQ.enq(tagged WB_ALU {dest:it.rdst, data:sltu( rf.rd1(it.rsrc), sext(it.imm) ) });

   368 	 tagged ANDI  .it : 

   369 	    begin

   370 	       Bit#(32) zext_it_imm = zext(it.imm);

   371 	       wbQ.enq(tagged WB_ALU {dest:it.rdst, data:(rf.rd1(it.rsrc) & zext_it_imm)} );

   372 	    end

   373 	 tagged ORI   .it : 

   374 	    begin

   375 	       Bit#(32) zext_it_imm = zext(it.imm);

   376 	       wbQ.enq(tagged WB_ALU {dest:it.rdst, data:(rf.rd1(it.rsrc) | zext_it_imm)} );

   377 	    end

   378 	 tagged XORI  .it : 

   379 	    begin

   380 	       Bit#(32) zext_it_imm = zext(it.imm);

   381 	       wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc) ^ zext_it_imm )});

   382 	    end

   383 	 tagged LUI   .it : 

   384 	    begin

   385 	       Bit#(32) zext_it_imm = zext(it.imm);

   386 	       wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(zext_it_imm << 32'd16) });

   387 	    end

   388 	 

   389 	 tagged SLL   .it : 

   390 	    begin

   391 	       Bit#(32) zext_it_shamt = zext(it.shamt);

   392 	       wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc) << zext_it_shamt )} );

   393 	    end

   394 	 tagged SRL   .it : 

   395 	    begin

   396 	       Bit#(32) zext_it_shamt = zext(it.shamt);

   397 	       wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc) >> zext_it_shamt )});

   398 	    end

   399 	 tagged SRA   .it : 

   400 	    begin

   401 	       Bit#(32) zext_it_shamt = zext(it.shamt);

   402 	       wbQ.enq(tagged WB_ALU {dest: it.rdst, data:sra( rf.rd1(it.rsrc), zext_it_shamt )});

   403 	    end

   404 	 tagged SLLV  .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc) << rshft(rf.rd2(it.rshamt)) )});

   405 	 tagged SRLV  .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc) >> rshft(rf.rd2(it.rshamt)) )} );

   406 	 tagged SRAV  .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:sra( rf.rd1(it.rsrc), rshft(rf.rd2(it.rshamt)) ) });

   407 	 tagged ADDU  .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc1) + rf.rd2(it.rsrc2) )} );

   408 	 tagged SUBU  .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc1) - rf.rd2(it.rsrc2) )} );

   409 	 tagged AND   .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc1) & rf.rd2(it.rsrc2) )} );

   410 	 tagged OR    .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc1) | rf.rd2(it.rsrc2) )} );

   411 	 tagged XOR   .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(rf.rd1(it.rsrc1) ^ rf.rd2(it.rsrc2) )} );

   412 	 tagged NOR   .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:(~(rf.rd1(it.rsrc1) | rf.rd2(it.rsrc2)) )} );

   413 	 tagged SLT   .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:slt( rf.rd1(it.rsrc1), rf.rd2(it.rsrc2) ) });

   414 	 tagged SLTU  .it : wbQ.enq(tagged WB_ALU {dest: it.rdst, data:sltu( rf.rd1(it.rsrc1), rf.rd2(it.rsrc2) ) });

   415 

   416 	 // -- Branches --------------------------------------------------

   417 

   418 	 tagged BLEZ  .it : 

   419             if ( signedLE( rf.rd1(it.rsrc), 0 ) )

   420 	       begin

   421 		  newPC = pc_plus4 + (sext(it.offset) << 2);

   422 		  branchTaken = True;

   423 	       end

   424 

   425 	 tagged BGTZ  .it : 

   426             if ( signedGT( rf.rd1(it.rsrc), 0 ) ) 

   427                begin 

   428 		  newPC = pc_plus4 + (sext(it.offset) << 2);

   429 		  branchTaken = True;

   430 	       end

   431 

   432 	 tagged BLTZ  .it : 

   433             if ( signedLT( rf.rd1(it.rsrc), 0 ) )

   434                begin 

   435 		  newPC = pc_plus4 + (sext(it.offset) << 2);

   436 		  branchTaken = True;

   437 	       end

   438 		  

   439 	 tagged BGEZ  .it : 

   440             if ( signedGE( rf.rd1(it.rsrc), 0 ) )

   441                begin 

   442 		  newPC = pc_plus4 + (sext(it.offset) << 2);		  

   443 		  branchTaken = True;

   444 	       end

   445 

   446       tagged BEQ   .it : 

   447         if ( rf.rd1(it.rsrc1) == rf.rd2(it.rsrc2) )

   448           begin 

   449 	     newPC = pc_plus4 + (sext(it.offset) << 2);

   450 	     branchTaken = True;

   451 	  end

   452 

   453       tagged BNE   .it : 

   454         if ( rf.rd1(it.rsrc1) != rf.rd2(it.rsrc2) )

   455           begin 

   456 	     newPC = pc_plus4 + (sext(it.offset) << 2);

   457 	     branchTaken = True;

   458 	  end

   459 

   460       // -- Jumps -----------------------------------------------------

   461       

   462       tagged J     .it : 

   463         begin 

   464 	   newPC = { pc_plus4[31:28], it.target, 2'b0 };

   465 	   branchTaken = True;

   466 	end

   467       

   468       tagged JR    .it : 

   469         begin 

   470 	   newPC = rf.rd1(it.rsrc);

   471 	   branchTaken = True;

   472 	end

   473 

   474       tagged JAL   .it : 

   475        begin

   476           wbQ.enq(tagged WB_ALU {dest:31, data:pc_plus4 });

   477           newPC = { pc_plus4[31:28], it.target, 2'b0 };		  

   478 	  branchTaken = True;

   479        end

   480 

   481       tagged JALR  .it : 

   482        begin

   483           wbQ.enq(tagged WB_ALU {dest:it.rdst, data:pc_plus4 });

   484           newPC = rf.rd1(it.rsrc);

   485 	  branchTaken = True;

   486        end

   487 

   488       // -- Cop0 ------------------------------------------------------

   489       

   490       tagged MTC0  .it : 

   491 	 begin

   492             case ( it.cop0dst )

   493 	       5'd10 : cp0_statsEn <= unpack(truncate(rf.rd1(it.rsrc)));

   494 	       5'd21 : cp0_tohost  <= truncate(rf.rd1(it.rsrc));

   495 	       default :

   496 	       $display( " RTL-ERROR : %m : Illegal MTC0 cop0dst register!" );

   497 	    endcase

   498 	    wbQ.enq(tagged WB_Host 0); //no idea wwhat this actually should be.

   499 	 end

   500 

   501 //this is host stuff?

   502       tagged MFC0  .it :

   503 	 begin

   504             case ( it.cop0src )

   505 	    // not actually an ALU instruction but don't have the format otherwise

   506                5'd10 : wbQ.enq(tagged WB_ALU {dest:it.rdst, data:zext(pack(cp0_statsEn)) });

   507                5'd20 : wbQ.enq(tagged WB_ALU {dest:it.rdst, data:cp0_fromhost });

   508                5'd21 : wbQ.enq(tagged WB_ALU {dest:it.rdst, data:cp0_tohost   });

   509               default : 

   510                 $display( " RTL-ERROR : %m : Illegal MFC0 cop0src register!" );

   511             endcase

   512 	end

   513 

   514       // -- Illegal ---------------------------------------------------

   515 

   516       default : 

   517         $display( " RTL-ERROR : %m : Illegal instruction !" );

   518 

   519     endcase

   520 

   521 //evaluate branch prediction

   522      Addr ppc = pcQ.first().qnxtpc; //predicted branch

   523      if (ppc != newPC) //prediction wrong

   524        begin

   525 	  epoch <= pcQ.first().qepoch + 1;

   526 	  bp.upd(instrpc, newPC); //update branch predictor

   527 	  pcQ.clear();

   528 	  pc <= newPC;

   529        end

   530      else

   531 	pcQ.deq();

   532 

   533     if ( cp0_statsEn )

   534       num_inst.incr();

   535 

   536   endrule

   537 

   538   rule writeback; // ( stage == Writeback );

   539      traceTiny("mkProc", "writeback","W");

   540      

   541 

   542     // get what to do off the writeback queue

   543      wbQ.deq();

   544      case (wbQ.first()) matches

   545 	tagged WB_ALU {data:.res, dest:.rdst} : rf.wr(rdst, res);

   546 	tagged WB_Load .regWr : 

   547 	   begin

   548 	      dataRespQ.deq();

   549 	      if (dataRespQ.first() matches tagged LoadResp .ld)

   550 		rf.wr(truncate(ld.tag), ld.data); // no need to use Rindx from queue?  Duplicate?

   551 	   end

   552 	tagged WB_Store : dataRespQ.deq();

   553 	tagged WB_Host .dat : noAction;

   554      endcase

   555            

   556   endrule

   557 

   558   rule inc_num_cycles;

   559     if ( cp0_statsEn )

   560       num_cycles.incr();

   561   endrule

   562 

   563 (* conservative_implicit_conditions *)

   564   rule handleCPUToHost;

   565    let req <- server_stub.acceptRequest_ReadCPUToHost();

   566     case (req)

   567      0: server_stub.sendResponse_ReadCPUToHost(cp0_tohost);

   568      1: server_stub.sendResponse_ReadCPUToHost(pc);

   569      2: server_stub.sendResponse_ReadCPUToHost(zeroExtend(pack(stage)));

   570     endcase

   571   endrule

   572 

   573  // for now, we don't do anything.

   574   rule connectAudioReqResp;

   575 //    $display("rlm: PROCESSOR copies a datum\n");

   576     outAudioFifo.enq(inAudioFifo.first());

   577     inAudioFifo.deq;

   578   endrule

   579 

   580   // Server items & rules:

   581    

   582    rule feedInput;

   583      let command <- server_stub.acceptRequest_SendUnprocessedStream();

   584      AudioProcessorControl ctrl = unpack(truncate(command.ctrl));

   585      if(ctrl == EndOfFile)

   586 	begin

   587 //	  $display("lsp: PROCESSOR received EOF   ");

   588           inAudioFifo.enq(tagged EndOfFile);

   589        end

   590      else 

   591 	begin

   592 //	  $display("lsp: PROCESSOR received Data   ");

   593           inAudioFifo.enq(tagged Sample unpack(truncate(command.sample)));

   594        end

   595    endrule     

   596   

   597  

   598   //-----------------------------------------------------------

   599   // Methods

   600 

   601   interface Client imem_client;

   602     interface Get request  = fifoToGet(instReqQ);

   603     interface Put response = fifoToPut(instRespQ);

   604   endinterface

   605 

   606   interface Client dmem_client;

   607     interface Get request  = fifoToGet(dataReqQ);

   608     interface Put response = fifoToPut(dataRespQ);

   609   endinterface

   610 

   611   interface Get statsEn_get = toGet(asReg(cp0_statsEn));

   612 

   613 //  interface CPUToHost tohost;

   614 //    method Bit#(32) cpuToHost(int req);

   615 //      return (case (req)

   616 //       0: cp0_tohost;

   617 //       1: pc;

   618 //       2: zeroExtend(pack(stage));

   619 //      endcase);

   620 //    endmethod

   621 //  endinterface

   622      

   623   interface Get sampleOutput = fifoToGet(outAudioFifo);

   624 

   625 endmodule

   626
author	punk
date	Wed, 28 Apr 2010 12:01:37 -0400
parents	90197e3375e2
children	f5dfbe28fa59