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

# SCM Repository

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

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

revision 3465, Sun Nov 29 20:04:16 2015 UTC revision 3468, Mon Nov 30 16:26:17 2015 UTC
# Line 5  Line 5
5   * COPYRIGHT (c) 2015 The University of Chicago   * COPYRIGHT (c) 2015 The University of Chicago
6   * All rights reserved.   * All rights reserved.
7   *   *
8   * Simplify the AST representation.   * Simplify the AST representation.  This phase involves the following transformations:
9     *
10     *      - types are simplified by removing meta variables (which will have been resolved)
11     *
12     *      - expressions are simplified to involve a single operation on variables
13     *
14     *      - global reductions are converted to MapReduce statements
15     *
16     *      - other comprehensions and reductions are converted to foreach loops
17     *
18     *      - unreachable code is pruned
19     *
20     *      - negation of literal integers and reals are constant folded
21   *)   *)
22
23  structure Simplify : sig  structure Simplify : sig
# Line 311  Line 323
323                    in                    in
324                      (foreachStm :: initStm :: stms, S.E_Var acc)                      (foreachStm :: initStm :: stms, S.E_Var acc)
325                    end                    end
326                | AST.E_ParallelMap(e, x, xs, ty) => raise Fail "FIXME"                | AST.E_ParallelMap(e, x, xs, ty) => raise Fail "FIXME: ParallelMap"
327                | AST.E_Tensor(es, ty) => let                | AST.E_Tensor(es, ty) => let
328                    val (stms, xs) = simplifyExpsToVars (errStrm, es, stms)                    val (stms, xs) = simplifyExpsToVars (errStrm, es, stms)
329                    in                    in

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

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