Remove dependence on binutils
authorYour Name <waterman@eecs.berkeley.edu>
Sat, 12 Nov 2011 02:03:08 +0000 (18:03 -0800)
committerYour Name <waterman@eecs.berkeley.edu>
Sat, 12 Nov 2011 02:03:08 +0000 (18:03 -0800)
We now have our own disassembler.

config.h.in
configure
riscv/disasm.cc [new file with mode: 0644]
riscv/disasm.h [new file with mode: 0644]
riscv/processor.cc
riscv/riscv.ac
riscv/riscv.mk.in

index e59281002c450cc5c6c43bd398972016d709b66c..a5a7e4c55ec5789d6021698b315b6c6cf40a17cd 100644 (file)
@@ -33,9 +33,6 @@
 /* Define if vector processor is supported */
 #undef RISCV_ENABLE_VEC
 
-/* Define if libopcodes exists */
-#undef RISCV_HAVE_LIBOPCODES
-
 /* Define if subproject MCPPBS_SPROJ_NORM is enabled */
 #undef SOFTFLOAT_ENABLED
 
index 3426081f65c0e0f0ad36f7b113023733ced15250..d6b9c1cb423717e84cadc813ee5fb9d5d0b1b37e 100755 (executable)
--- a/configure
+++ b/configure
@@ -1525,52 +1525,6 @@ fi
   return $ac_retval
 
 } # ac_fn_c_try_run
-
-# ac_fn_c_try_link LINENO
-# -----------------------
-# Try to link conftest.$ac_ext, and return whether this succeeded.
-ac_fn_c_try_link ()
-{
-  as_lineno=${as_lineno-"$1"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
-  rm -f conftest.$ac_objext conftest$ac_exeext
-  if { { ac_try="$ac_link"
-case "(($ac_try" in
-  *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
-  *) ac_try_echo=$ac_try;;
-esac
-eval ac_try_echo="\"\$as_me:${as_lineno-$LINENO}: $ac_try_echo\""
-$as_echo "$ac_try_echo"; } >&5
-  (eval "$ac_link") 2>conftest.err
-  ac_status=$?
-  if test -s conftest.err; then
-    grep -v '^ *+' conftest.err >conftest.er1
-    cat conftest.er1 >&5
-    mv -f conftest.er1 conftest.err
-  fi
-  $as_echo "$as_me:${as_lineno-$LINENO}: \$? = $ac_status" >&5
-  test $ac_status = 0; } && {
-        test -z "$ac_c_werror_flag" ||
-        test ! -s conftest.err
-       } && test -s conftest$ac_exeext && {
-        test "$cross_compiling" = yes ||
-        $as_test_x conftest$ac_exeext
-       }; then :
-  ac_retval=0
-else
-  $as_echo "$as_me: failed program was:" >&5
-sed 's/^/| /' conftest.$ac_ext >&5
-
-       ac_retval=1
-fi
-  # Delete the IPA/IPO (Inter Procedural Analysis/Optimization) information
-  # created by the PGI compiler (conftest_ipa8_conftest.oo), as it would
-  # interfere with the next link command; also delete a directory that is
-  # left behind by Apple's compiler.  We do this before executing the actions.
-  rm -rf conftest.dSYM conftest_ipa8_conftest.oo
-  eval $as_lineno_stack; test "x$as_lineno_stack" = x && { as_lineno=; unset as_lineno;}
-  return $ac_retval
-
-} # ac_fn_c_try_link
 cat >config.log <<_ACEOF
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
@@ -4076,141 +4030,6 @@ $as_echo "#define RISCV_ENABLE_VEC /**/" >>confdefs.h
 
 fi
 
