Module `Flambda2_reaper.Dep_solver`

type result

val pp_result : 
  Stdlib.Format.formatter ->
  Flambda2_reaper.Dep_solver.result ->
  unit

val fixpoint : 
  Flambda2_reaper.Global_flow_graph.graph ->
  Flambda2_reaper.Dep_solver.result

type 'a unboxed_fields =

| Not_unboxed of 'a
| Unboxed of 'a Flambda2_reaper.Dep_solver.unboxed_fields Flambda2_reaper.Field.Map.t

val print_unboxed_fields : 
  (Stdlib.Format.formatter -> 'a -> unit) ->
  Stdlib.Format.formatter ->
  'a Flambda2_reaper.Dep_solver.unboxed_fields ->
  unit

type unboxed =
  Flambda2_identifiers.Variable.t Flambda2_reaper.Dep_solver.unboxed_fields
    Flambda2_reaper.Field.Map.t

type changed_representation =

| Block_representation of (int * Flambda2_terms.Flambda_primitive.Block_access_kind.t) Flambda2_reaper.Dep_solver.unboxed_fields Flambda2_reaper.Field.Map.t * int
| Closure_representation of Flambda2_identifiers.Value_slot.t Flambda2_reaper.Dep_solver.unboxed_fields Flambda2_reaper.Field.Map.t * Flambda2_identifiers.Function_slot.t Flambda2_identifiers.Function_slot.Map.t * Flambda2_identifiers.Function_slot.t

val map_unboxed_fields : 
  ('a -> 'b) ->
  'a Flambda2_reaper.Dep_solver.unboxed_fields ->
  'b Flambda2_reaper.Dep_solver.unboxed_fields

val get_unboxed_fields : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Dep_solver.unboxed option

val get_changed_representation : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Dep_solver.changed_representation option

val has_use : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  bool

val has_source : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  bool

val field_used : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Field.t ->
  bool

val cofield_has_use : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Cofield.t ->
  bool

val not_local_field_has_source : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_reaper.Field.t ->
  bool

val print_color : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  string

Color of node when producing the graph as a .dot

val rewrite_kind_with_subkind : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Name.t ->
  Flambda2_kinds.Flambda_kind.With_subkind.t ->
  Flambda2_kinds.Flambda_kind.With_subkind.t

rewrite_kind_with_subkind result var kind_with_subkind For kind_with_subkind the kind associated to variable var, removes the subkinds on the parts that are not used in result.

val cannot_change_calling_convention : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Code_id.t ->
  bool

val code_id_actually_directly_called : 
  Flambda2_reaper.Dep_solver.result ->
  Flambda2_identifiers.Name.t ->
  Flambda2_identifiers.Code_id.Set.t Flambda2_lattices.Or_unknown.t

val rewrite_typing_env : 
  Flambda2_reaper.Dep_solver.result ->
  unit_symbol:Flambda2_identifiers.Symbol.t ->
  Flambda2_types.typing_env ->
  Flambda2_types.typing_env

val rewrite_result_types : 
  Flambda2_reaper.Dep_solver.result ->
  old_typing_env:Flambda2_types.typing_env ->
  Flambda2_identifiers.Variable.t list ->
  Flambda2_identifiers.Variable.t list ->
  Flambda2_terms.Result_types.t ->
  Flambda2_terms.Result_types.t

Module Flambda2_reaper.Dep_solver

Module `Flambda2_reaper.Dep_solver`