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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3937 - (download) (annotate)
Mon Jun 6 13:16:10 2016 UTC (2 years, 9 months ago) by jhr
File size: 3303 byte(s)
  Working on merge: FIXMEs
# FIXME issues
Organized by source directory.  We use the following command to find the FIXMEs:

````
bbfind --gui --name-pattern "*.in" --name-pattern "*.sml" FIXME .
````

### `ast`

No issues.

### `basis`

* more reductions: min/max on integers, sum on integers and tensors. (`basis-vars.sml`)

#### `cfg-ir`

* add additional checking (`check-ir-fn.sml`)
  - redundant bindings
  - check the types of `SEQ` elements
  - check `EINAPP` bodies
  - check types for `MASSIGN`

* handle `EINAPP` nodes in `toString` function (`expr-fn.sml`)

* filter out unused constant variables (`rewrite-fn.sml`)

* add command-line flag to control compactness of IR printing (`ssa-pp-fn.sml`)

* avoid redundancy of setting bindings for variables (`translate-fn.sml` and `census-fn.sml`)

#### `codegen`

* precedence checking for `mkApply`; handle types in `expToString` (`clang.sml`)

* generalize handling of the `bool` type for targets that are pre C99 (`codegen-env.sml`)

#### `common`

No issues.

#### `cxx-util`

* fix the function names for loading dynamic sequences (`cxx-names.sml`)

* 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`)

* printing support for tuples (`gen-tys-and-ops.sml`)

* support for fixed-size sequences in `infoOf` (`output-util.sml`)

* printing types needs to be overhauled to correctly handle C++ type syntax (`print-as-cxx.sml`)

* printing support for classes that include protected or private members (`print-as-cxx.sml`)

* many issues in translating Tree IR to C++ (`tree-to-cxx.sml`)
  - type translation for tuples
  - support for `EigenVals2x2` and `EigenVals3x3`
  - support for `Select` operation on tuples
  - dynamic array operations: `MkDynamic`, `Append`, `Prepend`, `Concat`, `Range`, and `Length`
  - support for `SphereQuery`
  - add `vload_aligned` and `vpack_aligned` operations

#### `driver`

No issues.

#### `ein`
 * add documentation for various ID types (`ein.sml`)

 * use the `BorderCtl.ctl` type instead of defining a new type (`ein.sml`)

 * fix the type of `Delta` (`ein.sml`)

 * fix the definition of the `sumrage` type (`ein.sml`)

#### `fields`

No issues.

#### `global-env`

No issues.

#### `high-ir`

No issues.

#### `high-opt`

  * handle `PowReal` operator

  * code clean up (`eps-util.sml`)
    - documentation
    - avoid use of append to build lists
    - rewrite `matchEps` function

#### `high-to-mid`

TODO

#### `inputs`

No issues.

#### `low-ir`

No issues.

#### `low-opt`

No issues.

#### `low-to-tree`

TODO

#### `mid-ir`

TODO

#### `mid-opt`

No issues.

#### `mid-to-low`

TODO

#### `mlton`

No issues.

#### `nrrd`

No issues.

#### `options`

No issues.

#### `parse-tree`

No issues.

#### `parser`

No issues.

#### `simple`

TODO

#### `simplify`

TODO

#### `target-cpu`

  * generate a default stabilize method for the dual-state case (`gen-strand.sml`)

  * handle create iterations over sequences (`gen-world.sml`)

  * what should we do about residual constants during code generation? (`gen.sml`)

  * generate global initialization code? (`gen.sml`)

  * code generation for libraries (`gen.sml`)

#### `translate`

TODO

#### `tree-ir`

TODO

#### `tree-opt`

No issues.

#### `typechecker`

TODO

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