--- branches/vis15/src/compiler/simplify/simplify.sml 2015/11/29 20:45:59 3467
+++ branches/vis15/src/compiler/simplify/simplify.sml 2015/11/30 16:26:17 3468
@@ -5,7 +5,19 @@
* COPYRIGHT (c) 2015 The University of Chicago
* All rights reserved.
*
- * Simplify the AST representation.
+ * Simplify the AST representation. This phase involves the following transformations:
+ *
+ * - types are simplified by removing meta variables (which will have been resolved)
+ *
+ * - expressions are simplified to involve a single operation on variables
+ *
+ * - global reductions are converted to MapReduce statements
+ *
+ * - other comprehensions and reductions are converted to foreach loops
+ *
+ * - unreachable code is pruned
+ *
+ * - negation of literal integers and reals are constant folded
*)
structure Simplify : sig