CoSy Release History

A rock solid technology track record

In the late eighties, after having developed many compilers for over a decade, it became clear to ACE that the dramatic increase in complexity and internal parallelism of processors would make the classical approach of handcrafting optimal code generators increasingly inefficient and ultimately no longer cost effective. In 1990, ACE together with Europe's finest compiler researchers set out to end the traditional way of compiler construction. In 1994, and more than 120 person years later, ACE unveiled the first results of this major effort: compilers that are computer generated and that are freed from the straight jacket of the sequential compilation model. Today, this revolutionary compiler production technology is used by dozens of computer manufacturers, microprocessor manufacturers and compiler vendors to construct production quality compilers for various programming languages, types of processor architectures and software development markets.

Release      Featuring: # engines
2008
  • CoSy Target Optimizations package
  • CoSy Itanium/Linux CoSy Compiler Host package
  • Dataflow analysis
  • Code generator feedback
  • Open, modular register allocator
  • Forward, backward, look-ahead and exhaustive scheduling
  • Operator overloading
  • Value range analysis
  • Tuple support
  • Algebraic optimizations
  • Static profiling
  • Predicated execution
  • Life range splitting
  • Delay slot filling
  • General ease-of-use enhancements
255
2005
  • CoSy Embedded C package
  • CoSy ARM code generator package
  • CoSy Express Generator package
  • Rule Expansion (REX)
  • Compiler Known Types
  • Register-pressure aware scheduler
  • Profile Feedback framework
  • Compiler Trainer, step-by-step incremental testing
  • General ease-of-use improvements
186
2003
  • CoSy C++ package (incl. EDG front-end technology)
  • Superior Inline Assembly Support (SINAS)
  • Software Pipelining
  • CGD-combine
  • Flexible bit-field support
  • 'restrict' pointer data type qualifier
  • Improved alias analysis
  • QAQC scripting support
117
2002
  • DWARF 2.0 debug information support
  • Open LIR (open IR in back-end)
  • Advanced sample code generator
  • Improved QAQC
92
2000
  • Generic pragma support
  • Hardware loops and loop transformations support
  • Scheduler performance enhancements
  • Object oriented language support
  • Extended support for CVS systems
  • Improved documentation, tutorial and support organisation
83
1999
  • Fixed-point computation
  • Memory spaces and circular buffer support
  • Emulation compiler
  • Loop marker
  • DWARF 1.0 Debug information support
  • Code generator enhancements
  • DSP-C package
  • Windows compiler host support
77
1997
  • Explicit Control Flow Graph
  • C legacy code support
  • SunOS, Solaris and Linux CoSy host and compiler host support
60
1994
  • Initial CoSy release