diff --git a/polly/www/todo.html b/polly/www/todo.html
index 58d26ddb137b..5cb50ed3f18e 100644
--- a/polly/www/todo.html
+++ b/polly/www/todo.html
@@ -15,6 +15,7 @@
Overview
Individual Phases
+ Phase 4
+
+
+
+
+ Infrastructure |
+
+ Task |
+ Status |
+ Owner |
+
+
+ Move to isl C++ bindings
+ | Open
+ |
+ |
+
+ - Add isl C++ bindings generator to isl
+ | Open
+ |
+ |
+
+
+ Add isl as an external library to Polly SVN
+ | Open
+ |
+ |
+
+
+ Compile-time: Speed up transformations
+ |
+ |
+ |
+
+ - Optimize isl_int for small integers
+ | Open
+ |
+ |
+
+
+ Compile-time: Minimize SCoP detection time
+ | Open
+ |
+ |
+
+ - Reconsider pass-ordering (move Polly later)
+ | Open
+ |
+ |
+
+
+ |
+ Increase coverage
+ |
+
+ Task |
+ Status |
+ Owner |
+
+
+
+
+Support for Modulos
+ | Open
+ |
+ |
+
+
+Boolean Combinations
+ | Open
+ |
+ |
+
+
+Unsigned Integers
+ | Open
+ |
+ |
+
+
+Pointer Comparisions
+ | Open
+ |
+ |
+
+ |
+ Polly as an
+analysis |
+
+ Task |
+ Status |
+ Owner |
+
+
+
+
+Model scalars dependences directly in Polly
+ | Done
+ |
+ |
+
+
+Code generate scalar dependences
+ | Open
+ |
+ |
+
+
+Model PHI dependences directly in Polly
+ | Open
+ |
+ |
+
+
+Code generate PHI dependences
+ | Open
+ |
+ |
+
+ Remove
+the need for independent blocks
+ | Open
+ |
+ |
+
+
+Remove polly-prepare pass
+ | Open
+ |
+ |
+
+ |
+ Correctness in
+cornercases |
+
+ Task |
+ Status |
+ Owner |
+
+
+ Derive
+optimal types (instead of always using i64)
+ | Open
+ |
+ |
+
+ Model
+integer wrapping
+ | Open
+ |
+ |
|
+ Optimize Julia
+code with Polly
+analysis |
+
+ Task |
+ Status |
+ Owner |
+
+
+
+Integrate Polly into Julia
+ | Open
+ |
+ |
+
+
+Eliminate run-time bounds checks
+ | Open
+ |
+ |
+
+ - Reconsider unreachables in post-dominance tree
+ | Open
+ |
+ |
+
+ - Actually eliminate statements
+ | Open
+ |
+ |
+
+ |
+ Improved
+Optimizations in Polly
+ |
+
+ Task |
+ Status |
+ Owner |
+
+
+
+Multi-level tiling
+ | Open
+ |
+ |
+
+
+Register Tiling
+ | Open
+ |
+ |
+
+
+Full/partial tile separation for vectorization
+ | Open
+ |
+ |
+
+Loop interchange after vectorization to maximize stride-one accesses
+ | Open
+ |
+ |
+
+
+
Phase 3 - Improve Robustness, Interoperability and
Optimizations (ongoing)