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/alpha/instructions/alphaInstr.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/alpha/instructions/alphaInstr.sml

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

revision 1008, Fri Dec 14 21:01:29 2001 UTC revision 1009, Wed Jan 9 19:44:22 2002 UTC
# Line 8  Line 8 
8  signature ALPHAINSTR =  signature ALPHAINSTR =
9  sig  sig
10     structure C : ALPHACELLS     structure C : ALPHACELLS
11     structure CB : CELLS_BASIS     structure CB : CELLS_BASIS = CellsBasis
12     structure T : MLTREE     structure T : MLTREE
13     structure Constant: CONSTANT     structure Constant: CONSTANT
14     structure Region : REGION     structure Region : REGION
# Line 239  Line 239 
239     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
240     | PSEUDOARITH of {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,     | PSEUDOARITH of {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,
241          tmps:C.cellset}          tmps:C.cellset}
    | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,  
         tmp:ea option}  
    | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,  
         tmp:ea option}  
242     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}
243     | FOPERATE of {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}     | FOPERATE of {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}
244     | FOPERATEV of {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,     | FOPERATEV of {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,
# Line 256  Line 252 
252     and instruction =     and instruction =
253       LIVE of {regs: C.cellset, spilled: C.cellset}       LIVE of {regs: C.cellset, spilled: C.cellset}
254     | KILL of {regs: C.cellset, spilled: C.cellset}     | KILL of {regs: C.cellset, spilled: C.cellset}
255     | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}     | COPY of {k: CellsBasis.cellkind,
256                  sz: int,          (* in bits *)
257                  dst: CellsBasis.cell list,
258                  src: CellsBasis.cell list,
259                  tmp: ea option (* NONE if |dst| = {src| = 1 *)}
260     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
261     | INSTR of instr     | INSTR of instr
262     val lda : {r:CellsBasis.cell, b:CellsBasis.cell, d:operand} -> instruction     val lda : {r:CellsBasis.cell, b:CellsBasis.cell, d:operand} -> instruction
# Line 282  Line 282 
282     val cmove : {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell} -> instruction     val cmove : {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell} -> instruction
283     val pseudoarith : {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,     val pseudoarith : {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,
284        tmps:C.cellset} -> instruction        tmps:C.cellset} -> instruction
    val copy : {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,  
       tmp:ea option} -> instruction  
    val fcopy : {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,  
       tmp:ea option} -> instruction  
285     val funary : {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell} -> instruction     val funary : {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell} -> instruction
286     val foperate : {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell} -> instruction     val foperate : {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell} -> instruction
287     val foperatev : {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,     val foperatev : {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,
# Line 531  Line 527 
527     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
528     | PSEUDOARITH of {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,     | PSEUDOARITH of {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,
529          tmps:C.cellset}          tmps:C.cellset}
    | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,  
         tmp:ea option}  
    | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,  
         tmp:ea option}  
530     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}
531     | FOPERATE of {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}     | FOPERATE of {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}
532     | FOPERATEV of {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,     | FOPERATEV of {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,
# Line 548  Line 540 
540     and instruction =     and instruction =
541       LIVE of {regs: C.cellset, spilled: C.cellset}       LIVE of {regs: C.cellset, spilled: C.cellset}
542     | KILL of {regs: C.cellset, spilled: C.cellset}     | KILL of {regs: C.cellset, spilled: C.cellset}
543     | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}     | COPY of {k: CellsBasis.cellkind,
544                  sz: int,          (* in bits *)
545                  dst: CellsBasis.cell list,
546                  src: CellsBasis.cell list,
547                  tmp: ea option (* NONE if |dst| = {src| = 1 *)}
548     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
549     | INSTR of instr     | INSTR of instr
550     val lda = INSTR o LDA     val lda = INSTR o LDA
# Line 567  Line 563 
563     and operatev = INSTR o OPERATEV     and operatev = INSTR o OPERATEV
564     and cmove = INSTR o CMOVE     and cmove = INSTR o CMOVE
565     and pseudoarith = INSTR o PSEUDOARITH     and pseudoarith = INSTR o PSEUDOARITH
    and copy = INSTR o COPY  
    and fcopy = INSTR o FCOPY  
566     and funary = INSTR o FUNARY     and funary = INSTR o FUNARY
567     and foperate = INSTR o FOPERATE     and foperate = INSTR o FOPERATE
568     and foperatev = INSTR o FOPERATEV     and foperatev = INSTR o FOPERATEV

Legend:
Removed from v.1008  
changed lines
  Added in v.1009

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