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

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

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

revision 545, Thu Feb 24 13:56:44 2000 UTC revision 1013, Tue Jan 15 16:23:15 2002 UTC
# Line 1  Line 1 
1  (*  (* instructions.sig
2     *
3     * COPYRIGHT (c) 2002 Bell Labs, Lucent Technologies.
4     *
5   *  This signature specifies the abstract view of an instruction.   *  This signature specifies the abstract view of an instruction.
6   *)   *)
7    
8  signature INSTRUCTIONS =  signature INSTRUCTIONS =
9  sig  sig
10     structure C        : CELLS     structure C        : CELLS
11     structure Constant : CONSTANT     structure CB  :CELLS_BASIS = CellsBasis
12     structure LabelExp : LABELEXP     type operand             (* operands supported by architecture *)
       sharing Constant = LabelExp.Constant  
   
    type operand         (* operand is abstract *)  
    type ea              (* effective address is abstract *)  
13     type addressing_mode (* addressing mode *)     type addressing_mode (* addressing mode *)
14     type instruction     (* instruction is also abstract  *)     type ea              (* effective address for accessing memory *)
15       type instr                       (* architecture instructions  *)
16    
17       datatype instruction =                   (* partially abstract *)
18           LIVE of {regs: C.cellset, spilled: C.cellset}
19         | KILL of {regs: C.cellset, spilled: C.cellset}
20         | COPY of
21             {k: CB.cellkind,
22              sz: int,                                     (* in bits *)
23              dst: CB.cell list,
24              src: CB.cell list,
25              tmp: ea option      (* = NONE if |dst| = |src| = 1 *)
26             }
27         | ANNOTATION of {i: instruction, a: Annotations.annotation}
28         | INSTR of instr
29  end  end

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

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