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/mltree/mltree-utils.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/mltree/mltree-utils.sml

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

revision 555, Fri Mar 3 16:10:30 2000 UTC revision 591, Mon Apr 3 01:19:20 2000 UTC
# Line 55  Line 55 
55      | T.COPY(ty,dst,src) => 0w234 + w ty + ws dst + ws src      | T.COPY(ty,dst,src) => 0w234 + w ty + ws dst + ws src
56      | T.FCOPY(fty,dst,src) => 0w456 + w fty + ws dst + ws src      | T.FCOPY(fty,dst,src) => 0w456 + w fty + ws dst + ws src
57      | T.JMP(ctrl,ea,labels) => 0w45 + hashRexp ea      | T.JMP(ctrl,ea,labels) => 0w45 + hashRexp ea
58      | T.CALL(ea,flow,defs,uses,cdefs,cuses,mem) =>      | T.CALL{funct,targets,defs,uses,cdefs,cuses,region} =>
59            hashRexp ea  + hashMlriscs defs + hashMlriscs uses +            hashRexp funct + hashMlriscs defs + hashMlriscs uses +
60            hashCtrls cdefs + hashCtrls cuses            hashCtrls cdefs + hashCtrls cuses
61      | T.RET _ => 0w567      | T.RET _ => 0w567
62      | T.STORE(ty,ea,data,mem) => 0w888 + w ty + hashRexp ea + hashRexp data      | T.STORE(ty,ea,data,mem) => 0w888 + w ty + hashRexp ea + hashRexp data
# Line 194  Line 194 
194      | eqStm(T.FCOPY x,T.FCOPY y) = x = y      | eqStm(T.FCOPY x,T.FCOPY y) = x = y
195      | eqStm(T.JMP(a,b,c),T.JMP(a',b',c')) =      | eqStm(T.JMP(a,b,c),T.JMP(a',b',c')) =
196           a=a' andalso eqRexp(b,b') andalso eqLabels(c,c')           a=a' andalso eqRexp(b,b') andalso eqLabels(c,c')
197      | eqStm(T.CALL(a,_,b,c,_,_,_),T.CALL(d,_,e,f,_,_,_)) =      | eqStm(T.CALL{funct=a,defs=b,uses=c,...},
198                T.CALL{funct=d,defs=e,uses=f,...}) =
199           eqRexp(a,d) andalso eqMlriscs(b,e) andalso eqMlriscs(c,f)           eqRexp(a,d) andalso eqMlriscs(b,e) andalso eqMlriscs(c,f)
200      | eqStm(T.RET _,T.RET _) = true      | eqStm(T.RET _,T.RET _) = true
201      | eqStm(T.STORE(a,b,c,_),T.STORE(d,e,f,_)) =      | eqStm(T.STORE(a,b,c,_),T.STORE(d,e,f,_)) =
# Line 395  Line 396 
396          | stm(T.COPY(ty,dst,src)) = copy(ty,dst,src)          | stm(T.COPY(ty,dst,src)) = copy(ty,dst,src)
397          | stm(T.FCOPY(fty,dst,src)) = fcopy(fty,dst,src)          | stm(T.FCOPY(fty,dst,src)) = fcopy(fty,dst,src)
398          | stm(T.JMP(cr,ea,labels)) = defctrls cr^"jmp "^rexp ea          | stm(T.JMP(cr,ea,labels)) = defctrls cr^"jmp "^rexp ea
399          | stm(T.CALL(ea,flow,defs,uses,cdef,cuse,mem)) =          | stm(T.CALL{funct,targets,defs,uses,cdefs,cuses,region}) =
400                defctrls cdef^"call "^rexp ea^usectrls cuse                defctrls cdefs^"call "^rexp funct^usectrls cuses
401          | stm(T.RET(cr,flow)) = defctrls cr^"ret"          | stm(T.RET(cr,flow)) = defctrls cr^"ret"
402          | stm(T.STORE(ty,ea,e,mem)) = store(ty,"",ea,mem,e)          | stm(T.STORE(ty,ea,e,mem)) = store(ty,"",ea,mem,e)
403          | stm(T.FSTORE(fty,ea,e,mem)) = fstore(fty,"",ea,mem,e)          | stm(T.FSTORE(fty,ea,e,mem)) = fstore(fty,"",ea,mem,e)

Legend:
Removed from v.555  
changed lines
  Added in v.591

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