Introduce a new SSA-based intermediate format

v3_codegen is replaced by three new passes:

* beam_kernel_to_ssa which translates the Kernel Erlang format
  to a new SSA-based intermediate format.

* beam_ssa_pre_codegen which prepares the SSA-based format
  for code generation, including register allocation. Registers
  are allocated using the linear scan algorithm.

* beam_ssa_codegen which generates BEAM assembly code from the
  SSA-based format.

It easier and more effective to optimize the SSA-based format before X
and Y registers have been assigned.  The current optimization passes
constantly have to make sure no "holes" in the X register assignments
are created (that is, that no X register becomes undefined that an
allocation instruction depends on).

This commit also introduces the following optimizations:

* Replacing of tuple matching of records with the is_tagged_tuple
instruction. (Replacing beam_record.)

* Sinking of get_tuple_element instructions to just before the first
use of the extracted values. As well as potentially avoiding
extracting tuple elements when they are not actually used on all
executions paths, this optimization could also reduce the number
values that will need to be stored in Y registers. (Similar to
beam_reorder, but more effective.)

* Live optimizations, removing the definition of a variable that is
not subsequently used (provided that the operation has no side
effects), as well strength reduction of binary matching by replacing
the extraction of value from a binary with a skip instruction. (Used
to be done by beam_block, beam_utils, and v3_codegen.)

* Removal of redundant bs_restore2 instructions. (Formerly done
by beam_bs.)

* Type-based optimizations across branches. More effective than
the old beam_type pass that only did type-based optimizations in
basic blocks.

* Optimization of floating point instructions. (Formerly done
by beam_type.)

* Optimization of receive statements to introduce recv_mark and
recv_set instructions. More effective with far fewer restrictions
on what instructions are allowed between creating the reference
and entering the receive statement.

* Common subexpression elimination. (Formerly done by beam_block.)

14 files changed, 550 insertions, 105 deletions

diff --git a/lib/compiler/test/Makefile b/lib/compiler/test/Makefile
index da5d207db9..2a5004aa4c 100644
--- a/lib/compiler/test/Makefile
+++ b/lib/compiler/test/Makefile
@@ -14,6 +14,7 @@ MODULES= \
 	beam_except_SUITE \
 	beam_jump_SUITE \
 	beam_reorder_SUITE \
+	beam_ssa_SUITE \
 	beam_type_SUITE \
 	beam_utils_SUITE \
 	bif_SUITE \
@@ -52,6 +53,7 @@ NO_OPT= \
 	beam_except \
 	beam_jump \
 	beam_reorder \
+	beam_ssa \
 	beam_type \
 	beam_utils \
 	bif \
@@ -75,6 +77,7 @@ INLINE= \
 	andor \
 	apply \
 	beam_block \
+	beam_ssa \
 	beam_utils \
 	bif \
 	bs_bincomp \
@@ -124,7 +127,7 @@ RELSYSDIR = $(RELEASE_PATH)/compiler_test
 # ----------------------------------------------------
 
 ERL_MAKE_FLAGS +=
-ERL_COMPILE_FLAGS += +clint +clint0
+ERL_COMPILE_FLAGS += +clint +clint0 +ssalint
 
 EBIN = .
 
@@ -135,7 +138,8 @@ EBIN = .
 make_emakefile: $(NO_OPT_ERL_FILES) $(POST_OPT_ERL_FILES) $(INLINE_ERL_FILES)
 	$(ERL_TOP)/make/make_emakefile $(ERL_COMPILE_FLAGS) -o$(EBIN) $(MODULES) \
 	> $(EMAKEFILE)
-	$(ERL_TOP)/make/make_emakefile +no_copt +no_postopt $(ERL_COMPILE_FLAGS) \
+	$(ERL_TOP)/make/make_emakefile +no_copt +no_postopt \
+	+no_ssa_opt +no_recv_opt $(ERL_COMPILE_FLAGS) \
 	-o$(EBIN) $(NO_OPT_MODULES) >> $(EMAKEFILE)
 	$(ERL_TOP)/make/make_emakefile +no_copt $(ERL_COMPILE_FLAGS) \
 	-o$(EBIN) $(POST_OPT_MODULES) >> $(EMAKEFILE)
