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

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-il/normalize-ein.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-il/normalize-ein.sml

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

revision 3355, Thu Oct 29 22:08:40 2015 UTC revision 3374, Thu Nov 5 21:05:53 2015 UTC
# Line 50  Line 50 
50              | E.Sine a    => (1,E.Sine(E.Probe(a,x)))              | E.Sine a    => (1,E.Sine(E.Probe(a,x)))
51              | E.ArcSine a    => (1,E.ArcSine(E.Probe(a,x)))              | E.ArcSine a    => (1,E.ArcSine(E.Probe(a,x)))
52              | E.PowReal(a,n1)    => (1,E.PowReal(E.Probe(a,x),n1))              | E.PowReal(a,n1)    => (1,E.PowReal(E.Probe(a,x),n1))
53    | Ein.PowEmb(a,b,c)=>(1,Ein.PowEmb(E.Probe(a,x),b,c))
54              | E.Prod []   => err("Probe of empty product")              | E.Prod []   => err("Probe of empty product")
55              | E.Prod p    => (1,E.Prod (List.map (fn(a)=>E.Probe(a,x)) p))              | E.Prod p    => (1,E.Prod (List.map (fn(a)=>E.Probe(a,x)) p))
56              | E.Apply _   => (0,E.Probe(e1,x))              | E.Apply _   => (0,E.Probe(e1,x))
# Line 103  Line 104 
104          | E.ArcSine e       => E.ArcSine(rewriteBody e)          | E.ArcSine e       => E.ArcSine(rewriteBody e)
105          | E.PowInt(e,n1)    => E.PowInt(rewriteBody e,n1)          | E.PowInt(e,n1)    => E.PowInt(rewriteBody e,n1)
106          | E.PowReal(e,n1)   => E.PowReal(rewriteBody e,n1)          | E.PowReal(e,n1)   => E.PowReal(rewriteBody e,n1)
107    | Ein.PowEmb(e1,sx,n1)=> Ein.PowEmb(rewriteBody e1,sx,n1)
108              (*************Algebraic Rewrites **************)              (*************Algebraic Rewrites **************)
109          | E.Neg(E.Neg e)    => rewriteBody e          | E.Neg(E.Neg e)    => rewriteBody e
110          | E.Neg(E.Const 0)  => ( changed:=true;E.Const 0)          | E.Neg(E.Const 0)  => ( changed:=true;E.Const 0)

Legend:
Removed from v.3355  
changed lines
  Added in v.3374

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