Module `Flambda2_reaper.Analysis`

type result = Unboxing_analysis.result

val fixpoint : Global_flow_graph.graph -> result

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

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

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

val any_usage : result -> Flambda2_identifiers.Code_id_or_name.t -> bool

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

val any_source : result -> Flambda2_identifiers.Code_id_or_name.t -> bool

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

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

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

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

val arguments_used_by_known_arity_call : 
  result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  'a list ->
  ('a * Points_to_analysis.keep_or_delete) list

val arguments_used_by_unknown_arity_call : 
  result ->
  Flambda2_identifiers.Code_id_or_name.t ->
  'a list list ->
  ('a * Points_to_analysis.keep_or_delete) list list

Module Flambda2_reaper.Analysis

Module `Flambda2_reaper.Analysis`