%%% -*- 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.