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_common/index.html
Module Simplify_common
const_*_expr expr v annot, where the expression expr is known to evaluate to the value v, attempt to produce a more simple expression together with its approximation and the benefit gained by replacing expr with this new expression. This simplification is only performed if expr is known to have no side effects. Otherwise, expr itself is returned, with an appropriate approximation but zero benefit.
const_boxed_int_expr takes an additional argument specifying the kind of boxed integer to which the given expression evaluates.
val const_int_expr :
Flambda.named ->
int ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_char_expr :
Flambda.named ->
char ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_bool_expr :
Flambda.named ->
bool ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_float_expr :
Flambda.named ->
float ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_boxed_int_expr :
Flambda.named ->
'a Simple_value_approx.boxed_int ->
'a ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_integer_comparison_expr :
Flambda.named ->
Lambda.integer_comparison ->
'a ->
'a ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.tval const_float_comparison_expr :
Flambda.named ->
Lambda.float_comparison ->
float ->
float ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t