otp.git/lib/hipe, branch KennethL-patch-1

ErLLVM: Preserve precise BEAM tailcall semantics

2018-01-19T15:05:52+00:00

The BEAM compiler chooses not to perform tailcall optimisations for some
calls in tail position, for example to some built-in functions. However,
when the ErLLVM HiPE backend is used, LLVM may choose to perform
tailcall optimisation on these calls, breaking the expected semantics.

To preserve the precise semantics exhibited by BEAM, the 'notail'
marker, present in LLVM since version 3.8, is added to call instructions
that BEAM has not turned into tail calls, which inhibits LLVM from
performing tail-call optimisation in turn.

Merge branch 'hasse/dialyzer/fix_bsl' into maint

2018-01-19T11:44:28+00:00

* hasse/dialyzer/fix_bsl:
  dialyzer: Fix bsl/2 bug

Merge branch 'sverker/cuddle-big-bin-tests' into maint

2018-01-15T19:44:34+00:00

dialyzer: Fix bsl/2 bug

2018-01-12T14:49:35+00:00

Also modified erl_bif_types:infinity_bsl() when called with zero as
first argument. As of writing this, erlang:'bsl'/2 is modified on the
master branch to never fail if called with a huge second argument.

dialyzer: Correct handling of erlang:abs/1

2018-01-08T11:45:55+00:00

See also https://bugs.erlang.org/browse/ERL-551.

hipe: Avoid out-of-memory crash for bs_SUITE:bs_construct

2018-01-05T13:37:37+00:00

Fix bug in hipe primop bs_put_utf8

2018-01-03T15:43:31+00:00

by preventing it from doing GC, which generated code relies on.

Update release notes

2017-12-08T09:57:50+00:00

Update version numbers

2017-12-08T09:53:22+00:00

dialyzer: Extend the map implementation's handling of ?unit

2017-11-22T14:07:46+00:00

The Maps implementation handles ?unit in more cases.

Exactly when t_is_none_or_unit() is to be called is not clear to me.
The added cases are about a map type being ?unit, but the key or the
value of an association can also be ?unit, but that is not always
checked.