Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add warning headers to flambda files

master
Pierre Chambart 2016-01-22 00:29:19 +01:00
parent fb35dc8fb4
commit 0e8ed08a9d
116 changed files with 232 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
asmcomp/build_export_info.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module Env : sig
type t

2
asmcomp/build_export_info.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Construct export information, for emission into .cmx files, from an
Flambda program. *)

2
asmcomp/closure_offsets.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type result = {
function_offsets : int Closure_id.Map.t;
free_variable_offsets : int Var_within_closure.Map.t;

2
asmcomp/closure_offsets.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Assign numerical offsets, within closure blocks, for code pointers and
environment entries. *)

2
asmcomp/export_info.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type value_string_contents =
| Contents of string
| Unknown_or_mutable

2
asmcomp/export_info.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Exported information (that is to say, information written into a .cmx
file) about a compilation unit. *)

2
asmcomp/export_info_for_pack.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let rename_id_state = Export_id.Tbl.create 100
(* Rename export identifiers' compilation units to denote that they now

2
asmcomp/export_info_for_pack.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Transformations on export information that are only used for the
building of packs. *)

2
asmcomp/flambda_to_clambda.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type for_one_or_more_units = {
fun_offset_table : int Closure_id.Map.t;
fv_offset_table : int Var_within_closure.Map.t;

2
asmcomp/flambda_to_clambda.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type result = {
expr : Clambda.ulambda;
preallocated_blocks : Clambda.preallocated_block list;

2
asmcomp/import_approx.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module A = Simple_value_approx
let import_set_of_closures =

2
asmcomp/import_approx.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Create simple value approximations from the export information in
.cmx files. *)

2
asmcomp/un_anf.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-30-40-41-42"]
(* We say that an [Ident.t] is "linear" iff:
(a) it is used exactly once;
(b) it is never assigned to (using [Uassign]).

2
middle_end/alias_analysis.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type allocation_point =
| Symbol of Symbol.t
| Variable of Variable.t

2
middle_end/alias_analysis.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type allocation_point =
| Symbol of Symbol.t
| Variable of Variable.t

2
middle_end/allocated_const.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type t =
| Float of float
| Int32 of int32

2
middle_end/allocated_const.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Constants that are always allocated (possibly statically). Blocks
are not included here since they are always encoded using
[Prim (Pmakeblock, ...)]. *)

2
middle_end/augment_closures.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module A = Simple_value_approx
module E = Inline_and_simplify_aux.Env

2
middle_end/augment_closures.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
val run :
env:Inline_and_simplify_aux.Env.t ->
set_of_closures:Flambda.set_of_closures ->

2
middle_end/backend_intf.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Knowledge that the middle end needs about the backend. *)
module type S = sig

2
middle_end/base_types/closure_element.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Variable
let wrap t = t

2
middle_end/base_types/closure_element.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Identifiable.S
val wrap : Variable.t -> t

2
middle_end/base_types/closure_id.ml
View File

@ -14,4 +14,6 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Closure_element

2
middle_end/base_types/closure_id.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** CR-someday lwhite: "Closure_id" is quite a generic name. I wonder wether something
like "Closure_label" would better capture that it is the label of a projection. *)

