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/alpha32/alpha32RegAlloc.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/alpha32/alpha32RegAlloc.sml

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

revision 139, Mon Sep 7 21:11:35 1998 UTC revision 167, Sat Nov 7 20:11:41 1998 UTC
# Line 10  Line 10 
10    
11    
12    
13  functor Alpha32RegAlloc(structure P : INSN_PROPERTIES  functor Alpha32RegAlloc(structure I : INSTRUCTIONS where C = Alpha32Cells
14                          structure F : FLOWGRAPH                          structure P : INSN_PROPERTIES where I = I
15                          structure I : INSTRUCTIONS where C = Alpha32Cells                          structure F : FLOWGRAPH where I = I
16                          structure Asm : EMITTER_NEW                          structure Asm : EMITTER_NEW
17                             sharing Asm.F = F                            where I = I and P = F.P) :
                            sharing P.I = F.I = Asm.I = I) :  
18     sig     sig
19      functor IntRa (structure RaUser : RA_USER_PARAMS      functor IntRa (structure RaUser : RA_USER_PARAMS
20                       where type I.operand = I.operand                       where I = I
21                         and type I.instruction = I.instruction                       where type B.name = F.B.name
                        and type B.name = F.B.name  
22                       (* should be: where I = I -- bug 1205 *)) : sig                       (* should be: where I = I -- bug 1205 *)) : sig
23          datatype mode = REGISTER_ALLOCATION | COPY_PROPAGATION          datatype mode = REGISTER_ALLOCATION | COPY_PROPAGATION
24          val ra : mode -> F.cluster -> F.cluster          val ra : mode -> F.cluster -> F.cluster
25        end        end
26      functor FloatRa (structure RaUser : RA_USER_PARAMS      functor FloatRa (structure RaUser : RA_USER_PARAMS
27                         where type I.operand = I.operand                         where I = I
28                           and type I.instruction = I.instruction                         where type B.name = F.B.name
                          and type B.name = F.B.name  
29                         (* should be: where I = I *)) : sig                         (* should be: where I = I *)) : sig
30          datatype mode = REGISTER_ALLOCATION | COPY_PROPAGATION          datatype mode = REGISTER_ALLOCATION | COPY_PROPAGATION
31          val ra : mode -> F.cluster -> F.cluster          val ra : mode -> F.cluster -> F.cluster
# Line 94  Line 91 
91    
92  (*  (*
93   * $Log: alpha32RegAlloc.sml,v $   * $Log: alpha32RegAlloc.sml,v $
94     * Revision 1.5  1998/09/30 19:34:39  dbm
95     * fixing sharing/defspec conflict
96     *
97     * Revision 1.4  1998/07/25 03:08:13  george
98     *   added to support block names in MLRISC
99     *
100   * Revision 1.3  1998/05/25 15:10:49  george   * Revision 1.3  1998/05/25 15:10:49  george
101   *   Fixed RCS keywords   *   Fixed RCS keywords
102   *   *

Legend:
Removed from v.139  
changed lines
  Added in v.167

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