diff options
author | Björn Gustavsson <[email protected]> | 2018-01-31 10:06:41 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2018-01-31 10:06:41 +0100 |
commit | 2e5063371ca21eeabd9c20462c16fac0ee147028 (patch) | |
tree | 7d03302dfd73d920e5bc99634602f8f73f583a6e /lib/compiler/test/beam_type_SUITE.erl | |
parent | 184db040e4fca5eacd7150098d77c4d5829d6c52 (diff) | |
parent | c455dc2ca108e8ffbf5431068223fcff8aeb5361 (diff) | |
download | otp-2e5063371ca21eeabd9c20462c16fac0ee147028.tar.gz otp-2e5063371ca21eeabd9c20462c16fac0ee147028.tar.bz2 otp-2e5063371ca21eeabd9c20462c16fac0ee147028.zip |
Merge branch 'bjorn/compiler/fix-beam_type-bug/OTP-14898' into maint
* bjorn/compiler/fix-beam_type-bug/OTP-14898:
Fix incorrect type interference of integer ranges
Diffstat (limited to 'lib/compiler/test/beam_type_SUITE.erl')
-rw-r--r-- | lib/compiler/test/beam_type_SUITE.erl | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/lib/compiler/test/beam_type_SUITE.erl b/lib/compiler/test/beam_type_SUITE.erl index fe856b12b6..d44fa60997 100644 --- a/lib/compiler/test/beam_type_SUITE.erl +++ b/lib/compiler/test/beam_type_SUITE.erl @@ -66,6 +66,15 @@ integers(_Config) -> college = do_integers_3(), + zero = do_integers_4(<<0:1>>, 0), + one = do_integers_4(<<1:1>>, 0), + other = do_integers_4(<<1:1>>, 2), + + zero = do_integers_5(0, 0), + one = do_integers_5(0, 1), + two = do_integers_5(0, 2), + three = do_integers_5(0, 3), + ok. do_integers_1(B0) -> @@ -88,6 +97,30 @@ do_integers_3() -> 1 -> 0 end. +do_integers_4(<<X:1,T/bits>>, C) -> + %% Binary matching gives the range 0-1 for X. + %% The range for `X bor C` is unknown. It must not be inherited + %% from X. (`X bor C` will reuse the register used for X.) + case X bor C of + 0 -> do_integers_4(T, C, zero); + 1 -> do_integers_4(T, C, one); + _ -> do_integers_4(T, C, other) + end. + +do_integers_4(_, _, Res) -> + Res. + +do_integers_5(X0, Y0) -> + %% X and Y will use the same register. + X = X0 band 1, + Y = Y0 band 3, + case Y of + 0 -> zero; + 1 -> one; + 2 -> two; + 3 -> three + end. + coverage(_Config) -> {'EXIT',{badarith,_}} = (catch id(1) bsl 0.5), {'EXIT',{badarith,_}} = (catch id(2.0) bsl 2), |