The R13B03 release.OTP_R13B03

1 files changed, 99 insertions, 0 deletions

diff --git a/lib/hipe/x86/hipe_x86_ra.erl b/lib/hipe/x86/hipe_x86_ra.erl
new file mode 100644
index 0000000000..d50b9aabad
--- /dev/null
+++ b/lib/hipe/x86/hipe_x86_ra.erl
@@ -0,0 +1,99 @@
+%% -*- erlang-indent-level: 2 -*-
+%%
+%% %CopyrightBegin%
+%% 
+%% Copyright Ericsson AB 2004-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%
+%%
+
+-ifdef(HIPE_AMD64).
+-define(HIPE_X86_RA, hipe_amd64_ra).
+-define(HIPE_X86_PP, hipe_amd64_pp).
+-define(HIPE_X86_RA_LS, hipe_amd64_ra_ls).
+-define(HIPE_X86_RA_NAIVE, hipe_amd64_ra_naive).
+-define(HIPE_X86_RA_FINALISE, hipe_amd64_ra_finalise).
+-define(HIPE_X86_SPECIFIC, hipe_amd64_specific).
+-else.
+-define(HIPE_X86_RA, hipe_x86_ra).
+-define(HIPE_X86_PP, hipe_x86_pp).
+-define(HIPE_X86_RA_LS, hipe_x86_ra_ls).
+-define(HIPE_X86_RA_NAIVE, hipe_x86_ra_naive).
+-define(HIPE_X86_RA_FINALISE, hipe_x86_ra_finalise).
+-define(HIPE_X86_SPECIFIC, hipe_x86_specific).
+-endif.
+
+-module(?HIPE_X86_RA).
+-export([ra/2]).
+
+%%-define(HIPE_INSTRUMENT_COMPILER, true). %% Turn on instrumentation.
+-include("../main/hipe.hrl").
+
+ra(Defun0, Options) ->
+  %% ?HIPE_X86_PP:pp(Defun0),
+  {Defun1, Coloring_fp, SpillIndex} = ra_fp(Defun0, Options),
+  %% ?HIPE_X86_PP:pp(Defun1),
+  ?start_ra_instrumentation(Options,
+			    length(hipe_x86:defun_code(Defun1)),
+			    element(2,hipe_x86:defun_var_range(Defun1))),
+  {Defun2, Coloring}
+    = case proplists:get_value(regalloc, Options, coalescing) of
+	coalescing ->
+	  ra(Defun1, SpillIndex, Options, hipe_coalescing_regalloc);
+	optimistic ->
+	  ra(Defun1, SpillIndex, Options, hipe_optimistic_regalloc);
+	graph_color ->
+	  ra(Defun1, SpillIndex, Options, hipe_graph_coloring_regalloc);
+	linear_scan ->
+	  ?HIPE_X86_RA_LS:ra(Defun1, SpillIndex, Options);
+	naive ->
+	  ?HIPE_X86_RA_NAIVE:ra(Defun1, Coloring_fp, Options);
+        _ ->
+	  exit({unknown_regalloc_compiler_option,
+		proplists:get_value(regalloc,Options)})
+      end,
+  ?stop_ra_instrumentation(Options,
+			   length(hipe_x86:defun_code(Defun2)),
+			   element(2,hipe_x86:defun_var_range(Defun2))),
+  %% ?HIPE_X86_PP:pp(Defun2),
+  ?HIPE_X86_RA_FINALISE:finalise(Defun2, Coloring, Coloring_fp, Options).
+
+ra(Defun, SpillIndex, Options, RegAllocMod) ->
+  hipe_regalloc_loop:ra(Defun, SpillIndex, Options, RegAllocMod, ?HIPE_X86_SPECIFIC).
+
+-ifdef(HIPE_AMD64).
+ra_fp(Defun, Options) ->
+  case proplists:get_bool(inline_fp, Options) and
+       (proplists:get_value(regalloc, Options) =/= naive) of
+    true ->
+      case proplists:get_bool(x87, Options) of
+	true ->
+	  hipe_amd64_ra_x87_ls:ra(Defun, Options);
+	false ->
+	  hipe_regalloc_loop:ra_fp(Defun, Options,
+				   hipe_coalescing_regalloc,
+				   hipe_amd64_specific_sse2)
+      end;
+    false ->
+      {Defun,[],0}
+  end.
+-else.
+ra_fp(Defun, Options) ->
+  case proplists:get_bool(inline_fp, Options) of
+    true ->
+      hipe_x86_ra_x87_ls:ra(Defun, Options);
+    false ->
+      {Defun,[],0}
+  end.
+-endif.