Module Arm64_ast.DSL
val reg_op : Arm64_ast.Reg.t -> Arm64_ast.Operand.tval imm : int -> Arm64_ast.Operand.tval imm_float : float -> Arm64_ast.Operand.tval imm_nativeint : nativeint -> Arm64_ast.Operand.tval symbol : Arm64_ast.Symbol.t -> Arm64_ast.Operand.tval shift :
kind:Arm64_ast.Operand.Shift.Kind.t ->
amount:int ->
Arm64_ast.Operand.tval mem : base:Arm64_ast.Reg.t -> Arm64_ast.Operand.tval mem_offset : base:Arm64_ast.Reg.t -> offset:int -> Arm64_ast.Operand.tval mem_symbol :
base:Arm64_ast.Reg.t ->
symbol:Arm64_ast.Symbol.t ->
Arm64_ast.Operand.tval mem_pre : base:Arm64_ast.Reg.t -> offset:int -> Arm64_ast.Operand.tval mem_post : base:Arm64_ast.Reg.t -> offset:int -> Arm64_ast.Operand.tval cond : Arm64_ast.Instruction_name.Cond.t -> Arm64_ast.Operand.tval float_cond : Arm64_ast.Instruction_name.Float_cond.t -> Arm64_ast.Operand.tval reg_v2d : int -> Arm64_ast.Operand.tval reg_v2s : int -> Arm64_ast.Operand.tval reg_v4s : int -> Arm64_ast.Operand.tval reg_v8b : int -> Arm64_ast.Operand.tval reg_v16b : int -> Arm64_ast.Operand.tval reg_v8h : int -> Arm64_ast.Operand.tval reg_v4h : int -> Arm64_ast.Operand.tval reg_b : int -> Arm64_ast.Operand.tval reg_s : int -> Arm64_ast.Operand.tval reg_d : int -> Arm64_ast.Operand.tval reg_q : int -> Arm64_ast.Operand.tval reg_x : int -> Arm64_ast.Operand.tval reg_w : int -> Arm64_ast.Operand.tval sp : Arm64_ast.Operand.tval xzr : Arm64_ast.Operand.tval wzr : Arm64_ast.Operand.tval reglane_v4s : int -> lane:int -> Arm64_ast.Operand.tval reglane_v2d : int -> lane:int -> Arm64_ast.Operand.tval reglane_b : int -> lane:int -> Arm64_ast.Operand.tval reglane_h : int -> lane:int -> Arm64_ast.Operand.tval reglane_s : int -> lane:int -> Arm64_ast.Operand.tval reglane_d : int -> lane:int -> Arm64_ast.Operand.tval print_ins :
Arm64_ast.Instruction_name.t ->
Arm64_ast.Operand.t array ->
stringval print_ins_cond :
Arm64_ast.Instruction_name.t ->
Arm64_ast.Instruction_name.Cond.t ->
Arm64_ast.Operand.t array ->
stringmodule Acc : sig ... end