Project

General

Profile

Revision 7dedc5f0 src/liveness.ml

View differences:

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