1 (** This module translates a {!Clight} program into a {!Cminor}
4 val sizeof_ctype : Clight.ctype -> AST.abstract_size
6 (** [translate cp] compiles a Clight program into a Cminor program. *)
7 (* Translation simplifies control structures and explicits memory operations *)
9 val translate : Clight.program -> Cminor.program