package ocaml-base-compiler
Official release 4.09.0
Install
Dune Dependency
Authors
Maintainers
Sources
4.09.0.tar.gz
sha256=a7bc044167e7d09f8e3ea84b88ec9d81392908ecdac861d3d5015e5f0fc496a3
md5=76ac39570fc88b16fda2a94db7cd5cf3
doc/ocamloptcomp/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.t
val const_char_expr :
Flambda.named ->
char ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val const_bool_expr :
Flambda.named ->
bool ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val const_ptr_expr :
Flambda.named ->
int ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val const_float_expr :
Flambda.named ->
float ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val const_boxed_int_expr :
Flambda.named ->
'a Simple_value_approx.boxed_int ->
'a ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val const_integer_comparison_expr :
Flambda.named ->
Lambda.integer_comparison ->
'a ->
'a ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
val const_float_comparison_expr :
Flambda.named ->
Lambda.float_comparison ->
float ->
float ->
Flambda.named * Simple_value_approx.t * Inlining_cost.Benefit.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>