Revision 7dedc5f0
Added by Xavier Thirioux over 8 years ago
| src/liveness.ml | ||
|---|---|---|
| 105 | 105 |
end |
| 106 | 106 |
done |
| 107 | 107 |
|
| 108 |
(* checks whether a variable is aliasable, |
|
| 109 |
depending on its (address) type *) |
|
| 110 |
let is_aliasable var = |
|
| 111 |
Types.is_address_type var.var_type |
|
| 112 |
|
|
| 108 | 113 |
(* checks whether a variable [v] is an input of the [var] equation, with an address type. |
| 109 | 114 |
if so, [var] could not safely reuse/alias [v], should [v] be dead in the caller node, |
| 110 | 115 |
because [v] may not be dead in the callee node when [var] is assigned *) |
Also available in: Unified diff
added some functions, prior to code refactoring