-libopc=`dirname \`which riscv-gcc\``/../`$ac_config_guess`/riscv-elf/lib/libopcodes.a
-as_ac_File=`$as_echo "ac_cv_file_$libopc" | $as_tr_sh`
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $libopc" >&5
-$as_echo_n "checking for $libopc... " >&6; }
-if { as_var=$as_ac_File; eval "test \"\${$as_var+set}\" = set"; }; then :
-  $as_echo_n "(cached) " >&6
-else
-  test "$cross_compiling" = yes &&
-  as_fn_error "cannot check for file existence when cross compiling" "$LINENO" 5
-if test -r "$libopc"; then
-  eval "$as_ac_File=yes"
-else
-  eval "$as_ac_File=no"
-fi
-fi
-eval ac_res=\$$as_ac_File
-              { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
-$as_echo "$ac_res" >&6; }
-eval as_val=\$$as_ac_File
-   if test "x$as_val" = x""yes; then :
-
-cat >>confdefs.h <<_ACEOF
-#define `$as_echo "HAVE_$libopc" | $as_tr_cpp` 1
-_ACEOF
-have_libopcodes="yes"
-else
-  have_libopcodes="no"
-fi
-
-
-libbfd="/opt/local/lib/libbfd.dylib"
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for library containing bfd_init" >&5
-$as_echo_n "checking for library containing bfd_init... " >&6; }
-if test "${ac_cv_search_bfd_init+set}" = set; then :
-  $as_echo_n "(cached) " >&6
-else
-  ac_func_search_save_LIBS=$LIBS
-cat confdefs.h - <<_ACEOF >conftest.$ac_ext
-/* end confdefs.h.  */
-
-/* Override any GCC internal prototype to avoid an error.
-   Use char because int might match the return type of a GCC
-   builtin and then its argument prototype would still apply.  */
-#ifdef __cplusplus
-extern "C"
-#endif
-char bfd_init ();
-int
-main ()
-{
-return bfd_init ();
-  ;
-  return 0;
-}
-_ACEOF
-for ac_lib in '' bfd; do
-  if test -z "$ac_lib"; then
-    ac_res="none required"
-  else
-    ac_res=-l$ac_lib
-    LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
-  fi
-  if ac_fn_c_try_link "$LINENO"; then :
-  ac_cv_search_bfd_init=$ac_res
-fi
-rm -f core conftest.err conftest.$ac_objext \
-    conftest$ac_exeext
-  if test "${ac_cv_search_bfd_init+set}" = set; then :
-  break
-fi
-done
-if test "${ac_cv_search_bfd_init+set}" = set; then :
-
-else
-  ac_cv_search_bfd_init=no
-fi
-rm conftest.$ac_ext
-LIBS=$ac_func_search_save_LIBS
-fi
-{ $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_cv_search_bfd_init" >&5
-$as_echo "$ac_cv_search_bfd_init" >&6; }
-ac_res=$ac_cv_search_bfd_init
-if test "$ac_res" != no; then :
-  test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
-
-else
-
-    as_ac_File=`$as_echo "ac_cv_file_$libbfd" | $as_tr_sh`
-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $libbfd" >&5
-$as_echo_n "checking for $libbfd... " >&6; }
-if { as_var=$as_ac_File; eval "test \"\${$as_var+set}\" = set"; }; then :
-  $as_echo_n "(cached) " >&6
-else
-  test "$cross_compiling" = yes &&
-  as_fn_error "cannot check for file existence when cross compiling" "$LINENO" 5
-if test -r "$libbfd"; then
-  eval "$as_ac_File=yes"
-else
-  eval "$as_ac_File=no"
-fi
-fi
-eval ac_res=\$$as_ac_File
-              { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
-$as_echo "$ac_res" >&6; }
-eval as_val=\$$as_ac_File
-   if test "x$as_val" = x""yes; then :
-
-cat >>confdefs.h <<_ACEOF
-#define `$as_echo "HAVE_$libbfd" | $as_tr_cpp` 1
-_ACEOF
-libopc="$libopc $libbfd" incopc="-I/opt/local/include"
-else
-  have_libopcodes="no"
-fi
-
-
-fi
-
-
-if test "$have_libopcodes" = "no"; then :
-
-  { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Could not find opcodes library" >&5
-$as_echo "$as_me: WARNING: Could not find opcodes library" >&2;}
-  { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: Build will not include disassembly support" >&5
-$as_echo "$as_me: WARNING: Build will not include disassembly support" >&2;}
-
-else
-
-  LIBS="$libopc $LIBS"
-  INCDIRS="$incopc"
-
-$as_echo "#define RISCV_HAVE_LIBOPCODES /**/" >>confdefs.h
-
-
-fi
 
 
 
