aboutsummaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2018-01-24Merge pull request #1682 from bjorng/bjorn/optimize-unbuilt-stacktraceBjörn Gustavsson
Don't build a stacktrace if it's only passed to erlang:raise/3
2018-01-24Merge branch 'raimo/stdlib/gen-bench-fsm-vs-statem'Raimo Niskanen
* raimo/stdlib/gen-bench-fsm-vs-statem: Dodge divide by zero Introduce gen_statem vs gen_fsm benchmark Remove test suite warning
2018-01-23Merge branch 'maint'Hans Bolinder
* maint: kernel: Correct contracts and a bug in group_history stdlib: Correct contracts dialyzer: Optimize handling of a lot of warnings Conflicts: lib/kernel/src/erl_boot_server.erl
2018-01-23Merge branch 'hasse/kernel-stdlib/fix_contracts/OTP-14889' into maintHans Bolinder
* hasse/kernel-stdlib/fix_contracts/OTP-14889: kernel: Correct contracts and a bug in group_history stdlib: Correct contracts dialyzer: Optimize handling of a lot of warnings
2018-01-22kernel: Correct contracts and a bug in group_historyHans Bolinder
2018-01-22stdlib: Correct contractsHans Bolinder
2018-01-22dialyzer: Optimize handling of a lot of warningsHans Bolinder
If the number of warnings is huge the '--'/2 operator is slow.
2018-01-22Don't build a stacktrace if it's only passed to erlang:raise/3Björn Gustavsson
Consider the following function: function({function,Name,Arity,CLabel,Is0}, Lc0) -> try %% Optimize the code for the function. catch Class:Error:Stack -> io:format("Function: ~w/~w\n", [Name,Arity]), erlang:raise(Class, Error, Stack) end. The stacktrace is retrieved, but it is only used in the call to erlang:raise/3. There is no need to build a stacktrace in this function. We can avoid the building if we introduce an instruction called raw_raise/3 that works exactly like the erlang:raise/3 BIF except that its third argument must be a raw stacktrace.
2018-01-22Merge branch 'bjorn/erts/beam_debug'Björn Gustavsson
* bjorn/erts/beam_debug: beam_debug: Fix printing of f operand for catch_yf beam_debug: Print out strings for bs_match_string/bs_put_string beam_debug: Print the MFA in the i_make_fun/2 instruction
2018-01-22Merge branch 'maint'Björn Gustavsson
* maint: ErLLVM: Preserve precise BEAM tailcall semantics observer: Fix change accum Remove double calls observer: Don't crash for late messages observer: Optimize tv tab for many tables
2018-01-22Merge pull request #1688 from margnus1/hipe-llvm-notailBjörn Gustavsson
ErLLVM: Preserve precise BEAM tailcall semantics OTP-14886
2018-01-22Merge branch 'dgud/observer/opt-tv-tab/OTP-14856' into maintDan Gudmundsson
* dgud/observer/opt-tv-tab/OTP-14856: observer: Fix change accum Remove double calls observer: Don't crash for late messages observer: Optimize tv tab for many tables
2018-01-22Merge branch 'ingela/ssl/no-chacha-default-for-now/ERL-538/OTP-14882'Ingela Anderton Andin
* ingela/ssl/no-chacha-default-for-now/ERL-538/OTP-14882: ssl: Remove chacha ciphers form default for now
2018-01-22ssl: Remove chacha ciphers form default for nowIngela Anderton Andin
We have discovered interoperability problems, ERL-538, that we believe needs to be solved in crypto.
2018-01-22Merge branch 'ingela/ssl/remove-3des-from-default/OTP-14768'Ingela Anderton Andin
* ingela/ssl/remove-3des-from-default/OTP-14768: ssl: Remove 3DES cipher suites from default
2018-01-19ErLLVM: Preserve precise BEAM tailcall semanticsMagnus Lång
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.
2018-01-19Merge branch 'maint'Hans Bolinder
* maint: dialyzer: Fix bsl/2 bug
2018-01-19Merge branch 'hasse/dialyzer/fix_bsl' into maintHans Bolinder
* hasse/dialyzer/fix_bsl: dialyzer: Fix bsl/2 bug
2018-01-19ssl: Remove 3DES cipher suites from defaultIngela Anderton Andin
2018-01-19Dodge divide by zeroRaimo Niskanen
2018-01-19Update primary bootstrapBjörn Gustavsson
2018-01-19Merge pull request #1687 from bjorng/bjorn/compiler/generalize-bsm/OTP-14774Björn Gustavsson
sys_core_bsm: Rearrange arguments to enable delayed sub binary creation
2018-01-19Merge branch 'bjorn/erts/optimize-utf8/OTP-14774'Björn Gustavsson
* bjorn/erts/optimize-utf8/OTP-14774: Optimize matching of an 'utf8' segment in the binary syntax
2018-01-19Optimize matching of an 'utf8' segment in the binary syntaxBjörn Gustavsson
Matching out an 8-bit integer is faster than matching out an utf8-encoded code point, even if the value of the code point is less than 128. The reason is that matching out an 8-bit integer is specially optimized to avoid a function call. Do a similar optimization for matching out an utf8 segment.
2018-01-19beam_debug: Fix printing of f operand for catch_yfBjörn Gustavsson
2018-01-18beam_debug: Print out strings for bs_match_string/bs_put_stringBjörn Gustavsson
2018-01-18beam_debug: Print the MFA in the i_make_fun/2 instructionBjörn Gustavsson
2018-01-17Merge branch 'maint'Lukas Larsson
2018-01-17Merge branch 'fhunleth/binary_to_integer_chec/PR-1671/OTP-14879' into maintLukas Larsson
* fhunleth/binary_to_integer_chec/PR-1671/OTP-14879: Fail if ':' is passed to binary_to_integer/2
2018-01-17Merge pull request #1675 from sander/patch-1Ingela Andin
Fix typo in PKCS-7.asn1 OTP-14878
2018-01-17Merge branch 'maint'Hans Bolinder
* maint: stdlib: Garbage the shell's evaluator process more often
2018-01-17Merge branch 'hasse/stdlib/fix_shell_evaluator' into maintHans Bolinder
* hasse/stdlib/fix_shell_evaluator: stdlib: Garbage the shell's evaluator process more often
2018-01-17Merge branch 'maint'Björn Gustavsson
* maint: asn1_SUITE: Fix failure in xref_export_all/1
2018-01-17asn1_SUITE: Fix failure in xref_export_all/1Björn Gustavsson
The variable 'S' was used twice. If the test case failed because there were unused functions in asn1_SUITE, there would be an ugly badmatch exception instead of the intended nice error message.
2018-01-17Merge branch 'maint'Lukas Larsson
2018-01-17Merge pull request #1686 from angelhof/documentation_broken_link_fixLukas Larsson
Fix a broken erlang:trace/3 link in doc
2018-01-17Fix a broken erlang:trace/3 link in docKonstantinos Kallas
2018-01-16Introduce gen_statem vs gen_fsm benchmarkRaimo Niskanen
Conflicts: lib/stdlib/test/stdlib_bench_SUITE.erl
2018-01-16stdlib: Garbage the shell's evaluator process more oftenHans Bolinder
A minor fix. If the Erlang shell saves no results (history(0) or results(0)), the evaluator process now garbage collects itself. This means that any huge binaries created by the evaluation are reclaimed faster than before.
2018-01-16Merge branch 'sverker/build-proc-bin'Sverker Eriksson
2018-01-16sys_core_bsm: Rearrange arguments to enable delayed sub binary creationBjörn Gustavsson
Argument order can prevent the delayed sub binary creation. Here is an example directly from the Efficiency Guide: non_opt_eq([H|T1], <<H,T2/binary>>) -> non_opt_eq(T1, T2); non_opt_eq([_|_], <<_,_/binary>>) -> false; non_opt_eq([], <<>>) -> true. When compiling with the bin_opt_info option, there will be a suggestion to change the argument order. It turns out sys_core_bsm can itself change the order, not the order of the arguments of themselves, but the order in which the arguments are matched. Here is how it can be rewritten in pseudo Core Erlang code: non_opt_eq(Arg1, Arg2) -> case < Arg2,Arg1 > of < <<H1,T2/binary>>, [H2|T1] > when H1 =:= H2 -> non_opt_eq(T1, T2); < <<_,T2/binary>ffff>, [_|T1] > -> false; < <<>>, [] >> -> true end. When rewritten like this, the bs_start_match2 instruction will be the first instruction in the function and it will be possible to store the match context in the same register as the binary ({x,1} in this case) and to delay the creation of sub binaries. The switching of matching order also enables many other simplifications in sys_core_bsm, since there is no longer any need to pass the position of the pattern as an argument. We will update the Efficiency Guide in a separate branch before the release of OTP 21.
2018-01-16Remove test suite warningRaimo Niskanen
2018-01-16Merge branch 'ingela/ssl/remove-rsa-keyexchange-from-default/OTP-14769'Ingela Anderton Andin
* ingela/ssl/remove-rsa-keyexchange-from-default/OTP-14769: ssl: RSA key exchange is considered broken do not support by default
2018-01-16ssl: RSA key exchange is considered broken do not support by defaultIngela Anderton Andin
2018-01-16Merge branch 'hasse/stdlib/limit_gen_bench'Hans Bolinder
* hasse/stdlib/limit_gen_bench: stdlib: Spend less time in gen_server benchmarks
2018-01-16Merge branch 'maint'Hans Bolinder
* maint: stdlib: Handle Unicode when formatting stacktraces
2018-01-16Merge branch 'hasse/stdlib/unicode_stacktrace/OTP-14847/ERL-553' into maintHans Bolinder
* hasse/stdlib/unicode_stacktrace/OTP-14847/ERL-553: stdlib: Handle Unicode when formatting stacktraces
2018-01-15Merge branch 'maint'Sverker Eriksson
2018-01-15Merge branch 'sverker/cuddle-big-bin-tests' into maintSverker Eriksson
2018-01-15Merge branch 'sverker/term_to_binary-spec/ERL-548/OTP-14876' into maintSverker Eriksson