3 files changed, 164 insertions, 0 deletions
diff --git a/lib/hipe/test/basic_SUITE_data/basic_guards.erl b/lib/hipe/test/basic_SUITE_data/basic_guards.erl
index b821a05ad5..81eeed7c3b 100644
--- a/lib/hipe/test/basic_SUITE_data/basic_guards.erl
+++ b/lib/hipe/test/basic_SUITE_data/basic_guards.erl
@@ -7,6 +7,8 @@
 -module(basic_guards).
 
 -export([test/0]).
+%% Prevent the inlining of the following functions
+-export([bad_arith/0, bad_tuple/0, is_strange_guard/0]).
 
 test() ->
   ok = guard0(4.2),
@@ -15,6 +17,7 @@ test() ->
   ok = test_guard3(),
   ok = test_guard4(),
   ok = test_is_boolean(),
+  ok = test_bad_guards(),
   ok.
 
 %%--------------------------------------------------------------------
@@ -115,3 +118,47 @@ tg(_) ->
   not_bool.
 
 yes() -> yes.
+
+%%--------------------------------------------------------------------
+%% original test by Bjorn G
+
+test_bad_guards() ->
+  ok = bad_arith(),
+  ok = bad_tuple(),
+  ok = is_strange_guard(),
+  ok.
+
+bad_arith() ->
+  13 = bad_arith1(1, 12),
+  42 = bad_arith1(1, infinity),
+  42 = bad_arith1(infinity, 1),
+  42 = bad_arith2(infinity, 1),
+  42 = bad_arith3(inf),
+  42 = bad_arith4(infinity, 1),
+  ok.
+
+bad_arith1(T1, T2) when (T1 + T2) < 17 -> T1 + T2;
+bad_arith1(_, _) -> 42.
+
+bad_arith2(T1, T2) when (T1 * T2) < 17 -> T1 * T2;
+bad_arith2(_, _) -> 42.
+
+bad_arith3(T) when (bnot T) < 17 -> T;
+bad_arith3(_) -> 42.
+
+bad_arith4(T1, T2) when (T1 bsr T2) < 10 -> T1 bsr T2;
+bad_arith4(_, _) -> 42.
+
+bad_tuple() ->
+  error = bad_tuple1(a),
+  error = bad_tuple1({a, b}),
+  x = bad_tuple1({x, b}),
+  y = bad_tuple1({a, b, y}),
+  ok.
+
+bad_tuple1(T) when element(1, T) =:= x -> x;
+bad_tuple1(T) when element(3, T) =:= y -> y;
+bad_tuple1(_) -> error.
+
+is_strange_guard() when is_tuple({1, bar, length([1, 2, 3, 4]), self()}) -> ok;
+is_strange_guard() -> error.
diff --git a/lib/hipe/test/basic_SUITE_data/basic_strength_reduce.erl b/lib/hipe/test/basic_SUITE_data/basic_strength_reduce.erl
new file mode 100644
index 0000000000..0f94320a33
--- /dev/null
+++ b/lib/hipe/test/basic_SUITE_data/basic_strength_reduce.erl
@@ -0,0 +1,65 @@
+%%% -*- erlang-indent-level: 2 -*-
+%%%-------------------------------------------------------------------
+%%% Author: Kostis Sagonas
+%%%
+%%% Tests the strength reduction component of the HiPE compiler.
+%%%-------------------------------------------------------------------
+-module(basic_strength_reduce).
+
+-export([test/0]).
+%% These functions are exported so as to not remove them by inlining
+-export([crash_0/1, crash_1/1, crash_2/1, crash_3/1, bug_div_2N/1]).
+
+test() ->
+  ok = test_strength_reduce1(),
+  ok.
+
+%%--------------------------------------------------------------------
+
+test_strength_reduce1() ->
+  ok = crash_0(0),
+  ok = crash_1(42),
+  ok = crash_2(42),
+  ok = crash_3(42),
+   5 =  42 bsr 3 = bug_div_2N(42),
+  -6 = -42 bsr 3 = bug_div_2N(-42) - 1,
+  ok.
+
+%% This is a crash report by Peter Wang (10 July 2007) triggering an
+%% R11B-5 crash: strength reduction could not handle calls with no
+%% destination
+crash_0(A) ->
+  case A of
+    0 ->
+      A div 8,
+      ok
+  end.
+
+%% The above was simplified to the following which showed another
+%% crash, this time on RTL
+crash_1(A) when is_integer(A), A >= 0 ->
+  A div 8,
+  ok.
+
+%% A similar crash like the first one, but in a different place in the
+%% code, was triggered by the following code
+crash_2(A) when is_integer(A), A >= 0 ->
+  A div 1,
+  ok.
+
+%% A crash similar to the first one happened in the following code
+crash_3(A) ->
+  case A of
+    42 ->
+      A * 0,
+      ok
+  end.
+
+%% Strength reduction for div/2 and rem/2 with a power of 2
+%% should be performed only for non-negative integers
+bug_div_2N(X) when is_integer(X), X >= 0 ->
+  X div 8;
+bug_div_2N(X) when is_integer(X), X < 0 ->
+  X div 8.
+
+%%--------------------------------------------------------------------
diff --git a/lib/hipe/test/basic_SUITE_data/basic_switches.erl b/lib/hipe/test/basic_SUITE_data/basic_switches.erl
new file mode 100644
index 0000000000..0a7ae5b8b7
--- /dev/null
+++ b/lib/hipe/test/basic_SUITE_data/basic_switches.erl
@@ -0,0 +1,52 @@
+%%% -*- erlang-indent-level: 2 -*-
+%%%-------------------------------------------------------------------
+%%% Author: Kostis Sagonas
+%%%
+%%% Contains tests for pattern matching switches.
+%%%-------------------------------------------------------------------
+-module(basic_switches).
+
+-export([test/0]).
+
+test() ->
+  ok = test_switch_mix(),
+  ok.
+
+%%---------------------------------------------------------------------
+
+-define(BIG1, 21323233222132323322).
+-define(BIG2, 4242424242424242424242424242424242).
+
+test_switch_mix() ->
+  small1 = t(42),
+  small2 = t(17),
+  big1 = t(?BIG1),
+  big2 = t(?BIG2),
+  atom = t(foo),
+  pid = t(self()),
+  float = t(4.2),
+  ok.
+
+t(V) ->
+  S = self(),
+  case V of
+    42 -> small1;
+    17 -> small2;
+    ?BIG1 -> big1;
+    ?BIG2 -> big2;
+    1 -> no;
+    2 -> no;
+    3 -> no;
+    4 -> no;
+    5 -> no;
+    6 -> no;
+    7 -> no;
+    8 -> no;
+    foo -> atom;
+    9 -> no;
+    4.2 -> float;
+    S -> pid;
+    _ -> no
+  end.
+
+%%---------------------------------------------------------------------