diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-25 08:41:13 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-25 08:41:13 +0000 |
| commit | 29b34438e08e26ae8f8623eb32bb524386f0532f (patch) | |
| tree | 10558f8ec00d86e79fe3ff2f42b189bc7b48929b /utils | |
| parent | 3775a101e664f8c6fdf8bcb60256f021b42613a7 (diff) | |
| download | ocaml-29b34438e08e26ae8f8623eb32bb524386f0532f.tar.gz | |
- Constant ropagation for float and int32/int64/nativeint arithmetic.
Constant propagation for floats can be turned off with option
-no-float-const-prop, for codes that change FP rounding modes at
run-time.
- Clambda / C-- / Mach: represent float constants as FP numbers of type
float rather than literals of type string.
- Tested for AMD64; other archs need testing.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14673 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/clflags.ml | 1 | ||||
| -rw-r--r-- | utils/clflags.mli | 1 | ||||
| -rw-r--r-- | utils/config.mlp | 4 |
3 files changed, 4 insertions, 2 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 829393a00d..d0484b7728 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -58,6 +58,7 @@ and dllpaths = ref ([] : string list) (* -dllpath *) and make_package = ref false (* -pack *) and for_package = ref (None: string option) (* -for-pack *) and error_size = ref 500 (* -error-size *) +and float_const_prop = ref true (* -no-float-const-prop *) and transparent_modules = ref false (* -trans-mod *) let dump_source = ref false (* -dsource *) let dump_parsetree = ref false (* -dparsetree *) diff --git a/utils/clflags.mli b/utils/clflags.mli index 876776acdb..02c378d23f 100644 --- a/utils/clflags.mli +++ b/utils/clflags.mli @@ -55,6 +55,7 @@ val dllpaths : string list ref val make_package : bool ref val for_package : string option ref val error_size : int ref +val float_const_prop : bool ref val transparent_modules : bool ref val dump_source : bool ref val dump_parsetree : bool ref diff --git a/utils/config.mlp b/utils/config.mlp index c83071da14..e4c0d322a8 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -52,8 +52,8 @@ let exec_magic_number = "Caml1999X011" and cmi_magic_number = "Caml1999I016" and cmo_magic_number = "Caml1999O009" and cma_magic_number = "Caml1999A010" -and cmx_magic_number = "Caml1999Y012" -and cmxa_magic_number = "Caml1999Z011" +and cmx_magic_number = "Caml1999Y013" +and cmxa_magic_number = "Caml1999Z012" and ast_impl_magic_number = "Caml1999M016" and ast_intf_magic_number = "Caml1999N015" and cmxs_magic_number = "Caml2007D001" |