diff options
author | John Högberg <[email protected]> | 2019-01-21 07:25:47 +0100 |
---|---|---|
committer | John Högberg <[email protected]> | 2019-01-24 08:37:37 +0100 |
commit | 294d66a295f6c2101fe3c2da630979ad4e736c08 (patch) | |
tree | 7a74227c185c69a976bd90b521eddd47d01db5d3 /lib/compiler/test/compile_SUITE.erl | |
parent | 1c73a313e72909d054f55e321c1929d2be55ff11 (diff) | |
download | otp-294d66a295f6c2101fe3c2da630979ad4e736c08.tar.gz otp-294d66a295f6c2101fe3c2da630979ad4e736c08.tar.bz2 otp-294d66a295f6c2101fe3c2da630979ad4e736c08.zip |
compiler: Introduce module-level type optimization
This commit lets the type optimization pass work across functions,
tracking return and argument types to eliminate redundant tests.
Diffstat (limited to 'lib/compiler/test/compile_SUITE.erl')
-rw-r--r-- | lib/compiler/test/compile_SUITE.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/compiler/test/compile_SUITE.erl b/lib/compiler/test/compile_SUITE.erl index c17d63cd60..7452466666 100644 --- a/lib/compiler/test/compile_SUITE.erl +++ b/lib/compiler/test/compile_SUITE.erl @@ -1249,7 +1249,8 @@ do_opt_guards_fun([]) -> []. is_exception(guard_SUITE, {'-complex_not/1-fun-4-',1}) -> true; is_exception(guard_SUITE, {'-complex_not/1-fun-5-',1}) -> true; is_exception(guard_SUITE, {bad_guards,1}) -> true; -is_exception(guard_SUITE, {nested_not_2b,4}) -> true; +is_exception(guard_SUITE, {nested_not_2b,6}) -> true; %% w/o type optimization +is_exception(guard_SUITE, {nested_not_2b,2}) -> true; %% with type optimization is_exception(_, _) -> false. sys_pre_attributes(Config) -> |