Module Arm64_binary_emitter.Csel_helpers
val encode_conditional_select :
sf:int ->
op:int ->
op2:int ->
rm:[ `GP of 'a ] Arm64_ast.Ast.Reg.t ->
cond:int ->
rn:[ `GP of 'b ] Arm64_ast.Ast.Reg.t ->
rd:[ `GP of 'c ] Arm64_ast.Ast.Reg.t ->
int32