aboutsummaryrefslogtreecommitdiffstats
path: root/lib/compiler/test/beam_validator_SUITE.erl
diff options
context:
space:
mode:
authorErlang/OTP <[email protected]>2009-11-20 14:54:40 +0000
committerErlang/OTP <[email protected]>2009-11-20 14:54:40 +0000
commit84adefa331c4159d432d22840663c38f155cd4c1 (patch)
treebff9a9c66adda4df2106dfd0e5c053ab182a12bd /lib/compiler/test/beam_validator_SUITE.erl
downloadotp-84adefa331c4159d432d22840663c38f155cd4c1.tar.gz
otp-84adefa331c4159d432d22840663c38f155cd4c1.tar.bz2
otp-84adefa331c4159d432d22840663c38f155cd4c1.zip
The R13B03 release.OTP_R13B03
Diffstat (limited to 'lib/compiler/test/beam_validator_SUITE.erl')
-rw-r--r--lib/compiler/test/beam_validator_SUITE.erl375
1 files changed, 375 insertions, 0 deletions
diff --git a/lib/compiler/test/beam_validator_SUITE.erl b/lib/compiler/test/beam_validator_SUITE.erl
new file mode 100644
index 0000000000..ef8feb8a27
--- /dev/null
+++ b/lib/compiler/test/beam_validator_SUITE.erl
@@ -0,0 +1,375 @@
+%%
+%% %CopyrightBegin%
+%%
+%% Copyright Ericsson AB 2004-2009. All Rights Reserved.
+%%
+%% The contents of this file are subject to the Erlang Public License,
+%% Version 1.1, (the "License"); you may not use this file except in
+%% compliance with the License. You should have received a copy of the
+%% Erlang Public License along with this software. If not, it can be
+%% retrieved online at http://www.erlang.org/.
+%%
+%% Software distributed under the License is distributed on an "AS IS"
+%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+%% the License for the specific language governing rights and limitations
+%% under the License.
+%%
+%% %CopyrightEnd%
+%%
+-module(beam_validator_SUITE).
+
+-export([all/1,init_per_testcase/2,fin_per_testcase/2,
+ beam_files/1,compiler_bug/1,stupid_but_valid/1,
+ xrange/1,yrange/1,stack/1,call_last/1,merge_undefined/1,
+ uninit/1,unsafe_catch/1,
+ dead_code/1,mult_labels/1,
+ overwrite_catchtag/1,overwrite_trytag/1,accessing_tags/1,bad_catch_try/1,
+ cons_guard/1,
+ freg_range/1,freg_uninit/1,freg_state/1,
+ bin_match/1,bin_aligned/1,bad_dsetel/1,
+ state_after_fault_in_catch/1,no_exception_in_catch/1,
+ undef_label/1,illegal_instruction/1]).
+
+-include("test_server.hrl").
+
+init_per_testcase(Case, Config) when is_atom(Case), is_list(Config) ->
+ Dog = test_server:timetrap(?t:minutes(10)),
+ [{watchdog,Dog}|Config].
+
+fin_per_testcase(Case, Config) when is_atom(Case), is_list(Config) ->
+ Dog = ?config(watchdog, Config),
+ ?t:timetrap_cancel(Dog),
+ ok.
+
+all(suite) ->
+ test_lib:recompile(?MODULE),
+ [beam_files,compiler_bug,stupid_but_valid,
+ xrange,yrange,stack,call_last,merge_undefined,
+ uninit,unsafe_catch,
+ dead_code,mult_labels,
+ overwrite_catchtag,overwrite_trytag,accessing_tags,bad_catch_try,
+ cons_guard,
+ freg_range,freg_uninit,freg_state,
+ bin_match,bin_aligned,
+ bad_dsetel,state_after_fault_in_catch,no_exception_in_catch,
+ undef_label,illegal_instruction].
+
+beam_files(Config) when is_list(Config) ->
+ ?line {ok,Cwd} = file:get_cwd(),
+ ?line Parent = filename:dirname(Cwd),
+ ?line Wc = filename:join([Parent,"*","*.beam"]),
+ %% Must have at least two files here, or there will could be
+ %% a grammatical error in the output of the io:format/2 call below. ;-)
+ ?line [_,_|_] = Fs = filelib:wildcard(Wc),
+ ?line io:format("~p files\n", [length(Fs)]),
+ beam_files_1(Fs, 0).
+
+beam_files_1([F|Fs], Errors) ->
+ ?line case beam_validator:file(F) of
+ ok ->
+ beam_files_1(Fs, Errors);
+ {error,Es} ->
+ io:format("File: ~s", [F]),
+ io:format("Error: ~p\n", [Es]),
+ beam_files_1(Fs, Errors+1)
+ end;
+beam_files_1([], 0) -> ok;
+beam_files_1([], Errors) ->
+ ?line io:format("~p error(s)", [Errors]),
+ ?line ?t:fail().
+
+compiler_bug(Config) when is_list(Config) ->
+ %% Check that the compiler returns an error if we try to
+ %% assemble one of the bad '.S' files.
+ ?line Data = ?config(data_dir, Config),
+ ?line File = filename:join(Data, "stack"),
+ ?line error = compile:file(File, [asm,report_errors,binary,time]),
+ ok.
+
+%% The following code is stupid but it should compile.
+stupid_but_valid(Config) when is_list(Config) ->
+ AnAtom = nisse,
+ ?line try setelement(5, setelement(6, AnAtom, value), another_value) of
+ Term -> ?line ?t:fail({what_happened,Term})
+ catch
+ error:badarg -> ok
+ end,
+ ok.
+
+xrange(Config) when is_list(Config) ->
+ Errors = do_val(xrange, Config),
+ ?line
+ [{{t,sum_1,2},
+ {{bif,'+',{f,0},[{x,-1},{x,1}],{x,0}},4,
+ {uninitialized_reg,{x,-1}}}},
+ {{t,sum_2,2},
+ {{bif,'+',{f,0},[{x,0},{x,1024}],{x,0}},4,
+ {uninitialized_reg,{x,1024}}}},
+ {{t,sum_3,2},
+ {{bif,'+',{f,0},[{x,0},{x,1}],{x,-1}},4,
+ {invalid_store,{x,-1},number}}},
+ {{t,sum_4,2},
+ {{bif,'+',{f,0},[{x,0},{x,1}],{x,1024}},4,limit}}] = Errors,
+ ok.
+
+yrange(Config) when is_list(Config) ->
+ Errors = do_val(yrange, Config),
+ ?line
+ [{{t,sum_1,2},
+ {{move,{x,1},{y,-1}},5,
+ {invalid_store,{y,-1},term}}},
+ {{t,sum_2,2},
+ {{bif,'+',{f,0},[{x,0},{y,1024}],{x,0}},8,
+ {uninitialized_reg,{y,1024}}}},
+ {{t,sum_3,2},
+ {{move,{x,1},{y,1024}},5,limit}},
+ {{t,sum_4,2},
+ {{move,{x,1},{y,-1}},5,
+ {invalid_store,{y,-1},term}}}] = Errors,
+ ok.
+
+stack(Config) when is_list(Config) ->
+ Errors = do_val(stack, Config),
+ ?line [{{t,a,2},{return,11,{stack_frame,2}}},
+ {{t,b,2},{{deallocate,2},4,{allocated,none}}},
+ {{t,c,2},{{deallocate,2},12,{allocated,none}}},
+ {{t,d,2},
+ {{allocate,2,2},5,{existing_stack_frame,{size,2}}}},
+ {{t,e,2},{{deallocate,5},6,{allocated,2}}},
+ {{t,bad_1,0},{{allocate_zero,2,10},4,{{x,9},not_live}}},
+ {{t,bad_2,0},{{move,{y,0},{x,0}},5,{unassigned,{y,0}}}}] = Errors,
+ ok.
+
+call_last(Config) when is_list(Config) ->
+ Errors = do_val(call_last, Config),
+ ?line [{{t,a,1},{{call_last,1,{f,8},2},11,{allocated,1}}},
+ {{t,b,1},
+ {{call_ext_last,2,{extfunc,lists,seq,2},2},
+ 11,
+ {allocated,1}}}] = Errors,
+ ok.
+
+merge_undefined(Config) when is_list(Config) ->
+ Errors = do_val(merge_undefined, Config),
+ ?line [{{t,handle_call,2},
+ {{call_ext,2,{extfunc,debug,filter,2}},
+ 22,
+ {uninitialized_reg,{y,0}}}}] = Errors,
+ ok.
+
+uninit(Config) when is_list(Config) ->
+ Errors = do_val(uninit, Config),
+ ?line
+ [{{t,sum_1,2},
+ {{move,{y,0},{x,0}},5,{uninitialized_reg,{y,0}}}},
+ {{t,sum_2,2},
+ {{call,1,{f,10}},6,{uninitialized_reg,{y,0}}}},
+ {{t,sum_3,2},
+ {{bif,'+',{f,0},[{x,0},{y,0}],{x,0}},
+ 7,
+ {unassigned,{y,0}}}}] = Errors,
+ ok.
+
+unsafe_catch(Config) when is_list(Config) ->
+ Errors = do_val(unsafe_catch, Config),
+ ?line
+ [{{t,small,2},
+ {{bs_put_integer,{f,0},{integer,16},1,
+ {field_flags,[aligned,unsigned,big]},{y,0}},
+ 20,
+ {unassigned,{y,0}}}}] = Errors,
+ ok.
+
+dead_code(Config) when is_list(Config) ->
+ [] = do_val(dead_code, Config),
+ ok.
+
+mult_labels(Config) when is_list(Config) ->
+ [] = do_val(erl_prim_loader, Config, ".beam"),
+ ok.
+
+overwrite_catchtag(Config) when is_list(Config) ->
+ Errors = do_val(overwrite_catchtag, Config),
+ ?line
+ [{{overwrite_catchtag,foo,1},
+ {{move,{x,0},{y,0}},6,{catchtag,_}}}] = Errors,
+ ok.
+
+overwrite_trytag(Config) when is_list(Config) ->
+ Errors = do_val(overwrite_trytag, Config),
+ ?line
+ [{{overwrite_trytag,foo,1},
+ {{kill,{y,2}},9,{trytag,_}}}] = Errors,
+ ok.
+
+accessing_tags(Config) when is_list(Config) ->
+ Errors = do_val(accessing_tags, Config),
+ ?line
+ [{{accessing_tags,foo,1},
+ {{move,{y,0},{x,0}},6,{catchtag,_}}},
+ {{accessing_tags,bar,1},
+ {{move,{y,0},{x,0}},6,{trytag,_}}}] = Errors,
+ ok.
+
+bad_catch_try(Config) when is_list(Config) ->
+ Errors = do_val(bad_catch_try, Config),
+ ?line [{{bad_catch_try,bad_1,1},
+ {{'catch',{x,0},{f,3}},
+ 5,{invalid_store,{x,0},{catchtag,[3]}}}},
+ {{bad_catch_try,bad_2,1},
+ {{catch_end,{x,9}},
+ 8,{source_not_y_reg,{x,9}}}},
+ {{bad_catch_try,bad_3,1},
+ {{catch_end,{y,1}},9,{bad_type,{atom,kalle}}}},
+ {{bad_catch_try,bad_4,1},
+ {{'try',{x,0},{f,15}},5,{invalid_store,{x,0},{trytag,[15]}}}},
+ {{bad_catch_try,bad_5,1},
+ {{try_case,{y,1}},12,{bad_type,term}}},
+ {{bad_catch_try,bad_6,1},
+ {{try_end,{y,1}},8,{bad_type,{integer,1}}}}] = Errors,
+ ok.
+
+cons_guard(Config) when is_list(Config) ->
+ Errors = do_val(cons, Config),
+ ?line
+ [{{cons,foo,1},
+ {{get_list,{x,0},{x,1},{x,2}},
+ 5,
+ {bad_type,{needed,cons},{actual,term}}}}] = Errors,
+ ok.
+
+freg_range(Config) when is_list(Config) ->
+ Errors = do_val(freg_range, Config),
+ ?line
+ [{{t,sum_1,2},
+ {{bif,fadd,{f,0},[{fr,-1},{fr,1}],{fr,0}},
+ 5,
+ {bad_source,{fr,-1}}}},
+ {{t,sum_2,2},
+ {{bif,fadd,{f,0},[{fr,0},{fr,1024}],{fr,0}},
+ 6,
+ {uninitialized_reg,{fr,1024}}}},
+ {{t,sum_3,2},
+ {{bif,fadd,{f,0},[{fr,0},{fr,1}],{fr,-1}},
+ 7,
+ {bad_target,{fr,-1}}}},
+ {{t,sum_4,2},
+ {{bif,fadd,{f,0},[{fr,0},{fr,1}],{fr,1024}},
+ 7,
+ limit}}] = Errors,
+ ok.
+
+freg_uninit(Config) when is_list(Config) ->
+ Errors = do_val(freg_uninit, Config),
+ ?line
+ [{{t,sum_1,2},
+ {{bif,fadd,{f,0},[{fr,0},{fr,1}],{fr,0}},
+ 6,
+ {uninitialized_reg,{fr,1}}}},
+ {{t,sum_2,2},
+ {{bif,fadd,{f,0},[{fr,0},{fr,1}],{fr,0}},
+ 9,
+ {uninitialized_reg,{fr,0}}}}] = Errors,
+ ok.
+
+freg_state(Config) when is_list(Config) ->
+ Errors = do_val(freg_state, Config),
+ ?line
+ [{{t,sum_1,2},
+ {{bif,fmul,{f,0},[{fr,0},{fr,1}],{fr,0}},
+ 6,
+ {bad_floating_point_state,undefined}}},
+ {{t,sum_2,2},
+ {{fmove,{fr,0},{x,0}},
+ 8,
+ {bad_floating_point_state,cleared}}},
+ {{t,sum_3,2},
+ {{bif,'-',{f,0},[{x,1},{x,0}],{x,1}},
+ 8,
+ {unsafe_instruction,{float_error_state,cleared}}}},
+ {{t,sum_4,2},
+ {{fcheckerror,{f,0}},
+ 4,
+ {bad_floating_point_state,undefined}}},
+ {{t,sum_5,2},
+ {fclearerror,5,{bad_floating_point_state,cleared}}}] = Errors,
+ ok.
+
+bin_match(Config) when is_list(Config) ->
+ Errors = do_val(bin_match, Config),
+ ?line
+ [{{t,t,1},{{bs_save,0},4,no_bs_match_state}},
+ {{t,x,1},{{bs_restore,1},16,{no_save_point,1}}}] = Errors,
+ ok.
+
+bin_aligned(Config) when is_list(Config) ->
+ Errors = do_val(bin_aligned, Config),
+ ?line
+ [{{t,decode,1},
+ {{bs_put_integer,{f,0},
+ {integer,5},
+ 1,
+ {field_flags,[unsigned,big,aligned]},
+ {integer,0}},
+ 10,
+ {aligned_flag_set,{bits,3}}}}] = Errors,
+ ok.
+
+bad_dsetel(Config) when is_list(Config) ->
+ Errors = do_val(bad_dsetel, Config),
+ ?line
+ [{{t,t,1},
+ {{set_tuple_element,{x,1},{x,0},1},
+ 15,
+ illegal_context_for_set_tuple_element}}] = Errors,
+ ok.
+
+state_after_fault_in_catch(Config) when is_list(Config) ->
+ Errors = do_val(state_after_fault_in_catch, Config),
+ [{{t,foo,1},
+ {{move,{x,1},{x,0}},10,{uninitialized_reg,{x,1}}}},
+ {{state_after_fault_in_catch,if_end,1},
+ {{move,{x,1},{x,0}},9,{uninitialized_reg,{x,1}}}},
+ {{state_after_fault_in_catch,case_end,1},
+ {{move,{x,1},{x,0}},9,{uninitialized_reg,{x,1}}}},
+ {{state_after_fault_in_catch,badmatch,1},
+ {{move,{x,1},{x,0}},9,{uninitialized_reg,{x,1}}}}] = Errors,
+ ok.
+
+no_exception_in_catch(Config) when is_list(Config) ->
+ Errors = do_val(no_exception_in_catch, Config),
+ [{{no_exception_in_catch,nested_of_1,4},
+ {{move,{x,3},{x,0}},91,{uninitialized_reg,{x,3}}}}] = Errors,
+ ok.
+
+undef_label(Config) when is_list(Config) ->
+ Errors = do_val(undef_label, Config),
+ [{{undef_label,t,1},{undef_labels,[42]}},
+ {{undef_label,x,1},{return,4,no_entry_label}}] = Errors,
+ ok.
+
+illegal_instruction(Config) when is_list(Config) ->
+ Errors = do_val(illegal_instruction, Config),
+ [{{illegal_instruction,t,1},
+ {{my_illegal_instruction,{x,0}},4,unknown_instruction}},
+ {{'_',x,1},{bad_func_info,1,illegal_instruction}},
+ {{'_',y,0},{[],0,illegal_instruction}}] = Errors,
+ ok.
+
+
+
+%%%-------------------------------------------------------------------------
+
+do_val(Name, Config) ->
+ do_val(Name, Config, ".S").
+
+do_val(Name, Config, Type) ->
+ ?line Data = ?config(data_dir, Config),
+ ?line File = filename:join(Data, atom_to_list(Name)++Type),
+ ?line case beam_validator:file(File) of
+ {error,Errors} ->
+ ?line io:format("~p:~n~s",
+ [File,beam_validator:format_error(Errors)]),
+ Errors;
+ ok -> []
+ end.