Module BCHARMPseudocode

exception ARM_unpredictable of string
exception ARM_undefined of string
val align : int -> int -> int
val prefix_bit : int -> int -> int
val postfix_bit : int -> int -> int
val get_dmb_option : int -> BCHARMTypes.dmb_option_t
val get_opcode_cc : int -> BCHARMTypes.arm_opcode_cc_t
val get_arm_reg : int -> BCHLibTypes.arm_reg_t
val get_reglist_from_int : int -> int -> BCHLibTypes.arm_reg_t list
val decode_imm_shift : int -> int -> BCHARMTypes.shift_rotate_type_t * int
val decode_reg_shift : int -> BCHARMTypes.shift_rotate_type_t
val sign_extend : int -> int -> int -> int
val arm_expand_imm_c : int -> int -> int -> int * int
val arm_expand_imm : int -> int -> int
val thumb_expand_imm_c : int -> int -> int * int
val thumb_expand_imm : int -> int -> int
val vfp_expand_imm : int -> int -> CHNumerical.numerical_t
val adv_simd_expand_imm : int -> int -> int -> CHNumerical.numerical_t
val adv_simd_mod_dt : int -> int -> string -> BCHARMTypes.vfp_datatype_t