Two tests that depend on inlining being turned on

2 files changed, 104 insertions, 0 deletions

diff --git a/lib/hipe/test/basic_SUITE_data/basic_inline_function.erl b/lib/hipe/test/basic_SUITE_data/basic_inline_function.erl
new file mode 100644
index 0000000000..4c08064670
--- /dev/null
+++ b/lib/hipe/test/basic_SUITE_data/basic_inline_function.erl
@@ -0,0 +1,73 @@
+%%% -*- erlang-indent-level: 2 -*-
+%%%-------------------------------------------------------------------
+%%% Author: Kostis Sagonas
+%%%
+%%% Contains tests that depend on the compiler inliner being turned on.
+%%%-------------------------------------------------------------------
+-module(basic_inline_function).
+
+-export([test/0]).
+
+-compile({inline, [{to_objects, 3}]}).
+
+test() ->
+  ok = test_inline_match(),
+  ok.
+
+%%--------------------------------------------------------------------
+
+test_inline_match() ->
+  bad_object = test1(a, {binary, foo, set}, c),
+  bad_object = test2(a, {binary, foo, set}, c),
+  bad_object = test3(a, {binary, foo, set}, c),
+  ok.
+
+%% Inlined
+test1(KeysObjs, C, Ts) ->
+  case catch to_objects(KeysObjs, C, Ts) of
+    {'EXIT', _} ->
+      bad_object;
+    ok ->
+      ok
+  end.
+
+%% "Inlined" by hand
+test2(KeysObjs, C, _Ts) ->
+  case catch (case C of
+		{binary, _, set} ->
+		  <<_ObjSz0:32, _T/binary>> = KeysObjs;
+		_ -> ok
+	      end) of
+    {'EXIT', _} ->
+      bad_object;
+    ok ->
+      ok
+  end.
+
+%% Not inlined
+test3(KeysObjs, C, Ts) ->
+  case catch fto_objects(KeysObjs, C, Ts) of
+    {'EXIT', _} ->
+      bad_object;
+    ok ->
+      ok
+  end.
+
+%% Inlined.
+to_objects(Bin, {binary, _, set}, _Ts) ->
+  <<_ObjSz0:32, _T/binary>> = Bin,
+  ok;
+to_objects(<<_ObjSz0:32, _T/binary>> ,_, _) ->
+  ok;
+to_objects(_Bin, _, _Ts) ->
+  ok.
+
+%% Not Inlined.
+fto_objects(Bin, {binary, _, set}, _Ts) ->
+  <<_ObjSz0:32, _T/binary>> = Bin,
+  ok;
+fto_objects(<<_ObjSz0:32, _T/binary>> ,_,_) ->
+  ok;
+fto_objects(_Bin, _, _Ts) ->
+  ok.
+
diff --git a/lib/hipe/test/basic_SUITE_data/basic_inline_module.erl b/lib/hipe/test/basic_SUITE_data/basic_inline_module.erl
new file mode 100644
index 0000000000..306c6a39ce
--- /dev/null
+++ b/lib/hipe/test/basic_SUITE_data/basic_inline_module.erl
@@ -0,0 +1,31 @@
+%%% -*- erlang-indent-level: 2 -*-
+%%%-------------------------------------------------------------------
+%%% Author: Kostis Sagonas
+%%%
+%%% Contains tests that depend on the compiler inliner being turned on.
+%%%-------------------------------------------------------------------
+-module(basic_inline_module).
+
+-export([test/0]).
+
+-compile([inline]).     %% necessary for these tests
+
+test() ->
+  ok = test_case_end_atom(),
+  ok.
+
+%%--------------------------------------------------------------------
+%% Tests whether the translation of a case_end instruction works even
+%% when an exception (no matching case pattern) is to be raised.
+
+test_case_end_atom() ->
+  {'EXIT',{{case_clause,some_atom},_Trace}} = (catch test_case_stm_inlining()),
+  ok.
+
+test_case_stm_inlining() ->
+  case some_atom() of
+    another_atom -> strange_result
+  end.
+
+some_atom() ->
+  some_atom.