Ignore:
Timestamp:
Feb 27, 2013, 5:42:59 PM (7 years ago)
Author:
sacerdot
Message:

Untrusted register colouring fully branched.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/untrusted/compute_colouring.ml

    r2740 r2742  
    55     it. Define a function that allows consulting the coloring. *)
    66
     7  let uses = Uses.examine_internal globals int_fun in
     8
    79  let module G = struct
    8     let graph = Build.build globals int_fun liveafter
    9     let uses = Uses.examine_internal int_fun
     10    let graph = Build.build globals int_fun uses liveafter
     11    let uses =
     12     (fun r ->
     13       Glue.int_of_matitapos
     14        (Identifiers.lookup_safe PreIdentifiers.RegisterTag uses r))
    1015    let verbose = false
    1116(*
Note: See TracChangeset for help on using the changeset viewer.