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/hppa/instructions/hppaInstr.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/hppa/instructions/hppaInstr.sml

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

revision 743, Thu Dec 7 15:31:24 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 "hppa/hppa.md".   * from the machine description file "hppa/hppa.mdl".
4     * DO NOT EDIT this file directly
5   *)   *)
6    
7    
# Line 201  Line 202 
202     | T     | T
203     | P     | P
204     datatype ea =     datatype ea =
205       Direct of int       Direct of C.cell
206     | FDirect of int     | FDirect of C.cell
207     | Displace of {base:int, disp:int}     | Displace of {base:C.cell, disp:int}
208     datatype operand =     datatype operand =
209       REG of int       REG of C.cell
210     | IMMED of int     | IMMED of int
211     | LabExp of (LabelExp.labexp * field_selector)     | LabExp of (LabelExp.labexp * field_selector)
212     | HILabExp of (LabelExp.labexp * field_selector)     | HILabExp of (LabelExp.labexp * field_selector)
# Line 215  Line 216 
216     | INDXea of (C.cell * C.cell)     | INDXea of (C.cell * C.cell)
217     | INDXSCALEDea of (C.cell * C.cell)     | INDXSCALEDea of (C.cell * C.cell)
218     datatype instruction =     datatype instruction =
219       LOADI of {li:loadi, r:int, i:operand, t:int, mem:Region.region}       LOADI of {li:loadi, r:C.cell, i:operand, t:C.cell, mem:Region.region}
220     | LOAD of {l:load, r1:int, r2:int, t:int, mem:Region.region}     | LOAD of {l:load, r1:C.cell, r2:C.cell, t:C.cell, mem:Region.region}
221     | STORE of {st:store, b:int, d:operand, r:int, mem:Region.region}     | STORE of {st:store, b:C.cell, d:operand, r:C.cell, mem:Region.region}
222     | ARITH of {a:arith, r1:int, r2:int, t:int}     | ARITH of {a:arith, r1:C.cell, r2:C.cell, t:C.cell}
223     | ARITHI of {ai:arithi, i:operand, r:int, t:int}     | ARITHI of {ai:arithi, i:operand, r:C.cell, t:C.cell}
224     | COMCLR_LDO of {cc:bcond, r1:int, r2:int, t1:int, i:int, b:int, t2:int     | COMCLR_LDO of {cc:bcond, r1:C.cell, r2:C.cell, t1:C.cell, i:int, b:C.cell,
225       }          t2:C.cell}
226     | COMICLR_LDO of {cc:bcond, i1:operand, r2:int, t1:int, i2:int, b:int     | COMICLR_LDO of {cc:bcond, i1:operand, r2:C.cell, t1:C.cell, i2:int, b:C.cell,
227       , t2:int}          t2:C.cell}
228     | SHIFTV of {sv:shiftv, r:int, len:int, t:int}     | SHIFTV of {sv:shiftv, r:C.cell, len:int, t:C.cell}
229     | SHIFT of {s:shift, r:int, p:int, len:int, t:int}     | SHIFT of {s:shift, r:C.cell, p:int, len:int, t:C.cell}
230     | BCOND of {cmp:cmp, bc:bcond, r1:int, r2:int, n:bool, nop:bool, t:Label.label     | BCOND of {cmp:cmp, bc:bcond, r1:C.cell, r2:C.cell, n:bool, nop:bool, t:Label.label,
231       , f:Label.label}          f:Label.label}
232     | BCONDI of {cmpi:cmpi, bc:bcond, i:int, r2:int, n:bool, nop:bool, t:Label.label     | BCONDI of {cmpi:cmpi, bc:bcond, i:int, r2:C.cell, n:bool, nop:bool, t:Label.label,
233       , f:Label.label}          f:Label.label}
234     | BB of {bc:bitcond, r:int, p:int, n:bool, nop:bool, t:Label.label, f:Label.label     | BB of {bc:bitcond, r:C.cell, p:int, n:bool, nop:bool, t:Label.label, f:Label.label}
      }  
