package ocaml-solo5-cross-aarch64
OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend
Install
dune-project
Dependency
Authors
Maintainers
Sources
v1.1.0.tar.gz
md5=00e5f51d0ce72f7517f3b2a7f910c572
sha512=91f349384a8864076c3d1b0ce3f4e94aa54900cf51e2471d21427bb25cbffac606bcd754fa545f4b2c4516ea2b0731cb580ab30bdf1911c9e47ee24d7c88c863
doc/compiler-libs.optcomp/Simplify_boxed_integer_ops/Simplify_boxed_nativeint/index.html
Module Simplify_boxed_integer_ops.Simplify_boxed_nativeint
val simplify_unop :
Clambda_primitives.primitive ->
Nativeint.t Simple_value_approx.boxed_int ->
Flambda.named ->
Nativeint.t ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval simplify_binop :
Clambda_primitives.primitive ->
Nativeint.t Simple_value_approx.boxed_int ->
Flambda.named ->
Nativeint.t ->
Nativeint.t ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval simplify_binop_int :
Clambda_primitives.primitive ->
Nativeint.t Simple_value_approx.boxed_int ->
Flambda.named ->
Nativeint.t ->
int ->
size_int:int ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t