diff --git a/lib/compiler/test/beam_ssa_SUITE.erl b/lib/compiler/test/beam_ssa_SUITE.erl
new file mode 100644
index 0000000000..0356c99c5a
--- /dev/null
+++ b/lib/compiler/test/beam_ssa_SUITE.erl
@@ -0,0 +1,290 @@
+%%
+%% %CopyrightBegin%
+%%
+%% Copyright Ericsson AB 2018. All Rights Reserved.
+%%
+%% Licensed under the Apache License, Version 2.0 (the "License");
+%% you may not use this file except in compliance with the License.
+%% You may obtain a copy of the License at
+%%
+%%     http://www.apache.org/licenses/LICENSE-2.0
+%%
+%% Unless required by applicable law or agreed to in writing, software
+%% distributed under the License is distributed on an "AS IS" BASIS,
+%% WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+%% See the License for the specific language governing permissions and
+%% limitations under the License.
+%%
+%% %CopyrightEnd%
+%%
+-module(beam_ssa_SUITE).
+
+-export([all/0,suite/0,groups/0,init_per_suite/1,end_per_suite/1,
+	 init_per_group/2,end_per_group/2,
+         calls/1,tuple_matching/1,recv/1,maps/1]).
+
+suite() -> [{ct_hooks,[ts_install_cth]}].
+
+all() ->
+    [{group,p}].
+
+groups() ->
+    [{p,test_lib:parallel(),
+      [tuple_matching,
+       calls,
+       recv,
+       maps
+      ]}].
+
+init_per_suite(Config) ->
+    test_lib:recompile(?MODULE),
+    Config.
+
+end_per_suite(_Config) ->
+    ok.
+
+init_per_group(_GroupName, Config) ->
+    Config.
+
+end_per_group(_GroupName, Config) ->
+    Config.
+
+calls(Config) ->
+    Ret = {return,value,Config},
+    Ret = fun_call(fun(42) -> ok end, Ret),
+    Ret = apply_fun(fun(a, b) -> ok end, [a,b], Ret),
+    Ret = apply_mfa(test_lib, id, [anything], Ret),
+    {'EXIT',{badarg,_}} = (catch call_error()),
+    {'EXIT',{badarg,_}} = (catch call_error(42)),
+    5 = start_it([erlang,length,1,2,3,4,5]),
+    ok.
+
+fun_call(Fun, X0) ->
+    X = id(X0),
+    Fun(42),
+    X.
+
+apply_fun(Fun, Args, X0) ->
+    X = id(X0),
+    apply(Fun, Args),
+    X.
+
+apply_mfa(Mod, Name, Args, X0) ->
+    X = id(X0),
+    apply(Mod, Name, Args),
+    X.
+
+call_error() ->
+    error(badarg),
+    ok.
+
+call_error(I) ->
+    <<I:(-8)>>,
+    ok.
+
+start_it([_|_]=MFA) ->
+    case MFA of
+	[M,F|Args] -> M:F(Args)
+    end.
+
+tuple_matching(_Config) ->
+    do_tuple_matching({tag,42}).
+
+do_tuple_matching(Arg) ->
+    Res = do_tuple_matching_1(Arg),
+    Res = do_tuple_matching_2(Arg),
+    Res = do_tuple_matching_3(Arg),
+    Res.
+
+do_tuple_matching_1({tag,V}) ->
+    {ok,V}.
+
+do_tuple_matching_2(Tuple) when is_tuple(Tuple) ->
+    Size = tuple_size(Tuple),
+    if
+        Size =:= 2 ->
+            {ok,element(2, Tuple)}
+    end.
+
+do_tuple_matching_3(Tuple) when is_tuple(Tuple) ->
+    Size = tuple_size(Tuple),
+    if
+        Size =:= 2 ->
+            2 = id(Size),
+            {ok,element(2, Tuple)}
+    end.
+
+-record(reporter_state, {res,run_config}).
+-record(run_config, {report_interval=0}).
+
+recv(_Config) ->
+    Parent = self(),
+
+    %% Test sync_wait_mon/2.
+    Succ = fun() -> Parent ! {ack,self(),{result,42}} end,
+    {result,42} = sync_wait_mon(spawn_monitor(Succ), infinity),
+
+    Down = fun() -> exit(down) end,
+    {error,down} = sync_wait_mon(spawn_monitor(Down), infinity),
+
+    Exit = fun() ->
+                   Self = self(),
+                   spawn(fun() -> exit(Self, kill_me) end),
+                   receive _ -> ok end
+           end,
+    {error,kill_me} = sync_wait_mon(spawn_monitor(Exit), infinity),
+
+    Timeout = fun() -> receive _ -> ok end end,
+    {error,timeout} = sync_wait_mon(spawn_monitor(Timeout), 0),
+
+    %% Test reporter_loop/1.
+    {a,Parent} = reporter_loop(#reporter_state{res={a,Parent},
+                                               run_config=#run_config{}}),
+
+    %% Test bad_sink/0.
+    bad_sink(),
+
+    %% Test tricky_recv_1/0.
+    self() ! 1,
+    a = tricky_recv_1(),
+    self() ! 2,
+    b = tricky_recv_1(),
+
+    %% Test tricky_recv_2/0.
+    self() ! 1,
+    {1,yes} = tricky_recv_2(),
+    self() ! 2,
+    {2,maybe} = tricky_recv_2(),
+
+    %% Test 'receive after infinity' in try/catch.
+    Pid = spawn(fun recv_after_inf_in_try/0),
+    exit(Pid, done),
+
+    %% Test tricky_recv_3().
+    self() ! {{self(),r0},{1,42,"name"}},
+    {Parent,r0,[<<1:32,1:8,42:8>>,"name",0]} = tricky_recv_3(),
+    self() ! {{self(),r1},{2,99,<<"data">>}},
+    {Parent,r1,<<1:32,2:8,99:8,"data">>} = tricky_recv_3(),
+
+    %% Test tricky_recv_4().
+    self() ! {[self(),r0],{1,42,"name"}},
+    {Parent,r0,[<<1:32,1:8,42:8>>,"name",0]} = tricky_recv_4(),
+    self() ! {[self(),r1],{2,99,<<"data">>}},
+    {Parent,r1,<<1:32,2:8,99:8,"data">>} = tricky_recv_4(),
+
+    ok.
+
+sync_wait_mon({Pid, Ref}, Timeout) ->
+    receive
+	{ack,Pid,Return} ->
+	    erlang:demonitor(Ref, [flush]),
+	    Return;
+	{'DOWN',Ref,_Type,Pid,Reason} ->
+	    {error,Reason};
+	{'EXIT',Pid,Reason} ->
+	    erlang:demonitor(Ref, [flush]),
+	    {error,Reason}
+    after Timeout ->
+            erlang:demonitor(Ref, [flush]),
+            exit(Pid, kill),
+            {error,timeout}
+    end.
+
+reporter_loop(State) ->
+    RC = State#reporter_state.run_config,
+    receive after RC#run_config.report_interval ->
+                    State#reporter_state.res
+    end.
+
+bad_sink() ->
+    {ok,Pid} = my_spawn(self()),
+    %% The get_tuple_element instruction for the matching
+    %% above was sinked into the receive loop. That will
+    %% not work (and would be bad for performance if it
+    %% would work).
+    receive
+        {ok,Pid} ->
+            ok;
+        error ->
+            exit(failed)
+    end,
+    exit(Pid, kill).
+
+my_spawn(Parent) ->
+    Pid = spawn(fun() ->
+                        Parent ! {ok,self()},
+                        receive _ -> ok end
+                end),
+    {ok,Pid}.
+
+tricky_recv_1() ->
+    receive
+        X=1 ->
+            id(42),
+            a;
+        X=2 ->
+            b
+    end,
+    case X of
+        1 -> a;
+        2 -> b
+    end.
+
+tricky_recv_2() ->
+    receive
+        X=1 ->
+            Y = case id(X) of
+                    1 -> yes;
+                    _ -> no
+                end,
+            a;
+        X=2 ->
+            Y = maybe,
+            b
+    end,
+    {X,Y}.
+
+recv_after_inf_in_try() ->
+    try
+        %% Used to crash beam_kernel_to_ssa.
+        receive after infinity -> ok end
+    catch
+	_A:_B ->
+	    receive after infinity -> ok end
+    end.
+
+tricky_recv_3() ->
+    {Pid, R, Request} =
+	receive
+	    {{Pid0,R0}, {1, Proto0, Name0}} ->
+		{Pid0, R0,
+		 [<<1:32, 1:8, Proto0:8>>,Name0,0]};
+	    {{Pid1,R1}, {2, Proto1, Data1}}  ->
+		{Pid1, R1,
+		 <<1:32, 2:8, Proto1:8, Data1/binary>>}
+	end,
+    id({Pid,R,Request}).
+
+tricky_recv_4() ->
+    {Pid, R, Request} =
+	receive
+	    {[Pid0,R0], {1, Proto0, Name0}} ->
+		{Pid0, R0,
+		 [<<1:32, 1:8, Proto0:8>>,Name0,0]};
+	    {[Pid1,R1], {2, Proto1, Data1}}  ->
+		{Pid1, R1,
+		 <<1:32, 2:8, Proto1:8, Data1/binary>>}
+	end,
+    id({Pid,R,Request}).
+
+maps(_Config) ->
+    {'EXIT',{{badmatch,#{}},_}} = (catch maps_1(any)),
+    ok.
+
+maps_1(K) ->
+    _ = id(42),
+    #{K:=V} = #{},
+    V.
+
+%% The identity function.
+id(I) -> I.
diff --git a/lib/compiler/test/beam_type_SUITE.erl b/lib/compiler/test/beam_type_SUITE.erl
index 061076b3ff..caf43dad40 100644
--- a/lib/compiler/test/beam_type_SUITE.erl
+++ b/lib/compiler/test/beam_type_SUITE.erl
@@ -23,7 +23,8 @@
 	 init_per_group/2,end_per_group/2,
 	 integers/1,coverage/1,booleans/1,setelement/1,cons/1,
 	 tuple/1,record_float/1,binary_float/1,float_compare/1,
-	 arity_checks/1,elixir_binaries/1,find_best/1]).
+	 arity_checks/1,elixir_binaries/1,find_best/1,
+         test_size/1]).
 
 suite() -> [{ct_hooks,[ts_install_cth]}].
 
