Project

General

Profile

Revision ef34b4ae src/liveness.ml

View differences:

src/liveness.ml
65 65
    (ISet.union outputs mems)
66 66
    (ISet.union inputs mems)
67 67

  
68
(* checks whether a variable is aliasable,
69
   depending on its (address) type *)
70
let is_aliasable var =
71
 Types.is_address_type var.var_type
72

  
73 68
(* computes the set of potentially reusable variables.
74 69
   We don't reuse input variables, due to possible aliasing *)
75 70
let node_reusable_variables node =

Also available in: Unified diff