diff options
| author | Björn Gustavsson <[email protected]> | 2015-02-17 14:27:47 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-02-18 13:07:52 +0100 |
| commit | c8aed3b1521edbe7c13860c9a7557129481e60b3 (patch) | |
| tree | b7f6a12ce58b9d25acd213f1146c6c97c3f076a6 /lib/compiler/src/beam_validator.erl | |
| parent | 7d722f548a110674781dc21312c0e538fc7720c7 (diff) | |
| download | otp-c8aed3b1521edbe7c13860c9a7557129481e60b3.tar.gz otp-c8aed3b1521edbe7c13860c9a7557129481e60b3.tar.bz2 otp-c8aed3b1521edbe7c13860c9a7557129481e60b3.zip | |
beam_validator: Remove support for all other unsupported instructions
Diffstat (limited to 'lib/compiler/src/beam_validator.erl')
| -rw-r--r-- | lib/compiler/src/beam_validator.erl | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index 35a5bb69d5..8f9df75768 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -431,9 +431,6 @@ valfun_1({put_tuple,Sz,Dst}, Vst0) when is_integer(Sz) -> valfun_1({put,Src}, Vst) -> assert_term(Src, Vst), eat_heap(1, Vst); -valfun_1({put_string,Sz,_,Dst}, Vst0) when is_integer(Sz) -> - Vst = eat_heap(2*Sz, Vst0), - set_type_reg(cons, Dst, Vst); %% Instructions for optimization of selective receives. valfun_1({recv_mark,{f,Fail}}, Vst) when is_integer(Fail) -> Vst; @@ -601,8 +598,6 @@ valfun_4({call_ext_last,Live,Func,StkSize}, tail_call(Func, Live, Vst); valfun_4({call_ext_last,_,_,_}, #vst{current=#st{numy=NumY}}) -> error({allocated,NumY}); -valfun_4({make_fun,_,_,Live}, Vst) -> - call('fun', Live, Vst); valfun_4({make_fun2,_,_,_,Live}, Vst) -> call(make_fun, Live, Vst); %% Other BIFs @@ -896,9 +891,6 @@ validate_bs_skip_utf(Fail, Ctx, Live, Vst0) -> %% val_dsetel({move,_,_}, Vst) -> Vst; -val_dsetel({put_string,0,{string,""},_}, Vst) -> - %% An empty string is OK since it doesn't build anything. - Vst; val_dsetel({call_ext,3,{extfunc,erlang,setelement,3}}, #vst{current=St}=Vst) -> Vst#vst{current=St#st{setelem=true}}; val_dsetel({set_tuple_element,_,_,_}, #vst{current=#st{setelem=false}}) -> |