Mercurial > pygar

view modules/bluespec/Pygar/lab4/ProcTrace.bsv @ 29:9830ff8fb0bd pygar svn.30

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[svn r30] Forgot a file
author punk
date Fri, 30 Apr 2010 09:13:38 -0400
parents
children
line wrap: on
line source
     1 



     2 import Trace::*;



     3 



     4 //----------------------------------------------------------------------



     5 // Trace



     6 //----------------------------------------------------------------------



     7 



     8 instance Traceable#(Instr);



     9 



    10   function Action traceTiny( String loc, String ttag, Instr inst );



    11     case ( inst ) matches



    12 



    13       tagged LW    .it : $fdisplay(stderr,  " => %s:%s lw", loc,   ttag );



    14       tagged SW    .it : $fdisplay(stderr,  " => %s:%s sw", loc,   ttag );



    15 



    16       tagged ADDIU .it : $fdisplay(stderr,  " => %s:%s addi", loc, ttag );



    17       tagged SLTI  .it : $fdisplay(stderr,  " => %s:%s sli", loc,  ttag );



    18       tagged SLTIU .it : $fdisplay(stderr,  " => %s:%s sliu", loc, ttag );



    19       tagged ANDI  .it : $fdisplay(stderr,  " => %s:%s andi", loc, ttag );



    20       tagged ORI   .it : $fdisplay(stderr,  " => %s:%s ori", loc,  ttag );



    21       tagged XORI  .it : $fdisplay(stderr,  " => %s:%s xori", loc, ttag );



    22       tagged LUI   .it : $fdisplay(stderr,  " => %s:%s lui", loc,  ttag );



    23                                           



    24       tagged SLL   .it : $fdisplay(stderr,  " => %s:%s sll", loc,  ttag );



    25       tagged SRL   .it : $fdisplay(stderr,  " => %s:%s srl", loc,  ttag );



    26       tagged SRA   .it : $fdisplay(stderr,  " => %s:%s sra", loc,  ttag );



    27       tagged SLLV  .it : $fdisplay(stderr,  " => %s:%s sllv", loc, ttag );



    28       tagged SRLV  .it : $fdisplay(stderr,  " => %s:%s srlv", loc, ttag );



    29       tagged SRAV  .it : $fdisplay(stderr,  " => %s:%s srav", loc, ttag );



    30                                           



    31       tagged ADDU  .it : $fdisplay(stderr,  " => %s:%s addu", loc, ttag );



    32       tagged SUBU  .it : $fdisplay(stderr,  " => %s:%s subu", loc, ttag );



    33       tagged AND   .it : $fdisplay(stderr,  " => %s:%s and", loc,  ttag );



    34       tagged OR    .it : $fdisplay(stderr,  " => %s:%s or", loc,   ttag );



    35       tagged XOR   .it : $fdisplay(stderr,  " => %s:%s xor", loc,  ttag );



    36       tagged NOR   .it : $fdisplay(stderr,  " => %s:%s nor", loc,  ttag );



    37       tagged SLT   .it : $fdisplay(stderr,  " => %s:%s slt", loc,  ttag );



    38       tagged SLTU  .it : $fdisplay(stderr,  " => %s:%s sltu", loc, ttag );



    39                                           



    40       tagged J     .it : $fdisplay(stderr,  " => %s:%s j", loc,    ttag );



    41       tagged JAL   .it : $fdisplay(stderr,  " => %s:%s jal", loc,  ttag );



    42       tagged JR    .it : $fdisplay(stderr,  " => %s:%s jr", loc,   ttag );



    43       tagged JALR  .it : $fdisplay(stderr,  " => %s:%s jalr", loc, ttag );



    44       tagged BEQ   .it : $fdisplay(stderr,  " => %s:%s beq", loc,  ttag );



    45       tagged BNE   .it : $fdisplay(stderr,  " => %s:%s bne", loc,  ttag );



    46       tagged BLEZ  .it : $fdisplay(stderr,  " => %s:%s blez", loc, ttag );



    47       tagged BGTZ  .it : $fdisplay(stderr,  " => %s:%s bgtz", loc, ttag );



    48       tagged BLTZ  .it : $fdisplay(stderr,  " => %s:%s bltz", loc, ttag );



    49       tagged BGEZ  .it : $fdisplay(stderr,  " => %s:%s bgez", loc, ttag );



    50                                            



    51       tagged MFC0  .it : $fdisplay(stderr,  " => %s:%s mfc0", loc, ttag );



    52       tagged MTC0  .it : $fdisplay(stderr,  " => %s:%s mtc0", loc, ttag );



    53 



    54       tagged ILLEGAL   : $fdisplay(stderr,  " => %s:%s ill", loc,  ttag );



    55 



    56     endcase



    57   endfunction



    58 



    59   function Action traceFull( String loc, String ttag, Instr inst );



    60     case ( inst ) matches



    61 



    62       tagged LW    .it : $fdisplay(stderr,  " => %s:%s lw r%0d, 0x%x(r%0d)", loc, ttag, it.rdst, it.offset, it.rbase );



    63       tagged SW    .it : $fdisplay(stderr,  " => %s:%s sw r%0d, 0x%x(r%0d)", loc, ttag, it.rsrc, it.offset, it.rbase );



    64 



    65       tagged ADDIU .it : $fdisplay(stderr,  " => %s:%s addiu r%0d, r%0d, 0x%x", loc, ttag, it.rdst, it.rsrc, it.imm );



    66       tagged SLTI  .it : $fdisplay(stderr,  " => %s:%s slti r%0d, r%0d, 0x%x", loc,  ttag, it.rdst, it.rsrc, it.imm );



    67       tagged SLTIU .it : $fdisplay(stderr,  " => %s:%s sltiu r%0d, r%0d, 0x%x", loc, ttag, it.rdst, it.rsrc, it.imm );



    68       tagged ANDI  .it : $fdisplay(stderr,  " => %s:%s andi r%0d, r%0d, 0x%x", loc,  ttag, it.rdst, it.rsrc, it.imm );



    69       tagged ORI   .it : $fdisplay(stderr,  " => %s:%s ori r%0d, r%0d, 0x%x", loc,   ttag, it.rdst, it.rsrc, it.imm );



    70       tagged XORI  .it : $fdisplay(stderr,  " => %s:%s xori r%0d, r%0d, 0x%x", loc,  ttag, it.rdst, it.rsrc, it.imm );



    71       tagged LUI   .it : $fdisplay(stderr,  " => %s:%s lui r%0d, 0x%x", loc,         ttag, it.rdst, it.imm );



    72                                       



    73       tagged SLL   .it : $fdisplay(stderr,  " => %s:%s sll r%0d, r%0d, %0d", loc,   ttag, it.rdst, it.rsrc, it.shamt );



    74       tagged SRL   .it : $fdisplay(stderr,  " => %s:%s srl r%0d, r%0d, %0d", loc,   ttag, it.rdst, it.rsrc, it.shamt );



    75       tagged SRA   .it : $fdisplay(stderr,  " => %s:%s sra r%0d, r%0d, %0d", loc,   ttag, it.rdst, it.rsrc, it.shamt );



    76       tagged SLLV  .it : $fdisplay(stderr,  " => %s:%s sllv r%0d, r%0d, r%0d", loc, ttag, it.rdst, it.rsrc, it.rshamt );



    77       tagged SRLV  .it : $fdisplay(stderr,  " => %s:%s srlv r%0d, r%0d, r%0d", loc, ttag, it.rdst, it.rsrc, it.rshamt );



    78       tagged SRAV  .it : $fdisplay(stderr,  " => %s:%s srav r%0d, r%0d, r%0d", loc, ttag, it.rdst, it.rsrc, it.rshamt );



    79                                       



    80       tagged ADDU  .it : $fdisplay(stderr,  " => %s:%s addu r%0d, r%0d, r%0d", loc, ttag, it.rdst, it.rsrc1, it.rsrc2 );



    81       tagged SUBU  .it : $fdisplay(stderr,  " => %s:%s subu r%0d, r%0d, r%0d", loc, ttag, it.rdst, it.rsrc1, it.rsrc2 );



    82       tagged AND   .it : $fdisplay(stderr,  " => %s:%s and r%0d, r%0d, r%0d", loc,  ttag, it.rdst, it.rsrc1, it.rsrc2 );



    83       tagged OR    .it : $fdisplay(stderr,  " => %s:%s or r%0d, r%0d, r%0d", loc,   ttag, it.rdst, it.rsrc1, it.rsrc2 );



    84       tagged XOR   .it : $fdisplay(stderr,  " => %s:%s xor r%0d, r%0d, r%0d", loc,  ttag, it.rdst, it.rsrc1, it.rsrc2 );



    85       tagged NOR   .it : $fdisplay(stderr,  " => %s:%s nor r%0d, r%0d, r%0d", loc,  ttag, it.rdst, it.rsrc1, it.rsrc2 );



    86       tagged SLT   .it : $fdisplay(stderr,  " => %s:%s slt r%0d, r%0d, r%0d", loc,  ttag, it.rdst, it.rsrc1, it.rsrc2 );



    87       tagged SLTU  .it : $fdisplay(stderr,  " => %s:%s sltu r%0d, r%0d, r%0d", loc, ttag, it.rdst, it.rsrc1, it.rsrc2 );



    88                                       



    89       tagged J     .it : $fdisplay(stderr,  " => %s:%s j 0x%x", loc,    ttag, it.target );



    90       tagged JAL   .it : $fdisplay(stderr,  " => %s:%s jal 0x%x", loc,  ttag, it.target );



    91       tagged JR    .it : $fdisplay(stderr,  " => %s:%s jr r%0d", loc,   ttag, it.rsrc );



    92       tagged JALR  .it : $fdisplay(stderr,  " => %s:%s jalr r%0d", loc, ttag, it.rsrc );



    93       tagged BEQ   .it : $fdisplay(stderr,  " => %s:%s beq r%0d, r%0d, 0x%x", loc, ttag, it.rsrc1, it.rsrc2, it.offset );



    94       tagged BNE   .it : $fdisplay(stderr,  " => %s:%s bne r%0d, r%0d, 0x%x", loc, ttag, it.rsrc1, it.rsrc2, it.offset );



    95       tagged BLEZ  .it : $fdisplay(stderr,  " => %s:%s blez r%0d, 0x%x", loc, ttag, it.rsrc, it.offset );



    96       tagged BGTZ  .it : $fdisplay(stderr,  " => %s:%s bgtz r%0d, 0x%x", loc, ttag, it.rsrc, it.offset );



    97       tagged BLTZ  .it : $fdisplay(stderr,  " => %s:%s bltz r%0d, 0x%x", loc, ttag, it.rsrc, it.offset );



    98       tagged BGEZ  .it : $fdisplay(stderr,  " => %s:%s bgez r%0d, 0x%x", loc, ttag, it.rsrc, it.offset );



    99                                       



   100       tagged MFC0  .it : $fdisplay(stderr,  " => %s:%s mfc0 r%0d, cpr%0d", loc, ttag, it.rdst, it.cop0src );



   101       tagged MTC0  .it : $fdisplay(stderr,  " => %s:%s mtc0 r%0d, cpr%0d", loc, ttag, it.rsrc, it.cop0dst );



   102 



   103       tagged ILLEGAL   : $fdisplay(stderr,  " => %s:%s illegal instruction", loc, ttag );



   104 



   105     endcase



   106   endfunction



   107 



   108 endinstance



   109