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/sparc/instructions/sparcProps.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/sparc/instructions/sparcProps.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 1  Line 1 
1  functor SparcProps(SparcInstr : SPARCINSTR) : INSN_PROPERTIES =  functor SparcProps
2      (structure SparcInstr : SPARCINSTR
3       structure MLTreeEval : MLTREE_EVAL where T = SparcInstr.T
4       structure MLTreeHash : MLTREE_HASH where T = SparcInstr.T
5       ) : INSN_PROPERTIES =
6  struct  struct
7    structure I = SparcInstr    structure I = SparcInstr
8    structure C = I.C    structure C = I.C
9    structure T = I.T    structure T = I.T
   structure LE = I.LabelExp  
10    structure CB = CellsBasis    structure CB = CellsBasis
11    
12    exception NegateConditional    exception NegateConditional
# Line 160  Line 163 
163     *========================================================================*)     *========================================================================*)
164     fun hashOpn(I.REG r) = CB.hashCell r     fun hashOpn(I.REG r) = CB.hashCell r
165       | hashOpn(I.IMMED i) = Word.fromInt i       | hashOpn(I.IMMED i) = Word.fromInt i
166       | hashOpn(I.LAB l) = LE.hash l       | hashOpn(I.LAB l) = MLTreeHash.hash l
167       | hashOpn(I.LO l) = LE.hash l       | hashOpn(I.LO l) = MLTreeHash.hash l
168       | hashOpn(I.HI l) = LE.hash l       | hashOpn(I.HI l) = MLTreeHash.hash l
169     fun eqOpn(I.REG a,I.REG b) = CB.sameColor(a,b)     fun eqOpn(I.REG a,I.REG b) = CB.sameColor(a,b)
170       | eqOpn(I.IMMED a,I.IMMED b) = a = b       | eqOpn(I.IMMED a,I.IMMED b) = a = b
171       | eqOpn(I.LAB a,I.LAB b) = LE.==(a,b)       | eqOpn(I.LAB a,I.LAB b) = MLTreeEval.==(a,b)
172       | eqOpn(I.LO a,I.LO b) = LE.==(a,b)       | eqOpn(I.LO a,I.LO b) = MLTreeEval.==(a,b)
173       | eqOpn(I.HI a,I.HI b) = LE.==(a,b)       | eqOpn(I.HI a,I.HI b) = MLTreeEval.==(a,b)
174       | eqOpn _ = false       | eqOpn _ = false
175    
176    fun defUseR instr =    fun defUseR instr =

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