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/branches/SMLNJ/src/MLRISC/alpha/instructions/alphaProps.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/MLRISC/alpha/instructions/alphaProps.sml

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

revision 468, Wed Nov 10 22:42:52 1999 UTC revision 469, Wed Nov 10 22:42:52 1999 UTC
# Line 163  Line 163 
163           | I.TRAPB      => trap([],[])           | I.TRAPB      => trap([],[])
164           (* macro *)           (* macro *)
165           | I.CALL_PAL{def,use, ...} => (def, use)           | I.CALL_PAL{def,use, ...} => (def, use)
166           | I.ANNOTATION{a=BasicAnnotations.DEFUSER(d,u),...} => (d,u)           | I.ANNOTATION{a, i, ...} =>
167           | I.ANNOTATION{i,...} => defUseR i              (case #peek BasicAnnotations.DEFUSER a of
168                   SOME(d,u) => (d,u)
169                 | NONE => defUseR i
170                )
171           | _            => ([],[])           | _            => ([],[])
172        end        end
173    
# Line 184  Line 186 
186        | I.FCOPY{dst, src, tmp=SOME(I.FDirect f), ...} => (f::dst, src)        | I.FCOPY{dst, src, tmp=SOME(I.FDirect f), ...} => (f::dst, src)
187        | I.FCOPY{dst, src, ...}                  => (dst, src)        | I.FCOPY{dst, src, ...}                  => (dst, src)
188        | I.JSR(_,def,use, mem)        => (#2 def,#2 use)        | I.JSR(_,def,use, mem)        => (#2 def,#2 use)
189        | I.ANNOTATION{a=BasicAnnotations.DEFUSEF(d,u),...} => (d,u)        | I.ANNOTATION{a, i, ...} =>
190        | I.ANNOTATION{i,...} => defUseF i            (case #peek BasicAnnotations.DEFUSEF a of
191                 SOME(d,u) => (d,u)
192               | NONE => defUseF i
193              )
194        | _ => ([],[])        | _ => ([],[])
195    
196      fun defUse C.GP = defUseR      fun defUse C.GP = defUseR
# Line 195  Line 200 
200      (*=======================================================================      (*=======================================================================
201       *  Annotations       *  Annotations
202       *=======================================================================*)       *=======================================================================*)
203      fun getAnnotations(I.ANNOTATION{i,a}) = a::getAnnotations i      fun getAnnotations(I.ANNOTATION{i,a}) =
204        | getAnnotations _ = []           let val (i,an) = getAnnotations i in (i,a::an) end
205          | getAnnotations i = (i,[])
206      fun annotate(i,a) = I.ANNOTATION{i=i,a=a}      fun annotate(i,a) = I.ANNOTATION{i=i,a=a}
207    
208      (*=======================================================================      (*=======================================================================

Legend:
Removed from v.468  
changed lines
  Added in v.469

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