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 3937, Mon Jun 6 13:16:10 2016 UTC revision 3966, Tue Jun 14 15:20:15 2016 UTC
# 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    * Printing "const" types (`print-as-c.sml`)
39    
40  #### `common`  #### `common`
41    
42  No issues.  No issues.
# Line 51  Line 53 
53    
54  * support for fixed-size sequences in `infoOf` (`output-util.sml`)  * support for fixed-size sequences in `infoOf` (`output-util.sml`)
55    
56    * Generate error-handling code that puts the error message in the error buffer and returns
57      and error status (`output-util.sml`)
58    
59  * 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`)
60    
61  * printing support for classes that include protected or private members (`print-as-cxx.sml`)  * printing support for classes that include protected or private members (`print-as-cxx.sml`)
# Line 62  Line 67 
67    - dynamic array operations: `MkDynamic`, `Append`, `Prepend`, `Concat`, `Range`, and `Length`    - dynamic array operations: `MkDynamic`, `Append`, `Prepend`, `Concat`, `Range`, and `Length`
68    - support for `SphereQuery`    - support for `SphereQuery`
69    - add `vload_aligned` and `vpack_aligned` operations    - add `vload_aligned` and `vpack_aligned` operations
70      - refactor common code out of `trAssign` and `trDecl` functions
71    
72  #### `driver`  #### `driver`
73    
# Line 99  Line 105 
105    
106  #### `high-to-mid`  #### `high-to-mid`
107    
108  TODO    * Switch to `maxItem` function once SML/NJ 110.80 is released (`clean-index.sml`)
109    
110      * Expand integer powers into multiplications (`high-to-mid.sml`)
111    
112      * Need documentation for `arrangeBody` function (`probe-ein.sml`)
113    
114  #### `inputs`  #### `inputs`
115    
# Line 115  Line 125 
125    
126  #### `low-to-tree`  #### `low-to-tree`
127    
128  TODO    * many issues in translating Low IR to Tree IR (`low-to-tree.sml`)
129        - output globals in `mkGlobalVar`
130        - `RealToInt` tranlation when the argument has multiple pieces
131        - reduction operators
132        - defer copying tensor refs into tensors
133        - handle `x = y` assignments
134    
135  #### `mid-ir`  #### `mid-ir`
136    
137  TODO  No issues.
138    
139  #### `mid-opt`  #### `mid-opt`
140    
# Line 127  Line 142 
142    
143  #### `mid-to-low`  #### `mid-to-low`
144    
145  TODO    * Handle `Exp`, `PowInt`, `PowReal`, `PowEmb` operators in `expand` (`ein-to-scalar.sml`)
146    
147      * Generalize `imgToArgs` to handle arbitrary dimension images (`field-to-low.sml`)
148    
149      * Support IR operators `Clamp`, `MapClamp`, and `Lerp` on higher-order tensor types.
150    
151  #### `mlton`  #### `mlton`
152    
# Line 151  Line 170 
170    
171  #### `simple`  #### `simple`
172    
173  TODO    * Pretty print reduction expressions (`simple-pp.sml`)
174    
175      * Support fusion of reductions; this change will require IR changes (`simple.sml`)
176    
177  #### `simplify`  #### `simplify`
178    
179  TODO    * Handle `E_ParallelMap` expressions (`simplify.sml`)
180    
181      * Support for `mean` and `variance` reductions (`util.sml`)
182    
183  #### `target-cpu`  #### `target-cpu`
184    
# Line 171  Line 194 
194    
195  #### `translate`  #### `translate`
196    
197  TODO    * Translation of `fn_normalize_t` is incorrect for scalars (`translate-basis.sml`)
198    
199      * Use Ein operators to implement tensor/field slicing and indexing (`translate.sml`)
200    
201      * Check possible issues with global initialization and conditionals (`translate.sml`)
202    
203      * Support for `S_MapReduce` (`translate.sml`)
204    
205      * Check possible issues with strand methods that do reach the exit node (`translate.sml`)
206    
207  #### `tree-ir`  #### `tree-ir`
208    
209  TODO    * Parameterize the `check` function by the target's vector layout rules and
210        check for valid layouts (`check-tree.sml`)
211    
212      * Checking for `S_MAssign` statements (`check-tree.sml`)
213    
214      * Checking for `S_LoadNrrd` statements (`check-tree.sml`)
215    
216      * Printing for inputs (`tree-pp.sml`)
217    
218  #### `tree-opt`  #### `tree-opt`
219    
# Line 183  Line 221 
221    
222  #### `typechecker`  #### `typechecker`
223    
224  TODO    * Evaluation of constant tensor slice (`check-const.sml`)
225    
226      * Many issues in typechecking expressions (`check-expr.sml`)
227        - improved overload resolution
228        - resulting differentiation for inner, outer, and colon products
229        - check index against shape of tensor
230        - check for sequences of non-concrete types (*e.g.*, sequences of fields)
231        - constant string expressions
232    
233      * Handle command-line definitions of constants (`check-globals.sml`)
234    
235      * Allow strands without outputs, once we have global outputs (`check-strand.sml`)
236    
237      * Check for situation where `initially` method has call to `stabilize` (`check-var-uses.sml`)
238    
239      * unification of differentiation bounds (`unify.sml`)

Legend:
Removed from v.3937  
changed lines
  Added in v.3966

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