* PCP.
- First step: migrate everything to SCoP representation.
- Destroy loop and CFG structure at SCoP formation.
- Use constraints rather than matrices.
- Port array dependence analysis.
* SCoP.
- Remove function call constraints, in exchange of preliminary
- barrier-based support in the dependence graph.
- Remove checks on statements, and update the dependence graph
- to support conservative may-information.
- Support for errno, "search for error number in the mailing list".
* Performance Modeling and Heuristics
- Must describe memory hierarcy: caches, memory and how computers are linked together.
* Libraries.
- Use multi-library interface for CLooG, inspired from PPL's
- constraint-based API, as currently being implemented by Cedric and Sven.
- Use plain PPL API to build the cannonical schedules and
- compute the dependence analysis.
* CLooG optimizations:
- Code size reduction: core domains, statement costs.
- Passed from earlier heuristics (e.g., in PCP).
* Interprocedural.
- SCoP context: scalar analysis of linear relations between parameters.
- Array region analysis.
* Roadmap.
- GCC 4.4
- Identity transformation, then interchange and stripmining.
- Requires basic block copying to work!
- Dependences: rely on Lambda for now
- Work on IV canonicalization
- CLooG tarball in GCC directory when 4.4 freeze, whatever the status of
- the CLooG-PPL with new API
- Identity transformation, then interchange and stripmining.
- GCC 4.5
- Zero-dim arrays for the scalars.
- Simple data dependence analysis with PPL: Konrad Trifunovic
- Includes computing the canonical schedules as PPL polyhedra. Reuse the current reduced dependence graph (maybe with optimized encoding for scalar dependences)
- When implemented, may try to further unify the API with
- cloog-constraints multi-library abstraction.
- Privatization of scalars: Konrad Trifunovic.
- Allocate temporary arrays in the heap, with parametric size.
- Cost model for interchange and tiling: one model for locality, and one
- for combined coarse-grain parloops and locality.