235     | B of {lab:Label.label, n:bool}     | B of {lab:Label.label, n:bool}
236     | LONGJUMP of {lab:Label.label, n:bool, tmp:int, tmpLab:Label.label     | LONGJUMP of {lab:Label.label, n:bool, tmp:C.cell, tmpLab:Label.label}
237       }     | BE of {b:C.cell, d:operand, sr:int, n:bool, labs:Label.label list}
238     | BE of {b:int, d:operand, sr:int, n:bool, labs:Label.label list}     | BV of {x:C.cell, b:C.cell, labs:Label.label list, n:bool}
239     | BV of {x:int, b:int, labs:Label.label list, n:bool}     | BLR of {x:C.cell, t:C.cell, labs:Label.label list, n:bool}
240     | BLR of {x:int, t:int, labs:Label.label list, n:bool}     | BL of {lab:Label.label, t:C.cell, defs:C.cellset, uses:C.cellset, mem:Region.region,
241     | BL of {lab:Label.label, t:int, defs:C.cellset, uses:C.cellset, mem:Region.region          n:bool}
242       , n:bool}     | BLE of {d:operand, b:C.cell, sr:int, t:C.cell, defs:C.cellset, uses:C.cellset,
243     | BLE of {d:operand, b:int, sr:int, t:int, defs:C.cellset, uses:C.cellset          mem:Region.region}
244       , mem:Region.region}     | LDIL of {i:operand, t:C.cell}
245     | LDIL of {i:operand, t:int}     | LDO of {i:operand, b:C.cell, t:C.cell}
246     | LDO of {i:operand, b:int, t:int}     | MTCTL of {r:C.cell, t:C.cell}
247     | MTCTL of {r:int, t:int}     | FSTORE of {fst:fstore, b:C.cell, d:int, r:C.cell, mem:Region.region}
248     | FSTORE of {fst:fstore, b:int, d:int, r:int, mem:Region.region}     | FSTOREX of {fstx:fstorex, b:C.cell, x:C.cell, r:C.cell, mem:Region.region}
249     | FSTOREX of {fstx:fstorex, b:int, x:int, r:int, mem:Region.region}     | FLOAD of {fl:fload, b:C.cell, d:int, t:C.cell, mem:Region.region}
250     | FLOAD of {fl:fload, b:int, d:int, t:int, mem:Region.region}     | FLOADX of {flx:floadx, b:C.cell, x:C.cell, t:C.cell, mem:Region.region}
251     | FLOADX of {flx:floadx, b:int, x:int, t:int, mem:Region.region}     | FARITH of {fa:farith, r1:C.cell, r2:C.cell, t:C.cell}
252     | FARITH of {fa:farith, r1:int, r2:int, t:int}     | FUNARY of {fu:funary, f:C.cell, t:C.cell}
253     | FUNARY of {fu:funary, f:int, t:int}     | FCNV of {fcnv:fcnv, f:C.cell, t:C.cell}
254     | FCNV of {fcnv:fcnv, f:int, t:int}     | FBRANCH of {cc:fcond, fmt:fmt, f1:C.cell, f2:C.cell, t:Label.label, f:Label.label,
255     | FBRANCH of {cc:fcond, fmt:fmt, f1:int, f2:int, t:Label.label, f:Label.label          n:bool, long:bool}
      , n:bool, long:bool}  