2
middle_end/base_types/compilation_unit.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type t = {
id : Ident.t;
linkage_name : Linkage_name.t;

2
middle_end/base_types/compilation_unit.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Identifiable.S
(* The [Ident.t] must be persistent. This function raises an exception

2
middle_end/base_types/export_id.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module Id : Id_types.Id = Id_types.Id (struct end)
module Unit_id = Id_types.UnitId (Id) (Compilation_unit)

2
middle_end/base_types/export_id.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* Keys representing value descriptions that may be written into
intermediate files and loaded by a dependent compilation unit.
These keys are used to ensure maximal sharing of value descriptions,

2
middle_end/base_types/id_types.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module type BaseId = sig
type t
val equal : t -> t -> bool

2
middle_end/base_types/id_types.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* CR-soon mshinwell: This module should be removed. *)

2
middle_end/base_types/linkage_name.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type t = string
include Identifiable.Make (struct

2
middle_end/base_types/linkage_name.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Identifiable.S
val create : string -> t

2
middle_end/base_types/mutable_variable.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type t = {
compilation_unit : Compilation_unit.t;
ident : Ident.t;

2
middle_end/base_types/mutable_variable.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Identifiable.S
val create : ?current_compilation_unit:Compilation_unit.t -> string -> t

2
middle_end/base_types/set_of_closures_id.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module Id : Id_types.Id = Id_types.Id (struct end)
module Unit_id = Id_types.UnitId (Id) (Compilation_unit)

2
middle_end/base_types/set_of_closures_id.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** An identifier, unique across the whole program, that identifies a set
of a closures (viz. [Set_of_closures]). *)

2
middle_end/base_types/static_exception.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Numbers.Int
let create () = Lambda.next_raise_count ()

2
middle_end/base_types/static_exception.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** An identifier that is used to label static exceptions. Its
uniqueness properties are unspecified. *)

2
middle_end/base_types/symbol.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type t = {
compilation_unit : Compilation_unit.t;
label : Linkage_name.t;

2
middle_end/base_types/symbol.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** A symbol identifies a constant provided by either:
- another compilation unit; or
- a top-level module.

2
middle_end/base_types/tag.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type t = int
include Identifiable.Make (Numbers.Int)

2
middle_end/base_types/tag.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Tags on runtime boxed values. *)
include Identifiable.S

2
middle_end/base_types/var_within_closure.ml
View File

@ -14,4 +14,6 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
include Closure_element

2
middle_end/base_types/var_within_closure.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** An identifier, unique across the whole program, that identifies a
particular variable within a particular closure. Only
[Project_var], and not [Var], nodes are tagged with these

2
middle_end/base_types/variable.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type t = {
compilation_unit : Compilation_unit.t;
name : string;

2
middle_end/base_types/variable.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** [Variable.t] is the equivalent of a non-persistent [Ident.t] in
the [Flambda] tree. It wraps an [Ident.t] together with its source
[compilation_unit]. As such, it is unique within a whole program,

2
middle_end/closure_conversion.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module Env = Closure_conversion_aux.Env
module Function_decls = Closure_conversion_aux.Function_decls
module Function_decl = Function_decls.Function_decl

2
middle_end/closure_conversion.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Generation of [Flambda] intermediate language code from [Lambda] code
by performing a form of closure conversion.

2
middle_end/closure_conversion_aux.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module IdentSet = Lambda.IdentSet
module Env = struct

2
middle_end/closure_conversion_aux.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Environments and auxiliary structures used during closure conversion. *)
(** Used to remember which [Variable.t] values correspond to which

2
middle_end/effect_analysis.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let no_effects_prim (prim : Lambda.primitive) =
match Semantics_of_primitives.for_primitive prim with
| (No_effects | Only_generative_effects), (No_coeffects | Has_coeffects) ->

2
middle_end/effect_analysis.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Simple side effect analysis. *)
(* CR-someday pchambart: Replace by call to [Purity] module.

2
middle_end/find_recursive_functions.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let in_function_declarations (function_decls : Flambda.function_declarations)
~backend =
let module VCC = Strongly_connected_components.Make (Variable) in

2
middle_end/find_recursive_functions.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** "Recursive functions" are those functions [f] that might call either:
- themselves, or
- another function that in turn might call [f].

2
middle_end/flambda.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type call_kind =
| Indirect
| Direct of Closure_id.t

2
middle_end/flambda.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Intermediate language used for tree-based analysis and optimization. *)
(** Whether the callee in a function application is known at compile time. *)

2
middle_end/flambda_invariants.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-30-40-41-42"]
type flambda_kind =
| Normal
| Lifted

2
middle_end/flambda_invariants.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type flambda_kind =
| Normal
| Lifted

2
middle_end/flambda_iterators.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let apply_on_subexpressions f f_named (flam : Flambda.t) =
match flam with
| Var _ | Apply _ | Assign _ | Send _ | Proved_unreachable

2
middle_end/flambda_iterators.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* CR-soon mshinwell: we need to document whether these iterators follow any
particular order. *)

2
middle_end/flambda_utils.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let find_declaration cf ({ funs } : Flambda.function_declarations) =
Variable.Map.find (Closure_id.unwrap cf) funs

2
middle_end/flambda_utils.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Utility functions for the Flambda intermediate language. *)
(** Access functions *)

2
middle_end/freshening.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type tbl = {
sb_var : Variable.t Variable.Map.t;
sb_mutable_var : Mutable_variable.t Mutable_variable.Map.t;

2
middle_end/freshening.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Freshening of various identifiers. *)
(** A table used for freshening variables and static exception identifiers. *)

2
middle_end/inconstant_idents.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* This cannot be done in a single simple pass due to expressions like:
let rec ... =

2
middle_end/inconstant_idents.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type result
(** [inconstants_on_program] finds those variables and set-of-closures identifiers that

2
middle_end/initialize_symbol_to_let_symbol.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let constant_field (expr:Flambda.t)
: Flambda.constant_defining_value_block_field option =
match expr with

2
middle_end/initialize_symbol_to_let_symbol.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Transform Initialize_symbol with only constant fields to
let_symbol construction. *)
val run : Flambda.program -> Flambda.program

2
middle_end/inline_and_simplify.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module A = Simple_value_approx
module B = Inlining_cost.Benefit
module E = Inline_and_simplify_aux.Env

2
middle_end/inline_and_simplify.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Simplification of Flambda programs combined with function inlining:
for the most part a beta-reduction pass.

