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 4437, Sat Aug 20 12:37:37 2016 UTC revision 4438, Sat Aug 20 13:30:33 2016 UTC
# Line 31  Line 31 
31    
32  * handle `EINAPP` nodes in `toString` function (`expr-fn.sml`)  * handle `EINAPP` nodes in `toString` function (`expr-fn.sml`)
33    
34  * filter out unused constant variables (`rewrite-fn.sml`)  * handle fused `MAPREDUCE` in global-variable promotion (`promote-fn.sml`)
35    
36  * avoid redundancy of setting bindings for variables (`translate-fn.sml` and `census-fn.sml`)  * avoid redundancy of setting bindings for variables (`translate-fn.sml` and `census-fn.sml`)
37    
# Line 54  Line 54 
54    
55  ### `cxx-util`  ### `cxx-util`
56    
 * 🔥 handle string-valued inputs in `copy` function (`gen-inputs-util.sml`)  
   
57  * Generate error-handling code that puts the error message in the error buffer and returns  * Generate error-handling code that puts the error message in the error buffer and returns
58    and error status (`gen-outputs-util.sml`)    and error status (`gen-outputs-util.sml`)
59    
60  * various issues when synthesizing types and operations (`gen-tys-and-ops.sml`)  * various issues when synthesizing types and operations (`gen-tys-and-ops.sml`)
61    - tuple types are not supported    - tuple types are not supported
62    - 🔥 some dynamic sequence types are not supported (e.g., strands)    - 🔥 some dynamic sequence types are not supported (e.g., fixed-size sequences)
63    - 🔥 generating printing code for tuples, dynamic sequences, and fixed-size sequences    - 🔥 generating printing code for tuples, dynamic sequences, and fixed-size sequences
64    
65  * printing types needs to be overhauled to correctly handle C++ type syntax (`print-as-cxx.sml`)  * printing types needs to be overhauled to correctly handle C++ type syntax (`print-as-cxx.sml`)
# Line 71  Line 69 
69  * many issues in translating Tree IR to C++ (`tree-to-cxx.sml`)  * many issues in translating Tree IR to C++ (`tree-to-cxx.sml`)
70    - 🔥 subscript on sequences of tensors    - 🔥 subscript on sequences of tensors
71    - liveness analysis to enable *in situ* dynamic sequence operations    - liveness analysis to enable *in situ* dynamic sequence operations
   - 🔥 support for `SphereQuery` operator  
   - 🔥 support for `Strands` operator  
   - 🔥 support for `StrandStatus` operator  
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    
# Line 177  Line 172 
172    
173    * Invariant checking for Simple AST representation (`check-simple.sml`)    * Invariant checking for Simple AST representation (`check-simple.sml`)
174    
175      * Pretty-printing for fused map-reduce (`simple-pp.sml`)
176    
177    * Distinguish between "Continue" in loops and "Continue" in strand methods    * Distinguish between "Continue" in loops and "Continue" in strand methods
178      (`simple.sml`)      (`simple.sml`)
179    
# Line 195  Line 192 
192    
193  ### `target-cpu`  ### `target-cpu`
194    
195      * implement the `run_initially` method for the parallel target
196        (`fragments/par-run-initially.in`)
197    
198    * 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`
199      and `gen-world.sml`)      and `gen-world.sml`)
200    
# Line 214  Line 214 
214    
215  ### `tree-ir`  ### `tree-ir`
216    
217    * Parameterize the `check` function by the target's vector layout rules and    * Many issues in checking the Tree IR (`check-tree.sml`)
218      check for valid layouts (`check-tree.sml`)      - Parameterize the `check` function by the target's vector layout rules and
219          check for valid layouts
220    * Finish checking for `S_MAssign` statements (`check-tree.sml`)      - Finish checking for `S_MAssign` statements
221        - Check body of map-reduce
222    * Checking for `S_LoadNrrd` statements (`check-tree.sml`)      - Checking for `S_LoadNrrd` statements
223        - Check user-defined functions
   * Check user-defined functions (`check-tree.sml`)  
224    
225  ### `tree-opt`  ### `tree-opt`
226    

Legend:
Removed from v.4437  
changed lines
  Added in v.4438

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