256     | BREAK of {code1:int, code2:int}     | BREAK of {code1:int, code2:int}
257     | NOP     | NOP
258     | COPY of {dst:int list, src:int list, impl:instruction list option ref     | COPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
259       , tmp:ea option}          tmp:ea option}
260     | FCOPY of {dst:int list, src:int list, impl:instruction list option ref     | FCOPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
261       , tmp:ea option}          tmp:ea option}
262     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
263     | SOURCE of {}     | SOURCE of {}
264     | SINK of {}     | SINK of {}
# Line 464  Line 463 
463     | T     | T
464     | P     | P
465     datatype ea =     datatype ea =
466       Direct of int       Direct of C.cell
467     | FDirect of int     | FDirect of C.cell
468     | Displace of {base:int, disp:int}     | Displace of {base:C.cell, disp:int}
469     datatype operand =     datatype operand =
470       REG of int       REG of C.cell
471     | IMMED of int     | IMMED of int
472     | LabExp of (LabelExp.labexp * field_selector)     | LabExp of (LabelExp.labexp * field_selector)
473     | HILabExp of (LabelExp.labexp * field_selector)     | HILabExp of (LabelExp.labexp * field_selector)
# Line 478  Line 477 
477     | INDXea of (C.cell * C.cell)     | INDXea of (C.cell * C.cell)
478     | INDXSCALEDea of (C.cell * C.cell)     | INDXSCALEDea of (C.cell * C.cell)
479     datatype instruction =     datatype instruction =
480       LOADI of {li:loadi, r:int, i:operand, t:int, mem:Region.region}       LOADI of {li:loadi, r:C.cell, i:operand, t:C.cell, mem:Region.region}
481     | LOAD of {l:load, r1:int, r2:int, t:int, mem:Region.region}     | LOAD of {l:load, r1:C.cell, r2:C.cell, t:C.cell, mem:Region.region}
482     | STORE of {st:store, b:int, d:operand, r:int, mem:Region.region}     | STORE of {st:store, b:C.cell, d:operand, r:C.cell, mem:Region.region}
483     | ARITH of {a:arith, r1:int, r2:int, t:int}     | ARITH of {a:arith, r1:C.cell, r2:C.cell, t:C.cell}
484     | ARITHI of {ai:arithi, i:operand, r:int, t:int}     | ARITHI of {ai:arithi, i:operand, r:C.cell, t:C.cell}
485     | COMCLR_LDO of {cc:bcond, r1:int, r2:int, t1:int, i:int, b:int, t2:int     | COMCLR_LDO of {cc:bcond, r1:C.cell, r2:C.cell, t1:C.cell, i:int, b:C.cell,
486       }          t2:C.cell}
487     | COMICLR_LDO of {cc:bcond, i1:operand, r2:int, t1:int, i2:int, b:int     | COMICLR_LDO of {cc:bcond, i1:operand, r2:C.cell, t1:C.cell, i2:int, b:C.cell,
488       , t2:int}          t2:C.cell}
489     | SHIFTV of {sv:shiftv, r:int, len:int, t:int}     | SHIFTV of {sv:shiftv, r:C.cell, len:int, t:C.cell}
490     | SHIFT of {s:shift, r:int, p:int, len:int, t:int}     | SHIFT of {s:shift, r:C.cell, p:int, len:int, t:C.cell}
491     | BCOND of {cmp:cmp, bc:bcond, r1:int, r2:int, n:bool, nop:bool, t:Label.label     | BCOND of {cmp:cmp, bc:bcond, r1:C.cell, r2:C.cell, n:bool, nop:bool, t:Label.label,
492       , f:Label.label}          f:Label.label}
493     | BCONDI of {cmpi:cmpi, bc:bcond, i:int, r2:int, n:bool, nop:bool, t:Label.label     | BCONDI of {cmpi:cmpi, bc:bcond, i:int, r2:C.cell, n:bool, nop:bool, t:Label.label,
494       , f:Label.label}          f:Label.label}
495     | BB of {bc:bitcond, r:int, p:int, n:bool, nop:bool, t:Label.label, f:Label.label     | BB of {bc:bitcond, r:C.cell, p:int, n:bool, nop:bool, t:Label.label, f:Label.label}
      }  
