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 998, Sat Nov 24 23:40:39 2001 UTC revision 999, Tue Nov 27 06:28:37 2001 UTC
# Line 214  Line 214 
214     | IMB     | IMB
215     | RDUNIQUE     | RDUNIQUE
216     | WRUNIQUE     | WRUNIQUE
217     type addressing_mode = (CellsBasis.cell * operand)     type addressing_mode = CellsBasis.cell * operand
218     datatype instruction =     datatype instruction =
219       DEFFREG of CellsBasis.cell       DEFFREG of CellsBasis.cell
220     | LDA of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}     | LDA of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}
# Line 226  Line 226 
226          mem:Region.region}          mem:Region.region}
227     | FSTORE of {stOp:fstore, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,     | FSTORE of {stOp:fstore, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
228          mem:Region.region}          mem:Region.region}
229     | JMPL of ({r:CellsBasis.cell, b:CellsBasis.cell, d:int} * Label.label list)     | JMPL of {r:CellsBasis.cell, b:CellsBasis.cell, d:int} * Label.label list
230     | JSR of {r:CellsBasis.cell, b:CellsBasis.cell, d:int, defs:C.cellset, uses:C.cellset,     | JSR of {r:CellsBasis.cell, b:CellsBasis.cell, d:int, defs:C.cellset, uses:C.cellset,
231          cutsTo:Label.label list, mem:Region.region}          cutsTo:Label.label list, mem:Region.region}
232     | BSR of {r:CellsBasis.cell, lab:Label.label, defs:C.cellset, uses:C.cellset,     | BSR of {r:CellsBasis.cell, lab:Label.label, defs:C.cellset, uses:C.cellset,
# 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}
242     | COPY of {dst:CellsBasis.cell list, src:CellsBasis.cell list, impl:instruction list option ref,     | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
243          tmp:ea option}          tmp:ea option}
244     | FCOPY of {dst:CellsBasis.cell list, src:CellsBasis.cell list, impl:instruction list option ref,     | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
245          tmp:ea option}          tmp:ea option}
246     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}
247     | 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}
# Line 464  Line 464 
464     | IMB     | IMB
465     | RDUNIQUE     | RDUNIQUE
466     | WRUNIQUE     | WRUNIQUE
467     type addressing_mode = (CellsBasis.cell * operand)     type addressing_mode = CellsBasis.cell * operand
468     datatype instruction =     datatype instruction =
469       DEFFREG of CellsBasis.cell       DEFFREG of CellsBasis.cell
470     | LDA of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}     | LDA of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}
# Line 476  Line 476 
476          mem:Region.region}          mem:Region.region}
477     | FSTORE of {stOp:fstore, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,     | FSTORE of {stOp:fstore, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
478          mem:Region.region}          mem:Region.region}
479     | JMPL of ({r:CellsBasis.cell, b:CellsBasis.cell, d:int} * Label.label list)     | JMPL of {r:CellsBasis.cell, b:CellsBasis.cell, d:int} * Label.label list
480     | JSR of {r:CellsBasis.cell, b:CellsBasis.cell, d:int, defs:C.cellset, uses:C.cellset,     | JSR of {r:CellsBasis.cell, b:CellsBasis.cell, d:int, defs:C.cellset, uses:C.cellset,
481          cutsTo:Label.label list, mem:Region.region}          cutsTo:Label.label list, mem:Region.region}
482     | BSR of {r:CellsBasis.cell, lab:Label.label, defs:C.cellset, uses:C.cellset,     | BSR of {r:CellsBasis.cell, lab:Label.label, defs:C.cellset, uses:C.cellset,
# Line 489  Line 489 
489     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
490     | 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,
491          tmps:C.cellset}          tmps:C.cellset}
492     | COPY of {dst:CellsBasis.cell list, src:CellsBasis.cell list, impl:instruction list option ref,     | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
493          tmp:ea option}          tmp:ea option}
494     | FCOPY of {dst:CellsBasis.cell list, src:CellsBasis.cell list, impl:instruction list option ref,     | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
495          tmp:ea option}          tmp:ea option}
496     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}     | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}
497     | 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}

Legend:
Removed from v.998  
changed lines
  Added in v.999

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