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/mlriscAnnotations.sig
ViewVC logotype

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

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

revision 651, Thu Jun 1 18:34:03 2000 UTC revision 744, Fri Dec 8 04:11:42 2000 UTC
# Line 9  Line 9 
9  signature MLRISC_ANNOTATIONS =  signature MLRISC_ANNOTATIONS =
10  sig  sig
11    
12        structure C : CELLS_BASIS = CellsBasis
13    
14      (*      (*
15       * The branch probability of conditional branches.       * The branch probability of conditional branches.
16       * The client can attach this with conditional branches.       * The client can attach this with conditional branches.
# Line 39  Line 41 
41       * These annotations are currently recognized by the SSA optimization       * These annotations are currently recognized by the SSA optimization
42       * modules.       * modules.
43       *)       *)
44     exception CTRLDEF of int     exception CTRLDEF of C.cell
45     exception CTRLUSE of int     exception CTRLUSE of C.cell
46     val CTRL_DEF : int Annotations.property     val CTRL_DEF : C.cell Annotations.property
47     val CTRL_USE : int Annotations.property     val CTRL_USE : C.cell Annotations.property
48    
49      (*      (*
50       * This annotation can be used specify a pretty printing function for       * This annotation can be used specify a pretty printing function for
51       * assemblers       * assemblers
52       *)       *)
53     val REGINFO : ((int -> int) * int -> string) Annotations.property     val REGINFO : (C.cell -> string) Annotations.property
54    
55      (*      (*
56       * Disable all optimizations in the cluster       * Disable all optimizations in the cluster
# Line 76  Line 78 
78      (*      (*
79       * Enter information for a register.       * Enter information for a register.
80       *)       *)
81     exception MARKREG of int -> unit     exception MARKREG of C.cell -> unit
82     val MARK_REG : (int -> unit) Annotations.property     val MARK_REG : (C.cell -> unit) Annotations.property
83    
84      (*      (*
85       * Disable branch chaining optimization on a jump       * Disable branch chaining optimization on a jump

Legend:
Removed from v.651  
changed lines
  Added in v.744

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