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.
6 * MLton is released under a BSD-style license.
7 * See the file MLton-LICENSE for details.
10 signature AMD64_JUMP_INFO_STRUCTS =
12 structure amd64 : AMD64
15 signature AMD64_JUMP_INFO =
17 include AMD64_JUMP_INFO_STRUCTS
19 datatype status = Count of int | None
22 val newJumpInfo : unit -> t
24 val completeJumpInfo : {chunk: amd64.Chunk.t,
26 val completeJumpInfo_msg : unit -> unit
27 val verifyJumpInfo : {chunk: amd64.Chunk.t,
29 val verifyJumpInfo_msg : unit -> unit
31 val incNear : t * amd64.Label.t -> unit
32 val decNear : t * amd64.Label.t -> unit
33 val getNear : t * amd64.Label.t -> status