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 651, Thu Jun 1 18:34:03 2000 UTC revision 744, Fri Dec 8 04:11:42 2000 UTC
# Line 1  Line 1 
1  (*  (*
2   * This file was automatically generated by MDGen (v2.0)   * WARNING: This file was automatically generated by MDLGen (v3.0)
3   * from the machine description file "alpha/alpha.md".   * from the machine description file "alpha/alpha.mdl".
4     * DO NOT EDIT this file directly
5   *)   *)
6    
7    
# Line 12  Line 13 
13     structure Region : REGION     structure Region : REGION
14        sharing Constant = LabelExp.Constant        sharing Constant = LabelExp.Constant
15     datatype ea =     datatype ea =
16       Direct of int       Direct of C.cell
17     | FDirect of int     | FDirect of C.cell
18     | Displace of {base:int, disp:int}     | Displace of {base:C.cell, disp:int}
19     datatype operand =     datatype operand =
20       REGop of int       REGop of C.cell
21     | IMMop of int     | IMMop of int
22     | HILABop of LabelExp.labexp     | HILABop of LabelExp.labexp
23     | LOLABop of LabelExp.labexp     | LOLABop of LabelExp.labexp
# Line 214  Line 215 
215     | WRUNIQUE     | WRUNIQUE
216     type addressing_mode = (C.cell * operand)     type addressing_mode = (C.cell * operand)
217     datatype instruction =     datatype instruction =
218       DEFFREG of int       DEFFREG of C.cell
219     | LDA of {r:int, b:int, d:operand}     | LDA of {r:C.cell, b:C.cell, d:operand}
220     | LDAH of {r:int, b:int, d:operand}     | LDAH of {r:C.cell, b:C.cell, d:operand}
221     | LOAD of {ldOp:load, r:int, b:int, d:operand, mem:Region.region}     | LOAD of {ldOp:load, r:C.cell, b:C.cell, d:operand, mem:Region.region}
222     | STORE of {stOp:store, r:int, b:int, d:operand, mem:Region.region}     | STORE of {stOp:store, r:C.cell, b:C.cell, d:operand, mem:Region.region}
223     | FLOAD of {ldOp:fload, r:int, b:int, d:operand, mem:Region.region}     | FLOAD of {ldOp:fload, r:C.cell, b:C.cell, d:operand, mem:Region.region}
224     | FSTORE of {stOp:fstore, r:int, b:int, d:operand, mem:Region.region     | FSTORE of {stOp:fstore, r:C.cell, b:C.cell, d:operand, mem:Region.region}
225       }     | JMPL of ({r:C.cell, b:C.cell, d:int} * Label.label list)
226     | JMPL of ({r:int, b:int, d:int} * Label.label list)     | JSR of {r:C.cell, b:C.cell, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region}
227     | JSR of {r:int, b:int, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region     | BSR of {r:C.cell, lab:Label.label, defs:C.cellset, uses:C.cellset, mem:Region.region}
228       }     | RET of {r:C.cell, b:C.cell, d:int}
229     | BSR of {r:int, lab:Label.label, defs:C.cellset, uses:C.cellset, mem:Region.region     | BRANCH of {b:branch, r:C.cell, lab:Label.label}
230       }     | FBRANCH of {b:fbranch, f:C.cell, lab:Label.label}
231     | RET of {r:int, b:int, d:int}     | OPERATE of {oper:operate, ra:C.cell, rb:operand, rc:C.cell}
232     | BRANCH of {b:branch, r:int, lab:Label.label}     | OPERATEV of {oper:operateV, ra:C.cell, rb:operand, rc:C.cell}
233     | FBRANCH of {b:fbranch, f:int, lab:Label.label}     | CMOVE of {oper:cmove, ra:C.cell, rb:operand, rc:C.cell}
234     | OPERATE of {oper:operate, ra:int, rb:operand, rc:int}     | PSEUDOARITH of {oper:pseudo_op, ra:C.cell, rb:operand, rc:C.cell, tmps:C.cellset}
235     | OPERATEV of {oper:operateV, ra:int, rb:operand, rc:int}     | COPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
236     | CMOVE of {oper:cmove, ra:int, rb:operand, rc:int}          tmp:ea option}
237     | PSEUDOARITH of {oper:pseudo_op, ra:int, rb:operand, rc:int, tmps:C.cellset     | FCOPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
238       }          tmp:ea option}
239     | COPY of {dst:int list, src:int list, impl:instruction list option ref     | FUNARY of {oper:funary, fb:C.cell, fc:C.cell}
240       , tmp:ea option}     | FOPERATE of {oper:foperate, fa:C.cell, fb:C.cell, fc:C.cell}
241     | FCOPY of {dst:int list, src:int list, impl:instruction list option ref     | FOPERATEV of {oper:foperateV, fa:C.cell, fb:C.cell, fc:C.cell}
242       , tmp:ea option}     | FCMOVE of {oper:fcmove, fa:C.cell, fb:C.cell, fc:C.cell}
    | FUNARY of {oper:funary, fb:int, fc:int}  
    | FOPERATE of {oper:foperate, fa:int, fb:int, fc:int}  
    | FOPERATEV of {oper:foperateV, fa:int, fb:int, fc:int}  
    | FCMOVE of {oper:fcmove, fa:int, fb:int, fc:int}  
