aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/src/beam_ssa_type.erl
AgeCommit message (Expand)Author
2019-08-07beam_ssa_type: Remove unreachable codeJohn Högberg
2019-08-06compiler: Make 'succeeded' optimization more generalJohn Högberg
2019-08-06compiler: Simplify call type optimizationJohn Högberg
2019-07-05beam_ssa_type: Infer types on switch failureJohn Högberg
2019-07-05beam_ssa_type: Subtract more types inferred from '=:='/2John Högberg
2019-07-05compiler: Introduce union typesJohn Högberg
2019-07-05compiler: Explain and rename ?BADARG_BLOCKJohn Högberg
2019-07-05beam_ssa_type: Skip impossible branchesJohn Högberg
2019-07-05beam_ssa_type: Fix type inference on BIFs without a success checkJohn Högberg
2019-06-18Merge branch 'john/compiler/fun-environment-types/OTP-15896'John Högberg
2019-06-17compiler: Propagate types of free variablesJohn Högberg
2019-06-14compiler: Add common method for literal -> type conversionJohn Högberg
2019-06-12beam_validator: Replace old type representation with beam_typesJohn Högberg
2019-06-12compiler: Move "known functions" to beam_typesJohn Högberg
2019-06-12compiler: Break out SSA/beam type definitions into a separate moduleJohn Högberg
2019-06-11beam_ssa_type: Fix meet/join inconsistencyJohn Högberg
2019-06-11beam_ssa_type: Fix 'band' type determinationJohn Högberg
2019-06-11beam_validator: Use integers as tuple element keysJohn Högberg
2019-06-11Merge branch 'maint'John Högberg
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-28Merge branch 'maint'John Högberg
2019-05-28Merge branch 'john/compiler/list_append_type/OTP-15841' into maintJohn Högberg
2019-05-27Merge pull request #2248 from bjorng/bjorn/compiler/move-core-opts-to-ssaBjörn Gustavsson
2019-05-27Merge branch 'bjorn/compiler/fix-unsafe-type-inference/OTP-15838' into maintBjörn Gustavsson
2019-05-27compiler: Fix broken type for erlang:'++'/2John Högberg
2019-05-24Fix unsafe negative type inferenceBjörn Gustavsson
2019-05-23Optimize is_function/{1,2} callsBjörn Gustavsson
2019-05-23Optimize expression comparing a boolean to 'false'Björn Gustavsson
2019-05-23Implement '==' optimization in beam_ssa_typeBjö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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 03:26:02 +0000