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/branches/SMLNJ/src/MLRISC/hppa/mltree/hppaLabelComp.sig
ViewVC logotype

Annotation of /sml/branches/SMLNJ/src/MLRISC/hppa/mltree/hppaLabelComp.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (view) (download) (as text)

1 : monnier 245 signature LABEL_COMP = sig
2 :     structure T : MLTREE
3 :     structure I : INSTRUCTIONS
4 :    
5 :     type reduce =
6 :     {stm:T.stm -> unit, rexp:T.rexp -> int, emit:I.instruction -> unit }
7 :     (* functions to emit MLRISC statements or register expressions *)
8 :    
9 :     datatype lab_opnd = OPND of I.operand | REG of int
10 :    
11 :     val ldLabelEA :
12 :     (I.instruction -> unit) -> LabelExp.labexp -> (int * I.operand)
13 :     (* generate a label operand to use as an effective address *)
14 :    
15 :     val ldLabelOpnd :
16 :     (I.instruction -> unit) ->
17 :     {label:LabelExp.labexp, pref:int option} -> lab_opnd
18 :     (* generate a label operand to be used by immediate instructions *)
19 :    
20 :     val doJmp : reduce * T.stm -> unit
21 :     (* compile a jump involving a label *)
22 :    
23 :     val doCall : reduce * T.stm -> unit
24 :     (* compile a call involving a label *)
25 :    
26 :     end
27 :    
28 :     (*
29 :     * $Log: hppaLabelComp.sig,v $
30 :     * Revision 1.1.1.1 1998/04/08 18:39:01 george
31 :     * Version 110.5
32 :     *
33 :     *)

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