デコーダのソースの一部を示します。

    genRules(
       switch(in_instr,
          when(pat(n(7'b0000000), v, v, n(3'b000), v, n(7'b0110011)), fadd),
          when(pat(n(7'b0100000), v, v, n(3'b000), v, n(7'b0110011)), fsub),
          when(pat(               v, v, n(3'b000), v, n(7'b0010011)), faddi),
          when(pat(n(7'b0000000), v, v, n(3'b111), v, n(7'b0110011)), fand),
          when(pat(n(7'b0000000), v, v, n(3'b110), v, n(7'b0110011)), ffor),
          when(pat(n(7'b0000000), v, v, n(3'b100), v, n(7'b0110011)), fxor),
          when(pat(               v, v, n(3'b111), v, n(7'b0010011)), fandi),
          when(pat(               v, v, n(3'b110), v, n(7'b0010011)), fori),
          when(pat(               v, v, n(3'b100), v, n(7'b0010011)), fxori),
          when(pat(               v, v, n(3'b010), v, n(7'b0000011)), flw),
          when(pat(            v, v, v, n(3'b010), v, n(7'b0100011)), fsw),
          when(pat(n(7'b0000000), v, v, n(3'b001), v, n(7'b0110011)), fsll),
          when(pat(n(7'b0000000), v, v, n(3'b101), v, n(7'b0110011)), fsrl),
          when(pat(n(7'b0100000), v, v, n(3'b101), v, n(7'b0110011)), fsra),
          when(pat(n(7'b0000000), v, v, n(3'b001), v, n(7'b0010011)), fslli),
          when(pat(n(7'b0000000), v, v, n(3'b101), v, n(7'b0010011)), fsrli),
          when(pat(n(7'b0100000), v, v, n(3'b101), v, n(7'b0010011)), fsrai),
          when(pat(n(7'b0000000), v, v, n(3'b010), v, n(7'b0110011)), fslt),
          when(pat(n(7'b0000000), v, v, n(3'b011), v, n(7'b0110011)), fsltu),
          when(pat(               v, v, n(3'b010), v, n(7'b0010011)), fslti),
          when(pat(               v, v, n(3'b011), v, n(7'b0010011)), fsltiu),
          when(pat(v, v, v, v, n(3'b000), v, v, n(7'b1100011)), fbeq),
          when(pat(v, v, v, v, n(3'b001), v, v, n(7'b1100011)), fbne),
          when(pat(v, v, v, v, n(3'b100), v, v, n(7'b1100011)), fblt),
          when(pat(v, v, v, v, n(3'b101), v, v, n(7'b1100011)), fbge),
          when(pat(v, v, v, v, n(3'b110), v, v, n(7'b1100011)), fbltu),
          when(pat(v, v, v, v, n(3'b111), v, v, n(7'b1100011)), fbgeu),
          when(pat(v, v, v, v, v, n(7'b1101111)), fjal),
          when(pat(               v, v, n(3'b000), v, n(7'b1100111)), fjalr),
          when(pat(               v, v, n(7'b0110111)), flui),
          when(pat(               v, v, n(7'b0010111)), fauipc),
          when(pat(               v, v, n(3'b001), v, n(7'b1110011)), fcsrrw),
          when(pat(               v, v, n(3'b101), v, n(7'b1110011)), fcsrrwi),
          when(pat(               v, v, n(3'b010), v, n(7'b1110011)), fcsrrs),
          when(pat(               v, v, n(3'b110), v, n(7'b1110011)), fcsrrsi),
          when(pat(               v, v, n(3'b011), v, n(7'b1110011)), fcsrrc),
          when(pat(               v, v, n(3'b111), v, n(7'b1110011)), fcsrrci),
          when(pat(n(25'b0), n(7'b1110011)), fecall)
       ) // switch
    );

これは1ステップ目のデコーダステップであり、ここでビットパターン、例えばaddi命令とのマッチが取れれば、2ステップ目として個別の関数、例えばfaddiが呼び出されます。一例であるfaddiを示せば、

    function Action faddi(Bit#(12) imm, Bit#(5) rs1, Bit#(5) rd) = 
       action
          Int#(32) immSext = signExtend(unpack(imm));
          if (immSext == 0)
             $display("time %4t -   mv\t%s,%s", $time, regname(rd), regname(rs1));
          else if (rs1 == 0)
             $display("time %4t -   li\t%s,%0d", $time, regname(rd), immSext);
          else
             $display("time %4t -   addi\t%s,%s,%0d", $time, regname(rd), regname(rs1), immSext);
       endaction;

RISC-Vにおいてaddi命令はイミディエイトがゼロの場合はmv命令として使用され、逆にソースレジスタにゼロレジスタを指定すれば、イミディエイトロード(li)命令として働きます。これらはプロセッサの設計的には不要な処理ですが、逆アセンブラのシンタックスシュガーとして実装しました。

2ステップ目の処理として、各種関数を命令数だけ並べる必要があります。

前のブログ 次のブログ