From be92a8c71192e014caf292312865dee32ee1b901 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 10 Apr 2020 08:29:28 +0200
Subject: moved to common place

---
 backend/PrintAsmaux.ml    | 56 ++++++++++++++++++++++++++++++++++++++++++++++-
 mppa_k1c/TargetPrinter.ml | 52 -------------------------------------------
 2 files changed, 55 insertions(+), 53 deletions(-)

diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml
index d82e6f84..27d161ee 100644
--- a/backend/PrintAsmaux.ml
+++ b/backend/PrintAsmaux.ml
@@ -310,4 +310,58 @@ let common_section ?(sec = ".bss") () =
   if !Clflags.option_fcommon then
     "COMM"
   else
-    sec
+    sec;;
+
+(* Profiling *)
+let profiling_table : (Digest.t, int) Hashtbl.t = Hashtbl.create 1000;;
+let next_profiling_position = ref 0;;
+let profiling_position (x : Digest.t) : int =
+  match Hashtbl.find_opt profiling_table x with
+  | None -> let y = !next_profiling_position in
+            next_profiling_position := succ y;
+            Hashtbl.replace profiling_table x y;
+            y
+  | Some y -> y;;
+
+let profiling_ids () =
+  let nr_items = !next_profiling_position in
+  let ar = Array.make nr_items "" in
+  Hashtbl.iter
+    (fun x y -> ar.(y) <- x)
+    profiling_table;
+  ar;;
+
+let print_profiling_id oc id =
+  assert (String.length id = 16);
+  output_string oc "	.byte";
+  for i=0 to 15 do
+    fprintf oc " 0x%02x" (Char.code (String.get id i));
+    if i < 15 then output_char oc ','
+  done;
+  output_char oc '\n';;
+
+let profiling_counter_table_name = ".compcert_profiling_counters"
+and profiling_id_table_name = ".compcert_profiling_ids"
+and profiling_write_table = ".compcert_profiling_write_table"
+and profiling_write_table_helper = "_compcert_write_profiling_table"
+and dtor_section = ".dtors.65435";;
+
+let print_profiling finalizer_section print_profiling_stub oc =
+  let nr_items = !next_profiling_position in
+  if nr_items > 0
+  then
+    begin
+      fprintf oc "	.lcomm	%s, %d\n"
+        profiling_counter_table_name (nr_items * 16);
+      fprintf oc "	.section	.rodata\n";
+      fprintf oc "%s:\n" profiling_id_table_name;
+      Array.iter (print_profiling_id oc) (profiling_ids ());
+      fprintf oc "	.text\n";
+      fprintf oc "%s:\n" profiling_write_table;
+      print_profiling_stub oc nr_items
+        profiling_id_table_name
+        profiling_counter_table_name;
+      fprintf oc "	.section	%s,\"aw\",@progbits\n" finalizer_section;
+      fprintf oc "	.align 8\n";
+      fprintf oc "	.8byte	%s\n" profiling_write_table
+    end;;
diff --git a/mppa_k1c/TargetPrinter.ml b/mppa_k1c/TargetPrinter.ml
index e154894b..eae05c05 100644
--- a/mppa_k1c/TargetPrinter.ml
+++ b/mppa_k1c/TargetPrinter.ml
@@ -242,38 +242,6 @@ module Target (*: TARGET*) =
 
     (* Profiling *)
     
-    let profiling_table : (Digest.t, int) Hashtbl.t = Hashtbl.create 1000;;
-    let next_profiling_position = ref 0;;
-    let profiling_position (x : Digest.t) : int =
-      match Hashtbl.find_opt profiling_table x with
-      | None -> let y = !next_profiling_position in
-                next_profiling_position := succ y;
-                Hashtbl.replace profiling_table x y;
-                y
-      | Some y -> y;;
-
-    let profiling_ids () =
-      let nr_items = !next_profiling_position in
-      let ar = Array.make nr_items "" in
-      Hashtbl.iter
-        (fun x y -> ar.(y) <- x)
-        profiling_table;
-      ar;;
-
-    let print_profiling_id oc id =
-      assert (String.length id = 16);
-      output_string oc "	.byte";
-      for i=0 to 15 do
-        fprintf oc " 0x%02x" (Char.code (String.get id i));
-        if i < 15 then output_char oc ','
-      done;
-      output_char oc '\n';;
-
-    let profiling_counter_table_name = ".compcert_profiling_counters"
-    and profiling_id_table_name = ".compcert_profiling_ids"
-    and profiling_write_table = ".compcert_profiling_write_table"
-    and profiling_write_table_helper = "_compcert_write_profiling_table"
-    and dtor_section = ".dtors.65435";;
 
     let k1c_profiling_stub oc nr_items
           profiling_id_table_name
@@ -284,26 +252,6 @@ module Target (*: TARGET*) =
           fprintf oc "	goto	%s\n" profiling_write_table_helper;
           fprintf oc "	;;\n";;
 
-    let print_profiling finalizer_section print_profiling_stub oc =
-      let nr_items = !next_profiling_position in
-      if nr_items > 0
-      then
-        begin
-          fprintf oc "	.lcomm	%s, %d\n"
-            profiling_counter_table_name (nr_items * 16);
-          fprintf oc "	.section	.rodata\n";
-          fprintf oc "%s:\n" profiling_id_table_name;
-          Array.iter (print_profiling_id oc) (profiling_ids ());
-          fprintf oc "	.text\n";
-          fprintf oc "%s:\n" profiling_write_table;
-          print_profiling_stub oc nr_items
-            profiling_id_table_name
-            profiling_counter_table_name;
-          fprintf oc "	.section	%s,\"aw\",@progbits\n" finalizer_section;
-          fprintf oc "	.align 8\n";
-          fprintf oc "	.8byte	%s\n" profiling_write_table
-        end;;
-    
     (* Offset part of a load or store *)
 
     let offset oc n = ptrofs oc n 
-- 
cgit