@@ -43,7 +44,8 @@ groups() ->
        float_compare,
        arity_checks,
        elixir_binaries,
-       find_best
+       find_best,
+       test_size
       ]}].
 
 init_per_suite(Config) ->
@@ -177,11 +179,50 @@ setelement(_Config) ->
 
 cons(_Config) ->
     [did] = cons(assigned, did),
+
+    true = cons_is_empty_list([]),
+    false = cons_is_empty_list([a]),
+
+    false = cons_not(true),
+    true = cons_not(false),
+
+    {$a,"bc"} = cons_hdtl(true),
+    {$d,"ef"} = cons_hdtl(false),
     ok.
 
 cons(assigned, Instrument) ->
     [Instrument] = [did].
 
+cons_is_empty_list(L) ->
+    Cons = case L of
+               [] -> "true";
+               _ -> "false"
+           end,
+    id(1),
+    case Cons of
+        "true" -> true;
+        "false" -> false
+    end.
+
+cons_not(B) ->
+    Cons = case B of
+               true -> "true";
+               false -> "false"
+           end,
+    id(1),
+    case Cons of
+        "true" -> false;
+        "false" -> true
+    end.
+
+cons_hdtl(B) ->
+    Cons = case B of
+               true -> "abc";
+               false -> "def"
+           end,
+    id(1),
+    {id(hd(Cons)),id(tl(Cons))}.
+
 tuple(_Config) ->
     {'EXIT',{{badmatch,{necessary}},_}} = (catch do_tuple()),
     ok.
