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 1081, Thu Feb 21 15:28:03 2002 UTC revision 1082, Thu Feb 21 18:50:56 2002 UTC
# Line 52  Line 52 
52     val eqOpn      : I.operand * I.operand -> bool     val eqOpn      : I.operand * I.operand -> bool
53     val hashOpn    : I.operand -> word     val hashOpn    : I.operand -> word
54    
55        (* Negate the branching condition; raises NegateConditional    (* Given a conditional jump instruction and label, return a conditional
56         * if it is impossible to negate     * jump that has the complimentary condition and that targets the given
57       * label.  If the given instruction is not a conditional jump, then
58       * the NegateConditional exception is raised.
59         *)         *)
60     exception NegateConditional     exception NegateConditional
61     val negateConditional : I.instruction -> I.instruction      val negateConditional : (I.instruction * Label.label) -> I.instruction
62    
63       (* definition/use for the RA *)       (* definition/use for the RA *)
64     val defUse     : CellsBasis.cellkind ->     val defUse     : CellsBasis.cellkind ->

Legend:
Removed from v.1081  
changed lines
  Added in v.1082

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