[hcoop/debian/mlton.git] / mlton / ssa / inline.sig

(* Copyright (C) 2009 Matthew Fluet.
 * Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 * Copyright (C) 1997-2000 NEC Research Institute.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

signature INLINE_STRUCTS = 
   sig
      include SHRINK
   end

signature INLINE = 
   sig
      include INLINE_STRUCTS

      val inlineLeaf: 
         Program.t * {loops: bool, repeat: bool, size: int option} -> Program.t
      val inlineNonRecursive: 
         Program.t * {small:int,product:int} -> Program.t
   end
Commit	Line	Data
7f918cf1 CE	1	(* Copyright (C) 2009 Matthew Fluet.
	2	* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
	3	* Jagannathan, and Stephen Weeks.
	4	* Copyright (C) 1997-2000 NEC Research Institute.
	5	*
	6	* MLton is released under a BSD-style license.
	7	* See the file MLton-LICENSE for details.
	8	*)
	9
	10	signature INLINE_STRUCTS =
	11	sig
	12	include SHRINK
	13	end
	14
	15	signature INLINE =
	16	sig
	17	include INLINE_STRUCTS
	18
	19	val inlineLeaf:
	20	Program.t * {loops: bool, repeat: bool, size: int option} -> Program.t
	21	val inlineNonRecursive:
	22	Program.t * {small:int,product:int} -> Program.t
	23	end