@@ -320,6 +361,15 @@ find_best([], <<"a">>) ->
 find_best([], nil) ->
     {error,<<"should not get here">>}.
 
+test_size(Config) ->
+    2 = do_test_size({a,b}),
+    4 = do_test_size(<<42:32>>),
+    ok.
+
+do_test_size(Term) when is_tuple(Term) ->
+    size(Term);
+do_test_size(Term) when is_binary(Term) ->
+    size(Term).
 
 id(I) ->
     I.
diff --git a/lib/compiler/test/bs_match_SUITE.erl b/lib/compiler/test/bs_match_SUITE.erl
index 7814738449..b4277f0705 100644
--- a/lib/compiler/test/bs_match_SUITE.erl
+++ b/lib/compiler/test/bs_match_SUITE.erl
@@ -248,6 +248,12 @@ bin_tail(Config) when is_list(Config) ->
     ok = bin_tail_e(<<2:2,1:1,1:5,42:64>>),
     error = bin_tail_e(<<3:2,1:1,1:5,42:64>>),
     error = bin_tail_e(<<>>),
+
+    MD5 = erlang:md5(<<42>>),
+    <<"abc">> = bin_tail_f(<<MD5/binary,"abc">>, MD5, 3),
+    error = bin_tail_f(<<MD5/binary,"abc">>, MD5, 999),
+    {'EXIT',{_,_}} = (catch bin_tail_f(<<0:16/unit:8>>, MD5, 0)),
+
     ok.
 
 bin_tail_c(Bin, Offset) ->
@@ -304,6 +310,14 @@ bin_tail_e_var(Bin) ->
 	<<2:2,_:1,1:5,Tail/binary>> -> Tail;
 	_ -> error
     end.
+
+bin_tail_f(Bin, MD5, Size) ->
+    case Bin of
+        <<MD5:16/binary, Tail:Size/binary>> ->
+            Tail;
+        <<MD5:16/binary, _/binary>> ->
+            error
+    end.
 	    
 save_restore(Config) when is_list(Config) ->
     0 = save_restore_1(<<0:2,42:6>>),
@@ -455,6 +469,15 @@ unit(Config) when is_list(Config) ->
     127 = peek7(<<127:7>>),
     100 = peek7(<<100:7,19:7>>),
     fc(peek7, [<<1,2>>], catch peek7(<<1,2>>)),
+
+    1 = unit_opt(1, -1),
+    8 = unit_opt(8, -1),
+
+    <<1:32,"abc">> = unit_opt_2(<<1:32,"abc">>),
+    <<"def">> = unit_opt_2(<<2:32,"def">>),
+    {'EXIT',_} = (catch unit_opt_2(<<1:32,33:7>>)),
+    {'EXIT',_} = (catch unit_opt_2(<<2:32,55:7>>)),
+
     ok.
 
 peek1(<<B:8,_/bitstring>>) -> B.
@@ -465,6 +488,27 @@ peek8(<<B:8,_/binary>>) -> B.
 
 peek16(<<B:16,_/binary-unit:16>>) -> B.
 
+unit_opt(U, X) ->
+    %% Cover type analysis in beam_ssa_type.
+    Bin = case U of
+              1 -> <<X:7>>;
+              8 -> <<X>>
+          end,
+    %% The type of Bin will be set to {binary,gcd(1, 8)}.
+    case Bin of
+        <<_/binary-unit:8>> -> 8;
+        <<_/binary-unit:1>> -> 1
+    end.
+
+unit_opt_2(<<St:32,KO/binary>> = Bin0) ->
+    Bin = if
+              St =:= 1 ->
+                  Bin0;
+              St =:= 2 ->
+                  <<KO/binary>>
+          end,
+    id(Bin).
+
 shared_sub_bins(Config) when is_list(Config) ->
     {15,[<<>>,<<5>>,<<4,5>>,<<3,4,5>>,<<2,3,4,5>>]} = sum(<<1,2,3,4,5>>, [], 0),
     ok.
diff --git a/lib/compiler/test/compilation_SUITE.erl b/lib/compiler/test/compilation_SUITE.erl
index 3ba3ce7cdf..def7a60f45 100644
--- a/lib/compiler/test/compilation_SUITE.erl
+++ b/lib/compiler/test/compilation_SUITE.erl
@@ -170,7 +170,7 @@ try_it(Module, Conf) ->
 			atom_to_list(Module)),
     Out = proplists:get_value(priv_dir,Conf),
     io:format("Compiling: ~s\n", [Src]),
