Project

General

Profile

« Previous | Next » 

Revision 17d63fff

Added by LĂ©lio Brun 10 months ago

remove unused variables after tag elimination in machine code (-O >= 3)

View differences:

src/checks/liveness.mli
1 1
open Utils
2 2
open Lustre_types
3 3

  
4
val cone_of_influence: IdentDepGraph.t -> string -> ISet.t
5

  
4 6
val compute_unused_variables : node_desc -> IdentDepGraph.t -> ISet.t
5 7

  
6 8
type fanin = (ident, tag) Hashtbl.t

Also available in: Unified diff