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/branches/idlbasis-devel/src/MLRISC/hppa/instructions/hppaInstr.sml
ViewVC logotype

Diff of /sml/branches/idlbasis-devel/src/MLRISC/hppa/instructions/hppaInstr.sml

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

revision 858, Wed Jun 27 21:20:27 2001 UTC revision 859, Wed Jun 27 21:43:12 2001 UTC
# Line 240  Line 240 
240     | BE of {b:C.cell, d:operand, sr:int, n:bool, labs:Label.label list}     | BE of {b:C.cell, d:operand, sr:int, n:bool, labs:Label.label list}
241     | BV of {x:C.cell, b:C.cell, labs:Label.label list, n:bool}     | BV of {x:C.cell, b:C.cell, labs:Label.label list, n:bool}
242     | BLR of {x:C.cell, t:C.cell, labs:Label.label list, n:bool}     | BLR of {x:C.cell, t:C.cell, labs:Label.label list, n:bool}
243     | BL of {lab:Label.label, t:C.cell, defs:C.cellset, uses:C.cellset, mem:Region.region,     | BL of {lab:Label.label, t:C.cell, defs:C.cellset, uses:C.cellset, cutsTo:Label.label list,
244          n:bool}          mem:Region.region, n:bool}
245     | BLE of {d:operand, b:C.cell, sr:int, t:C.cell, defs:C.cellset, uses:C.cellset,     | BLE of {d:operand, b:C.cell, sr:int, t:C.cell, defs:C.cellset, uses:C.cellset,
246          mem:Region.region}          cutsTo:Label.label list, mem:Region.region}
247     | LDIL of {i:operand, t:C.cell}     | LDIL of {i:operand, t:C.cell}
248     | LDO of {i:operand, b:C.cell, t:C.cell}     | LDO of {i:operand, b:C.cell, t:C.cell}
249     | MTCTL of {r:C.cell, t:C.cell}     | MTCTL of {r:C.cell, t:C.cell}
# Line 501  Line 501 
501     | BE of {b:C.cell, d:operand, sr:int, n:bool, labs:Label.label list}     | BE of {b:C.cell, d:operand, sr:int, n:bool, labs:Label.label list}
502     | BV of {x:C.cell, b:C.cell, labs:Label.label list, n:bool}     | BV of {x:C.cell, b:C.cell, labs:Label.label list, n:bool}
503     | BLR of {x:C.cell, t:C.cell, labs:Label.label list, n:bool}     | BLR of {x:C.cell, t:C.cell, labs:Label.label list, n:bool}
504     | BL of {lab:Label.label, t:C.cell, defs:C.cellset, uses:C.cellset, mem:Region.region,     | BL of {lab:Label.label, t:C.cell, defs:C.cellset, uses:C.cellset, cutsTo:Label.label list,
505          n:bool}          mem:Region.region, n:bool}
506     | BLE of {d:operand, b:C.cell, sr:int, t:C.cell, defs:C.cellset, uses:C.cellset,     | BLE of {d:operand, b:C.cell, sr:int, t:C.cell, defs:C.cellset, uses:C.cellset,
507          mem:Region.region}          cutsTo:Label.label list, mem:Region.region}
508     | LDIL of {i:operand, t:C.cell}     | LDIL of {i:operand, t:C.cell}
509     | LDO of {i:operand, b:C.cell, t:C.cell}     | LDO of {i:operand, b:C.cell, t:C.cell}
510     | MTCTL of {r:C.cell, t:C.cell}     | MTCTL of {r:C.cell, t:C.cell}

Legend:
Removed from v.858  
changed lines
  Added in v.859

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