496     | B of {lab:Label.label, n:bool}     | B of {lab:Label.label, n:bool}
497     | LONGJUMP of {lab:Label.label, n:bool, tmp:int, tmpLab:Label.label     | LONGJUMP of {lab:Label.label, n:bool, tmp:C.cell, tmpLab:Label.label}
498       }     | BE of {b:C.cell, d:operand, sr:int, n:bool, labs:Label.label list}
499     | BE of {b:int, d:operand, sr:int, n:bool, labs:Label.label list}     | BV of {x:C.cell, b:C.cell, labs:Label.label list, n:bool}
500     | BV of {x:int, b:int, labs:Label.label list, n:bool}     | BLR of {x:C.cell, t:C.cell, labs:Label.label list, n:bool}
501     | BLR of {x:int, t:int, labs:Label.label list, n:bool}     | BL of {lab:Label.label, t:C.cell, defs:C.cellset, uses:C.cellset, mem:Region.region,
502     | BL of {lab:Label.label, t:int, defs:C.cellset, uses:C.cellset, mem:Region.region          n:bool}
503       , n:bool}     | BLE of {d:operand, b:C.cell, sr:int, t:C.cell, defs:C.cellset, uses:C.cellset,
504     | BLE of {d:operand, b:int, sr:int, t:int, defs:C.cellset, uses:C.cellset          mem:Region.region}
505       , mem:Region.region}     | LDIL of {i:operand, t:C.cell}
506     | LDIL of {i:operand, t:int}     | LDO of {i:operand, b:C.cell, t:C.cell}
507     | LDO of {i:operand, b:int, t:int}     | MTCTL of {r:C.cell, t:C.cell}
508     | MTCTL of {r:int, t:int}     | FSTORE of {fst:fstore, b:C.cell, d:int, r:C.cell, mem:Region.region}
509     | FSTORE of {fst:fstore, b:int, d:int, r:int, mem:Region.region}     | FSTOREX of {fstx:fstorex, b:C.cell, x:C.cell, r:C.cell, mem:Region.region}
510     | FSTOREX of {fstx:fstorex, b:int, x:int, r:int, mem:Region.region}     | FLOAD of {fl:fload, b:C.cell, d:int, t:C.cell, mem:Region.region}
511     | FLOAD of {fl:fload, b:int, d:int, t:int, mem:Region.region}     | FLOADX of {flx:floadx, b:C.cell, x:C.cell, t:C.cell, mem:Region.region}
512     | FLOADX of {flx:floadx, b:int, x:int, t:int, mem:Region.region}     | FARITH of {fa:farith, r1:C.cell, r2:C.cell, t:C.cell}
513     | FARITH of {fa:farith, r1:int, r2:int, t:int}     | FUNARY of {fu:funary, f:C.cell, t:C.cell}
514     | FUNARY of {fu:funary, f:int, t:int}     | FCNV of {fcnv:fcnv, f:C.cell, t:C.cell}
515     | FCNV of {fcnv:fcnv, f:int, t:int}     | FBRANCH of {cc:fcond, fmt:fmt, f1:C.cell, f2:C.cell, t:Label.label, f:Label.label,
516     | FBRANCH of {cc:fcond, fmt:fmt, f1:int, f2:int, t:Label.label, f:Label.label          n:bool, long:bool}
      , n:bool, long:bool}  
517     | BREAK of {code1:int, code2:int}     | BREAK of {code1:int, code2:int}
518     | NOP     | NOP
519     | COPY of {dst:int list, src:int list, impl:instruction list option ref     | COPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
520       , tmp:ea option}          tmp:ea option}
521     | FCOPY of {dst:int list, src:int list, impl:instruction list option ref     | FCOPY of {dst:C.cell list, src:C.cell list, impl:instruction list option ref,
522       , tmp:ea option}          tmp:ea option}
523     | ANNOTATION of {i:instruction, a:Annotations.annotation}     | ANNOTATION of {i:instruction, a:Annotations.annotation}
524     | SOURCE of {}     | SOURCE of {}
525     | SINK of {}     | SINK of {}

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

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