aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_ssa_type.erl
AgeCommit message (Expand)Author
2019-06-10beam_ssa_type: Fix incorrect bitstring unit determinationJohn Högberg
2019-05-29Merge branch 'bjorn/compiler/fix-unsafe-type-inference/OTP-15838' into maint-22Erlang/OTP
2019-05-29Merge branch 'john/compiler/list_append_type/OTP-15841' into maint-22Erlang/OTP
2019-05-27compiler: Fix broken type for erlang:'++'/2John Högberg
2019-05-24Fix unsafe negative type inferenceBjörn Gustavsson
2019-05-20Fix non-terminating compilationBjörn Gustavsson
2019-03-26compiler: Fully disable no_return optimizations in try blocksJohn Högberg
2019-02-27beam_validator: Use literals as keys in container (tuple) elementsJohn 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-21beam_ssa_type: Optimize setelement with partially constant argumentsBjö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-19Do the destructive setelement optimization in SSABjörn Gustavsson
2019-02-11beam_ssa_type: Propagate the 'none' type from callsBjörn Gustavsson
2019-02-05beam_ssa_type: Track the types of tuple elementsJohn Högberg
2019-02-04beam_ssa_type: Infer types based on the result of #b_switch{}John Högberg
2019-02-01beam_ssa_type: Optimize calculation of variables that are only used onceBjörn Gustavsson
2019-01-28Fix crash in beam_ssa_typeBjörn Gustavsson
2019-01-24compiler: Introduce module-level type optimizationJohn 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-18beam_ssa_type: Simplify is_singleton_type/1Björn Gustavsson
2019-01-17beam_ssa_type: Eliminate redundant 'succeeded' instructionsBjörn Gustavsson
2019-01-16Merge pull request #2091 from bjorng/bjorn/compiler/beam_ssa_typeBjörn Gustavsson
2019-01-14Introduce subtraction of typesBjörn Gustavsson
2019-01-14Infer types from more BIFsBjörn Gustavsson
2019-01-11beam_ssa_type: Properly eliminate 'succeeded' instructionsBjörn Gustavsson
2018-11-15beam_ssa_type: Speed up type analysis for huge functionsBjörn Gustavsson
2018-09-28Rewrite BSM optimizations in the new SSA-based intermediate formatJohn Högberg
2018-09-20Consistently use #b_var{} instead of var_name()John Högberg
2018-09-17beam_ssa_type: Substitute variables that evaluate to a constantBjörn Gustavsson
2018-09-17beam_ssa_type: Infer types for more instructions and BIFsBjörn Gustavsson
2018-09-17beam_ssa_type: Remove clause in arith_op_types/2 that can't matchBjörn Gustavsson
2018-09-12Use beam_ssa:normalize/1 in beam_ssa_typeBjörn Gustavsson
2018-09-12Optimize 'and' and 'or' instructionsBjörn Gustavsson
2018-09-12beam_ssa_type: Remove repeated clauses in meet/2Björn Gustavsson
2018-08-24Introduce a new SSA-based intermediate formatBjörn Gustavsson
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 05:19:01 +0000