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

SCM Repository

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

View of /sml/trunk/src/MLRISC/instructions/instructions.sig

Parent Directory Parent Directory | Revision Log Revision Log

Revision 775 - (download) (as text) (annotate)
Fri Jan 12 01:17:51 2001 UTC (18 years, 9 months ago) by leunga
File size: 580 byte(s)

    Merging the types labexp and mltree.
    tag leunga-20010111-labexp=mltree
 *  This signature specifies the abstract view of an instruction.
signature INSTRUCTIONS =
   structure C        : CELLS
   structure T        : MLTREE
   structure LabelExp : LABELEXP
   structure Constant : CONSTANT
   structure Region   : REGION
      sharing LabelExp.T = T
      sharing Constant = T.Constant
      sharing Region   = T.Region

   type operand         (* operand is abstract *)
   type ea              (* effective address is abstract *)
   type addressing_mode (* addressing mode *)
   type instruction     (* instruction is also abstract  *)

ViewVC Help
Powered by ViewVC 1.0.0