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/ppc/instructions/ppcInstr.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/ppc/instructions/ppcInstr.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 25  Line 25 
25       RegOp of CellsBasis.cell       RegOp of CellsBasis.cell
26     | ImmedOp of int     | ImmedOp of int
27     | LabelOp of T.labexp     | LabelOp of T.labexp
28     type addressing_mode = (CellsBasis.cell * operand)     type addressing_mode = CellsBasis.cell * operand
29     datatype ea =     datatype ea =
30       Direct of CellsBasis.cell       Direct of CellsBasis.cell
31     | FDirect of CellsBasis.cell     | FDirect of CellsBasis.cell
# Line 186  Line 186 
186     | SO32     | SO32
187     | OV32     | OV32
188     | CA32     | CA32
189     type cr_bit = (CellsBasis.cell * bit)     type cr_bit = (CellsBasis.cell) * bit
190     datatype instruction =     datatype instruction =
191       L of {ld:load, rt:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}       L of {ld:load, rt:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}
192     | LF of {ld:fload, ft:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}     | LF of {ld:fload, ft:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}
# Line 219  Line 219 
219     | BCLR of {bo:bo, bf:CellsBasis.cell, bit:bit, LK:bool, labels:Label.label list}     | BCLR of {bo:bo, bf:CellsBasis.cell, bit:bit, LK:bool, labels:Label.label list}
220     | B of {addr:operand, LK:bool}     | B of {addr:operand, LK:bool}
221     | CALL of {def:C.cellset, use:C.cellset, cutsTo:Label.label list, mem:Region.region}     | CALL of {def:C.cellset, use:C.cellset, cutsTo:Label.label list, mem:Region.region}
222     | 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,
223          tmp:ea option}          tmp:ea option}
224     | 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,
225          tmp:ea option}          tmp:ea option}
226     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
227     | SOURCE of {}     | SOURCE of {}
# Line 248  Line 248 
248       RegOp of CellsBasis.cell       RegOp of CellsBasis.cell
249     | ImmedOp of int     | ImmedOp of int
250     | LabelOp of T.labexp     | LabelOp of T.labexp
251     type addressing_mode = (CellsBasis.cell * operand)     type addressing_mode = CellsBasis.cell * operand
252     datatype ea =     datatype ea =
253       Direct of CellsBasis.cell       Direct of CellsBasis.cell
254     | FDirect of CellsBasis.cell     | FDirect of CellsBasis.cell
# Line 409  Line 409 
409     | SO32     | SO32
410     | OV32     | OV32
411     | CA32     | CA32
412     type cr_bit = (CellsBasis.cell * bit)     type cr_bit = (CellsBasis.cell) * bit
413     datatype instruction =     datatype instruction =
414       L of {ld:load, rt:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}       L of {ld:load, rt:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}
415     | LF of {ld:fload, ft:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}     | LF of {ld:fload, ft:CellsBasis.cell, ra:CellsBasis.cell, d:operand, mem:Region.region}
# Line 442  Line 442 
442     | BCLR of {bo:bo, bf:CellsBasis.cell, bit:bit, LK:bool, labels:Label.label list}     | BCLR of {bo:bo, bf:CellsBasis.cell, bit:bit, LK:bool, labels:Label.label list}
443     | B of {addr:operand, LK:bool}     | B of {addr:operand, LK:bool}
444     | CALL of {def:C.cellset, use:C.cellset, cutsTo:Label.label list, mem:Region.region}     | CALL of {def:C.cellset, use:C.cellset, cutsTo:Label.label list, mem:Region.region}
445     | 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,
446          tmp:ea option}          tmp:ea option}
447     | 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,
448          tmp:ea option}          tmp:ea option}
449     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
450     | SOURCE of {}     | SOURCE of {}

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