Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/backpatch/sdi-jumps.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/backpatch/sdi-jumps.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 429 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/backpatch/sdi-jumps.sig

1 : monnier 247 (* sdi-jumps.sig --- specification of target information to resolve jumps.
2 :     *
3 :     * COPYRIGHT (c) 1996 Bell Laboratories.
4 :     *
5 :     *)
6 :    
7 :     signature SDI_JUMPS = sig
8 :     structure I : INSTRUCTIONS
9 :     structure C : CELLS
10 :     sharing I.C = C
11 :    
12 :     val branchDelayedArch : bool
13 :    
14 :     val isSdi : I.instruction -> bool
15 :     val minSize : I.instruction -> int
16 :     val maxSize : I.instruction -> int
17 :     (* minSize and maxSize are not restricted to SDIs but
18 :     * instructions that may require NOPs after them, etc.
19 :     *)
20 :    
21 : monnier 429 val sdiSize : I.instruction * (C.cell -> C.cell)
22 : monnier 411 * (Label.label -> int) * int -> int
23 : monnier 247 (* sdiSize(instr, regmaps, labMap, loc) -- return the size of
24 :     * instr at location loc, assuming an assignment of labels
25 :     * given by labMap.
26 :     *)
27 :    
28 :     val expand : I.instruction * int * int -> I.instruction list
29 :     (* expand(instr,size,loc) - expands sdi instruction instr,
30 :     * into size bytes at postion loc.
31 :     *)
32 :    
33 :     end
34 :    
35 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0