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 4100, Wed Jun 29 20:46:23 2016 UTC revision 4101, Wed Jun 29 21:09:21 2016 UTC
# Line 16  Line 16 
16  #### `cfg-ir`  #### `cfg-ir`
17    
18  * add additional checking (`check-ir-fn.sml`)  * add additional checking (`check-ir-fn.sml`)
19    - redundant bindings    - redundant bindings in the presence of loops
20    - check the types of `SEQ` elements    - check the types of `SEQ` elements
21    - check `EINAPP` bodies    - check `EINAPP` bodies
22    - check types for `MASSIGN`    - check types for `MASSIGN`
# Line 25  Line 25 
25    
26  * filter out unused constant variables (`rewrite-fn.sml`)  * filter out unused constant variables (`rewrite-fn.sml`)
27    
28  * add command-line flag to control compactness of IR printing (`ssa-pp-fn.sml`)  * add command-line flag to control compactness of IR printing (`ssa-pp-fn.sml`) **[FIXED: JHR]**
29    
30  * 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`)
31    
# Line 35  Line 35 
35    
36  * generalize handling of the `bool` type for targets that are pre C99 (`codegen-env.sml`)  * generalize handling of the `bool` type for targets that are pre C99 (`codegen-env.sml`)
37    
38    * `apiTypeToC` does not handle dynamic sequences (`gen-library-interface.sml`)
39    
40    * `infoOf` does not handle fixed-size sequences (`output-util.sml`)
41    
42  * Printing "const" types (`print-as-c.sml`)  * Printing "const" types (`print-as-c.sml`)
43    
44  #### `common`  #### `common`
# Line 43  Line 47 
47    
48  #### `cxx-util`  #### `cxx-util`
49    
50  * fix the function names for loading dynamic sequences (`cxx-names.sml`)  * fix the function names for loading dynamic sequences (`cxx-names.sml`) **[FIXED: JHR]**
   
 * handle strings in `copy` function (`gen-inputs-util.sml`)  
   
 * generate code to check that loaded image has expected element type, etc. (`gen-load-nrrd.sml`)  
51    
52  * printing support for tuples (`gen-tys-and-ops.sml`)  * use assignment to copy small tensor types (`gen-inputs-util.sml`)
53    
54  * support for fixed-size sequences in `infoOf` (`output-util.sml`)  * handle strings in `copy` function (`gen-inputs-util.sml`)
55    
56  * 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
57    and error status (`output-util.sml`)    and error status (`gen-outputs-util.sml`)
58    
59    * various issues when synthesizing types and operations (`gen-tys-and-ops.sml`)
60      - tuple types are not supported
61      - some dynamic sequence types are not supported (e.g., strands)
62      - printing for tuples, dynamic sequences, and fixed-size sequences
63    
64  * 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`)
65    
# Line 71  Line 76 
76    - add `vload_aligned` and `vpack_aligned` operations    - add `vload_aligned` and `vpack_aligned` operations
77    - refactor common code out of `trAssign` and `trDecl` functions    - refactor common code out of `trAssign` and `trDecl` functions
78    
79    * handle tuples in `trQType` and `trType` (`type-to-cxx.sml`)
80    
81  #### `driver`  #### `driver`
82    
83  No issues.  No issues.
# Line 109  Line 116 
116    
117    * Switch to `maxItem` function once SML/NJ 110.80 is released (`clean-index.sml`)    * Switch to `maxItem` function once SML/NJ 110.80 is released (`clean-index.sml`)
118    
119      * The `cut` function is specialized to 3D (`float-ein.sml`)
120    
121    * Expand integer powers into multiplications (`high-to-mid.sml`)    * Expand integer powers into multiplications (`high-to-mid.sml`)
122    
123    * Need documentation for `arrangeBody` function (`probe-ein.sml`) **[FIXED; CC]**    * Need documentation for the `mkLdVoxel` function (`probe-ein.sml`)
124    
125      * Need documentation for the `arrangeBody` function (`probe-ein.sml`) **[FIXED; CC]**
126    
127    * error in tshape(`/clean-index.sml`) **[FIXED; CC]**    * error in tshape(`/clean-index.sml`) **[FIXED; CC]**
128    
# Line 152  Line 163 
163    
164    * Generalize `imgToArgs` to handle arbitrary dimension images (`field-to-low.sml`)    * Generalize `imgToArgs` to handle arbitrary dimension images (`field-to-low.sml`)
165    
166    * Support IR operators `Clamp`, `MapClamp`, and `Lerp` on higher-order tensor types.    * Support IR operators `Clamp`, `MapClamp`, and `Lerp` on higher-order tensor types
167        (`mid-to-low.sml`).
168    
169      * Generate vector operations instead of scalar operations in more places (`ein-to-low.sml`,
170        `ein-to-scalar.sml`, and `ein-to-vector.sml`)
171    
172    
173  #### `mlton`  #### `mlton`
174    
# Line 184  Line 200 
200    
201  #### `simplify`  #### `simplify`
202    
203    * Handle `E_ParallelMap` expressions (`simplify.sml`)    * The inliner cannot correctly handle functions that have deep returns on some code
204        paths (`inliner.sml`)
205    
206      * Handle `S_MapReduce` and `AST.E_ParallelMap` expressions (`simplify.sml`,
207        `simplify-fields.sml`, and `simplify-vars.sml`).
208    
209    * Support for `mean` and `variance` reductions (`util.sml`)    * Support for `mean` and `variance` reductions (`util.sml`)
210    
# Line 196  Line 216 
216    
217    * what should we do about residual constants during code generation? (`gen.sml`)    * what should we do about residual constants during code generation? (`gen.sml`)
218    
219    * generate global initialization code? (`gen.sml`)    * generate global initialization and global update code? (`gen.sml`)
220    
221    * code generation for libraries (`gen.sml`)    * code generation for libraries: input functions header file (`gen.sml`)
222    
223  #### `translate`  #### `translate`
224    
225    * Translation of `fn_normalize_t` is incorrect for scalars (`translate-basis.sml`)    * Translation of `fn_normalize_t` is incorrect for scalars (`translate-basis.sml`)
226    
227      * Translation of `clamp_trr` (`translate-basis.sml`)
228    
229      * Implement zero-tensor in Ein (`translate-basis.sml`)
230    
231    * Use Ein operators to implement tensor/field slicing and indexing (`translate.sml`)  **[FIXED; CC]**    * Use Ein operators to implement tensor/field slicing and indexing (`translate.sml`)  **[FIXED; CC]**
232    
233    * Check possible issues with global initialization and conditionals (`translate.sml`)    * Check possible issues with global initialization and conditionals (`translate.sml`)
# Line 238  Line 262 
262      - resulting differentiation for inner, outer, and colon products      - resulting differentiation for inner, outer, and colon products
263      - check index against shape of tensor      - check index against shape of tensor
264      - check for sequences of non-concrete types (*e.g.*, sequences of fields)      - check for sequences of non-concrete types (*e.g.*, sequences of fields)
265      - constant string expressions      - non-literal constant string expressions
266    
267    * Handle command-line definitions of constants (`check-globals.sml`)    * Handle command-line definitions of constants (`check-globals.sml`)
268    

Legend:
Removed from v.4100  
changed lines
  Added in v.4101

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