Changeset 2884

Timestamp:

Mar 15, 2013, 6:37:14 PM (8 years ago)

Author:

sacerdot

Message:

Debugging print added.

File:

• extracted/untrusted/compute_colouring.ml (modified) (3 diffs)

extracted/untrusted/compute_colouring.ml

@@ -4 +4 @@
   (* Build an interference graph for this function, and color
      it. Define a function that allows consulting the coloring. *)
+
+let liveafter n =
+let {Types.fst = setreg;
+     Types.snd = setReg} = Obj.magic (liveafter n) in
+let res =
+ Pset.fold (fun reg acc -> "r_" ^ string_of_int (Glue.int_of_matitapos reg) ^ "," ^ acc)
+  setreg "" in
+prerr_endline ("LINE " ^ string_of_int (Glue.int_of_matitapos n) ^ ": " ^ res);
+liveafter n in
 
   let uses = Uses.examine_internal globals int_fun in
@@ -50 +59 @@
   (* Define a new function that consults both colorings at once. *)
 
+let print_Register =
+ function
+  | I8051.Register00     -> "Register00"
+  | I8051.Register01     -> "Register01"
+  | I8051.Register02     -> "Register02"
+  | I8051.Register03     -> "Register03"
+  | I8051.Register04     -> "Register04"
+  | I8051.Register05     -> "Register05"
+  | I8051.Register06     -> "Register06"
+  | I8051.Register07     -> "Register07"
+  | I8051.Register10     -> "Register10"
+  | I8051.Register11     -> "Register11"
+  | I8051.Register12     -> "Register12"
+  | I8051.Register13     -> "Register13"
+  | I8051.Register14     -> "Register14"
+  | I8051.Register15     -> "Register15"
+  | I8051.Register16     -> "Register16"
+  | I8051.Register17     -> "Register17"
+  | I8051.Register20     -> "Register20"
+  | I8051.Register21     -> "Register21"
+  | I8051.Register22     -> "Register22"
+  | I8051.Register23     -> "Register23"
+  | I8051.Register24     -> "Register24"
+  | I8051.Register25     -> "Register25"
+  | I8051.Register26     -> "Register26"
+  | I8051.Register27     -> "Register27"
+  | I8051.Register30     -> "Register30"
+  | I8051.Register31     -> "Register31"
+  | I8051.Register32     -> "Register32"
+  | I8051.Register33     -> "Register33"
+  | I8051.Register34     -> "Register34"
+  | I8051.Register35     -> "Register35"
+  | I8051.Register36     -> "Register36"
+  | I8051.Register37     -> "Register37"
+  | I8051.RegisterA      -> "RegisterA"
+  | I8051.RegisterB      -> "RegisterB"
+  | I8051.RegisterDPL    -> "RegisterDPL"
+  | I8051.RegisterDPH    -> "RegisterDPH"
+  | I8051.RegisterCarry  -> "RegisterCarry"
+in
+
+
   let lookup r =
    match r with
@@ -57 +108 @@
            Interference.Decision_spill (Glue.matitanat_of_int (Untrusted_interference.Vertex.Map.find (Untrusted_interference.lookup H.graph r) S.coloring))
        | Coloring.Color color ->
+prerr_endline ("SPILLED r_" ^ string_of_int (Glue.int_of_matitapos r) ^ " = " ^ print_Register color);
            Interference.Decision_colour color)
     | Types.Inr r -> Interference.Decision_colour r