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.0.tar.gz
md5=4d07934aea2d32b77ba1b8bb062c6594
sha512=2ec008da088f7998d024b790679605813f1954de36b999031db0b003706e67f3f13554e93fa07be00f26633ea27c2b2f9f987e8b08f85c63f956bfbc306bd620
doc/compiler-libs.optcomp/Simplify_boxed_integer_ops/Simplify_boxed_int32/index.html
Module Simplify_boxed_integer_ops.Simplify_boxed_int32
val simplify_unop :
Clambda_primitives.primitive ->
Int32.t Simple_value_approx.boxed_int ->
Flambda.named ->
Int32.t ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval simplify_binop :
Clambda_primitives.primitive ->
Int32.t Simple_value_approx.boxed_int ->
Flambda.named ->
Int32.t ->
Int32.t ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval simplify_binop_int :
Clambda_primitives.primitive ->
Int32.t Simple_value_approx.boxed_int ->
Flambda.named ->
Int32.t ->
int ->
size_int:int ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t