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