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/ppc/instructions/ppcProps.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/MLRISC/ppc/instructions/ppcProps.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 105  Line 105 
105             | SOME(I.Direct r) => (r::dst, src)             | SOME(I.Direct r) => (r::dst, src)
106          (* | SOME(I.Displace{base, disp}) => (dst, base::src) *)          (* | SOME(I.Displace{base, disp}) => (dst, base::src) *)
107           (*esac*))           (*esac*))
108       | I.ANNOTATION{a=BasicAnnotations.DEFUSER(d,u),...} => (d,u)       | I.ANNOTATION{a, i, ...} =>
109       | I.ANNOTATION{i,...} => defUseR i          (case #peek BasicAnnotations.DEFUSER a of
110               SOME(d,u) => (d,u)
111             | NONE => defUseR i
112            )
113       | _ => ([], [])       | _ => ([], [])
114    end    end
115    
# Line 124  Line 127 
127            of SOME(I.FDirect f) => (f::dst, src)            of SOME(I.FDirect f) => (f::dst, src)
128             | _ => (dst, src)             | _ => (dst, src)
129           (*esac*))           (*esac*))
130       | I.ANNOTATION{a=BasicAnnotations.DEFUSEF(d,u),...} => (d,u)       | I.ANNOTATION{a, i, ...} =>
131       | I.ANNOTATION{i,...} => defUseF i          (case #peek BasicAnnotations.DEFUSEF a of
132               SOME(d,u) => (d,u)
133             | NONE => defUseF i
134            )
135       | _ => ([], [])       | _ => ([], [])
136      (*esac*))      (*esac*))
137    
# Line 139  Line 145 
145    (*========================================================================    (*========================================================================
146     *  Annotations     *  Annotations
147     *========================================================================*)     *========================================================================*)
148    fun getAnnotations(I.ANNOTATION{i,a}) = a::getAnnotations i    fun getAnnotations(I.ANNOTATION{i,a}) =
149      | getAnnotations _ = []         let val (i,an) = getAnnotations i in (i,a::an) end
150        | getAnnotations i = (i,[])
151    fun annotate(i,a) = I.ANNOTATION{i=i,a=a}    fun annotate(i,a) = I.ANNOTATION{i=i,a=a}
152    
153    (*========================================================================    (*========================================================================

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