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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/mid-to-low/ein-to-scalar.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/mid-to-low/ein-to-scalar.sml

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

revision 3801, Tue May 3 13:11:50 2016 UTC revision 3943, Wed Jun 8 22:55:08 2016 UTC
# Line 43  Line 43 
43                  fun sumCheck (mapp, (E.V v, lb, ub) :: sumx, e) = let                  fun sumCheck (mapp, (E.V v, lb, ub) :: sumx, e) = let
44                        fun sumloop mapp = gen (mapp, e)                        fun sumloop mapp = gen (mapp, e)
45                        fun sumI1 (left, (v, [i], lb1), [], rest) = let                        fun sumI1 (left, (v, [i], lb1), [], rest) = let
 (*val _ = print (concat["\ninsert: last item overll", Int.toString v, " to ",Int.toString (lb1+i)]) *)  
46                              val mapp = IMap.insert (left, v, lb1+i)                              val mapp = IMap.insert (left, v, lb1+i)
47                              val vD = gen (mapp, e)                              val vD = gen (mapp, e)
48                              in                              in
49                                rest@[vD]                                rest@[vD]
50                              end                              end
51                          | sumI1 (left, (v, i::es, lb1), [], rest) = let                          | sumI1 (left, (v, i::es, lb1), [], rest) = let
 (* val _ = print (concat["\ninsertb ", Int.toString v, " to ",Int.toString (i+lb1)])*)  
52                              val mapp = IMap.insert (left, v, i+lb1)                              val mapp = IMap.insert (left, v, i+lb1)
53                              val vD = gen (mapp, e)                              val vD = gen (mapp, e)
54                              in                              in
# Line 59  Line 57 
57                          | sumI1 (left, (v, [i], lb1), (E.V a, lb2, ub2) ::sx, rest) =                          | sumI1 (left, (v, [i], lb1), (E.V a, lb2, ub2) ::sx, rest) =
58                              sumI1 (IMap.insert (left, v, lb1+i), (a, tb (ub2-lb2+1), lb2), sx, rest)                              sumI1 (IMap.insert (left, v, lb1+i), (a, tb (ub2-lb2+1), lb2), sx, rest)
59                          | sumI1 (left, (v, s::es, lb1), (E.V a, lb2, ub2) ::sx, rest) = let                          | sumI1 (left, (v, s::es, lb1), (E.V a, lb2, ub2) ::sx, rest) = let
 (*val _ = print( concat["\ninsertd ", Int.toString v, " to ",Int.toString (s+lb1)])*)  
60                              val mapp = IMap.insert (left, v, s+lb1)                              val mapp = IMap.insert (left, v, s+lb1)
61                              val xx = tb (ub2-lb2+1)                              val xx = tb (ub2-lb2+1)
 (* val _ =print( concat["\ndoing inner ", Int.toString a])*)  
62                              val rest' = sumI1 (mapp, (a, xx, lb2), sx, rest)                              val rest' = sumI1 (mapp, (a, xx, lb2), sx, rest)
63                              in                              in
64                                sumI1 (mapp, (v, es, lb1), (E.V a, lb2, ub2) ::sx, rest')                                sumI1 (mapp, (v, es, lb1), (E.V a, lb2, ub2) ::sx, rest')
# Line 91  Line 87 
87                              | E.ArcSine => Mk.realArcSin (avail, arg)                              | E.ArcSine => Mk.realArcSin (avail, arg)
88                              | E.Tangent => Mk.realTan (avail, arg)                              | E.Tangent => Mk.realTan (avail, arg)
89                              | E.ArcTangent => Mk.realArcTan (avail, arg)                              | E.ArcTangent => Mk.realArcTan (avail, arg)
90                              | _ => raise Fail "FIXME: unimplemented"                              | _ => raise Fail "FIXME: unimplemented Op1 operator"
91  (*  (*
92                              | E.Exp                              | E.Exp
93                              | E.PowInt of int                              | E.PowInt of int

Legend:
Removed from v.3801  
changed lines
  Added in v.3943

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