mlton/codegen/amd64-codegen/amd64-loop-info.sig

   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 AMD64_LOOP_INFO_STRUCTS =
  11   sig
  12     structure amd64 : AMD64
  13   end
  14
  15 signature AMD64_LOOP_INFO =
  16   sig
  17     include AMD64_LOOP_INFO_STRUCTS
  18
  19     type t
  20
  21     val createLoopInfo : {chunk: amd64.Chunk.t, farLoops: bool} -> t
  22     val createLoopInfo_msg : unit -> unit
  23
  24     val getLoopDistance : t * amd64.Label.t * amd64.Label.t -> int option
  25     val getLoopLabels : t * amd64.Label.t -> amd64.Label.t list
  26     val isLoopHeader : t * amd64.Label.t -> bool
  27   end