jon.recoil.org

Module Arm64_binary_emitter.Logical_helpers

val encode_logical_immediate : sf:int -> opc:int -> n:int -> immr:int -> imms:int -> rn:[ `GP of 'a ] Arm64_ast.Ast.Reg.t -> rd:[ `GP of 'b ] Arm64_ast.Ast.Reg.t -> int32
val encode_logical_shifted_register : sf:int -> opc:int -> shift:int -> n:int -> rm:int -> imm6:int -> rn:int -> rd:int -> int32
val encode_logical_shifted_reg : opc:int -> shift:int -> imm6:int -> rd:[ `GP of 'a ] Arm64_ast.Ast.Reg.t -> rn:[ `GP of 'b ] Arm64_ast.Ast.Reg.t -> rm:[ `GP of 'c ] Arm64_ast.Ast.Reg.t -> int32