Module Arm64_binary_emitter.Data_proc_helpers
val encode_data_proc_2_source :
sf:int ->
s:int ->
opcode:int ->
rm:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
rn:[ `GP of 'b ] Arm64_ast.Ast.Reg.t ->
rd:[ `GP of 'c ] Arm64_ast.Ast.Reg.t ->
int32val encode_data_proc_1_source :
sf:int ->
s:int ->
opcode2:int ->
opcode:int ->
rn:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
rd:[ `GP of 'b ] Arm64_ast.Ast.Reg.t ->
int32val encode_data_proc_3_source :
sf:int ->
op54:int ->
op31:int ->
o0:int ->
rm:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
ra:[ `GP of 'b ] Arm64_ast.Ast.Reg.t ->
rn:[ `GP of 'c ] Arm64_ast.Ast.Reg.t ->
rd:[ `GP of 'd ] Arm64_ast.Ast.Reg.t ->
int32