Revision 70e1006b src/liveness.ml
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