2
middle_end/inline_and_simplify_aux.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module Env = struct
type scope = Current | Outer

2
middle_end/inline_and_simplify_aux.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Environments and result structures used during inlining and
simplification. (See inline_and_simplify.ml.) *)

2
middle_end/inlining_cost.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* Simple approximation of the space cost of a primitive. *)
let prim_size (prim : Lambda.primitive) args =

2
middle_end/inlining_cost.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Measurement of the cost (including cost in space) of Flambda terms
in the context of inlining. *)

2
middle_end/inlining_decision.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module A = Simple_value_approx
module E = Inline_and_simplify_aux.Env
module R = Inline_and_simplify_aux.Result

2
middle_end/inlining_decision.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* CR mshinwell: Add the new inlining heuristic documentation here. *)
(** Try to inline a full application of a known function, guided by various

2
middle_end/inlining_decision_intf.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* CR-someday mshinwell: name of this source file could now be improved *)
type 'a by_copying_function_body =

2
middle_end/inlining_stats.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let _vim_trailer = "vim:fdm=expr:filetype=plain:\
foldexpr=getline(v\\:lnum)=~'^\\\\s*$'&&getline(v\\:lnum+1)=~'\\\\S'?'<1'\\:1"

2
middle_end/inlining_stats.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module Closure_stack : sig
type t

2
middle_end/inlining_stats_types.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module Wsb = Inlining_cost.Whether_sufficient_benefit
let print_stars ppf n =

2
middle_end/inlining_stats_types.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* Types used for producing statistics about inlining. *)
module Inlined : sig

2
middle_end/inlining_transforms.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module A = Simple_value_approx
module B = Inlining_cost.Benefit
module E = Inline_and_simplify_aux.Env

2
middle_end/inlining_transforms.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Source code transformations used during inlining. *)
(** Inline a function by substituting its body (which may be subject to

2
middle_end/invariant_params.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* CR-someday pchambart to pchambart: in fact partial application doesn't
work because there are no 'known' partial application left: they are
converted to applications new partial function declaration.

2
middle_end/invariant_params.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* [invariant_params_in_recursion] calculates the set of parameters whose
values are known not to change during the execution of a recursive
function. As such, occurrences of the parameters may always be replaced

2
middle_end/lift_code.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
module A = Simple_value_approx
module C = Inlining_cost

2
middle_end/lift_code.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type lifter = Flambda.program -> Flambda.program
(** Lift [let] bindings to attempt to increase the length of scopes, as an

2
middle_end/lift_constants.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let rec tail_variable : Flambda.t -> Variable.t option = function
| Var v -> Some v
| Let_rec (_, e)

2
middle_end/lift_constants.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* CR mshinwell: check comment is up to date *)
(** The aim of this pass is to assign symbols to values known to be
constant (in other words, whose values we know at compile time), with

2
middle_end/lift_let_to_initialize_symbol.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
type ('a, 'b) kind =
| Initialisation of (Symbol.t * Tag.t * Flambda.t list)
| Effect of 'b

2
middle_end/lift_let_to_initialize_symbol.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Lift toplevel [Let]-expressions to Flambda [program] constructions such
that the results of evaluation of such expressions may be accessed
directly, through symbols, rather than through closures. The

2
middle_end/middle_end.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let _dump_function_sizes flam ~backend =
let module Backend = (val backend : Backend_intf.S) in
let than = max_int in

2
middle_end/middle_end.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(* Translate Lambda code to Flambda code and then optimize it. *)
val middle_end

2
middle_end/ref_to_variables.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let rename_var var =
Mutable_variable.create
(Variable.unique_name var)

2
middle_end/ref_to_variables.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Transform [let]-bound references into variables. *)
val eliminate_ref

2
middle_end/remove_unused_arguments.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let pass_name = "remove-unused-arguments"
let () = Clflags.all_passes := pass_name :: !Clflags.all_passes

2
middle_end/remove_unused_arguments.mli
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Introduce a stub function to avoid depending on unused arguments.
For instance, it turns

2
middle_end/remove_unused_closure_vars.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** A variable in a closure can either be used by the closure itself
or by an inlined version of the function. *)
let remove_unused_closure_variables program =

2
middle_end/remove_unused_closure_vars.mli
View File

@ -14,5 +14,7 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
(** Eliminate variables bound by closures that are not required. *)
val remove_unused_closure_variables : Flambda.program -> Flambda.program

2
middle_end/remove_unused_program_constructs.ml
View File

@ -14,6 +14,8 @@
(* *)
(**************************************************************************)
[@@@ocaml.warning "+a-4-9-30-40-41-42"]
let dependency (expr:Flambda.t) = Flambda.free_symbols expr
(* CR-soon pchambart: copied from lift_constant. Needs remerging *)

Some files were not shown because too many files have changed in this diff Show More