package ocaml-solo5

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross-compiler to the freestanding Solo5 backend

Install

dune-project

Dependency

github.com Edit opam file Versions (10)

Authors

M

Martin Lucina <martin@lucina.net>

Maintainers

M

Martin Lucina <martin@lucina.net>

Sources

v1.3.3.tar.gz

md5=47876167068345542f49279e8fd28896

sha512=272081ec51a6ed69c08e4e8fa64fee3df53fd84c66c0c07a653891c88b342cf74553e1c95711e4fbc18922c899a3448a649f3bd9858f8d89cae834ad2b67fffb

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.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_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

val swap16 : int -> int

Functions for transposing the order of bytes within words of various sizes.

val swap32 : int32 -> int32

val swap64 : int64 -> int64

val swapnative : nativeint -> nativeint