1 (* Copyright (C) 2009 Matthew Fluet.
2 * Copyright (C) 1999-2005 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 X86_GENERATE_TRANSFERS_STRUCTS =
13 structure x86MLton : X86_MLTON
14 sharing x86 = x86MLton.x86
15 structure x86Liveness : X86_LIVENESS
16 sharing x86 = x86Liveness.x86
17 structure x86JumpInfo : X86_JUMP_INFO
18 sharing x86 = x86JumpInfo.x86
19 structure x86LoopInfo : X86_LOOP_INFO
20 sharing x86 = x86LoopInfo.x86
21 structure x86EntryTransfer : X86_ENTRY_TRANSFER
22 sharing x86 = x86EntryTransfer.x86
25 signature X86_GENERATE_TRANSFERS =
27 include X86_GENERATE_TRANSFERS_STRUCTS
29 val generateTransfers:
32 newProfileLabel: x86.ProfileLabel.t -> x86.ProfileLabel.t,
33 liveInfo: x86Liveness.LiveInfo.t,
34 jumpInfo: x86JumpInfo.t,
36 picUsesEbx: bool} -> x86.Assembly.t list list
37 val generateTransfers_totals : unit -> unit