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 3977, Wed Jun 15 19:06:30 2016 UTC revision 3978, Wed Jun 15 19:07:40 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,             (print "pow_ri";simpleOp Op.Power)),                  (BV.pow_ri,             simpleOp Op.Power),
180                  (BV.pow_rr,             fn (y, _, args) =>                  (BV.pow_rr,             fn (y, _, args) =>
181  (print "pow_rr";assign(y, Op.MathFn MathFns.POW, args))),                                              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
                                           val _ = print "pow_si"  
183                                            fun getN x  = (case IR.Var.getDef x                                            fun getN x  = (case IR.Var.getDef x
184                                                   of IR.LIT(Literal.Int n) => IntInf.toInt n                                                   of IR.LIT(Literal.Int n) => IntInf.toInt n
185                                                    | _ => raise Fail "impossible"                                                    | _ => raise Fail "impossible"
186                                                  (* end case *))                                                  (* end case *))
187                                            in                                            in
188                                              [assignEin(y, Mk.powF(d1, getN n), [f])]                                              [assignEin(y, Mk.powFI(d1, getN n), [f])]
189                                            end),                                            end),
190                  (BV.curl2D,             simpleEOp Mk.curl2d),                  (BV.curl2D,             simpleEOp Mk.curl2d),
191                  (BV.curl3D,             simpleEOp Mk.curl3d),                  (BV.curl3D,             simpleEOp Mk.curl3d),

Legend:
Removed from v.3977  
changed lines
  Added in v.3978

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