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 496, Tue Dec 7 15:43:07 1999 UTC revision 545, Thu Feb 24 13:56:44 2000 UTC
# Line 22  Line 22 
22      (* The execution frequency of a basic block      (* The execution frequency of a basic block
23       * You can attach this at a basic block.       * You can attach this at a basic block.
24       *)       *)
25     val EXECUTION_FREQ : real Annotations.property     val EXECUTION_FREQ : int Annotations.property
26    
27      (* No effect at all; this just allows you to insert comments *)      (* No effect at all; this just allows you to insert comments *)
28     val COMMENT : string Annotations.property     val COMMENT : string Annotations.property
# Line 37  Line 37 
37       * These annotations are currently recognized by the SSA optimization       * These annotations are currently recognized by the SSA optimization
38       * modules.       * modules.
39       *)       *)
40     datatype ctrl_dep = CTRL_DEF of int | CTRL_USE of int     exception CTRLDEF of int
41     val CTRL : ctrl_dep Annotations.property     exception CTRLUSE of int
42       val CTRL_DEF : int Annotations.property
43      (*     val CTRL_USE : int Annotations.property
      * These annotations specifies definitions and uses  
      * for a pseudo instruction.  
      *)  
    val DEFUSER  : (int list * int list) Annotations.property  
    val DEFUSEF  : (int list * int list) Annotations.property  
    val DEFUSECC : (int list * int list) Annotations.property  
44    
45      (*      (*
46       * This annotation can be used specify a pretty printing function for       * This annotation can be used specify a pretty printing function for
47       * assemblers       * assemblers
48       *)       *)
49     val REGINFO : (int -> string) Annotations.property     val REGINFO : ((int -> int) * int -> string) Annotations.property
50    
51      (*      (*
52       * Disable all optimizations in the cluster       * Disable all optimizations in the cluster
# Line 63  Line 57 
57       * Mark basic block that is used for calling the GC       * Mark basic block that is used for calling the GC
58       *)       *)
59     val CALLGC : unit Annotations.property     val CALLGC : unit Annotations.property
60       val GCSAFEPOINT : string Annotations.property
61    
62      (*      (*
63       * Insert block names       * Insert block names
# Line 77  Line 72 
72      (*      (*
73       * Enter information for a register.       * Enter information for a register.
74       *)       *)
75       exception MARKREG of int -> unit
76     val MARK_REG : (int -> unit) Annotations.property     val MARK_REG : (int -> unit) Annotations.property
77    
78        (*
79         * Disable branch chaining optimization on a jump
80         *)
81       val NO_BRANCH_CHAINING : unit Annotations.property
82    
83  end  end

Legend:
Removed from v.496  
changed lines
  Added in v.545

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