Source file abi_amd64_program_header_table.ml

(*Generated by Lem from abis/amd64/abi_amd64_program_header_table.lem.*)
(** [abi_amd64_program_header_table], program header table specific definitions
  * for the AMD64 ABI.
  *)

open Lem_basic_classes
open Lem_bool
open Lem_num
open Lem_string

(** New segment types. *)

(** The segment contains the stack unwind tables *)
let abi_amd64_pt_gnu_eh_frame  : Nat_big_num.num=  (Nat_big_num.mul( (Nat_big_num.of_int 2))( (Nat_big_num.of_int 842691240))) (* 0x6474e550 *)
let abi_amd64_pt_sunw_eh_frame : Nat_big_num.num=  (Nat_big_num.mul( (Nat_big_num.of_int 2))( (Nat_big_num.of_int 842691240))) (* 0x6474e550 *)
let abi_amd64_pt_sunw_unwind   : Nat_big_num.num=  (Nat_big_num.mul( (Nat_big_num.of_int 2))( (Nat_big_num.of_int 842691240))) (* 0x6474e550 *)

(** [string_of_abi_amd64_elf_segment_type m] produces a string based representation
  * of AMD64 segment type [m].
  *)
(*val string_of_abi_amd64_elf_segment_type : natural -> string*)
let string_of_abi_amd64_elf_segment_type m:string=
   (if Nat_big_num.equal m abi_amd64_pt_gnu_eh_frame then
    "GNU_EH_FRAME"
  else if Nat_big_num.equal m abi_amd64_pt_sunw_eh_frame then
    "SUNW_EH_FRAME"
  else if Nat_big_num.equal  m abi_amd64_pt_sunw_unwind then
    "SUNW_UNWIND"
  else
    "Invalid AMD64 segment type")
    
(** [abi_amd64_is_valid_program_interpreter s] checks whether the program interpreter
  * string is valid for AMD64 ABI.
  * See Section 5.2.1
  *)
(*val abi_amd64_is_valid_program_interpreter : string -> bool*)
let abi_amd64_is_valid_program_interpreter s:bool=
   ((s = "/lib/ld64.so.1") || (s = "/lib64/ld-linux-x86-64.so.2"))