The R13B03 release.OTP_R13B03

1 files changed, 201 insertions, 0 deletions

diff --git a/lib/hipe/rtl/hipe_rtl_cfg.erl b/lib/hipe/rtl/hipe_rtl_cfg.erl
new file mode 100644
index 0000000000..b6c1d63262
--- /dev/null
+++ b/lib/hipe/rtl/hipe_rtl_cfg.erl
@@ -0,0 +1,201 @@
+%% -*- erlang-indent-level: 2 -*-
+%%
+%% %CopyrightBegin%
+%% 
+%% Copyright Ericsson AB 2001-2009. All Rights Reserved.
+%% 
+%% The contents of this file are subject to the Erlang Public License,
+%% Version 1.1, (the "License"); you may not use this file except in
+%% compliance with the License. You should have received a copy of the
+%% Erlang Public License along with this software. If not, it can be
+%% retrieved online at http://www.erlang.org/.
+%% 
+%% Software distributed under the License is distributed on an "AS IS"
+%% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
+%% the License for the specific language governing rights and limitations
+%% under the License.
+%% 
+%% %CopyrightEnd%
+%%
+
+-module(hipe_rtl_cfg).
+
+-export([init/1,
+         labels/1,
+	 params/1, params_update/2,
+         start_label/1,
+         succ/2,
+         pred/2,
+         bb/2, bb_add/3, bb_insert_between/5,
+	 redirect/4,
+         remove_trivial_bbs/1, remove_unreachable_code/1,
+	 linearize/1,
+	 pp/1, pp/2]).
+-export([preorder/1, postorder/1, reverse_postorder/1]).
+
+-define(RTL_CFG, true).	% needed for cfg.inc below
+
+-include("../main/hipe.hrl").
+-include("hipe_rtl.hrl").
+-include("../flow/cfg.hrl").
+-include("../flow/cfg.inc").
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%
+%% CFG interface to RTL.
+%%
+
+init(Rtl) ->
+  %% hipe_rtl:pp(Rtl),
+  Code = hipe_rtl:rtl_code(Rtl),
+  StartLabel = hipe_rtl:label_name(hd(Code)),
+  CFG0 = mk_empty_cfg(hipe_rtl:rtl_fun(Rtl), 
+		      StartLabel, 
+		      hipe_rtl:rtl_data(Rtl),
+		      hipe_rtl:rtl_is_closure(Rtl),
+		      hipe_rtl:rtl_is_leaf(Rtl),
+		      hipe_rtl:rtl_params(Rtl)),
+  CFG = info_update(CFG0, hipe_rtl:rtl_info(Rtl)),
+  take_bbs(Code, CFG).
+
+%% @spec is_comment(hipe_rtl:rtl_instruction()) -> boolean()
+%% @doc  Succeeds if Instr has no effect.
+is_comment(Instr) ->
+  hipe_rtl:is_comment(Instr).
+
+%% @spec is_goto(hipe_rtl:rtl_instruction()) -> boolean()
+%% @doc  Succeeds if Instr is just a jump (no side-effects).
+is_goto(Instr) ->
+  hipe_rtl:is_goto(Instr).
+
+is_label(Instr) ->
+  hipe_rtl:is_label(Instr).
+
+label_name(Instr) ->
+  hipe_rtl:label_name(Instr).
+
+mk_label(Name) ->
+  hipe_rtl:mk_label(Name).
+
+mk_goto(Name) ->
+  hipe_rtl:mk_goto(Name).
+
+branch_successors(Instr) ->
+  case Instr of
+    #branch{} -> [hipe_rtl:branch_true_label(Instr), 
+		  hipe_rtl:branch_false_label(Instr)];
+    #alub{} -> [hipe_rtl:alub_true_label(Instr), 
+	        hipe_rtl:alub_false_label(Instr)];
+    #switch{} -> hipe_rtl:switch_labels(Instr);
+    #call{} -> 
+      case hipe_rtl:call_fail(Instr) of
+	[] -> [hipe_rtl:call_continuation(Instr)];
+	Fail -> [hipe_rtl:call_continuation(Instr),Fail]
+      end;
+    #goto{} -> [hipe_rtl:goto_label(Instr)];
+    #goto_index{} -> hipe_rtl:goto_index_labels(Instr);
+    _ -> []
+  end.
+
+fails_to(Instr) ->
+  case Instr of
+    #call{} -> [hipe_rtl:call_fail(Instr)];
+    _ -> []
+  end.
+
+is_branch(Instr) ->
+   case Instr of
+     #branch{} -> true;
+     #alub{} -> true;
+     #switch{} -> true;
+     #goto{} -> true;
+     #goto_index{} -> true;
+     #enter{} -> true;
+     #return{} -> true;
+     #call{} -> 
+       case hipe_rtl:call_fail(Instr) of
+	[] ->  
+	   case hipe_rtl:call_continuation(Instr) of
+	     [] -> false;
+	     _ -> true
+	   end;
+	 _ -> true
+       end;
+     _ -> false
+   end.
+
+is_pure_branch(Instr) ->
+  case Instr of
+    #branch{} -> true;
+    #switch{} -> true;
+    #goto{} -> true;
+    _ -> false
+  end.
+
+redirect_jmp(Jmp, ToOld, ToNew) ->
+   hipe_rtl:redirect_jmp(Jmp, ToOld, ToNew).
+
+redirect_ops([Label|Labels], CFG, Map) ->
+  BB = bb(CFG, Label),
+  Code = hipe_bb:code(BB),
+  NewCode = [rewrite(I,Map) || I <- Code],
+  NewCFG = bb_add(CFG, Label, hipe_bb:code_update(BB, NewCode)),
+  redirect_ops(Labels, NewCFG, Map);
+redirect_ops([],CFG,_) -> CFG.
+
+rewrite(I, Map) ->
+  case I of
+    #load_address{} ->
+	case hipe_rtl:load_address_type(I) of
+	  constant -> I;
+	  _ -> 
+	    NewL =
+	      find_new_label(hipe_rtl:load_address_addr(I), Map),
+	    hipe_rtl:load_address_addr_update(I, NewL)
+	end;
+    _ -> I
+  end.
+
+
+pp(CFG) ->
+  hipe_rtl:pp(linearize(CFG)).
+
+pp(Dev, CFG) ->
+  hipe_rtl:pp(Dev, linearize(CFG)).
+
+linearize(CFG) ->
+  Code = linearize_cfg(CFG),
+  Rtl = hipe_rtl:mk_rtl(function(CFG),
+			params(CFG),
+			is_closure(CFG),
+			is_leaf(CFG),
+			Code, 
+			data(CFG),	 
+			hipe_gensym:var_range(rtl), 
+			hipe_gensym:label_range(rtl)),
+  hipe_rtl:rtl_info_update(Rtl, info(CFG)).
+
+%% %% Warning: this arity might not be the true arity.
+%% %% The true arity of a closure usually differs.
+%% arity(CFG) ->
+%%    {_M,_F,A} = function(CFG),
+%%    A.
+
+%% init_gensym(CFG)->
+%%   HighestVar = find_highest_var(CFG),
+%%   HighestLabel = find_highest_label(CFG),
+%%   hipe_gensym:init(),
+%%   hipe_gensym:set_var(rtl, HighestVar),
+%%   hipe_gensym:set_label(rtl, HighestLabel).
+%% 
+%% highest_var(Code)->
+%%   hipe_rtl:highest_var(Code).
+
+is_phi(I) ->
+  hipe_rtl:is_phi(I).
+
+phi_remove_pred(I, Pred) ->
+  hipe_rtl:phi_remove_pred(I, Pred).
+
+phi_redirect_pred(I, OldPred, NewPred) ->
+  hipe_rtl:phi_redirect_pred(I, OldPred, NewPred).