Add tests for the HiPE compiler (Part 1: binaries and bitstrings)

Create tests for the HiPE native code compiler. This is the first
part of the effort and contains tests that check that the native
code produced by the HiPE compiler for binaries and bitstrings is
OK and behaves similarly to the code produced by the BEAM compiler.

1 files changed, 76 insertions, 0 deletions

diff --git a/lib/hipe/test/bs_SUITE_data/bs_var_segs.erl b/lib/hipe/test/bs_SUITE_data/bs_var_segs.erl
new file mode 100644
index 0000000000..a20df04b53
--- /dev/null
+++ b/lib/hipe/test/bs_SUITE_data/bs_var_segs.erl
@@ -0,0 +1,76 @@
+%% -*- erlang-indent-level: 2 -*-
+%%--------------------------------------------------------------------
+%%  Author  : Kostis Sagonas
+%%  Purpose : These tests are intended to test the construction and
+%%            matching of binaries using variable sizes
+%%  Notes   :
+%%   - Added test that crashed BEAM compiler
+%%   - Added test that crashed when segments of size zero were used
+%%     and one that did not convert integers to floats when constructing
+%%     binaries.
+%%   - Added a construction test which crashed from core because of
+%%     problems with the effect flag (2004/11/15)
+%%--------------------------------------------------------------------
+-module(bs_var_segs).
+
+-export([test/0]).
+
+test() ->
+  N1 = 18,
+  A1 = 2,
+  A1 = match1(N1, <<1:12, 2:N1, A1:2>>),
+  A1 = match2(N1, <<1:12, 2:N1/integer-little, A1:2>>),
+  N3 = 3,
+  A3 = <<1,2,3>>,
+  B3 = 2,
+  {A3, B3} = match3(N3, <<1:12, A3:N3/binary, B3:4>>),
+  N4 = 12,
+  B4 = <<1,2,3>>,
+  A4 = 2,
+  {A4, B4} = match4(N4, <<1:N4, A4:4, B4/binary>>),
+  Y = <<5>>,
+  Y = match5(a, Y),
+  <<73>> = gen1(8, 0, <<73>>),
+  <<171>> = gen2(8, 7, 2#10101010101010101),
+  <<0:64>> = construct(),
+  <<0:32>> = construct2(0),
+  ok = in_guard(<<16#BCD:14,3:2>>, 16#BCD),
+  ok.
+
+construct() ->
+  <<0:64/float>>.
+
+construct2(X) ->
+  <<X:32/little>>.
+
+match1(N, Bin) ->
+  <<1:12, 2:N, A:2>>=Bin,
+  A.
+
+match2(N, Bin) ->
+  <<1:12, 2:N/integer-little, A:2>>=Bin,
+  A.
+
+match3(N, Bin) ->
+  <<1:12, A:N/binary, B:4>>=Bin,
+  {A,B}.
+
+match4(N, Bin) ->
+  <<1:N, A:4, B/binary>>=Bin,
+  {A,B}.
+
+match5(X, Y) ->
+  case X of
+    a ->
+      Y2 = 8
+  end,
+  <<5:Y2>> = Y.
+
+gen1(N, S, A) ->
+  <<A:S/binary-unit:1, A:(N-S)/binary-unit:1>>.
+
+gen2(N, S, A) ->
+  <<A:S/little, A:(N-S)/little>>.
+
+in_guard(Bin, A) when <<A:14,3:2>> == Bin -> ok;
+in_guard(_, _) -> no.