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 1088, Fri Feb 22 23:04:11 2002 UTC revision 1089, Fri Feb 22 23:07:19 2002 UTC
# Line 45  Line 45 
45     datatype target = LABELLED of Label.label | FALLTHROUGH | ESCAPES     datatype target = LABELLED of Label.label | FALLTHROUGH | ESCAPES
46     val branchTargets : I.instruction -> target list     val branchTargets : I.instruction -> target list
47    
48        (* Set the branch target; no effect if not a branch instruction *)    (* Set the branch target; no effect if not a branch instruction.  For
49       * conditional branches, both the true and false targets must be specified.
50       *)
51     val setTargets : I.instruction * Label.label list -> I.instruction     val setTargets : I.instruction * Label.label list -> I.instruction
52    
53        (* equality and hashing on operands *)        (* equality and hashing on operands *)

Legend:
Removed from v.1088  
changed lines
  Added in v.1089

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