Module `Flambda2_reaper.Points_to_analysis`

type keep_or_delete =

| Keep
| Delete

module Relations : sig ... end

type usages =

| Usages of unit Flambda2_identifiers.Code_id_or_name.Map.t

val add_usages_through_function_slots : 
  follow_known_arity_calls:bool ->
  Flambda2_datalog.Datalog.database ->
  usages ->
  usages

val compute_usages_by_function_slots_not_following_known_arity_calls : 
  Flambda2_datalog.Datalog.database ->
  usages ->
  Flambda2_identifiers.Function_slot.t ->
  usages Flambda2_identifiers.Function_slot.Map.t
    Flambda2_lattices.Or_unknown.t

val get_direct_usages : 
  Flambda2_datalog.Datalog.database ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t ->
  usages

type sources =

| Any_source
| Sources of unit Flambda2_identifiers.Code_id_or_name.Map.t

val get_direct_sources : 
  Flambda2_datalog.Datalog.database ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t ->
  sources

val get_one_field_usage : 
  Flambda2_datalog.Datalog.database ->
  Field.t ->
  usages ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t
    Flambda2_lattices.Or_unknown_or_bottom.t

val get_fields : 
  Flambda2_datalog.Datalog.database ->
  usages ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t
    Flambda2_lattices.Or_unknown.t
    Field.Map.t

val get_one_field_usage_of_constructors : 
  Flambda2_datalog.Datalog.database ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t ->
  Field.t ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t
    Flambda2_lattices.Or_unknown_or_bottom.t

val get_fields_usage_of_constructors : 
  Flambda2_datalog.Datalog.database ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t ->
  unit Flambda2_identifiers.Code_id_or_name.Map.t
    Flambda2_lattices.Or_unknown.t
    Field.Map.t

type set_of_closures_def =

| Not_a_set_of_closures
| Set_of_closures of (Flambda2_identifiers.Function_slot.t * Flambda2_identifiers.Code_id_or_name.t) list

val get_set_of_closures_def : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  set_of_closures_def

val any_usage : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  bool

val any_source : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  bool

val has_use : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  bool

val field_used : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Field.t ->
  bool

val not_local_field_has_source : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Field.t ->
  bool

val has_source_query : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  bool

val code_id_actually_directly_called : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Name.t ->
  Flambda2_identifiers.Code_id.Set.t Flambda2_lattices.Or_unknown.t

val arguments_used_by_known_arity_call : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  'a list ->
  ('a * keep_or_delete) list

val arguments_used_by_unknown_arity_call : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  'a list list ->
  ('a * keep_or_delete) list list

type single_field_source =

| No_source
| One of Flambda2_identifiers.Code_id_or_name.t
| Many

val get_single_field_source : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Field.t ->
  single_field_source

val get_allocation_point : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_identifiers.Code_id_or_name.t option

val perform_analysis : 
  Flambda2_datalog.Datalog.database ->
  stats:Flambda2_datalog.Datalog.Schedule.stats ->
  Flambda2_datalog.Datalog.database

val get_usages : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  usages Flambda2_lattices.Or_unknown_or_bottom.t

val get_single_source : 
  Flambda2_datalog.Datalog.database ->
  Flambda2_identifiers.Code_id_or_name.t ->
  Flambda2_identifiers.Code_id_or_name.t
    Flambda2_lattices.Or_unknown_or_bottom.t

Module Flambda2_reaper.Points_to_analysis

Module `Flambda2_reaper.Points_to_analysis`