Ignore:
Timestamp:
Feb 27, 2013, 4:37:31 PM (7 years ago)
Author:
sacerdot
Message:

The graph colouring algorithm takes in input also the function.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTLptr/ERTLptrToLTL.ma

    r2700 r2739  
    426426(* colour registers *)
    427427let after ≝ analyse_liveness the_fixpoint globals int_fun in
    428 let coloured_graph ≝ build after in
     428let coloured_graph ≝ build … int_fun after in
    429429(* compute new stack size *)
    430430let stack_sz ≝ spilled_no … coloured_graph + joint_if_stacksize … int_fun in
Note: See TracChangeset for help on using the changeset viewer.