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-rtl.sml
[smlnj] / sml / trunk / src / MLRISC / mltree / mltree-rtl.sml  
ViewVC logotype

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

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

revision 1197, Fri May 17 18:04:19 2002 UTC revision 1198, Fri May 17 18:52:10 2002 UTC
# Line 87  Line 87 
87           | rexp(T.SUBT _,a) = a || A_TRAPPING           | rexp(T.SUBT _,a) = a || A_TRAPPING
88           | rexp(T.MULT _,a) = a || A_TRAPPING           | rexp(T.MULT _,a) = a || A_TRAPPING
89           | rexp(T.DIVT _,a) = a || A_TRAPPING           | rexp(T.DIVT _,a) = a || A_TRAPPING
          | rexp(T.REMT _,a) = a || A_TRAPPING  
90           | rexp(T.LOAD _,a) = a || A_LOOKER           | rexp(T.LOAD _,a) = a || A_LOOKER
91           | rexp(T.$(_,C.MEM,_),a) = a || A_LOOKER           | rexp(T.$(_,C.MEM,_),a) = a || A_LOOKER
92           | rexp(_, a) = a           | rexp(_, a) = a
# Line 170  Line 169 
169           | rhs(T.SUB(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.SUB(_,x,y), d, u) = binOp(x, y, d, u)
170           | rhs(T.MULS(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.MULS(_,x,y), d, u) = binOp(x, y, d, u)
171           | rhs(T.MULU(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.MULU(_,x,y), d, u) = binOp(x, y, d, u)
172           | rhs(T.DIVS(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.DIVS(_,_,x,y), d, u) = binOp(x, y, d, u)
173           | rhs(T.DIVU(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.DIVU(_,x,y), d, u) = binOp(x, y, d, u)
174           | rhs(T.QUOTS(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.REMS(_,_,x,y), d, u) = binOp(x, y, d, u)
          | rhs(T.REMS(_,x,y), d, u) = binOp(x, y, d, u)  
175           | rhs(T.REMU(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.REMU(_,x,y), d, u) = binOp(x, y, d, u)
176           | rhs(T.ADDT(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.ADDT(_,x,y), d, u) = binOp(x, y, d, u)
177           | rhs(T.SUBT(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.SUBT(_,x,y), d, u) = binOp(x, y, d, u)
178           | rhs(T.MULT(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.MULT(_,x,y), d, u) = binOp(x, y, d, u)
179           | rhs(T.DIVT(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.DIVT(_,_,x,y), d, u) = binOp(x, y, d, u)
          | rhs(T.REMT(_,x,y), d, u) = binOp(x, y, d, u)  
180           | rhs(T.SLL(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.SLL(_,x,y), d, u) = binOp(x, y, d, u)
181           | rhs(T.SRL(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.SRL(_,x,y), d, u) = binOp(x, y, d, u)
182           | rhs(T.SRA(_,x,y), d, u) = binOp(x, y, d, u)           | rhs(T.SRA(_,x,y), d, u) = binOp(x, y, d, u)
Legend:
Removed from v.1197  
changed lines
  Added in v.1198
root@smlnj-gforge.cs.uchicago.edu
 ViewVC Help
Powered by ViewVC 1.0.0  
Powered By FusionForge