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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/simplify/util.sml
ViewVC logotype

Diff of /branches/vis15/src/compiler/simplify/util.sml

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

revision 3465, Sun Nov 29 20:04:16 2015 UTC revision 3482, Sat Dec 5 14:43:53 2015 UTC
# Line 34  Line 34 
34            else if Var.same(BV.red_exists, rator)            else if Var.same(BV.red_exists, rator)
35              then {rator = BV.op_or, init = L.Bool false, mvs = []}              then {rator = BV.op_or, init = L.Bool false, mvs = []}
36            else if Var.same(BV.red_max, rator)            else if Var.same(BV.red_max, rator)
37              then {rator = BV.fn_max, init = L.Real R.negInf, mvs = []}              then {rator = BV.fn_max_r, init = L.Real R.negInf, mvs = []}
38            else if Var.same(BV.red_mean, rator)            else if Var.same(BV.red_mean, rator)
39              then raise Fail "FIXME: 'mean' reduction not yet supported"              then raise Fail "FIXME: 'mean' reduction not yet supported"
40            else if Var.same(BV.red_min, rator)            else if Var.same(BV.red_min, rator)
41              then {rator = BV.fn_min, init = L.Real R.posInf, mvs = []}              then {rator = BV.fn_min_r, init = L.Real R.posInf, mvs = []}
42            else if Var.same(BV.red_product, rator)            else if Var.same(BV.red_product, rator)
43              then {rator = BV.mul_rr, init = L.Real R.one, mvs = []}              then {rator = BV.mul_rr, init = L.Real R.one, mvs = []}
44            else if Var.same(BV.red_sum, rator)            else if Var.same(BV.red_sum, rator)

Legend:
Removed from v.3465  
changed lines
  Added in v.3482

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