Source file abi_riscv_symbol_table.ml

(*Generated by Lem from abis/riscv/abi_riscv_symbol_table.lem.*)
(** [abi_mips64_symbol_table], MIPS64 ABI specific definitions for the ELF symbol
  * table.
  *)

open Lem_basic_classes
open Lem_num
open Gnu_ext_abi

(** MIPS64 specific symbol types.  See doc/ifunc.txt and Section XXX FIXME of the
  * ABI.
  *)

(** [string_of_abi_mips64_symbol_type m] produces a string based representation
  * of MIPS64 symbol type [m].
  *)
(*val string_of_abi_mips64_symbol_type : natural -> string*)
let string_of_abi_mips64_symbol_type0 m:string=
   (if Nat_big_num.equal m stt_gnu_ifunc then
    "GNU_IFUNC"
  else
    "Invalid MIPS64 symbol type")