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