anchor.diff:                             f3_XORI: "xori";
                              f3_ANDI: "andi";
                              f3_SLLI: "slli";
  -                           f3_SRxI: ((instr[31:25] == 7'b000_0000) ? "srli" : "srai");
  +                           f3_SRxI: ((decoded.imm12_I[11:5] == 7'b000_0000) ? "srli" : "srai");
                           endcase,
                           regNameABI[decoded.rd],
                           regNameABI[decoded.rs1],
  
positive.code:                else if (decoded.funct3 == f3_ORI)   fa_finish_with_Rd(decoded.rd, pack(s_v1 | s_v2));
                 else if (decoded.funct3 == f3_ANDI)  fa_finish_with_Rd(decoded.rd, pack(s_v1 & s_v2));
  
                 else if ((decoded.funct3 == f3_SLLI) && (instr[31:25] == 7'b000_0000))
                    fa_finish_with_Rd(decoded.rd, (v1 << shamt));
  
  
                 // SRLI
                 else if ((decoded.funct3 == f3_SRxI) && (instr[31:25] == 7'b000_0000))
                    fa_finish_with_Rd(decoded.rd, (v1 >> shamt));
  
                 // SRAI
                 else if ((decoded.funct3 == f3_SRxI) && (instr[31:25] == 7'b010_0000))
                    fa_finish_with_Rd(decoded.rd, pack(s_v1 >> shamt));
  
                 else
  
negative.code:          // ----------------------------------------------------------------
           // Main body of fa_exec(), dispatching to the sub functions
           // based on major OPCODE
  
           if      (decoded.opcode == op_LUI)      fa_exec_LUI();
           else if (decoded.opcode == op_AUIPC)    fa_exec_AUIPC();
  