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 623, Thu Apr 20 17:24:37 2000 UTC revision 624, Fri Apr 21 03:06:21 2000 UTC
# Line 23  Line 23 
23     | LABop of LabelExp.labexp     | LABop of LabelExp.labexp
24     datatype branch =     datatype branch =
25       BR       BR
    | BSR  
26     | BLBC     | BLBC
27     | BEQ     | BEQ
28     | BLT     | BLT
# Line 227  Line 226 
226     | JMPL of ({r:int, b:int, d:int} * Label.label list)     | JMPL of ({r:int, b:int, d:int} * Label.label list)
227     | JSR of {r:int, b:int, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region     | JSR of {r:int, b:int, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region
228       }       }
229       | BSR of {r:int, lab:Label.label, defs:C.cellset, uses:C.cellset, mem:Region.region
230         }
231     | RET of {r:int, b:int, d:int}     | RET of {r:int, b:int, d:int}
232     | BRANCH of {b:branch, r:int, lab:Label.label}     | BRANCH of {b:branch, r:int, lab:Label.label}
233     | FBRANCH of {b:fbranch, f:int, lab:Label.label}     | FBRANCH of {b:fbranch, f:int, lab:Label.label}
# Line 246  Line 247 
247     | TRAPB     | TRAPB
248     | CALL_PAL of {code:osf_user_palcode, def:int list, use:int list}     | CALL_PAL of {code:osf_user_palcode, def:int list, use:int list}
249     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
250       | SOURCE of {}
251       | SINK of {}
252       | PHI of {}
253  end  end
254    
255  functor AlphaInstr(structure LabelExp : LABELEXP  functor AlphaInstr(structure LabelExp : LABELEXP
# Line 268  Line 272 
272     | LABop of LabelExp.labexp     | LABop of LabelExp.labexp
273     datatype branch =     datatype branch =
274       BR       BR
    | BSR  
275     | BLBC     | BLBC
276     | BEQ     | BEQ
277     | BLT     | BLT
# Line 472  Line 475 
475     | JMPL of ({r:int, b:int, d:int} * Label.label list)     | JMPL of ({r:int, b:int, d:int} * Label.label list)
476     | JSR of {r:int, b:int, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region     | JSR of {r:int, b:int, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region
477       }       }
478       | BSR of {r:int, lab:Label.label, defs:C.cellset, uses:C.cellset, mem:Region.region
479         }
480     | RET of {r:int, b:int, d:int}     | RET of {r:int, b:int, d:int}
481     | BRANCH of {b:branch, r:int, lab:Label.label}     | BRANCH of {b:branch, r:int, lab:Label.label}
482     | FBRANCH of {b:fbranch, f:int, lab:Label.label}     | FBRANCH of {b:fbranch, f:int, lab:Label.label}
# Line 491  Line 496 
496     | TRAPB     | TRAPB
497     | CALL_PAL of {code:osf_user_palcode, def:int list, use:int list}     | CALL_PAL of {code:osf_user_palcode, def:int list, use:int list}
498     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
499       | SOURCE of {}
500       | SINK of {}
501       | PHI of {}
502  end  end
503    

Legend:
Removed from v.623  
changed lines
  Added in v.624

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