index
:
otp.git
HansN-patch-1
KennethL-patch-1
bjorn/contributing
bjorn/contributing-1
dgud-string-depr
gcc-5-pic-cmpxchg8b-quickfix
gh-pages
ingela/master/dtls/test-cuddle
maint
maint-17
maint-18
maint-19
maint-20
maint-21
maint-22
maint-r13
maint-r14
maint-r14b03
maint-r15
maint-r16
maint-r16b02
master
meta
sverker-ets-patch-1
Mirror of Erlang/OTP repository.
OTP Team
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lib
/
compiler
/
src
/
beam_ssa_type.erl
Age
Commit message (
Expand
)
Author
2019-06-18
Merge branch 'john/compiler/fun-environment-types/OTP-15896'
John Högberg
2019-06-17
compiler: Propagate types of free variables
John Högberg
2019-06-14
compiler: Add common method for literal -> type conversion
John Högberg
2019-06-12
beam_validator: Replace old type representation with beam_types
John Högberg
2019-06-12
compiler: Move "known functions" to beam_types
John Högberg
2019-06-12
compiler: Break out SSA/beam type definitions into a separate module
John Högberg
2019-06-11
beam_ssa_type: Fix meet/join inconsistency
John Högberg
2019-06-11
beam_ssa_type: Fix 'band' type determination
John Högberg
2019-06-11
beam_validator: Use integers as tuple element keys
John Högberg
2019-06-11
Merge branch 'maint'
John Högberg
2019-06-10
beam_ssa_type: Fix incorrect bitstring unit determination
John Högberg
2019-05-29
Merge branch 'bjorn/compiler/fix-unsafe-type-inference/OTP-15838' into maint-22
Erlang/OTP
2019-05-29
Merge branch 'john/compiler/list_append_type/OTP-15841' into maint-22
Erlang/OTP
2019-05-28
Merge branch 'maint'
John Högberg
2019-05-28
Merge branch 'john/compiler/list_append_type/OTP-15841' into maint
John Högberg
2019-05-27
Merge pull request #2248 from bjorng/bjorn/compiler/move-core-opts-to-ssa
Björn Gustavsson
2019-05-27
Merge branch 'bjorn/compiler/fix-unsafe-type-inference/OTP-15838' into maint
Björn Gustavsson
2019-05-27
compiler: Fix broken type for erlang:'++'/2
John Högberg
2019-05-24
Fix unsafe negative type inference
Björn Gustavsson
2019-05-23
Optimize is_function/{1,2} calls
Björn Gustavsson
2019-05-23
Optimize expression comparing a boolean to 'false'
Björn Gustavsson
2019-05-23
Implement '==' optimization in beam_ssa_type
Björn Gustavsson
2019-05-20
Fix non-terminating compilation
Björn Gustavsson
2019-03-26
compiler: Fully disable no_return optimizations in try blocks
John Högberg
2019-02-27
beam_validator: Use literals as keys in container (tuple) elements
John Högberg
2019-02-22
Merge branch 'bjorn/compiler/use-lists-types'
Björn Gustavsson
2019-02-21
beam_ssa_type: Use types from some 'lists' functions
Björn Gustavsson
2019-02-21
beam_ssa_type: Optimize setelement with partially constant arguments
Björn Gustavsson
2019-02-20
Correct confusing comment in beam_ssa_type
Björn Gustavsson
2019-02-20
Improve optimization of switches
Björn Gustavsson
2019-02-20
Evaluate pure BIFs with literal arguments
Björn Gustavsson
2019-02-20
Refactor optimization of Bool =:= true
Björn Gustavsson
2019-02-19
Do the destructive setelement optimization in SSA
Björn Gustavsson
2019-02-11
beam_ssa_type: Propagate the 'none' type from calls
Björn Gustavsson
2019-02-05
beam_ssa_type: Track the types of tuple elements
John Högberg
2019-02-04
beam_ssa_type: Infer types based on the result of #b_switch{}
John Högberg
2019-02-01
beam_ssa_type: Optimize calculation of variables that are only used once
Björn Gustavsson
2019-01-28
Fix crash in beam_ssa_type
Björn Gustavsson
2019-01-24
compiler: Introduce module-level type optimization
John Högberg
2019-01-21
beam_ssa_type: Fix type subtraction in #b_switch{}
John Högberg
2019-01-21
beam_ssa_type: Remove wait_timeout instructions with a timeout of 0
John Högberg
2019-01-18
beam_ssa_type: Simplify is_singleton_type/1
Björn Gustavsson
2019-01-17
beam_ssa_type: Eliminate redundant 'succeeded' instructions
Björn Gustavsson
2019-01-16
Merge pull request #2091 from bjorng/bjorn/compiler/beam_ssa_type
Björn Gustavsson
2019-01-14
Introduce subtraction of types
Björn Gustavsson
2019-01-14
Infer types from more BIFs
Björn Gustavsson
2019-01-11
beam_ssa_type: Properly eliminate 'succeeded' instructions
Björn Gustavsson
2018-11-15
beam_ssa_type: Speed up type analysis for huge functions
Björn Gustavsson
2018-09-28
Rewrite BSM optimizations in the new SSA-based intermediate format
John Högberg
2018-09-20
Consistently use #b_var{} instead of var_name()
John Högberg
[next]