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

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/instructions/insnProps.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/instructions/insnProps.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 888, Thu Jul 19 20:24:21 2001 UTC revision 889, Thu Jul 19 20:35:20 2001 UTC
# Line 5  Line 5 
5   *)   *)
6  signature INSN_PROPERTIES =  signature INSN_PROPERTIES =
7  sig  sig
    structure C : CELLS  
8     structure I : INSTRUCTIONS     structure I : INSTRUCTIONS
9       structure C : CELLS
10     sharing I.C = C     sharing I.C = C
11    
12        (* classify instructions *)        (* classify instructions *)
# Line 25  Line 24 
24    
25        (* parallel moves *)        (* parallel moves *)
26     val moveInstr  : I.instruction -> bool     val moveInstr  : I.instruction -> bool
27     val moveTmpR   : I.instruction -> C.cell option     val moveTmpR   : I.instruction -> CellsBasis.cell option
28     val moveDstSrc : I.instruction -> C.cell list * C.cell list     val moveDstSrc : I.instruction -> CellsBasis.cell list * CellsBasis.cell list
29    
30        (* no op *)        (* no op *)
31     val nop        : unit -> I.instruction     val nop        : unit -> I.instruction
# Line 36  Line 35 
35    
36        (* load immediate; must be within immedRange *)        (* load immediate; must be within immedRange *)
37     val immedRange  : {lo:int, hi:int}     val immedRange  : {lo:int, hi:int}
38     val loadImmed   : {immed:int, t:C.cell} -> I.instruction     val loadImmed   : {immed:int, t:CellsBasis.cell} -> I.instruction
39     val loadOperand : {opn:I.operand, t:C.cell} -> I.instruction     val loadOperand : {opn:I.operand, t:CellsBasis.cell} -> I.instruction
40    
41       (*       (*
42        * Targets of a branch instruction        * Targets of a branch instruction
# Line 60  Line 59 
59     val negateConditional : I.instruction -> I.instruction     val negateConditional : I.instruction -> I.instruction
60    
61       (* definition/use for the RA *)       (* definition/use for the RA *)
62     val defUse     : C.cellkind ->     val defUse     : CellsBasis.cellkind ->
63                        I.instruction -> (C.cell list * C.cell list)                        I.instruction -> (CellsBasis.cell list * CellsBasis.cell list)
64    
65       (* annotations *)       (* annotations *)
66     val getAnnotations : I.instruction ->     val getAnnotations : I.instruction ->

Legend:
Removed from v.888  
changed lines
  Added in v.889

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