243     | TRAPB     | TRAPB
244     | CALL_PAL of {code:osf_user_palcode, def:int list, use:int list}     | CALL_PAL of {code:osf_user_palcode, def:C.cellset, use:C.cellset}
245     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
246     | SOURCE of {}     | SOURCE of {}
247     | SINK of {}     | SINK of {}
# Line 260  Line 257 
257     structure LabelExp = LabelExp     structure LabelExp = LabelExp
258     structure Constant = LabelExp.Constant     structure Constant = LabelExp.Constant
259     datatype ea =     datatype ea =
260       Direct of int       Direct of C.cell
261     | FDirect of int     | FDirect of C.cell
262     | Displace of {base:int, disp:int}     | Displace of {base:C.cell, disp:int}
263     datatype operand =     datatype operand =
264       REGop of int       REGop of C.cell
265     | IMMop of int     | IMMop of int
266     | HILABop of LabelExp.labexp     | HILABop of LabelExp.labexp
267     | LOLABop of LabelExp.labexp     | LOLABop of LabelExp.labexp
# Line 462  Line 459 
459     | WRUNIQUE     | WRUNIQUE
460     type addressing_mode = (C.cell * operand)     type addressing_mode = (C.cell * operand)
461     datatype instruction =     datatype instruction =
462       DEFFREG of int       DEFFREG of C.cell
463     | LDA of {r:int, b:int, d:operand}     | LDA of {r:C.cell, b:C.cell, d:operand}
464     | LDAH of {r:int, b:int, d:operand}     | LDAH of {r:C.cell, b:C.cell, d:operand}
465     | LOAD of {ldOp:load, r:int, b:int, d:operand, mem:Region.region}     | LOAD of {ldOp:load, r:C.cell, b:C.cell, d:operand, mem:Region.region}
466     | STORE of {stOp:store, r:int, b:int, d:operand, mem:Region.region}     | STORE of {stOp:store, r:C.cell, b:C.cell, d:operand, mem:Region.region}
467     | FLOAD of {ldOp:fload, r:int, b:int, d:operand, mem:Region.region}     | FLOAD of {ldOp:fload, r:C.cell, b:C.cell, d:operand, mem:Region.region}
468     | FSTORE of {stOp:fstore, r:int, b:int, d:operand, mem:Region.region     | FSTORE of {stOp:fstore, r:C.cell, b:C.cell, d:operand, mem:Region.region}
469       }     | JMPL of ({r:C.cell, b:C.cell, d:int} * Label.label list)
470     | JMPL of ({r:int, b:int, d:int} * Label.label list)     | JSR of {r:C.cell, b:C.cell, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region}
471     | JSR of {r:int, b:int, d:int, defs:C.cellset, uses:C.cellset, mem:Region.region     | BSR of {r:C.cell, lab:Label.label, defs:C.cellset, uses:C.cellset, mem:Region.region}
472       }     | RET of {r:C.cell, b:C.cell, d:int}
473     | BSR of {r:int, lab:Label.label, defs:C.cellset, uses:C.cellset, mem:Region.region     | BRANCH of {b:branch, r:C.cell, lab:Label.label}
474       }     | FBRANCH of {b:fbranch, f:C.cell, lab:Label.label}
475     | RET of {r:int, b:int, d:int}     | OPERATE of {oper:operate, ra:C.cell, rb:operand, rc:C.cell}
476     | BRANCH of {b:branch, r:int, lab:Label.label}     | OPERATEV of {oper:operateV, ra:C.cell, rb:operand, rc:C.cell}
477     | FBRANCH of {b:fbranch, f:int, lab:Label.label}     | CMOVE of {oper:cmove, ra:C.cell, rb:operand, rc:C.cell}
478     | OPERATE of {oper:operate, ra:int, rb:operand, rc:int}     | PSEUDOARITH of {oper:pseudo_op, ra:C.cell, rb:operand, rc:C.cell, tmps:C.cellset}
479     | OPERATEV of {oper:operateV, ra:int, rb:operand, rc:int}     | COPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
480     | CMOVE of {oper:cmove, ra:int, rb:operand, rc:int}          tmp:ea option}
481     | PSEUDOARITH of {oper:pseudo_op, ra:int, rb:operand, rc:int, tmps:C.cellset     | FCOPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
482       }          tmp:ea option}
483     | COPY of {dst:int list, src:int list, impl:instruction list option ref     | FUNARY of {oper:funary, fb:C.cell, fc:C.cell}
484       , tmp:ea option}     | FOPERATE of {oper:foperate, fa:C.cell, fb:C.cell, fc:C.cell}
485     | FCOPY of {dst:int list, src:int list, impl:instruction list option ref     | FOPERATEV of {oper:foperateV, fa:C.cell, fb:C.cell, fc:C.cell}
486       , tmp:ea option}     | FCMOVE of {oper:fcmove, fa:C.cell, fb:C.cell, fc:C.cell}
    | FUNARY of {oper:funary, fb:int, fc:int}  
    | FOPERATE of {oper:foperate, fa:int, fb:int, fc:int}  
    | FOPERATEV of {oper:foperateV, fa:int, fb:int, fc:int}  
    | FCMOVE of {oper:fcmove, fa:int, fb:int, fc:int}  
487     | TRAPB     | TRAPB
488     | CALL_PAL of {code:osf_user_palcode, def:int list, use:int list}     | CALL_PAL of {code:osf_user_palcode, def:C.cellset, use:C.cellset}
489     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
490     | SOURCE of {}     | SOURCE of {}
491     | SINK of {}     | SINK of {}

Legend:
Removed from v.651  
changed lines
  Added in v.744

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