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

Prepare release

2014-06-19T11:47:21+00:00

Merge branch 'egil/fix-doc-links' into maint

2014-06-18T14:01:58+00:00

* egil/fix-doc-links:
  doc: Fix broken links in Installation Guide
  doc: Fix broken links

doc: Fix broken links

2014-06-17T14:26:50+00:00

[dialyzer] Fix handling of literal records

2014-06-17T10:32:51+00:00

This ticket is about records in Erlang code, and when to check the
fields against the (optional) types given when defining records.

Dialyzer operates on the Erlang Core format, where there are no trace
of records. The fix implemented is a Real Hack:

Given the new option 'dialyzer' erl_expand_records marks the line
number of records in a way that is undone by v3_core, which in turn
inserts annotations that can be recognized by Dialyzer.

Merge branch 'egil/fix-maps-pretty-layout/OTP-11947' into maint

2014-05-26T09:04:45+00:00

* egil/fix-maps-pretty-layout/OTP-11947:
  dialyzer: Add Maps type mismatch test
  hipe,compiler: Fix Map literals pretty printing

hipe: fix a bug concerning typed record fields

2014-05-23T07:24:17+00:00

hipe: fix a bug concerning typed record fields

2014-05-13T06:32:28+00:00

When checking typed record fields Dialyzer failed to handle
types containing remote types.

Thanks to Erik Søe Sørensen for reporting this bug.

Merge branch 'ks/hipe-map-support/OTP-11900' into maint

2014-05-09T15:59:12+00:00

* ks/hipe-map-support/OTP-11900:
  Add five new test files for maps in the HiPE test suite
  Copy the tests for maps from the compiler application to a new HiPE test suite
  Translate the put_map_assoc and put_map_exact BEAM instructions to ICode
  Translate the has_map_fields and get_map_elements BEAM instructions to ICode

Add five new test files for maps in the HiPE test suite

2014-04-29T10:14:19+00:00

Copy the tests for maps from the compiler application to a new HiPE test suite

2014-04-29T09:40:29+00:00

Change the maps_guard_fun test to accept the HiPE trace format.