Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/translate/translate-basis.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/translate/translate-basis.sml

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

revision 822, Thu Apr 14 14:24:20 2011 UTC revision 824, Thu Apr 14 15:54:24 2011 UTC
# Line 61  Line 61 
61            val tbl = VTbl.mkTable (128, Fail "Translate table")            val tbl = VTbl.mkTable (128, Fail "Translate table")
62            in            in
63              List.app (VTbl.insert tbl) [              List.app (VTbl.insert tbl) [
                 (BV.add_ii,             simpleOp(Op.Add DstTy.IntTy)),  
                 (BV.add_tt,             tensorOp Op.Add),  
                 (BV.sub_ii,             simpleOp(Op.Sub DstTy.IntTy)),  
                 (BV.sub_tt,             tensorOp Op.Sub),  
                 (BV.mul_ii,             simpleOp(Op.Mul DstTy.IntTy)),  
                 (BV.mul_rr,             simpleOp(Op.Mul(DstTy.realTy))),  
                 (BV.mul_rt,             tensorOp Op.Scale),  
                 (BV.mul_tr,             fn (y, sv, [t, r]) => tensorOp Op.Scale (y, sv, [r, t])),  
                 (BV.div_ii,             simpleOp(Op.Div DstTy.IntTy)),  
                 (BV.div_rr,             simpleOp(Op.Div DstTy.realTy)),  
                 (BV.div_tr,             tensorOp Op.InvScale),  
64                  (BV.lt_ii,              simpleOp(Op.LT DstTy.IntTy)),                  (BV.lt_ii,              simpleOp(Op.LT DstTy.IntTy)),
65                  (BV.lt_rr,              simpleOp(Op.LT(DstTy.realTy))),                  (BV.lt_rr,              simpleOp(Op.LT(DstTy.realTy))),
66                  (BV.lte_ii,             simpleOp(Op.LTE DstTy.IntTy)),                  (BV.lte_ii,             simpleOp(Op.LTE DstTy.IntTy)),
# Line 88  Line 77 
77                  (BV.neq_ii,             simpleOp(Op.NEQ DstTy.IntTy)),                  (BV.neq_ii,             simpleOp(Op.NEQ DstTy.IntTy)),
78                  (BV.neq_ss,             simpleOp(Op.NEQ DstTy.StringTy)),                  (BV.neq_ss,             simpleOp(Op.NEQ DstTy.StringTy)),
79                  (BV.neq_rr,             simpleOp(Op.NEQ(DstTy.realTy))),                  (BV.neq_rr,             simpleOp(Op.NEQ(DstTy.realTy))),
80                    (BV.add_ii,             simpleOp(Op.Add DstTy.IntTy)),
81                    (BV.add_tt,             tensorOp Op.Add),
82                    (BV.sub_ii,             simpleOp(Op.Sub DstTy.IntTy)),
83                    (BV.sub_tt,             tensorOp Op.Sub),
84                    (BV.mul_ii,             simpleOp(Op.Mul DstTy.IntTy)),
85                    (BV.mul_rr,             simpleOp(Op.Mul(DstTy.realTy))),
86                    (BV.mul_rt,             tensorOp Op.Scale),
87                    (BV.mul_tr,             fn (y, sv, [t, r]) => tensorOp Op.Scale (y, sv, [r, t])),
88                    (BV.div_ii,             simpleOp(Op.Div DstTy.IntTy)),
89                    (BV.div_rr,             simpleOp(Op.Div DstTy.realTy)),
90                    (BV.div_tr,             tensorOp Op.InvScale),
91                    (BV.exp_ri,             simpleOp(Op.Power)),
92                    (BV.exp_rr,             basisFn ILBasis.pow),
93                  (BV.neg_i,              simpleOp(Op.Neg DstTy.IntTy)),                  (BV.neg_i,              simpleOp(Op.Neg DstTy.IntTy)),
94                  (BV.neg_t,              tensorOp Op.Neg),                  (BV.neg_t,              tensorOp Op.Neg),
95                  (BV.neg_f,              fn (y, _, xs) => assign(y, Op.NegField, xs)),                  (BV.neg_f,              fn (y, _, xs) => assign(y, Op.NegField, xs)),

Legend:
Removed from v.822  
changed lines
  Added in v.824

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