aboutsummaryrefslogtreecommitdiffstats
path: root/scripts/run-dialyzer
diff options
context:
space:
mode:
authorJosé Valim <[email protected]>2016-06-01 18:48:23 +0200
committerJosé Valim <[email protected]>2017-07-06 17:07:24 +0200
commitd4a27e98cb1c11340b296004d784b15f80d015e9 (patch)
tree3a755e3ab90d8368ac2c653567dddfa55efc421e /scripts/run-dialyzer
parentf52748254f17ba42e344798e8c787a1e3361fa33 (diff)
downloadotp-d4a27e98cb1c11340b296004d784b15f80d015e9.tar.gz
otp-d4a27e98cb1c11340b296004d784b15f80d015e9.tar.bz2
otp-d4a27e98cb1c11340b296004d784b15f80d015e9.zip
Introduce a new core pass called sys_core_alias
The goal of this pass is to find values that are built from patterns and generate aliases for those values to remove pressure from the GC. For example, this code: example({ok, Val}) -> {ok, Val}. shall become: example({ok, Val} = Tuple) -> Tuple. Currently this pass aliases tuple and cons nodes made of literals, variables and other cons. The tuple/cons may appear anywhere in the pattern and it will be aliased if used later on. Notice a tuple/cons made only of literals is not aliased as it may be part of the literal pool.
Diffstat (limited to 'scripts/run-dialyzer')
0 files changed, 0 insertions, 0 deletions