otp.git/lib/hipe, branch OTP-17.0

Update release notes

2014-04-07T17:52:48+00:00

Merge branch 'yiannist/erllvm-fixes'

2014-04-01T12:51:25+00:00

* yiannist/erllvm-fixes:
  Fix frame size adjustment of stack descriptors
  Fix counting of arguments of closures
  Check for required LLVM version or issue error

Merge branch 'kostis/hipe-test-fix'

2014-03-31T14:02:30+00:00

* kostis/hipe-test-fix:
  Add support for testing the LLVM backend too
  Ensure generated modules are properly included in the Emakefile

Fix frame size adjustment of stack descriptors

2014-03-30T20:21:12+00:00

In case of function calls with arguments that are passed to the stack,
the frame size of corresponding stack descriptors needs to be reduced by
the number of stack arguments. This commit fixes a bug in this
adjustment which was caused by an incorrect check.

Fix counting of arguments of closures

2014-03-30T20:21:12+00:00

Do not rely on MFA name for the arity of functions, since closures have
an extra argument. Instead, just use the length of the arguments list.

Check for required LLVM version or issue error

2014-03-30T20:21:06+00:00

This checks that a required LLVM version (i.e. 3.4 or greater) appears in $PATH
when 'to_llvm' flag is used; in case of failure, abort compilation with an
error.

Add support for the compilation of the is_map/1 guard to native code

2014-03-28T16:27:32+00:00

Namely, extend the HiPE tagging scheme info, properly handle the translation
of the (is_)map type test to Icode and RTL and support handling of the map()
type in the type system.

While at it, also performed some clean up of things that needed small fixes.

Add 'map' to the set of icode_type_test()s

2014-03-28T16:22:09+00:00

Support the translation of the is_map BEAM instruction to Icode

2014-03-28T16:08:15+00:00

Merge branch 'aronisstav/hipe/opaque_fix'

2014-03-26T07:31:27+00:00

* aronisstav/hipe/opaque_fix:
  Don't 'opaque-decorate' a success typing using an incompatible spec