Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/MLRISC/alpha/instructions/alphaInstr.sml
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/alpha/instructions/alphaInstr.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1003 - (view) (download)

1 : monnier 409 (*
2 : leunga 744 * WARNING: This file was automatically generated by MDLGen (v3.0)
3 :     * from the machine description file "alpha/alpha.mdl".
4 :     * DO NOT EDIT this file directly
5 : monnier 409 *)
6 :    
7 :    
8 :     signature ALPHAINSTR =
9 :     sig
10 :     structure C : ALPHACELLS
11 : george 1003 structure CB : CELLS_BASIS
12 : leunga 775 structure T : MLTREE
13 : monnier 409 structure Constant: CONSTANT
14 :     structure Region : REGION
15 : leunga 775 sharing Constant = T.Constant
16 :     sharing Region = T.Region
17 : monnier 409 datatype ea =
18 : george 889 Direct of CellsBasis.cell
19 :     | FDirect of CellsBasis.cell
20 :     | Displace of {base:CellsBasis.cell, disp:int}
21 : monnier 409 datatype operand =
22 : george 889 REGop of CellsBasis.cell
23 : monnier 409 | IMMop of int
24 : leunga 775 | HILABop of T.labexp
25 :     | LOLABop of T.labexp
26 :     | LABop of T.labexp
27 : monnier 409 datatype branch =
28 :     BR
29 :     | BLBC
30 :     | BEQ
31 :     | BLT
32 :     | BLE
33 :     | BLBS
34 :     | BNE
35 :     | BGE
36 :     | BGT
37 :     datatype fbranch =
38 :     FBEQ
39 :     | FBLT
40 :     | FBLE
41 :     | FBNE
42 :     | FBGE
43 :     | FBGT
44 :     datatype load =
45 : leunga 585 LDB
46 :     | LDW
47 :     | LDBU
48 : leunga 583 | LDWU
49 :     | LDL
50 : monnier 409 | LDL_L
51 :     | LDQ
52 :     | LDQ_L
53 :     | LDQ_U
54 :     datatype store =
55 : leunga 583 STB
56 :     | STW
57 :     | STL
58 : monnier 409 | STQ
59 :     | STQ_U
60 :     datatype fload =
61 :     LDF
62 :     | LDG
63 :     | LDS
64 :     | LDT
65 :     datatype fstore =
66 :     STF
67 :     | STG
68 :     | STS
69 :     | STT
70 :     datatype operate =
71 :     ADDL
72 :     | ADDQ
73 :     | CMPBGE
74 :     | CMPEQ
75 :     | CMPLE
76 :     | CMPLT
77 :     | CMPULE
78 :     | CMPULT
79 :     | SUBL
80 :     | SUBQ
81 :     | S4ADDL
82 :     | S4ADDQ
83 :     | S4SUBL
84 :     | S4SUBQ
85 :     | S8ADDL
86 :     | S8ADDQ
87 :     | S8SUBL
88 :     | S8SUBQ
89 :     | AND
90 :     | BIC
91 :     | BIS
92 :     | EQV
93 :     | ORNOT
94 :     | XOR
95 :     | EXTBL
96 :     | EXTLH
97 :     | EXTLL
98 :     | EXTQH
99 :     | EXTQL
100 :     | EXTWH
101 :     | EXTWL
102 :     | INSBL
103 :     | INSLH
104 :     | INSLL
105 :     | INSQH
106 :     | INSQL
107 :     | INSWH
108 :     | INSWL
109 :     | MSKBL
110 :     | MSKLH
111 :     | MSKLL
112 :     | MSKQH
113 :     | MSKQL
114 :     | MSKWH
115 :     | MSKWL
116 :     | SLL
117 :     | SRA
118 :     | SRL
119 :     | ZAP
120 :     | ZAPNOT
121 :     | MULL
122 :     | MULQ
123 :     | UMULH
124 :     datatype cmove =
125 :     CMOVEQ
126 :     | CMOVLBC
127 :     | CMOVLBS
128 :     | CMOVGE
129 :     | CMOVGT
130 :     | CMOVLE
131 :     | CMOVLT
132 :     | CMOVNE
133 :     datatype pseudo_op =
134 :     DIVL
135 :     | DIVLU
136 : monnier 429 | DIVQ
137 :     | DIVQU
138 :     | REML
139 :     | REMLU
140 :     | REMQ
141 :     | REMQU
142 : monnier 409 datatype operateV =
143 :     ADDLV
144 :     | ADDQV
145 :     | SUBLV
146 :     | SUBQV
147 :     | MULLV
148 :     | MULQV
149 :     datatype funary =
150 :     CVTLQ
151 :     | CVTQL
152 :     | CVTQLSV
153 :     | CVTQLV
154 :     | CVTQS
155 :     | CVTQSC
156 :     | CVTQT
157 :     | CVTQTC
158 :     | CVTTS
159 :     | CVTTSC
160 : monnier 429 | CVTST
161 :     | CVTSTS
162 : monnier 409 | CVTTQ
163 :     | CVTTQC
164 :     datatype foperate =
165 :     CPYS
166 :     | CPYSE
167 :     | CPYSN
168 :     | MF_FPCR
169 :     | MT_FPCR
170 :     | CMPTEQ
171 :     | CMPTLT
172 :     | CMPTLE
173 :     | CMPTUN
174 :     | CMPTEQSU
175 :     | CMPTLTSU
176 :     | CMPTLESU
177 :     | CMPTUNSU
178 : george 545 | ADDS
179 :     | ADDT
180 :     | DIVS
181 :     | DIVT
182 :     | MULS
183 :     | MULT
184 :     | SUBS
185 :     | SUBT
186 : monnier 409 datatype fcmove =
187 :     FCMOVEQ
188 : george 545 | FCMOVGE
189 :     | FCMOVGT
190 : monnier 409 | FCMOVLE
191 : george 545 | FCMOVLT
192 :     | FCMOVNE
193 : monnier 409 datatype foperateV =
194 :     ADDSSUD
195 :     | ADDSSU
196 :     | ADDTSUD
197 :     | ADDTSU
198 :     | DIVSSUD
199 :     | DIVSSU
200 :     | DIVTSUD
201 :     | DIVTSU
202 :     | MULSSUD
203 :     | MULSSU
204 :     | MULTSUD
205 :     | MULTSU
206 :     | SUBSSUD
207 :     | SUBSSU
208 :     | SUBTSUD
209 :     | SUBTSU
210 :     datatype osf_user_palcode =
211 :     BPT
212 :     | BUGCHK
213 :     | CALLSYS
214 :     | GENTRAP
215 :     | IMB
216 :     | RDUNIQUE
217 :     | WRUNIQUE
218 : leunga 999 type addressing_mode = CellsBasis.cell * operand
219 : george 1003 datatype instr =
220 :     LDA of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}
221 : george 889 | LDAH of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}
222 :     | LOAD of {ldOp:load, r:CellsBasis.cell, b:CellsBasis.cell, d:operand, mem:Region.region}
223 :     | STORE of {stOp:store, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
224 : leunga 796 mem:Region.region}
225 : george 889 | FLOAD of {ldOp:fload, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
226 : leunga 796 mem:Region.region}
227 : george 889 | FSTORE of {stOp:fstore, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
228 :     mem:Region.region}
229 : leunga 999 | JMPL of {r:CellsBasis.cell, b:CellsBasis.cell, d:int} * Label.label list
230 : george 889 | JSR of {r:CellsBasis.cell, b:CellsBasis.cell, d:int, defs:C.cellset, uses:C.cellset,
231 :     cutsTo:Label.label list, mem:Region.region}
232 :     | BSR of {r:CellsBasis.cell, lab:Label.label, defs:C.cellset, uses:C.cellset,
233 :     cutsTo:Label.label list, mem:Region.region}
234 :     | RET of {r:CellsBasis.cell, b:CellsBasis.cell, d:int}
235 :     | BRANCH of {b:branch, r:CellsBasis.cell, lab:Label.label}
236 :     | FBRANCH of {b:fbranch, f:CellsBasis.cell, lab:Label.label}
237 :     | OPERATE of {oper:operate, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
238 :     | OPERATEV of {oper:operateV, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
239 :     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
240 :     | PSEUDOARITH of {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,
241 :     tmps:C.cellset}
242 : leunga 999 | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
243 : leunga 744 tmp:ea option}
244 : leunga 999 | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
245 : leunga 744 tmp:ea option}
246 : george 889 | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}
247 :     | FOPERATE of {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}
248 :     | FOPERATEV of {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,
249 :     fc:CellsBasis.cell}
250 :     | FCMOVE of {oper:fcmove, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}
251 : monnier 409 | TRAPB
252 : leunga 744 | CALL_PAL of {code:osf_user_palcode, def:C.cellset, use:C.cellset}
253 : leunga 624 | SOURCE of {}
254 :     | SINK of {}
255 :     | PHI of {}
256 : george 1003 and instruction =
257 :     LIVE of {regs: C.cellset, spilled: C.cellset}
258 :     | KILL of {regs: C.cellset, spilled: C.cellset}
259 :     | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
260 :     | ANNOTATION of {i:instruction, a:Annotations.annotation}
261 :     | INSTR of instr
262 :     val lda : {r:CellsBasis.cell, b:CellsBasis.cell, d:operand} -> instruction
263 :     val ldah : {r:CellsBasis.cell, b:CellsBasis.cell, d:operand} -> instruction
264 :     val load : {ldOp:load, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
265 :     mem:Region.region} -> instruction
266 :     val store : {stOp:store, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
267 :     mem:Region.region} -> instruction
268 :     val fload : {ldOp:fload, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
269 :     mem:Region.region} -> instruction
270 :     val fstore : {stOp:fstore, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
271 :     mem:Region.region} -> instruction
272 :     val jmpl : {r:CellsBasis.cell, b:CellsBasis.cell, d:int} * Label.label list -> instruction
273 :     val jsr : {r:CellsBasis.cell, b:CellsBasis.cell, d:int, defs:C.cellset,
274 :     uses:C.cellset, cutsTo:Label.label list, mem:Region.region} -> instruction
275 :     val bsr : {r:CellsBasis.cell, lab:Label.label, defs:C.cellset, uses:C.cellset,
276 :     cutsTo:Label.label list, mem:Region.region} -> instruction
277 :     val ret : {r:CellsBasis.cell, b:CellsBasis.cell, d:int} -> instruction
278 :     val branch : {b:branch, r:CellsBasis.cell, lab:Label.label} -> instruction
279 :     val fbranch : {b:fbranch, f:CellsBasis.cell, lab:Label.label} -> instruction
280 :     val operate : {oper:operate, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell} -> instruction
281 :     val operatev : {oper:operateV, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell} -> instruction
282 :     val cmove : {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell} -> instruction
283 :     val pseudoarith : {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,
284 :     tmps:C.cellset} -> instruction
285 :     val copy : {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
286 :     tmp:ea option} -> instruction
287 :     val fcopy : {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
288 :     tmp:ea option} -> instruction
289 :     val funary : {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell} -> instruction
290 :     val foperate : {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell} -> instruction
291 :     val foperatev : {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,
292 :     fc:CellsBasis.cell} -> instruction
293 :     val fcmove : {oper:fcmove, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell} -> instruction
294 :     val trapb : instruction
295 :     val call_pal : {code:osf_user_palcode, def:C.cellset, use:C.cellset} -> instruction
296 :     val source : {} -> instruction
297 :     val sink : {} -> instruction
298 :     val phi : {} -> instruction
299 : monnier 409 end
300 :    
301 : george 984 functor AlphaInstr(T: MLTREE
302 : monnier 409 ) : ALPHAINSTR =
303 :     struct
304 :     structure C = AlphaCells
305 : george 1003 structure CB = CellsBasis
306 : george 984 structure T = T
307 : leunga 775 structure Region = T.Region
308 :     structure Constant = T.Constant
309 : monnier 409 datatype ea =
310 : george 889 Direct of CellsBasis.cell
311 :     | FDirect of CellsBasis.cell
312 :     | Displace of {base:CellsBasis.cell, disp:int}
313 : monnier 409 datatype operand =
314 : george 889 REGop of CellsBasis.cell
315 : monnier 409 | IMMop of int
316 : leunga 775 | HILABop of T.labexp
317 :     | LOLABop of T.labexp
318 :     | LABop of T.labexp
319 : monnier 409 datatype branch =
320 :     BR
321 :     | BLBC
322 :     | BEQ
323 :     | BLT
324 :     | BLE
325 :     | BLBS
326 :     | BNE
327 :     | BGE
328 :     | BGT
329 :     datatype fbranch =
330 :     FBEQ
331 :     | FBLT
332 :     | FBLE
333 :     | FBNE
334 :     | FBGE
335 :     | FBGT
336 :     datatype load =
337 : leunga 585 LDB
338 :     | LDW
339 :     | LDBU
340 : leunga 583 | LDWU
341 :     | LDL
342 : monnier 409 | LDL_L
343 :     | LDQ
344 :     | LDQ_L
345 :     | LDQ_U
346 :     datatype store =
347 : leunga 583 STB
348 :     | STW
349 :     | STL
350 : monnier 409 | STQ
351 :     | STQ_U
352 :     datatype fload =
353 :     LDF
354 :     | LDG
355 :     | LDS
356 :     | LDT
357 :     datatype fstore =
358 :     STF
359 :     | STG
360 :     | STS
361 :     | STT
362 :     datatype operate =
363 :     ADDL
364 :     | ADDQ
365 :     | CMPBGE
366 :     | CMPEQ
367 :     | CMPLE
368 :     | CMPLT
369 :     | CMPULE
370 :     | CMPULT
371 :     | SUBL
372 :     | SUBQ
373 :     | S4ADDL
374 :     | S4ADDQ
375 :     | S4SUBL
376 :     | S4SUBQ
377 :     | S8ADDL
378 :     | S8ADDQ
379 :     | S8SUBL
380 :     | S8SUBQ
381 :     | AND
382 :     | BIC
383 :     | BIS
384 :     | EQV
385 :     | ORNOT
386 :     | XOR
387 :     | EXTBL
388 :     | EXTLH
389 :     | EXTLL
390 :     | EXTQH
391 :     | EXTQL
392 :     | EXTWH
393 :     | EXTWL
394 :     | INSBL
395 :     | INSLH
396 :     | INSLL
397 :     | INSQH
398 :     | INSQL
399 :     | INSWH
400 :     | INSWL
401 :     | MSKBL
402 :     | MSKLH
403 :     | MSKLL
404 :     | MSKQH
405 :     | MSKQL
406 :     | MSKWH
407 :     | MSKWL
408 :     | SLL
409 :     | SRA
410 :     | SRL
411 :     | ZAP
412 :     | ZAPNOT
413 :     | MULL
414 :     | MULQ
415 :     | UMULH
416 :     datatype cmove =
417 :     CMOVEQ
418 :     | CMOVLBC
419 :     | CMOVLBS
420 :     | CMOVGE
421 :     | CMOVGT
422 :     | CMOVLE
423 :     | CMOVLT
424 :     | CMOVNE
425 :     datatype pseudo_op =
426 :     DIVL
427 :     | DIVLU
428 : monnier 429 | DIVQ
429 :     | DIVQU
430 :     | REML
431 :     | REMLU
432 :     | REMQ
433 :     | REMQU
434 : monnier 409 datatype operateV =
435 :     ADDLV
436 :     | ADDQV
437 :     | SUBLV
438 :     | SUBQV
439 :     | MULLV
440 :     | MULQV
441 :     datatype funary =
442 :     CVTLQ
443 :     | CVTQL
444 :     | CVTQLSV
445 :     | CVTQLV
446 :     | CVTQS
447 :     | CVTQSC
448 :     | CVTQT
449 :     | CVTQTC
450 :     | CVTTS
451 :     | CVTTSC
452 : monnier 429 | CVTST
453 :     | CVTSTS
454 : monnier 409 | CVTTQ
455 :     | CVTTQC
456 :     datatype foperate =
457 :     CPYS
458 :     | CPYSE
459 :     | CPYSN
460 :     | MF_FPCR
461 :     | MT_FPCR
462 :     | CMPTEQ
463 :     | CMPTLT
464 :     | CMPTLE
465 :     | CMPTUN
466 :     | CMPTEQSU
467 :     | CMPTLTSU
468 :     | CMPTLESU
469 :     | CMPTUNSU
470 : george 545 | ADDS
471 :     | ADDT
472 :     | DIVS
473 :     | DIVT
474 :     | MULS
475 :     | MULT
476 :     | SUBS
477 :     | SUBT
478 : monnier 409 datatype fcmove =
479 :     FCMOVEQ
480 : george 545 | FCMOVGE
481 :     | FCMOVGT
482 : monnier 409 | FCMOVLE
483 : george 545 | FCMOVLT
484 :     | FCMOVNE
485 : monnier 409 datatype foperateV =
486 :     ADDSSUD
487 :     | ADDSSU
488 :     | ADDTSUD
489 :     | ADDTSU
490 :     | DIVSSUD
491 :     | DIVSSU
492 :     | DIVTSUD
493 :     | DIVTSU
494 :     | MULSSUD
495 :     | MULSSU
496 :     | MULTSUD
497 :     | MULTSU
498 :     | SUBSSUD
499 :     | SUBSSU
500 :     | SUBTSUD
501 :     | SUBTSU
502 :     datatype osf_user_palcode =
503 :     BPT
504 :     | BUGCHK
505 :     | CALLSYS
506 :     | GENTRAP
507 :     | IMB
508 :     | RDUNIQUE
509 :     | WRUNIQUE
510 : leunga 999 type addressing_mode = CellsBasis.cell * operand
511 : george 1003 datatype instr =
512 :     LDA of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}
513 : george 889 | LDAH of {r:CellsBasis.cell, b:CellsBasis.cell, d:operand}
514 :     | LOAD of {ldOp:load, r:CellsBasis.cell, b:CellsBasis.cell, d:operand, mem:Region.region}
515 :     | STORE of {stOp:store, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
516 : leunga 796 mem:Region.region}
517 : george 889 | FLOAD of {ldOp:fload, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
518 : leunga 796 mem:Region.region}
519 : george 889 | FSTORE of {stOp:fstore, r:CellsBasis.cell, b:CellsBasis.cell, d:operand,
520 :     mem:Region.region}
521 : leunga 999 | JMPL of {r:CellsBasis.cell, b:CellsBasis.cell, d:int} * Label.label list
522 : george 889 | JSR of {r:CellsBasis.cell, b:CellsBasis.cell, d:int, defs:C.cellset, uses:C.cellset,
523 :     cutsTo:Label.label list, mem:Region.region}
524 :     | BSR of {r:CellsBasis.cell, lab:Label.label, defs:C.cellset, uses:C.cellset,
525 :     cutsTo:Label.label list, mem:Region.region}
526 :     | RET of {r:CellsBasis.cell, b:CellsBasis.cell, d:int}
527 :     | BRANCH of {b:branch, r:CellsBasis.cell, lab:Label.label}
528 :     | FBRANCH of {b:fbranch, f:CellsBasis.cell, lab:Label.label}
529 :     | OPERATE of {oper:operate, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
530 :     | OPERATEV of {oper:operateV, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
531 :     | CMOVE of {oper:cmove, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell}
532 :     | PSEUDOARITH of {oper:pseudo_op, ra:CellsBasis.cell, rb:operand, rc:CellsBasis.cell,
533 :     tmps:C.cellset}
534 : leunga 999 | COPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
535 : leunga 744 tmp:ea option}
536 : leunga 999 | FCOPY of {dst:(CellsBasis.cell) list, src:(CellsBasis.cell) list, impl:instruction list option ref,
537 : leunga 744 tmp:ea option}
538 : george 889 | FUNARY of {oper:funary, fb:CellsBasis.cell, fc:CellsBasis.cell}
539 :     | FOPERATE of {oper:foperate, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}
540 :     | FOPERATEV of {oper:foperateV, fa:CellsBasis.cell, fb:CellsBasis.cell,
541 :     fc:CellsBasis.cell}
542 :     | FCMOVE of {oper:fcmove, fa:CellsBasis.cell, fb:CellsBasis.cell, fc:CellsBasis.cell}
543 : monnier 409 | TRAPB
544 : leunga 744 | CALL_PAL of {code:osf_user_palcode, def:C.cellset, use:C.cellset}
545 : leunga 624 | SOURCE of {}
546 :     | SINK of {}
547 :     | PHI of {}
548 : george 1003 and instruction =
549 :     LIVE of {regs: C.cellset, spilled: C.cellset}
550 :     | KILL of {regs: C.cellset, spilled: C.cellset}
551 :     | COPYXXX of {k: CB.cellkind, dst: CB.cell list, src: CB.cell list}
552 :     | ANNOTATION of {i:instruction, a:Annotations.annotation}
553 :     | INSTR of instr
554 :     val lda = INSTR o LDA
555 :     and ldah = INSTR o LDAH
556 :     and load = INSTR o LOAD
557 :     and store = INSTR o STORE
558 :     and fload = INSTR o FLOAD
559 :     and fstore = INSTR o FSTORE
560 :     and jmpl = INSTR o JMPL
561 :     and jsr = INSTR o JSR
562 :     and bsr = INSTR o BSR
563 :     and ret = INSTR o RET
564 :     and branch = INSTR o BRANCH
565 :     and fbranch = INSTR o FBRANCH
566 :     and operate = INSTR o OPERATE
567 :     and operatev = INSTR o OPERATEV
568 :     and cmove = INSTR o CMOVE
569 :     and pseudoarith = INSTR o PSEUDOARITH
570 :     and copy = INSTR o COPY
571 :     and fcopy = INSTR o FCOPY
572 :     and funary = INSTR o FUNARY
573 :     and foperate = INSTR o FOPERATE
574 :     and foperatev = INSTR o FOPERATEV
575 :     and fcmove = INSTR o FCMOVE
576 :     and trapb = INSTR TRAPB
577 :     and call_pal = INSTR o CALL_PAL
578 :     and source = INSTR o SOURCE
579 :     and sink = INSTR o SINK
580 :     and phi = INSTR o PHI
581 : monnier 409 end
582 :    

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