-    CompRc0 = compile:file(Src, [clint0,clint,{outdir,Out},report,
+    CompRc0 = compile:file(Src, [clint0,clint,ssalint,{outdir,Out},report,
 				 bin_opt_info|OtherOpts]),
     io:format("Result: ~p\n",[CompRc0]),
     {ok,_Mod} = CompRc0,
@@ -189,7 +189,7 @@ try_it(Module, Conf) ->
 
     ct:timetrap(Timetrap),
     io:format("Compiling (with old inliner): ~s\n", [Src]),
-    CompRc2 = compile:file(Src, [clint,
+    CompRc2 = compile:file(Src, [clint,ssalint,
 				 {outdir,Out},report,bin_opt_info,
 				 {inline,1000}|OtherOpts]),
     io:format("Result: ~p\n",[CompRc2]),
@@ -355,7 +355,7 @@ compile_compiler(Files, OutDir, Version, InlineOpts) ->
     io:format("~ts", [code:which(compile)]),
     io:format("Compiling ~s into ~ts", [Version,OutDir]),
     Opts = [report,
-	    clint0,clint,
+	    clint0,clint,ssalint,
 	    bin_opt_info,
 	    {outdir,OutDir},
 	    {d,'COMPILER_VSN',"\""++Version++"\""},
diff --git a/lib/compiler/test/compile_SUITE.erl b/lib/compiler/test/compile_SUITE.erl
index 8056982d8e..85f0b7dc46 100644
--- a/lib/compiler/test/compile_SUITE.erl
+++ b/lib/compiler/test/compile_SUITE.erl
@@ -385,6 +385,9 @@ do_file_listings(DataDir, PrivDir, [File|Files]) ->
     do_listing(Simple, TargetDir, dcbsm, ".core_bsm"),
     do_listing(Simple, TargetDir, dsetel, ".dsetel"),
     do_listing(Simple, TargetDir, dkern, ".kernel"),
+    do_listing(Simple, TargetDir, dssa, ".ssa"),
+    do_listing(Simple, TargetDir, dssaopt, ".ssaopt"),
+    do_listing(Simple, TargetDir, dprecg, ".precodegen"),
     do_listing(Simple, TargetDir, dcg, ".codegen"),
     do_listing(Simple, TargetDir, dblk, ".block"),
     do_listing(Simple, TargetDir, dexcept, ".except"),
@@ -423,6 +426,9 @@ listings_big(Config) when is_list(Config) ->
     do_listing(Big, TargetDir, 'E'),
     do_listing(Big, TargetDir, 'P'),
     do_listing(Big, TargetDir, dkern, ".kernel"),
+    do_listing(Big, TargetDir, dssa, ".ssa"),
+    do_listing(Big, TargetDir, dssaopt, ".ssaopt"),
+    do_listing(Big, TargetDir, dprecg, ".precodegen"),
     do_listing(Big, TargetDir, to_dis, ".dis"),
 
     TargetNoext = filename:rootname(Target, code:objfile_extension()),
@@ -919,7 +925,7 @@ do_core_pp_1(M, A, Outdir) ->
     ok = file:delete(CoreFile),
 
     %% Compile as usual (including optimizations).
-    compile_forms(M, Core, [clint,from_core,binary]),
+    compile_forms(M, Core, [clint,ssalint,from_core,binary]),
 
     %% Don't optimize to test that we are not dependent
     %% on the Core Erlang optmimization passes.
@@ -928,7 +934,7 @@ do_core_pp_1(M, A, Outdir) ->
     %% records; if sys_core_fold was run it would fix
     %% that; if sys_core_fold was not run v3_kernel would
     %% crash.)
-    compile_forms(M, Core, [clint,from_core,no_copt,binary]),
+    compile_forms(M, Core, [clint,ssalint,from_core,no_copt,binary]),
 
     ok.
 
@@ -1241,21 +1247,14 @@ do_opt_guards_fun([_|Is]) ->
     do_opt_guards_fun(Is);
 do_opt_guards_fun([]) -> [].
 
-is_exception(bs_match_SUITE, {matching_and_andalso_2,2}) -> true;
-is_exception(bs_match_SUITE, {matching_and_andalso_3,2}) -> true;
 is_exception(guard_SUITE, {'-complex_not/1-fun-4-',1}) -> true;
 is_exception(guard_SUITE, {'-complex_not/1-fun-5-',1}) -> true;
-is_exception(guard_SUITE, {basic_andalso_orelse,1}) -> true;
 is_exception(guard_SUITE, {bad_guards,1}) -> true;
 is_exception(guard_SUITE, {bad_guards_2,2}) -> true;
 is_exception(guard_SUITE, {bad_guards_3,2}) -> true;
-is_exception(guard_SUITE, {cqlc,4}) -> true;
 is_exception(guard_SUITE, {csemi7,3}) -> true;
-is_exception(guard_SUITE, {misc,1}) -> true;
 is_exception(guard_SUITE, {nested_not_2b,4}) -> true;
 is_exception(guard_SUITE, {tricky_1,2}) -> true;
-is_exception(map_SUITE, {map_guard_update,2}) -> true;
-is_exception(map_SUITE, {map_guard_update_variables,3}) -> true;
 is_exception(_, _) -> false.
 
 sys_pre_attributes(Config) ->
@@ -1477,18 +1476,18 @@ bc_options(Config) ->
     101 = highest_opcode(DataDir, small_float, [no_get_hd_tl,no_line_info]),
 
     103 = highest_opcode(DataDir, big,
-                         [no_get_hd_tl,no_record_opt,
+                         [no_get_hd_tl,no_ssa_opt_record,
                           no_line_info,no_stack_trimming]),
 
     125 = highest_opcode(DataDir, small_float,
-                         [no_get_hd_tl,no_line_info,no_float_opt]),
+                         [no_get_hd_tl,no_line_info,no_ssa_opt_float]),
 
     132 = highest_opcode(DataDir, small,
-                         [no_get_hd_tl,no_record_opt,no_float_opt,no_line_info]),
+                         [no_get_hd_tl,no_ssa_opt_record,no_ssa_opt_float,no_line_info]),
 
-    136 = highest_opcode(DataDir, big, [no_get_hd_tl,no_record_opt,no_line_info]),
+    136 = highest_opcode(DataDir, big, [no_get_hd_tl,no_ssa_opt_record,no_line_info]),
 
-    153 = highest_opcode(DataDir, big, [no_get_hd_tl,no_record_opt]),
+    153 = highest_opcode(DataDir, big, [no_get_hd_tl,no_ssa_opt_record]),
     153 = highest_opcode(DataDir, big, [r16]),
     153 = highest_opcode(DataDir, big, [r17]),
     153 = highest_opcode(DataDir, big, [r18]),
diff --git a/lib/compiler/test/core_fold_SUITE.erl b/lib/compiler/test/core_fold_SUITE.erl
index 30d145582a..68bc5c6e2f 100644
--- a/lib/compiler/test/core_fold_SUITE.erl
+++ b/lib/compiler/test/core_fold_SUITE.erl
@@ -373,7 +373,7 @@ unused_multiple_values_error(Config) when is_list(Config) ->
     PrivDir = proplists:get_value(priv_dir, Config),
     Dir = test_lib:get_data_dir(Config),
     Core = filename:join(Dir, "unused_multiple_values_error"),
-    Opts = [no_copt,clint,return,from_core,{outdir,PrivDir}
+    Opts = [no_copt,clint,ssalint,return,from_core,{outdir,PrivDir}
 	   |test_lib:opt_opts(?MODULE)],
     {error,[{unused_multiple_values_error,
 	     [{none,core_lint,{return_mismatch,{hello,1}}}]}],
diff --git a/lib/compiler/test/guard_SUITE.erl b/lib/compiler/test/guard_SUITE.erl
index 99dc06b525..73a8dc0fda 100644
--- a/lib/compiler/test/guard_SUITE.erl
+++ b/lib/compiler/test/guard_SUITE.erl
@@ -1788,6 +1788,11 @@ t_tuple_size(Config) when is_list(Config) ->
     14 = Mod:t({1,2,3,4}),
     _ = code:delete(Mod),
     _ = code:purge(Mod),
+
+    good_ip({1,2,3,4}),
+    good_ip({1,2,3,4,5,6,7,8}),
+    error = validate_ip({42,11}),
+    error = validate_ip(atom),
     
     ok.
 
@@ -1805,6 +1810,16 @@ ludicrous_tuple_size(T)
   when tuple_size(T) =:= 16#FFFFFFFFFFFFFFFF -> ok;
 ludicrous_tuple_size(_) -> error.
 
+good_ip(IP) ->
+    IP = validate_ip(IP).
+
+validate_ip(Value) when is_tuple(Value) andalso
+                        ((size(Value) =:= 4) orelse (size(Value) =:= 8)) ->
+    %% size/1 (converted to tuple_size) used more than once.
+    Value;
+validate_ip(_) ->
+    error.
+
 %%
 %% The binary_part/2,3 guard BIFs
 %%
diff --git a/lib/compiler/test/inline_SUITE.erl b/lib/compiler/test/inline_SUITE.erl
index fdf2fe88b4..e03769012b 100644
--- a/lib/compiler/test/inline_SUITE.erl
+++ b/lib/compiler/test/inline_SUITE.erl
@@ -96,7 +96,8 @@ try_inline(Mod, Config) ->
 
     %% Normal compilation.
     io:format("Compiling: ~s\n", [Src]),
-    {ok,Mod} = compile:file(Src, [{outdir,Out},report,bin_opt_info,clint]),
+    {ok,Mod} = compile:file(Src, [{outdir,Out},report,
+                                  bin_opt_info,clint,ssalint]),
 
     ct:timetrap({minutes,10}),
     NormalResult = rpc:call(Node, ?MODULE, load_and_call, [Out,Mod]),
@@ -104,7 +105,7 @@ try_inline(Mod, Config) ->
     %% Inlining.
     io:format("Compiling with old inliner: ~s\n", [Src]),
     {ok,Mod} = compile:file(Src, [{outdir,Out},report,bin_opt_info,
-					{inline,1000},clint]),
+                                  {inline,1000},clint,ssalint]),
 
     %% Run inlined code.
     ct:timetrap({minutes,10}),
@@ -117,7 +118,7 @@ try_inline(Mod, Config) ->
     %% Inlining.
     io:format("Compiling with new inliner: ~s\n", [Src]),
     {ok,Mod} = compile:file(Src, [{outdir,Out},report,
-					bin_opt_info,inline,clint]),
+					bin_opt_info,inline,clint,ssalint]),
 
     %% Run inlined code.
     ct:timetrap({minutes,10}),
@@ -351,7 +352,8 @@ otp_7223_2({a}) ->
 coverage(Config) when is_list(Config) ->
     Mod = bsdecode,
     Src = filename:join(proplists:get_value(data_dir, Config), Mod),
-    {ok,Mod,_} = compile:file(Src, [binary,report,{inline,0},clint]),
+    {ok,Mod,_} = compile:file(Src, [binary,report,{inline,0},
+                                    clint,ssalint]),
     {ok,Mod,_} = compile:file(Src, [binary,report,{inline,20},
-				    verbose,clint]),
+				    verbose,clint,ssalint]),
     ok.
