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 /testsuite/tests/basic/constprop.reference | |
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 'testsuite/tests/basic/constprop.reference')
-rw-r--r-- | testsuite/tests/basic/constprop.reference | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/basic/constprop.reference b/testsuite/tests/basic/constprop.reference new file mode 100644 index 0000000000..59590530ae --- /dev/null +++ b/testsuite/tests/basic/constprop.reference @@ -0,0 +1,10 @@ +booleans: passed +integers: passed +floats: passed +32-bit integers: passed +native integers: passed +64-bit integers: passed +integer conversions: passed +32-bit integer conversions: passed +native integer conversions: passed +64-bit integer conversions: passed |