Module `Arm64_binary_emitter.Load_store_helpers`

val encode_load_literal : opc:int -> v:int -> imm19:int -> rt:int -> int32

val encode_load_store_unscaled : 
  size:int ->
  vr:int ->
  opc:int ->
  imm9:int ->
  rn:int ->
  rt:int ->
  int32

val encode_load_store_post_indexed : 
  size:int ->
  vr:int ->
  opc:int ->
  imm9:int ->
  rn:int ->
  rt:int ->
  int32

val encode_load_store_pre_indexed : 
  size:int ->
  vr:int ->
  opc:int ->
  imm9:int ->
  rn:int ->
  rt:int ->
  int32

val encode_load_store_unsigned_offset : 
  size:int ->
  vr:int ->
  opc:int ->
  imm12:int ->
  rn:int ->
  rt:int ->
  int32

val encode_load_store_pair_post_indexed : 
  opc:int ->
  v:int ->
  l:int ->
  imm7:int ->
  rt2:int ->
  rn:int ->
  rt:int ->
  int32

val encode_load_store_pair_pre_indexed : 
  opc:int ->
  v:int ->
  l:int ->
  imm7:int ->
  rt2:int ->
  rn:int ->
  rt:int ->
  int32

val encode_load_store_pair_signed_offset : 
  opc:int ->
  v:int ->
  l:int ->
  imm7:int ->
  rt2:int ->
  rn:int ->
  rt:int ->
  int32

val encode_load_store_gp_sized : 
  all_sections:All_section_states.t ->
  Section_state.t ->
  instr_name:string ->
  size:int ->
  opc:int ->
  rd:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
  [ `Base_reg
  | `Offset_twelve_unsigned_scaled
  | `Offset_nine_signed_unscaled
  | `Offset_sym
  | `Literal
  | `Pre
  | `Post ]
    Arm64_ast.Ast.Addressing_mode.t ->
  int32

val encode_load_store_gp : 
  all_sections:All_section_states.t ->
  Section_state.t ->
  instr_name:string ->
  opc:int ->
  rd:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
  [ `Base_reg
  | `Offset_twelve_unsigned_scaled
  | `Offset_nine_signed_unscaled
  | `Offset_sym
  | `Literal
  | `Pre
  | `Post ]
    Arm64_ast.Ast.Addressing_mode.t ->
  int32

val encode_load_store_byte : 
  all_sections:All_section_states.t ->
  Section_state.t ->
  instr_name:string ->
  opc:int ->
  rd:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
  [ `Base_reg
  | `Offset_twelve_unsigned_scaled
  | `Offset_nine_signed_unscaled
  | `Offset_sym
  | `Literal
  | `Pre
  | `Post ]
    Arm64_ast.Ast.Addressing_mode.t ->
  int32

val encode_load_store_halfword : 
  all_sections:All_section_states.t ->
  Section_state.t ->
  instr_name:string ->
  opc:int ->
  rd:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
  [ `Base_reg
  | `Offset_twelve_unsigned_scaled
  | `Offset_nine_signed_unscaled
  | `Offset_sym
  | `Literal
  | `Pre
  | `Post ]
    Arm64_ast.Ast.Addressing_mode.t ->
  int32

val encode_load_acquire : 
  rd:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
  rn:[ `GP of 'b ] Arm64_ast.Ast.Reg.t ->
  int32

val encode_memory_barrier : op2:int -> Arm64_ast.Ast.Memory_barrier.t -> int32

val encode_load_store_pair_gp : 
  instr_name:string ->
  l:int ->
  rt1:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
  rt2:[ `GP of 'b ] Arm64_ast.Ast.Reg.t ->
  [ `Offset_pair | `Pre_pair | `Post_pair ] Arm64_ast.Ast.Addressing_mode.t ->
  int32

val encode_load_store_simd_fp : 
  all_sections:All_section_states.t ->
  Section_state.t ->
  instr_name:string ->
  is_load:bool ->
  rd:[ `Neon of [ `Scalar of 's ] ] Arm64_ast.Ast.Reg.t ->
  [ `Base_reg
  | `Offset_twelve_unsigned_scaled
  | `Offset_nine_signed_unscaled
  | `Offset_sym
  | `Literal
  | `Pre
  | `Post ]
    Arm64_ast.Ast.Addressing_mode.t ->
  int32

Module Arm64_binary_emitter.Load_store_helpers

Module `Arm64_binary_emitter.Load_store_helpers`