aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler
AgeCommit message (Expand)Author
2019-01-28beam_validator: Add explicit assertions for fragile termsJohn Högberg
2019-01-28beam_validator: Refactor type managementJohn Högberg
2019-01-25Merge branch 'john/compiler/trim-ignore-annos'John Högberg
2019-01-25Merge branch 'john/compiler/misc-validator-fixes/ERL-832'John Högberg
2019-01-25Merge pull request #2106 from bjorng/bjorn/compiler/fewer-movesBjörn Gustavsson
2019-01-24Make the beam_validator smarter again, againJohn Högberg
2019-01-24beam_trim: Ignore type annotationsJohn Högberg
2019-01-24Introduce optimizations of tail phisBjörn Gustavsson
2019-01-24Merge pull request #2100 from jhogberg/john/compiler/module-type-optimizationJohn Högberg
2019-01-24compiler: Introduce module-level type optimizationJohn Högberg
2019-01-24beam_ssa_opt: Add a scaffold for module-level optimizationsJohn Högberg
2019-01-24Reduce redundant moves and register shufflingBjörn Gustavsson
2019-01-23beam_ssa_pre_codegen: Use lists:splitwith/2 for separating phi nodesBjörn Gustavsson
2019-01-21beam_ssa_opt: Don't ruin arguments of bs_match/skipJohn Högberg
2019-01-21beam_ssa_type: Fix type subtraction in #b_switch{}John Högberg
2019-01-21beam_ssa_type: Remove wait_timeout instructions with a timeout of 0John Högberg
2019-01-21beam_validator: Validate types on local function callsJohn Högberg
2019-01-21beam_validator: Add a stable interface for type annotationsJohn Högberg
2019-01-21beam_validator: Handle aliased registers during type inferenceJohn Högberg
2019-01-18Merge branch 'bjorn/compiler/misc'Björn Gustavsson
2019-01-18Merge branch 'bjorn/compiler/fix-inlined-funs'Björn Gustavsson
2019-01-18Merge branch 'bjorn/compiler/beam_validator/ERL-832'Björn Gustavsson
2019-01-18beam_ssa_type: Simplify is_singleton_type/1Björn Gustavsson
2019-01-18beam_ssa_opt: Run ssa_opt_tuple_size earlyBjörn Gustavsson
2019-01-18beam_ssa_codegen: Remove forgotten and unreachable clauseBjörn Gustavsson
2019-01-18beam_ssa_opt: Run the type optimization pass twiceBjörn Gustavsson
2019-01-17Make the beam_validator smarter (again)Björn Gustavsson
2019-01-17sys_core_inline: Kill *all* fun annotations when inliningBjörn Gustavsson
2019-01-17beam_ssa_type: Eliminate redundant 'succeeded' instructionsBjörn Gustavsson
2019-01-16Move optimizations of bs_put* instruction to beam_ssa_optBjörn Gustavsson
2019-01-16Refactor string operandsBjörn Gustavsson
2019-01-16Move coalescing of bs_skip to beam_ssa_optBjörn Gustavsson
2019-01-16Merge branch 'maint'Björn Gustavsson
2019-01-16Merge branch 'bjorn/compiler/beam_type/ERL_829/OTP-15518' into maintBjörn Gustavsson
2019-01-16Merge branch 'maint'Rickard Green
2019-01-16Merge branch 'maint-21' into maintRickard Green
2019-01-16Merge pull request #2091 from bjorng/bjorn/compiler/beam_ssa_typeBjörn Gustavsson
2019-01-15Prepare releaseErlang/OTP
2019-01-14beam_type: Eliminate compiler crash when arithmetic expression failsBjörn Gustavsson
2019-01-14Introduce subtraction of typesBjörn Gustavsson
2019-01-14Infer types from more BIFsBjörn Gustavsson
2019-01-11beam_ssa_codegen: Correct label generation for 'or'Björn Gustavsson
2019-01-11beam_ssa_pre_codegen: Don't use z registers for 'xor' and 'is_record'Björn Gustavsson
2019-01-11beam_ssa_pre_codegen: Correct short-lived optimizationBjörn Gustavsson
2019-01-11beam_ssa_type: Properly eliminate 'succeeded' instructionsBjörn Gustavsson
2019-01-11erl_bif: Mark is_map/1 as safeBjörn Gustavsson
2019-01-11beam_validator: Infer types from '=:='Björn Gustavsson
2019-01-07Merge branch 'maint'Björn Gustavsson
2019-01-07Merge branch 'bjorn/compiler/interim-tuple-bug/OTP-15501/ERL-807' into maintBjörn Gustavsson
2019-01-07Remove unsafe optimization for delaying creation of stackframeBjörn Gustavsson