diff --git a/riscv/disasm.cc b/riscv/disasm.cc
new file mode 100644 (file)
index 0000000..e3e2b5c
--- /dev/null
@@ -0,0 +1,566 @@
+#include "disasm.h"
+#include <string>
+#include <vector>
+#include <cstdarg>
+#include <sstream>
+
+class arg_t
+{
+ public:
+  virtual std::string to_string(insn_t val) const = 0;
+  virtual ~arg_t() {}
+};
+
+static const char* xpr_to_string[] = {
+  "zero", "ra", "v0", "v1", "a0", "a1", "a2", "a3",
+  "a4",   "a5", "a6", "a7", "t0", "t1", "t2", "t3",
+  "t4",   "t5", "t6", "t7", "s0", "s1", "s2", "s3",
+  "s4",   "s5", "s6", "s7", "s8", "s9", "sp", "tp"
+};
+
+static const char* fpr_to_string[] = {
+  "ft0", "ft1", "fv0", "fv1", "fa0", "fa1", "fa2", "fa3",
+  "fa4", "fa5", "fa6", "fa7", "ft0", "ft1", "ft2", "ft3",
+  "ft4", "ft5", "ft6", "ft7", "fs0", "fs1", "fs2", "fs3",
+  "fs4", "fs5", "fs6", "fs7", "fs8", "fs9", "ft10", "ft11"
+};
+
+class load_address_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    s << insn.itype.imm12 << '(' << xpr_to_string[insn.itype.rs1] << ')';
+    return s.str();
+  }
+};
+
+class store_address_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    int32_t imm = (int32_t)insn.btype.immlo;
+    imm |= insn.btype.immhi << IMMLO_BITS;
+    s << imm << '(' << xpr_to_string[insn.itype.rs1] << ')';
+    return s.str();
+  }
+};
+
+class amo_address_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    s << "0(" << xpr_to_string[insn.itype.rs1] << ')';
+    return s.str();
+  }
+};
+
+class xrd_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    return xpr_to_string[insn.itype.rd];
+  }
+};
+
+class xrs1_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    return xpr_to_string[insn.itype.rs1];
+  }
+};
+
+class xrs2_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    return xpr_to_string[insn.rtype.rs2];
+  }
+};
+
+class frd_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    return fpr_to_string[insn.ftype.rd];
+  }
+};
+
+class frs1_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    return fpr_to_string[insn.ftype.rs1];
+  }
+};
+
+class frs2_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    return fpr_to_string[insn.ftype.rs2];
+  }
+};
+
+class frs3_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    return fpr_to_string[insn.ftype.rs3];
+  }
+};
+
+class pcr_reg_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    s << "pcr" << insn.rtype.rs2;
+    return s.str();
+  }
+};
+
+class imm_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    s << insn.itype.imm12;
+    return s.str();
+  }
+};
+
+class bigimm_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    s << std::hex << "0x" << insn.ltype.bigimm;
+    return s.str();
+  }
+};
+
+class branch_target_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    int32_t target = (int32_t)insn.btype.immlo;
+    target |= insn.btype.immhi << IMMLO_BITS;
+    target <<= BRANCH_ALIGN_BITS;
+    char sign = target >= 0 ? '+' : '-';
+    s << "pc " << sign << std::hex << " 0x" << abs(target);
+    return s.str();
+  }
+};
+
+class jump_target_t : public arg_t
+{
+ public:
+  virtual std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    int32_t target = (int32_t)insn.jtype.target;
+    target <<= JUMP_ALIGN_BITS;
+    char sign = target >= 0 ? '+' : '-';
+    s << "pc " << sign << std::hex << " 0x" << abs(target);
+    return s.str();
+  }
+};
+
+// workaround for lack of initializer_list in gcc-4.1
+class disasm_insn_t
+{
+ public:
+  disasm_insn_t(const char* name, uint32_t match, uint32_t mask)
+  {
+    init(name, match, mask, 0);
+  }
+  disasm_insn_t(const char* name, uint32_t match, uint32_t mask,
+                const arg_t* a0)
+  {
+    init(name, match, mask, 1, a0);
+  }
+  disasm_insn_t(const char* name, uint32_t match, uint32_t mask,
+                const arg_t* a0, const arg_t* a1)
+  {
+    init(name, match, mask, 2, a0, a1);
+  }
+  disasm_insn_t(const char* name, uint32_t match, uint32_t mask,
+                const arg_t* a0, const arg_t* a1, const arg_t* a2)
+  {
+    init(name, match, mask, 3, a0, a1, a2);
+  }
+  disasm_insn_t(const char* name, uint32_t match, uint32_t mask,
+                const arg_t* a0, const arg_t* a1, const arg_t* a2,
+                const arg_t* a3)
+  {
+    init(name, match, mask, 4, a0, a1, a2, a3);
+  }
+  disasm_insn_t(const char* name, uint32_t match, uint32_t mask,
+                const arg_t* a0, const arg_t* a1, const arg_t* a2,
+                const arg_t* a3, const arg_t* a4)
+  {
+    init(name, match, mask, 5, a0, a1, a2, a3, a4);
+  }
+
+  bool operator == (insn_t insn) const
+  {
+    return (insn.bits & mask) == match;
+  }
+
+  std::string to_string(insn_t insn) const
+  {
+    std::stringstream s;
+    int len;
+    for (len = 0; name[len]; len++)
+      s << (name[len] == '_' ? '.' : name[len]);
+
+    if (args.size())
+    {
+      s << std::string(std::max(1, 8 - len), ' ');
+      for (size_t i = 0; i < args.size()-1; i++)
+        s << args[i]->to_string(insn) << ", ";
+      s << args[args.size()-1]->to_string(insn);
+    }
+    return s.str();
+  }
+
+  uint32_t get_match() const { return match; }
+  uint32_t get_mask() const { return mask; }
+
+ private:
+  uint32_t match;
+  uint32_t mask;
+  std::vector<const arg_t*> args;
+  const char* name;
+
+  void init(const char* name, uint32_t match, uint32_t mask, int n, ...)
+  {
+    va_list vl;
+    va_start(vl, n);
+    for (int i = 0; i < n; i++)
+      args.push_back(va_arg(vl, const arg_t*));
+    va_end(vl);
+    this->match = match;
+    this->mask = mask;
+    this->name = name;
+  }
+};
+
+std::string disassembler::disassemble(insn_t insn)
+{
+  const disasm_insn_t* disasm_insn = lookup(insn);
+  return disasm_insn ? disasm_insn->to_string(insn) : "unknown";
+}
+
+disassembler::disassembler()
+{
+  static const xrd_reg_t _xrd_reg, *xrd_reg = &_xrd_reg;
+  static const xrs1_reg_t _xrs1_reg, *xrs1_reg = &_xrs1_reg;
+  static const load_address_t _load_address, *load_address = &_load_address;
+  static const store_address_t _store_address, *store_address = &_store_address;
+  static const amo_address_t _amo_address, *amo_address = &_amo_address;
+  static const xrs2_reg_t _xrs2_reg, *xrs2_reg = &_xrs2_reg;
+  static const frd_reg_t _frd_reg, *frd_reg = &_frd_reg;
+  static const frs1_reg_t _frs1_reg, *frs1_reg = &_frs1_reg;
+  static const frs2_reg_t _frs2_reg, *frs2_reg = &_frs2_reg;
+  static const frs3_reg_t _frs3_reg, *frs3_reg = &_frs3_reg;
+  static const pcr_reg_t _pcr_reg, *pcr_reg = &_pcr_reg;
+  static const imm_t _imm, *imm = &_imm;
+  static const bigimm_t _bigimm, *bigimm = &_bigimm;
+  static const branch_target_t _branch_target, *branch_target = &_branch_target;
+  static const jump_target_t _jump_target, *jump_target = &_jump_target;
+
+  insn_t dummy;
+  dummy.bits = 0;
+  dummy.rtype.rs1 = -1;
+  uint32_t mask_rs1 = dummy.bits;
+  dummy.bits = 0;
+  dummy.rtype.rs2 = -1;
+  uint32_t mask_rs2 = dummy.bits;
+  dummy.bits = 0;
+  dummy.rtype.rd = -1;
+  uint32_t mask_rd = dummy.bits;
+  dummy.bits = 0;
+  dummy.itype.imm12 = -1;
+  uint32_t mask_imm = dummy.bits;
+  dummy.bits = 0;
+  dummy.itype.rd = 1;
+  uint32_t match_rd_ra = dummy.bits;
+  dummy.bits = 0;
+  dummy.itype.rs1 = 1;
+  uint32_t match_rs1_ra = dummy.bits;
+
+  #define DECLARE_INSN(code, match, mask) \
+   const uint32_t __attribute__((unused)) match_##code = match; \
+   const uint32_t __attribute__((unused)) mask_##code = mask;
+  #include "opcodes.h"
+  #undef DECLARE_INSN
+
+  // explicit per-instruction disassembly
+  #define DISASM_INSN(name, code, extra, ...) \
+    add_insn(new disasm_insn_t(name, match_##code, mask_##code | (extra), __VA_ARGS__));
+  #define DEFINE_NOARG(code) \
+    add_insn(new disasm_insn_t(#code, match_##code, mask_##code));
+  #define DEFINE_DTYPE(code) DISASM_INSN(#code, code, 0, xrd_reg)
+  #define DEFINE_RTYPE(code) DISASM_INSN(#code, code, 0, xrd_reg, xrs1_reg, xrs2_reg)
+  #define DEFINE_ITYPE(code) DISASM_INSN(#code, code, 0, xrd_reg, xrs1_reg, imm)
+  #define DEFINE_I0TYPE(name, code) DISASM_INSN(name, code, mask_rs1, xrd_reg, imm)
+  #define DEFINE_I1TYPE(name, code) DISASM_INSN(name, code, mask_imm, xrd_reg, xrs1_reg)
+  #define DEFINE_I2TYPE(name, code) DISASM_INSN(name, code, mask_rd | mask_imm, xrs1_reg)
+  #define DEFINE_LTYPE(code) DISASM_INSN(#code, code, 0, xrd_reg, bigimm)
+  #define DEFINE_BTYPE(code) DISASM_INSN(#code, code, 0, xrs1_reg, xrs2_reg, branch_target)
+  #define DEFINE_B0TYPE(name, code) DISASM_INSN(name, code, mask_rs1 | mask_rs2, branch_target)
+  #define DEFINE_B1TYPE(name, code) DISASM_INSN(name, code, mask_rs2, xrs1_reg, branch_target)
+  #define DEFINE_JTYPE(code) DISASM_INSN(#code, code, 0, jump_target)
+  #define DEFINE_XLOAD(code) DISASM_INSN(#code, code, 0, xrd_reg, load_address)
+  #define DEFINE_XSTORE(code) DISASM_INSN(#code, code, 0, xrs2_reg, store_address)
+  #define DEFINE_XAMO(code) DISASM_INSN(#code, code, 0, xrd_reg, xrs2_reg, amo_address)
+  #define DEFINE_FLOAD(code) DISASM_INSN(#code, code, 0, frd_reg, load_address)
+  #define DEFINE_FSTORE(code) DISASM_INSN(#code, code, 0, frs2_reg, store_address)
+  #define DEFINE_FRTYPE(code) DISASM_INSN(#code, code, 0, frd_reg, frs1_reg, frs2_reg)
+  #define DEFINE_FR1TYPE(code) DISASM_INSN(#code, code, 0, frd_reg, frs1_reg)
+  #define DEFINE_FR3TYPE(code) DISASM_INSN(#code, code, 0, frd_reg, frs1_reg, frs2_reg, frs3_reg)
+  #define DEFINE_FXTYPE(code) DISASM_INSN(#code, code, 0, xrd_reg, frs1_reg)
+  #define DEFINE_XFTYPE(code) DISASM_INSN(#code, code, 0, frd_reg, xrs1_reg)
+
+  DEFINE_XLOAD(lb)
+  DEFINE_XLOAD(lbu)
+  DEFINE_XLOAD(lh)
+  DEFINE_XLOAD(lhu)
+  DEFINE_XLOAD(lw)
+  DEFINE_XLOAD(lwu)
+  DEFINE_XLOAD(ld)
+
+  DEFINE_XSTORE(sb)
+  DEFINE_XSTORE(sh)
+  DEFINE_XSTORE(sw)
+  DEFINE_XSTORE(sd)
+
+  DEFINE_XAMO(amoadd_w)
+  DEFINE_XAMO(amoswap_w)
+  DEFINE_XAMO(amoand_w)
+  DEFINE_XAMO(amoor_w)
+  DEFINE_XAMO(amomin_w)
+  DEFINE_XAMO(amomax_w)
+  DEFINE_XAMO(amominu_w)
+  DEFINE_XAMO(amomaxu_w)
+  DEFINE_XAMO(amoadd_d)
+  DEFINE_XAMO(amoswap_d)
+  DEFINE_XAMO(amoand_d)
+  DEFINE_XAMO(amoor_d)
+  DEFINE_XAMO(amomin_d)
+  DEFINE_XAMO(amomax_d)
+  DEFINE_XAMO(amominu_d)
+  DEFINE_XAMO(amomaxu_d)
+
+  DEFINE_FLOAD(flw)
+  DEFINE_FLOAD(fld)
+
+  DEFINE_FSTORE(fsw)
+  DEFINE_FSTORE(fsd)
+
+  DEFINE_JTYPE(j);
+  DEFINE_JTYPE(jal);
+
+  DEFINE_B0TYPE("b",    beq);
+  DEFINE_B1TYPE("beqz", beq);
+  DEFINE_B1TYPE("bnez", bne);
+  DEFINE_B1TYPE("bltz", blt);
+  DEFINE_B1TYPE("bgez", bge);
+  DEFINE_BTYPE(beq)
+  DEFINE_BTYPE(bne)
+  DEFINE_BTYPE(blt)
+  DEFINE_BTYPE(bge)
+  DEFINE_BTYPE(bltu)
+  DEFINE_BTYPE(bgeu)
+
+  DEFINE_LTYPE(lui);
+
+  DEFINE_I2TYPE("jr", jalr_j);
+  add_insn(new disasm_insn_t("jalr", match_jalr_c | match_rd_ra, mask_jalr_c | mask_rd | mask_imm, xrs1_reg));
+  add_insn(new disasm_insn_t("ret", match_jalr_r | match_rs1_ra, mask_jalr_r | mask_rd | mask_rs1 | mask_imm));
+  DEFINE_DTYPE(rdnpc);
+  DEFINE_ITYPE(jalr_c);
+  DEFINE_ITYPE(jalr_r);
+  DEFINE_ITYPE(jalr_j);
+
+  DEFINE_I0TYPE("li", addi);
+  DEFINE_I1TYPE("move", addi);
+  DEFINE_ITYPE(addi);
+  DEFINE_ITYPE(slli);
+  DEFINE_ITYPE(slti);
+  DEFINE_ITYPE(sltiu);
+  DEFINE_ITYPE(xori);
+  DEFINE_ITYPE(srli);
+  DEFINE_ITYPE(srai);
+  DEFINE_ITYPE(ori);
+  DEFINE_ITYPE(andi);
+  DEFINE_ITYPE(addiw);
+  DEFINE_ITYPE(slliw);
+  DEFINE_ITYPE(srliw);
+  DEFINE_ITYPE(sraiw);
+
+  DEFINE_RTYPE(add);
+  DEFINE_RTYPE(sub);
+  DEFINE_RTYPE(sll);
+  DEFINE_RTYPE(slt);
+  DEFINE_RTYPE(sltiu);
+  DEFINE_RTYPE(xor);
+  DEFINE_RTYPE(srl);
+  DEFINE_RTYPE(sra);
+  DEFINE_RTYPE(or);
+  DEFINE_RTYPE(and);
+  DEFINE_RTYPE(mul);
+  DEFINE_RTYPE(mulh);
+  DEFINE_RTYPE(mulhu);
+  DEFINE_RTYPE(mulhsu);
+  DEFINE_RTYPE(div);
+  DEFINE_RTYPE(divu);
+  DEFINE_RTYPE(rem);
+  DEFINE_RTYPE(remu);
+  DEFINE_RTYPE(addw);
+  DEFINE_RTYPE(subw);
+  DEFINE_RTYPE(sllw);
+  DEFINE_RTYPE(srlw);
+  DEFINE_RTYPE(sraw);
+  DEFINE_RTYPE(mulw);
+  DEFINE_RTYPE(divw);
+  DEFINE_RTYPE(divuw);
+  DEFINE_RTYPE(remw);
+  DEFINE_RTYPE(remuw);
+
+  DEFINE_NOARG(syscall);
+  DEFINE_NOARG(break);
+  DEFINE_NOARG(fence);
+  DEFINE_NOARG(fence_i);
+
+  DEFINE_DTYPE(rdcycle);
+  DEFINE_DTYPE(rdtime);
+  DEFINE_DTYPE(rdinstret);
+
+  add_insn(new disasm_insn_t("mtpcr", match_mtpcr, mask_mtpcr, xrs1_reg, pcr_reg));
+  add_insn(new disasm_insn_t("mfpcr", match_mfpcr, mask_mfpcr, xrd_reg, pcr_reg));
+  DEFINE_NOARG(cflush)
+  DEFINE_NOARG(eret)
+  DEFINE_DTYPE(ei)
+  DEFINE_DTYPE(di)
+
+  DEFINE_FRTYPE(fadd_s);
+  DEFINE_FRTYPE(fsub_s);
+  DEFINE_FRTYPE(fmul_s);
+  DEFINE_FRTYPE(fdiv_s);
+  DEFINE_FR1TYPE(fsqrt_s);
+  DEFINE_FRTYPE(fmin_s);
+  DEFINE_FRTYPE(fmax_s);
+  DEFINE_FR3TYPE(fmadd_s);
+  DEFINE_FR3TYPE(fmsub_s);
+  DEFINE_FR3TYPE(fnmadd_s);
+  DEFINE_FR3TYPE(fnmsub_s);
+  DEFINE_FRTYPE(fsgnj_s);
+  DEFINE_FRTYPE(fsgnjn_s);
+  DEFINE_FRTYPE(fsgnjx_s);
+  DEFINE_FR1TYPE(fcvt_s_d);
+  DEFINE_XFTYPE(fcvt_s_l);
+  DEFINE_XFTYPE(fcvt_s_lu);
+  DEFINE_XFTYPE(fcvt_s_w);
+  DEFINE_XFTYPE(fcvt_s_wu);
+  DEFINE_XFTYPE(fcvt_s_wu);
+  DEFINE_XFTYPE(mxtf_s);
+  DEFINE_FXTYPE(fcvt_l_s);
+  DEFINE_FXTYPE(fcvt_lu_s);
+  DEFINE_FXTYPE(fcvt_w_s);
+  DEFINE_FXTYPE(fcvt_wu_s);
+  DEFINE_FXTYPE(mftx_s);
+  DEFINE_FXTYPE(feq_s);
+  DEFINE_FXTYPE(flt_s);
+  DEFINE_FXTYPE(fle_s);
+
+  DEFINE_FRTYPE(fadd_d);
+  DEFINE_FRTYPE(fsub_d);
+  DEFINE_FRTYPE(fmul_d);
+  DEFINE_FRTYPE(fdiv_d);
+  DEFINE_FR1TYPE(fsqrt_d);
+  DEFINE_FRTYPE(fmin_d);
+  DEFINE_FRTYPE(fmax_d);
+  DEFINE_FR3TYPE(fmadd_d);
+  DEFINE_FR3TYPE(fmsub_d);
+  DEFINE_FR3TYPE(fnmadd_d);
+  DEFINE_FR3TYPE(fnmsub_d);
+  DEFINE_FRTYPE(fsgnj_d);
+  DEFINE_FRTYPE(fsgnjn_d);
+  DEFINE_FRTYPE(fsgnjx_d);
+  DEFINE_FR1TYPE(fcvt_d_s);
+  DEFINE_XFTYPE(fcvt_d_l);
+  DEFINE_XFTYPE(fcvt_d_lu);
+  DEFINE_XFTYPE(fcvt_d_w);
+  DEFINE_XFTYPE(fcvt_d_wu);
+  DEFINE_XFTYPE(fcvt_d_wu);
+  DEFINE_XFTYPE(mxtf_d);
+  DEFINE_FXTYPE(fcvt_l_d);
+  DEFINE_FXTYPE(fcvt_lu_d);
+  DEFINE_FXTYPE(fcvt_w_d);
+  DEFINE_FXTYPE(fcvt_wu_d);
+  DEFINE_FXTYPE(mftx_d);
+  DEFINE_FXTYPE(feq_d);
+  DEFINE_FXTYPE(flt_d);
+  DEFINE_FXTYPE(fle_d);
+
+  add_insn(new disasm_insn_t("mtfsr", match_mtfsr, mask_mtfsr | mask_rd, xrs1_reg));
+  add_insn(new disasm_insn_t("mtfsr", match_mtfsr, mask_mtfsr, xrd_reg, xrs1_reg));
+  DEFINE_DTYPE(mffsr);
+
+  // provide a default disassembly for all instructions as a fallback
+  #define DECLARE_INSN(code, match, mask) \
+   add_insn(new disasm_insn_t(#code " (args unknown)", match, mask));
+  #include "opcodes.h"
+  #undef DECLARE_INSN
+}
+
+const disasm_insn_t* disassembler::lookup(insn_t insn)
+{
+  size_t idx = insn.bits % HASH_SIZE;
+  for (size_t j = 0; j < chain[idx].size(); j++)
+    if(*chain[idx][j] == insn)
+      return chain[idx][j];
+
+  idx = HASH_SIZE;
+  for (size_t j = 0; j < chain[idx].size(); j++)
+    if(*chain[idx][j] == insn)
+      return chain[idx][j];
+
+  return NULL;
+}
+
+void disassembler::add_insn(disasm_insn_t* insn)
+{
+  size_t idx = HASH_SIZE;
+  if (insn->get_mask() % HASH_SIZE == HASH_SIZE - 1)
+    idx = insn->get_match() % HASH_SIZE;
+  chain[idx].push_back(insn);
+}
+
+disassembler::~disassembler()
+{
+  for (size_t i = 0; i < HASH_SIZE+1; i++)
+    for (size_t j = 0; j < chain[i].size(); j++)
+      delete chain[i][j];
+}
diff --git a/riscv/disasm.h b/riscv/disasm.h
new file mode 100644 (file)
index 0000000..0b55948
--- /dev/null
@@ -0,0 +1,23 @@
+#ifndef _RISCV_DISASM_H
+#define _RISCV_DISASM_H
+
+#include "decode.h"
+#include <string>
+#include <vector>
+
+struct disasm_insn_t;
+
+class disassembler
+{
+ public:
+  disassembler();
+  ~disassembler();
+  std::string disassemble(insn_t insn);
+ private:
+  static const int HASH_SIZE = 256;
+  std::vector<const disasm_insn_t*> chain[HASH_SIZE+1];
+  void add_insn(disasm_insn_t* insn);
+  const disasm_insn_t* lookup(insn_t insn);
+};
+
+#endif
index 385e329d8bce3e91a61512d8a13914d0567cf0ef..99539f500bc43c4c3d1adaca1bdf3a47a17357fd 100644 (file)
@@ -2,8 +2,7 @@
 #include "common.h"
 #include "config.h"
 #include "sim.h"
-#include <bfd.h>
-#include <dis-asm.h>
+#include "disasm.h"
 #include <cmath>
 #include <cstdlib>
 #include <iostream>
@@ -221,27 +220,10 @@ void processor_t::deliver_ipi()
   run = true;
 }
 
-extern "C" int print_insn_little_riscv(bfd_vma, disassemble_info*);
-
 void processor_t::disasm(insn_t insn, reg_t pc)
 {
-  printf("core %3d: 0x%016llx (0x%08x) ",id,(unsigned long long)pc,insn.bits);
-
-  #ifdef RISCV_HAVE_LIBOPCODES
-  disassemble_info info;
-  INIT_DISASSEMBLE_INFO(info, stdout, fprintf);
-  info.flavour = bfd_target_unknown_flavour;
-  info.arch = bfd_architecture(25); // bfd_arch_riscv
-  info.mach = 164; // bfd_mach_riscv_rocket64
-  info.endian = BFD_ENDIAN_LITTLE;
-  info.buffer = (bfd_byte*)&insn;
-  info.buffer_length = sizeof(insn);
-  info.buffer_vma = pc;
-
-  int ret = print_insn_little_riscv(pc, &info);
-  assert(ret == insn_length(insn.bits));
-  #else
-  printf("unknown");
-  #endif
-  printf("\n");
+  // the disassembler is stateless, so we share it
+  static disassembler disasm;
+  printf("core %3d: 0x%016llx (0x%08x) %s\n", id, (unsigned long long)pc,
+         insn.bits, disasm.disassemble(insn).c_str());
 }
index 636a8c401f21b9cafe6b8caa7fc473333a99aed5..43f862f12fd0eb58645d7a7c61cc6efd9494917f 100644 (file)
@@ -18,20 +18,4 @@ AS_IF([test "x$enable_vec" != "xno"], [
   AC_DEFINE([RISCV_ENABLE_VEC],,[Define if vector processor is supported])
 ])
 
-libopc=`dirname \`which riscv-gcc\``/../`$ac_config_guess`/riscv-elf/lib/libopcodes.a
-AC_CHECK_FILES([$libopc],[have_libopcodes="yes"],[have_libopcodes="no"])
-
-libbfd="/opt/local/lib/libbfd.dylib"
-AC_SEARCH_LIBS([bfd_init],[bfd],[],[
-    AC_CHECK_FILES([$libbfd], [libopc="$libopc $libbfd" incopc="-I/opt/local/include"], [have_libopcodes="no"])
-])
-
-AS_IF([test "$have_libopcodes" = "no"],[
-  AC_MSG_WARN([Could not find opcodes library])
-  AC_MSG_WARN([Build will not include disassembly support])
-],[
-  LIBS="$libopc $LIBS"
-  INCDIRS="$incopc"
-  AC_DEFINE([RISCV_HAVE_LIBOPCODES],,[Define if libopcodes exists])
-])
 AC_SUBST(INCDIRS)
index 50dc76a746a0cddc85e2e4c3407e4d9d9a8c5497..1abbc46ae07c557a27f7bf3544e0e1b82ee96922 100644 (file)
@@ -42,6 +42,7 @@ riscv_srcs = \
        trap.cc \
        icsim.cc \
        mmu.cc \
+       disasm.cc \
        $(DISPATCH_SRCS) \
 
 riscv_test_srcs =