aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src
AgeCommit message (Expand)Author
2019-02-27beam_validator: Refactor register initializationJohn Högberg
2019-02-27beam_validator: Refactor stack allocationJohn Högberg
2019-02-26beam_validator: Handle argument/return types for more functionsJohn Högberg
2019-02-26beam_validator: Don't forget last element when using put_tupleJohn Högberg
2019-02-26beam_jump: Fail label of select_val is unsafe for move eliminationJohn Högberg
2019-02-25cerl_sets: Use maps:filter/2 in filter/2John Högberg
2019-02-22Merge branch 'bjorn/compiler/use-lists-types'Björn Gustavsson
2019-02-21beam_ssa_type: Use types from some 'lists' functionsBjörn Gustavsson
2019-02-21sys_core_fold: Remove an unsafe optimizationBjörn Gustavsson
2019-02-21beam_ssa_type: Optimize setelement with partially constant argumentsBjörn Gustavsson
2019-02-21beam_ssa_opt: Do local CSE of get_tuple_element instructionsBjörn Gustavsson
2019-02-21Merge branch 'john/compiler/more-validator-cuddling'John Högberg
2019-02-21beam_validator: Refactor call argument validationJohn Högberg
2019-02-21beam_validator: Refactor liveness/stack initialization checksJohn Högberg
2019-02-21beam_validator: Refactor try/catch handlingJohn Högberg
2019-02-20beam_validator: Remember definitions on assignmentJohn Högberg
2019-02-20beam_validator: Refactor stack trimmingJohn Högberg
2019-02-20beam_validator: Track definitions of all termsJohn Högberg
2019-02-20beam_validator: Remove special handling of map_get/is_map_keyJohn Högberg
2019-02-20beam_validator: Refactor select_tuple_arityJohn Högberg
2019-02-20beam_validator: Treat select_val as a series of '=:='John Högberg
2019-02-20beam_validator: Treat all bs_get instructions as extractionsJohn Högberg
2019-02-20beam_validator: Separate BIF/call types more clearlyJohn Högberg
2019-02-20beam_validator: Assert that no tuple elements are out of boundsJohn Högberg
2019-02-20beam_validator: Get rid of the last uses of set_aliased_typeJohn Högberg
2019-02-20beam_validator: Minor cosmetic refactoringJohn Högberg
2019-02-20erl_bifs: Add a note to the comment for is_pure/3Björn Gustavsson
2019-02-20Correct confusing comment in beam_ssa_typeBjörn Gustavsson
2019-02-20Improve optimization of switchesBjörn Gustavsson
2019-02-20Evaluate pure BIFs with literal argumentsBjörn Gustavsson
2019-02-20Refactor optimization of Bool =:= trueBjörn Gustavsson
2019-02-20Always make andalso/orelse right-associativeBjörn Gustavsson
2019-02-19Do the destructive setelement optimization in SSABjörn Gustavsson
2019-02-19Merge branch 'john/compiler/cuddle-validator'John Högberg
2019-02-18compiler: Allow disabling SSA passes in -compile() directivesJohn Högberg
2019-02-18beam_validator: Infer types from result of all type test BIFsJohn Högberg
2019-02-18beam_validator: Infer BIF argument typesJohn Högberg
2019-02-15Remove attempt to handle all bs_match_string instructionsBjörn Gustavsson
2019-02-15Merge branch 'bjorn/compiler/beam_ssa_opt'Björn Gustavsson
2019-02-15Merge branch 'maint'Björn Gustavsson
2019-02-15Make sure that beam_ssa_opt optimizes all functionsBjörn Gustavsson
2019-02-13Make dialyzer faster for left-associative andalso/orelse expressionsBjörn Gustavsson
2019-02-11beam_jump: Improve elimination of redundant movesBjörn Gustavsson
2019-02-11Merge pull request #2134 from bjorng/bjorn/compiler/propagate-noneBjörn Gustavsson
2019-02-11beam_ssa_type: Propagate the 'none' type from callsBjörn Gustavsson
2019-02-08beam_validator: type_test in BIFs that only fail on invalid typesJohn Högberg
2019-02-08beam_validator: Simplify complex branchesJohn Högberg
2019-02-08beam_validator: Explain why verify_get_map wipes dst registersJohn Högberg
2019-02-08beam_validator: fconv means we have a numberJohn Högberg
2019-02-08beam_validator: Simplify update_ne/eq_typesJohn Högberg