Merge branch 'bjorn/compiler/ssa'

* bjorn/compiler/ssa:
  Travis CI: Run the SSA linter in the Linux64SmokeTest build
  Remove retired compiler passes
  Introduce a new SSA-based intermediate format
  hipe_beam_to_icode: Correct translation of get_map_elements
  beam_dead: Remove shortcut of binary matching instruction
  beam_bs: Remove optimizations that are easier done on SSA format
  Don't run unsafe compiler passes
  Simplify optimizations by introducing is_nil late
  beam_utils: Make is_tagged_tuple a pure test
  beam_except: Enhance recognition of function_clause exceptions
  beam_validator: Infer the types of copies in a smarter way
  beam_validator: Improve merge of cons and literal list
  beam_validator: Strengthen validation of func_info
  beam_validator: Allow get_tuple_element before dsetelement
  beam_validator: Don't transfer state to labels that can't be reached
  beam_validator: Improve type analysis for tuples
  beam_validator: Be more careful when updating try/catch state
  beam_trim: Handle an empty list of instructions
  v3_core: Number argument variables in ascending order
  Teach binary instructions to use Y registers as destination

OTP-14894

1 files changed, 0 insertions, 71 deletions

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}}.