diff options
| author | John Högberg <[email protected]> | 2018-01-08 09:10:23 +0100 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2018-01-08 09:10:23 +0100 |
| commit | e2367ba51d0cc0cb4a65fd39d1a8b7bd943efe8e (patch) | |
| tree | 02ad3f62db01028b3c06355859ef2dc2ae493ac0 /lib/compiler/src/beam_type.erl | |
| parent | 654e7105fff75af903bf5bec5ac0808e328bb23f (diff) | |
| parent | 19b7ccfe076d88a96b62f3222f38be31bb087df2 (diff) | |
| download | otp-e2367ba51d0cc0cb4a65fd39d1a8b7bd943efe8e.tar.gz otp-e2367ba51d0cc0cb4a65fd39d1a8b7bd943efe8e.tar.bz2 otp-e2367ba51d0cc0cb4a65fd39d1a8b7bd943efe8e.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/compiler/src/beam_type.erl')
| -rw-r--r-- | lib/compiler/src/beam_type.erl | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/lib/compiler/src/beam_type.erl b/lib/compiler/src/beam_type.erl index 16d5a36447..e9f62a5765 100644 --- a/lib/compiler/src/beam_type.erl +++ b/lib/compiler/src/beam_type.erl @@ -116,14 +116,6 @@ simplify_basic_1([{test,is_tuple,_,[R]}=I|Is], Ts, Acc) -> {tuple,_,_} -> simplify_basic_1(Is, Ts, Acc); _ -> simplify_basic_1(Is, Ts, [I|Acc]) end; -simplify_basic_1([{test,test_arity,_,[R,Arity]}=I|Is], Ts0, Acc) -> - case tdb_find(R, Ts0) of - {tuple,Arity,_} -> - simplify_basic_1(Is, Ts0, Acc); - _Other -> - Ts = update(I, Ts0), - simplify_basic_1(Is, Ts, [I|Acc]) - end; simplify_basic_1([{test,is_map,_,[R]}=I|Is], Ts0, Acc) -> case tdb_find(R, Ts0) of map -> simplify_basic_1(Is, Ts0, Acc); @@ -146,14 +138,6 @@ simplify_basic_1([{test,is_eq_exact,Fail,[R,{atom,_}=Atom]}=I|Is0], Ts0, Acc0) - end, Ts = update(I, Ts0), simplify_basic_1(Is0, Ts, Acc); -simplify_basic_1([{test,is_record,_,[R,{atom,_}=Tag,{integer,Arity}]}=I|Is], Ts0, Acc) -> - case tdb_find(R, Ts0) of - {tuple,Arity,[Tag]} -> - simplify_basic_1(Is, Ts0, Acc); - _Other -> - Ts = update(I, Ts0), - simplify_basic_1(Is, Ts, [I|Acc]) - end; simplify_basic_1([{select,select_val,Reg,_,_}=I0|Is], Ts, Acc) -> I = case tdb_find(Reg, Ts) of {integer,Range} -> |