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

Diff of /sml/trunk/src/MLRISC/alpha/instructions/alphaProps.sml

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

revision 983, Wed Nov 21 18:44:55 2001 UTC revision 984, Wed Nov 21 19:00:08 2001 UTC
# Line 4  Line 4 
4   *   *
5   *)   *)
6    
7  functor AlphaProps(AlphaInstr:ALPHAINSTR):INSN_PROPERTIES =  functor AlphaProps
8       (structure Instr : ALPHAINSTR
9        structure MLTreeHash :  MLTREE_HASH where T = Instr.T
10        structure MLTreeEval : MLTREE_EVAL where T = Instr.T
11        ):INSN_PROPERTIES =
12  struct  struct
13      structure I = AlphaInstr      structure I = Instr
14      structure C = I.C      structure C = I.C
     structure LE = I.LabelExp  
15      structure CB = CellsBasis      structure CB = CellsBasis
16    
17      exception NegateConditional      exception NegateConditional
# Line 122  Line 125 
125      *========================================================================*)      *========================================================================*)
126     fun hashOpn(I.REGop r) = CB.hashCell r     fun hashOpn(I.REGop r) = CB.hashCell r
127       | hashOpn(I.IMMop i) = Word.fromInt i       | hashOpn(I.IMMop i) = Word.fromInt i
128       | hashOpn(I.HILABop l) = I.LabelExp.hash l       | hashOpn(I.HILABop l) = MLTreeHash.hash l
129       | hashOpn(I.LOLABop l) = I.LabelExp.hash l       | hashOpn(I.LOLABop l) = MLTreeHash.hash l
130       | hashOpn(I.LABop l) = I.LabelExp.hash l       | hashOpn(I.LABop l) = MLTreeHash.hash l
131    
132     fun eqOpn(I.REGop a,I.REGop b) = CB.sameColor(a,b)     fun eqOpn(I.REGop a,I.REGop b) = CB.sameColor(a,b)
133       | eqOpn(I.IMMop a,I.IMMop b) = a = b       | eqOpn(I.IMMop a,I.IMMop b) = a = b
134       | eqOpn(I.HILABop a,I.HILABop b) = I.LabelExp.==(a,b)       | eqOpn(I.HILABop a,I.HILABop b) = MLTreeEval.==(a,b)
135       | eqOpn(I.LOLABop a,I.LOLABop b) = I.LabelExp.==(a,b)       | eqOpn(I.LOLABop a,I.LOLABop b) = MLTreeEval.==(a,b)
136       | eqOpn(I.LABop a,I.LABop b) = I.LabelExp.==(a,b)       | eqOpn(I.LABop a,I.LABop b) = MLTreeEval.==(a,b)
137       | eqOpn _ = false       | eqOpn _ = false
138    
139     (*========================================================================     (*========================================================================

Legend:
Removed from v.983  
changed lines
  Added in v.984

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