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

SCM Repository

[diderot] Diff of /branches/vis15/src/compiler/FIXME.md
ViewVC logotype

Diff of /branches/vis15/src/compiler/FIXME.md

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

revision 4521, Mon Sep 5 22:34:15 2016 UTC revision 4522, Mon Sep 5 22:57:22 2016 UTC
# Line 11  Line 11 
11    
12  ### `ast`  ### `ast`
13    
14  No issues.    * be consistent about terminology for the various kinds of types (concrete, value, etc.)
15    
16  ### `basis`  ### `basis`
17    
# Line 44  Line 44 
44  * precedence checking for `mkApply` (`clang.sml`)  * precedence checking for `mkApply` (`clang.sml`)
45    
46  * 🔥 need to figure out the representation of dynamic sequences in the generated library API  * 🔥 need to figure out the representation of dynamic sequences in the generated library API
47    (`codegen-util.sml`, `gen-library-interface.sml`, and `output-util.sml`)      (`gen-library-interface.sml`, and `output-util.sml`)
48    
49  * Printing "const" types (`print-as-c.sml`)  * Printing "const" types (`print-as-c.sml`)
50    
# Line 72  Line 72 
72    - add `vload_aligned` and `vpack_aligned` operations    - add `vload_aligned` and `vpack_aligned` operations
73    - refactor common code out of `trAssign` and `trDecl` functions    - refactor common code out of `trAssign` and `trDecl` functions
74    
75  * 🔥 handle tuple types in `trQType` and `trType` (`type-to-cxx.sml`)    * handle tuple types in `trQType` and `trType` (`type-to-cxx.sml`)
76    
77  ### `driver`  ### `driver`
78    
79  No issues.  No issues.
80    
81  ### `ein`  ### `ein`
82    
83   * use the `BorderCtl.ctl` type instead of defining a new type (`ein.sml`)   * use the `BorderCtl.ctl` type instead of defining a new type (`ein.sml`)
84    
85  ### `fields`  ### `fields`
# Line 103  Line 104 
104    
105  ### `high-to-mid`  ### `high-to-mid`
106    
   * Switch to `maxItem` function once SML/NJ 110.80 is released (`clean-index.sml`)  
   
107    * Expand integer powers into multiplications (`high-to-mid.sml`)    * Expand integer powers into multiplications (`high-to-mid.sml`)
108    
109    * Need documentation for the `mkLdVoxel` function (`probe-ein.sml`)    * Need documentation for the `mkLdVoxel` function (`probe-ein.sml`)
# Line 128  Line 127 
127    * many issues in translating Low IR to Tree IR (`low-to-tree.sml`)    * many issues in translating Low IR to Tree IR (`low-to-tree.sml`)
128      - add support for output globals in `mkGlobalVar`      - add support for output globals in `mkGlobalVar`
129      - 🔥 `RealToInt` translation when the argument has multiple pieces      - 🔥 `RealToInt` translation when the argument has multiple pieces
     - 🔥 support for `MAPREDUCE`  
130    
131  ### `mid-ir`  ### `mid-ir`
132    
# Line 158  Line 156 
156    
157  ### `options`  ### `options`
158    
159    * Bug in `GetOpt` library workaround can be removed once SML/NJ 110.80 is released  No issues.
160    
161  ### `parse-tree`  ### `parse-tree`
162    
# Line 174  Line 172 
172    
173    * Pretty-printing for fused map-reduce (`simple-pp.sml`)    * Pretty-printing for fused map-reduce (`simple-pp.sml`)
174    
175    * Distinguish between "Continue" in loops and "Continue" in strand methods  ### `simple-opt`
     (`simple.sml`)  
   
 ### `simplify`  
176    
177    * Support fusion of reductions (`map-reduce-opt.sml`)    * Support fusion of reductions (`map-reduce-opt.sml`)
178    
179    ### `simplify`
180    
181    * Add a logical negate operation on AST expressions to support better if-then-else    * Add a logical negate operation on AST expressions to support better if-then-else
182      translations (`simplify.sml`)      translations (`simplify.sml`)
183    
184    * 🔥 Handle `AST.E_ParallelMap` expressions (`simplify.sml`)    * 🔥 Handle `AST.E_ParallelMap` expressions (`simplify.sml`)
185    
186    * 🔥 Support for `variance` reductions over strand sets (`simplify.sml`)    * 🔥 Support for `variance` reductions over strand sets and sequences (`simplify.sml`)
   
   * 🔥 Support for `variance` reductions over sequences (`simplify.sml`)  
187    
188  ### `target-cpu`  ### `target-cpu`
189    
190    * implement the `run_initially` method for the parallel target    * implement the `run_start` method for the parallel target
191      (`fragments/par-run-initially.in`)      (`fragments/par-run-start.in`)
192    
193    * switch to building an AST once CLang supports `const` functions (`gen-strand.sml`    * switch to building an AST once CLang supports `const` functions (`gen-strand.sml`)
     and `gen-world.sml`)  
194    
195    * 🔥 handle create iterations over sequences (`gen-world.sml`)    * 🔥 handle create iterations over sequences (`gen-world.sml`)
196    
197    * 🔥 residual constants during code generation? (`gen.sml`)    * 🔥 residual constants during code generation? (`gen.sml`)
198    
199      * 🔥 support for parallel target (`gen.sml` and `fragments`)
200    
201  ### `translate`  ### `translate`
202    
203    * Implement zero-tensor in Ein (`translate-basis.sml`)    * Implement zero-tensor in Ein (`translate-basis.sml`)
# Line 230  Line 226 
226    
227    * Evaluation of constant tensor slice (`check-const.sml`)    * Evaluation of constant tensor slice (`check-const.sml`)
228    
229      * Check optional frame argument to `create_array` (once feature is enabled)
230    
231    * Many issues in typechecking expressions (`check-expr.sml`)    * Many issues in typechecking expressions (`check-expr.sml`)
232      - improved overload resolution      - improved overload resolution
233      - resulting differentiation for inner, outer, and colon products      - resulting differentiation for inner, outer, and colon products
# Line 248  Line 246 
246    
247    * Check for situation where `initially` method has call to `stabilize` (`check-var-uses.sml`)    * Check for situation where `initially` method has call to `stabilize` (`check-var-uses.sml`)
248    
249      * Constants that are solely used to initialize other constants are reported
250        unused (`check-var-uses.sml`)
251    
252    * Unification of differentiation bounds (`unify.sml`)    * Unification of differentiation bounds (`unify.sml`)
253    
254  ## Runtime system issues  ## Runtime system issues

Legend:
Removed from v.4521  
changed lines
  Added in v.4522

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