diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-15 16:43:46 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-11-15 16:43:46 +0100 |
| commit | e7f339e6bdb34408babcbe1745c8c0ad6744d125 (patch) | |
| tree | b7b712eb9216817e8735480f3eb502ed702908d7 /Changes | |
| parent | 50648ed2b741c21e64dcc3cb82b926f0b320338d (diff) | |
| download | ocaml-e7f339e6bdb34408babcbe1745c8c0ad6744d125.tar.gz | |
Improve speed of classify_float
As suggested in the discussion of GPR#272:
- Do not go through fpclassify() (speedup: 2 to 3)
- Add 64-bit variant of the code (additional speedup: 10%-20%)
Diffstat (limited to 'Changes')
| -rw-r--r-- | Changes | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -149,6 +149,8 @@ Standard library: - GPR#265: new implementation of Queue avoiding Obj.magic (Jérémie Dimino) - GPR#272: Switch classify_float to [@@unboxed] (Alain Frisch) +- Improve speed of classify_float by not going through fpclassify() + (Alain Frisch, Xavier Leroy) - GPR#277: Switch the following externals to [@@unboxed]: * {Nativeint,Int32,Int64}.{of,to}_float * Int{32,64}.float_of_bits |