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

SCM Repository

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

Diff of /branches/vis15/src/compiler/translate/translate-basis.sml

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

revision 3968, Tue Jun 14 19:49:02 2016 UTC revision 3969, Wed Jun 15 01:37:57 2016 UTC
# Line 176  Line 176 
176                                            [assignEin(y, Mk.divFS(d, dd), xs)]),                                            [assignEin(y, Mk.divFS(d, dd), xs)]),
177                  (BV.div_ss,             fn (y, [_, Ty.DIM d], xs) =>                  (BV.div_ss,             fn (y, [_, Ty.DIM d], xs) =>
178                                            [assignEin(y, Mk.divSS d, xs)]),                                            [assignEin(y, Mk.divSS d, xs)]),
179                  (BV.pow_ri,             simpleOp Op.Power),  (BV.pow_ri,             (print "pow_ri";simpleOp Op.Power)),
180                  (BV.pow_rr,             fn (y, _, args) =>                  (BV.pow_rr,             fn (y, _, args) =>
181                                            assign(y, Op.MathFn MathFns.POW, args)),  (print "pow_rr";assign(y, Op.MathFn MathFns.POW, args))),
182                  (BV.pow_si,             fn (y, [_, Ty.DIM d1], [f, n]) => let                  (BV.pow_si,             fn (y, [_, Ty.DIM d1], [f, n]) => let
183                                              val _ = print "pow_si"
184                                            fun getN x  = (case IR.Var.getDef x                                            fun getN x  = (case IR.Var.getDef x
185                                                   of IR.LIT(Literal.Int n) => IntInf.toInt n                                                   of IR.LIT(Literal.Int n) => IntInf.toInt n
186                                                    | _ => raise Fail "impossible"                                                    | _ => raise Fail "impossible"

Legend:
Removed from v.3968  
changed lines
  Added in v.3969

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