diff --git a/lib/compiler/test/misc_SUITE.erl b/lib/compiler/test/misc_SUITE.erl
index 497cbad636..beae5eb618 100644
--- a/lib/compiler/test/misc_SUITE.erl
+++ b/lib/compiler/test/misc_SUITE.erl
@@ -171,7 +171,7 @@ silly_coverage(Config) when is_list(Config) ->
     expect_error(fun() -> sys_core_dsetel:module(BadCoreErlang, []) end),
     expect_error(fun() -> v3_kernel:module(BadCoreErlang, []) end),
 
-    %% v3_codegen
+    %% beam_kernel_to_ssa
     BadKernel = {k_mdef,[],?MODULE,
 		 [{foo,0}],
 		 [],
@@ -179,7 +179,31 @@ silly_coverage(Config) when is_list(Config) ->
 		   {k,[],[],[]},
 		   f,0,[],
 		   seriously_bad_body}]},
-    expect_error(fun() -> v3_codegen:module(BadKernel, []) end),
+    expect_error(fun() -> beam_kernel_to_ssa:module(BadKernel, []) end),
+
+    %% beam_ssa_lint
+    %% beam_ssa_recv
+    %% beam_ssa_pre_codegen
+    %% beam_ssa_opt
+    %% beam_ssa_codegen
+    BadSSA = {b_module,#{},a,b,c,
+              [{b_function,#{func_info=>{mod,foo,0}},args,bad_blocks,0}]},
+    expect_error(fun() -> beam_ssa_lint:module(BadSSA, []) end),
+    expect_error(fun() -> beam_ssa_recv:module(BadSSA, []) end),
+    expect_error(fun() -> beam_ssa_pre_codegen:module(BadSSA, []) end),
+    expect_error(fun() -> beam_ssa_opt:module(BadSSA, []) end),
+    expect_error(fun() -> beam_ssa_codegen:module(BadSSA, []) end),
+
+    %% beam_ssa_lint, beam_ssa_pp
+    {error,[{_,Errors}]} = beam_ssa_lint:module(bad_ssa_lint_input(), []),
+    _ = [io:put_chars(Mod:format_error(Reason)) ||
+            {Mod,Reason} <- Errors],
+
+    %% Cover printing of annotations in beam_ssa_pp
+    PPAnno = #{func_info=>{mod,foo,0},other_anno=>value,map_anno=>#{k=>v}},
+    PPBlocks = #{0=>{b_blk,#{},[],{b_ret,#{},{b_literal,42}}}},
+    PP = {b_function,PPAnno,[],PPBlocks,0},
+    io:put_chars(beam_ssa_pp:format_function(PP)),
 
     %% beam_a
     BeamAInput = {?MODULE,[{foo,0}],[],
@@ -268,6 +292,31 @@ silly_coverage(Config) when is_list(Config) ->
 
     ok.
 
+bad_ssa_lint_input() ->
+    {b_module,#{},t,
+     [{foobar,1},{module_info,0},{module_info,1}],
+     [],
+     [{b_function,
+       #{func_info => {t,foobar,1},location => {"t.erl",4}},
+       [{b_var,0}],
+       #{0 => {b_blk,#{},[],{b_ret,#{},{b_var,'@undefined_var'}}}},
+       3},
+      {b_function,
+       #{func_info => {t,module_info,0}},
+       [],
+       #{0 =>
+             {b_blk,#{},
+              [{b_set,#{},
+                {b_var,{'@ssa_ret',3}},
+                call,
+                [{b_remote,
+                  {b_literal,erlang},
+                  {b_literal,get_module_info},
+                  1},
+                 {b_var,'@unknown_variable'}]}],
+              {b_ret,#{},{b_var,{'@ssa_ret',3}}}}},
+       4}]}.
+
 expect_error(Fun) ->
     try	Fun() of
 	Any ->
diff --git a/lib/compiler/test/receive_SUITE_data/ref_opt/no_5.erl b/lib/compiler/test/receive_SUITE_data/ref_opt/no_5.erl
new file mode 100644
index 0000000000..4fbde3a83d
--- /dev/null
+++ b/lib/compiler/test/receive_SUITE_data/ref_opt/no_5.erl
@@ -0,0 +1,38 @@
+-module(no_5).
+-compile([export_all,nowarn_export_all]).
+
+?MODULE() ->
+    ok.
+
+%% Nested receives were not handled properly.
+
+confusing_recv_mark(Pid) ->
+    Ref = make_ref(),
+    %% There would be a recv_mark here.
+    MRef = erlang:monitor(process, Pid),
+    receive
+        Ref ->
+            %% And a recv_set here.
+            receive
+                MRef -> gurka
+            end;
+        MRef ->
+            gaffel
+    end.
+
+%% The optimization could potentially be improved to
+%% handle matching of multiple refs, like this:
+
+proper_recv_mark(Pid) ->
+    %% Place the recv_mark before the creation of both refs.
+    Ref = make_ref(),
+    MRef = erlang:monitor(process, Pid),
+    %% Place the recv_set here.
+    receive
+        Ref ->
+            receive
+                MRef -> gurka
+            end;
+        MRef ->
+            gaffel
+    end.
diff --git a/lib/compiler/test/receive_SUITE_data/ref_opt/yes_14.S b/lib/compiler/test/receive_SUITE_data/ref_opt/yes_14.S
deleted file mode 100644
index fd14228135..0000000000
--- a/lib/compiler/test/receive_SUITE_data/ref_opt/yes_14.S
+++ /dev/null
@@ -1,71 +0,0 @@
-{module, yes_14}.  %% version = 0
-
-{exports, [{f,2},{module_info,0},{module_info,1},{yes_14,0}]}.
-
-{attributes, []}.
-
-{labels, 12}.
-
-
-{function, yes_14, 0, 2}.
-  {label,1}.
-    {func_info,{atom,yes_14},{atom,yes_14},0}.
-  {label,2}.
-    {move,{atom,ok},{x,0}}.
-    return.
-
-
-{function, f, 2, 4}.
-  {label,3}.
-    {func_info,{atom,yes_14},{atom,f},2}.
-  {label,4}.
-    {allocate_heap,2,3,2}.
-    {move,{x,0},{y,1}}.
-    {put_tuple,2,{y,0}}.
-    {put,{atom,data}}.
-    {put,{x,1}}.
-    {call_ext,0,{extfunc,erlang,make_ref,0}}. % Ref in [x0]
-    {test_heap,4,1}.
-    {put_tuple,3,{x,1}}.
-    {put,{atom,request}}.
-    {put,{x,0}}.
-    {put,{y,0}}.
-    {move,{x,0},{y,0}}. % Ref in [x0,y0]
-    {move,{y,1},{x,0}}. % Ref in [y0]
-    {kill,{y,1}}.
-    send.
-    {move,{y,0},{x,0}}. % Ref in [x0,y0]
-    {move,{x,0},{y,1}}. % Ref in [x0,y0,y1]
-  {label,5}.
-    {loop_rec,{f,7},{x,0}}. % Ref in [y0,y1]
-    {test,is_tuple,{f,6},[{x,0}]}.
-    {test,test_arity,{f,6},[{x,0},2]}.
-    {get_tuple_element,{x,0},0,{x,1}}.
-    {get_tuple_element,{x,0},1,{x,2}}.
-    {test,is_eq_exact,{f,6},[{x,1},{atom,reply}]}.
-    {test,is_eq_exact,{f,6},[{x,2},{y,1}]}.
-    remove_message.
-    {move,{atom,ok},{x,0}}.
-    {deallocate,2}.
-    return.
-  {label,6}.
-    {loop_rec_end,{f,5}}.
-  {label,7}.
-    {wait,{f,5}}.
-
-
-{function, module_info, 0, 9}.
-  {label,8}.
-    {func_info,{atom,yes_14},{atom,module_info},0}.
-  {label,9}.
-    {move,{atom,yes_14},{x,0}}.
-    {call_ext_only,1,{extfunc,erlang,get_module_info,1}}.
-
-
-{function, module_info, 1, 11}.
-  {label,10}.
-    {func_info,{atom,yes_14},{atom,module_info},1}.
-  {label,11}.
-    {move,{x,0},{x,1}}.
-    {move,{atom,yes_14},{x,0}}.
-    {call_ext_only,2,{extfunc,erlang,get_module_info,2}}.
diff --git a/lib/compiler/test/receive_SUITE_data/ref_opt/yes_14.erl b/lib/compiler/test/receive_SUITE_data/ref_opt/yes_14.erl
new file mode 100644
index 0000000000..aa47c02af9
--- /dev/null
+++ b/lib/compiler/test/receive_SUITE_data/ref_opt/yes_14.erl
@@ -0,0 +1,27 @@
+-module(yes_14).
+-compile(export_all).
+
+?MODULE() ->
+    ok.
+
+do_call(Process, Request) ->
+    Mref = erlang:monitor(process, Process),
+    Process ! Request,
+    Local = case node(Process) of
+                Node when Node =:= node() -> true;
+                _Node -> false
+            end,
+    id(Local),
+    receive
+	{X,Y,Z} when Mref =/= X, Z =:= 42, Mref =:= Y ->
+	    error;
+	{X,Y,_} when Mref =/= X, Mref =:= Y ->
+	    error;
+	{Mref, Reply} ->
+	    erlang:demonitor(Mref, [flush]),
+	    {ok, Reply};
+	{'DOWN', Mref, _, _, _} ->
+	    error
+    end.
+
+id(I) -> I.
diff --git a/lib/compiler/test/test_lib.erl b/lib/compiler/test/test_lib.erl
index 8954a9f5fb..c6baa611ec 100644
--- a/lib/compiler/test/test_lib.erl
+++ b/lib/compiler/test/test_lib.erl
@@ -72,11 +72,9 @@ opt_opts(Mod) ->
     {options,Opts} = lists:keyfind(options, 1, Comp),
     lists:filter(fun(no_copt) -> true;
 		    (no_postopt) -> true;
-		    (no_float_opt) -> true;
-		    (no_new_funs) -> true;
-		    (no_new_binaries) -> true;
-		    (no_new_apply) -> true;
-		    (no_gc_bifs) -> true;
+                    (no_ssa_opt) -> true;
+                    (no_recv_opt) -> true;
+		    (no_ssa_float) -> true;
 		    (no_stack_trimming) -> true;
 		    (debug_info) -> true;
 		    (inline) -> true;