This document describes the changes made to HiPE.
Compiler warnings were eliminated.
Own Id: OTP-8855
The HiPE compiler could crash when compiling certain modules (the bug has been latent, and been exposed by new optimizations introduced in the BEAM compiler in R14A). (Thanks to Mikael Pettersson.)
Own Id: OTP-8800
hipe:load/1 was broken. (Thanks to Paul Guyot.)
Own Id: OTP-8802
Own Id: OTP-8623
Various changes to dialyzer-related files for R14.
- Dialyzer properly supports the new attribute -export_type and checks that remote types only refer to exported types. A warning is produced if some files/applications refer to types defined in modules which are neither in the PLT nor in the analyzed applications.
- Support for detecting data races involving whereis/1 and unregister/1.
- More precise identification of the reason(s) why a record construction violates the types declared for its fields.
- Fixed bug in the handling of the 'or' guard.
- Better handling of the erlang:element/2 BIF.
- Complete handling of Erlang BIFs.
Own Id: OTP-8699
Note: The API for the
*** POTENTIAL INCOMPATIBILITY ***
Own Id: OTP-8706
The documentation is now possible to build in an open source environment after a number of bugs are fixed and some features are added in the documentation build process.
- The arity calculation is updated.
- The module prefix used in the function names for bif's are removed in the generated links so the links will look like "http://www.erlang.org/doc/man/erlang.html#append_element-2" instead of "http://www.erlang.org/doc/man/erlang.html#erlang:append_element-2".
- Enhanced the menu positioning in the html documentation when a new page is loaded.
- A number of corrections in the generation of man pages (thanks to Sergei Golovan)
- The legal notice is taken from the xml book file so OTP's build process can be used for non OTP applications.
Own Id: OTP-8343
The documentation is now built with open source tools (xsltproc and fop) that exists on most platforms. One visible change is that the frames are removed.
Own Id: OTP-8201
Misc updates.
Own Id: OTP-8301
Various small bugs (one involving the handling of large binaries) were corrected and some additions to its functionality and/or code cleanups were done.
Own Id: OTP-8189
Miscellanous updates.
Own Id: OTP-8038
Minor updates and bug fixes.
Own Id: OTP-7958
Miscellaneous updates.
Own Id: OTP-7877
The
Own Id: OTP-7631
Minor updates.
Own Id: OTP-7522
Minor changes.
Own Id: OTP-7388
A fix for an #include problem which caused the FP exception test to fail unnecessarily on debian/glibc-2.7/x86 systems.
Added SIGFPE loop detection to the FP exception test. This prevents the test from looping indefinitely, which could happen when the CPU is supported (so we can enable FP exceptions on it) but the OS isn't (so we can't write a proper SIGFPE handler). x86 on an unsupported OS is known to have had this problem.
Own Id: OTP-7254
HiPE now also supports little-endian ARM processors.
Own Id: OTP-7255
HIPE: Corrected the choice of interface to the send/3 and setnode/3 BIFs for native-compiled code. Using the incorrect interface could, in unusual circumstances, lead to random runtime errors.
Own Id: OTP-7067
The HiPE compiler's SPARC backend has been rewritten, improving its correctness and long-term maintainability.
Own Id: OTP-7133
Minor Makefile changes.
Own Id: OTP-6689
Miscellanous updates.
Own Id: OTP-6738
Miscellanous improvements.
Own Id: OTP-6577
Dialyzer could fail to analyze certain beam files that used try/catch.
Own Id: OTP-6449 Aux Id: seq10563
HiPE runtime system:
* added notes about supported systems to README
* support 32-bit x86 on FreeBSD
* autoenable HiPE on FreeBSD (32-bit x86) and Solaris (64-bit x86)
* updated x86 runtime system to support glibc-2.5
* work around probable gcc-4.1.1 bug affecting the x86 runtime system
HiPE compiler:
* improved performance of integer multiplications on all platforms
* corrected a code optimisation error in R11B-2 that broke some bsl/bsr operations on all platforms
* corrected a type error in the ARM backend which could cause the compiler to crash
* corrected an error in the SPARC backend's naive register allocator which could throw the compiler into an infinite loop
Own Id: OTP-6423
Support for native code on Solaris 10/AMD64.
Support for native code on FreeBSD/AMD64.
Native code now handles external funs (
Own Id: OTP-6305
Improved compilation of receives for the SMP runtime system.
Improved code quality in HiPE compiler on ARM.
Fix bug in handling of re-raised exceptions in try-catch.
(HiPE loader) When native code is incompatible with the current runtime system, fall back to loading the BEAM code.
Own Id: OTP-6127